Trace number 4307803

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-08-14SAT (TO)7 2520.05 2464.83

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.66/0.56	c version: 2018-08-14
0.66/0.56	c seed: 275734031
0.66/0.56	c timeout: 2520
0.66/0.57	c memlimit: 11000
0.66/0.57	c nbcore: 4
0.66/0.58	c Parsing instance...
16.91/8.16	c Parsing done, starting search...
18.45/9.03	o 2029
19.39/9.70	o 2028
23.15/11.25	o 2027
23.63/11.61	o 2026
24.59/12.55	o 2025
24.69/12.69	o 2024
25.97/13.84	o 2023
26.57/14.46	o 2022
27.34/15.19	o 2021
27.95/15.73	o 2020
28.05/15.80	o 2019
28.75/16.50	o 2018
29.16/16.93	o 2016
30.13/17.80	o 2015
30.13/17.87	o 2014
30.34/18.04	o 2013
31.35/19.11	o 2012
31.64/19.33	o 2011
32.74/20.41	o 2010
32.74/20.44	o 2005
34.06/21.70	o 2004
34.16/21.82	o 2003
35.27/23.00	o 2002
35.38/23.10	o 2001
35.97/23.68	o 2000
36.68/24.34	o 1999
36.68/24.37	o 1996
36.95/24.52	o 1995
38.09/25.65	o 1994
38.70/26.22	o 1993
39.40/26.94	o 1989
40.10/27.61	o 1987
40.70/28.24	o 1984
42.08/29.54	o 1983
42.38/29.88	o 1982
43.77/30.85	o 1981
43.77/30.89	o 1980
44.28/31.38	o 1979
45.16/32.16	o 1978
45.45/32.41	o 1977
46.46/33.46	o 1976
46.66/33.69	o 1975
46.76/33.74	o 1974
46.86/33.80	o 1973
47.76/34.77	o 1972
48.36/35.31	o 1971
49.07/36.07	o 1970
49.56/36.50	o 1969
50.37/37.37	o 1967
50.68/37.67	o 1965
51.72/38.69	o 1964
52.23/39.14	o 1963
53.02/39.99	o 1962
53.23/40.19	o 1961
54.41/41.31	o 1960
54.91/41.80	o 1959
55.71/42.60	o 1958
56.02/42.96	o 1957
56.13/43.06	o 1954
57.02/43.90	o 1953
57.53/44.42	o 1950
58.33/45.22	o 1947
58.93/45.83	o 1946
59.63/46.52	o 1944
60.24/47.12	o 1943
60.93/47.82	o 1940
62.24/49.13	o 1939
62.73/49.66	o 1938
63.62/50.48	o 1937
64.23/51.08	o 1936
64.92/51.76	o 1933
65.02/51.82	o 1932
66.23/53.07	o 1930
66.62/53.43	o 1929
66.83/53.68	o 1928
67.52/54.35	o 1926
68.82/55.65	o 1924
69.42/56.29	o 1923
70.12/56.97	o 1922
70.33/57.14	o 1920
71.43/58.26	o 1919
71.43/58.27	o 1918
72.73/59.56	o 1917
73.03/59.85	o 1916
74.04/60.87	o 1915
74.14/60.98	o 1914
75.44/62.20	o 1913
75.54/62.33	o 1912
76.74/63.50	o 1910
78.05/64.80	o 1908
79.35/66.12	o 1907
79.75/66.57	o 1906
80.64/67.42	o 1905
81.15/67.99	o 1904
81.95/68.74	o 1903
82.45/69.28	o 1902
83.31/70.05	o 1901
83.70/70.43	o 1900
84.60/71.34	o 1899
84.70/71.46	o 1898
85.91/72.64	o 1896
87.22/73.94	o 1892
87.62/74.32	o 1891
87.62/74.39	o 1890
88.52/75.25	o 1889
88.82/75.55	o 1886
89.82/76.55	o 1885
90.22/76.97	o 1884
91.12/77.85	o 1882
92.44/79.17	o 1881
92.63/79.31	o 1879
92.73/79.49	o 1878
93.73/80.46	o 1877
94.23/80.91	o 1876
95.03/81.77	o 1873
95.67/82.31	o 1872
96.38/83.10	o 1871
96.87/83.60	o 1870
97.77/84.40	o 1863
98.07/84.75	o 1862
99.07/85.71	o 1859
99.57/86.21	o 1857
100.38/87.01	o 1855
100.48/87.11	o 1854
100.68/87.35	o 1853
100.68/87.39	o 1852
101.68/88.32	o 1851
102.08/88.77	o 1850
102.99/89.62	o 1847
104.34/90.93	o 1846
104.45/91.05	o 1845
105.64/92.23	o 1844
105.64/92.29	o 1843
106.94/93.53	o 1842
107.46/94.03	o 1841
108.24/94.84	o 1840
108.64/95.27	o 1839
109.55/96.14	o 1838
109.85/96.47	o 1837
110.05/96.68	o 1836
110.85/97.45	o 1832
111.25/97.87	o 1831
112.15/98.75	o 1829
112.56/99.15	o 1827
113.46/100.06	o 1826
113.65/100.23	o 1825
114.75/101.36	o 1823
116.05/102.68	o 1822
116.65/103.25	o 1821
117.35/103.98	o 1818
117.35/104.00	o 1817
118.65/105.28	o 1816
119.15/105.80	o 1815
119.25/105.82	o 1814
119.95/106.59	o 1812
121.25/107.89	o 1811
121.56/108.15	o 1810
121.75/108.30	o 1809
122.56/109.20	o 1808
122.95/109.55	o 1806
124.01/110.50	o 1805
124.52/111.04	o 1804
125.31/111.81	o 1802
125.52/112.04	o 1801
126.62/113.11	o 1800
127.01/113.58	o 1798
127.91/114.41	o 1796
128.21/114.77	o 1795
128.41/114.93	o 1794
129.21/115.72	o 1792
129.31/115.87	o 1790
130.52/117.02	o 1789
130.71/117.30	o 1787
131.81/118.33	o 1786
131.81/118.34	o 1784
133.12/119.63	o 1783
133.63/120.18	o 1782
134.42/120.94	o 1781
134.92/121.40	o 1780
135.72/122.24	o 1778
135.72/122.28	o 1777
137.02/123.53	o 1776
137.22/123.71	o 1775
138.32/124.86	o 1774
138.32/124.88	o 1773
138.42/124.94	o 1772
138.42/125.00	o 1771
138.63/125.17	o 1770
139.63/126.16	o 1769
139.92/126.44	o 1768
140.12/126.68	o 1767
140.92/127.47	o 1766
141.43/127.96	o 1765
142.23/128.77	o 1763
142.83/129.39	o 1762
143.59/130.07	o 1761
144.18/130.65	o 1759
144.88/131.38	o 1758
144.98/131.44	o 1757
145.48/131.97	o 1756
146.18/132.68	o 1753
146.69/133.16	o 1752
147.48/133.98	o 1750
147.59/134.08	o 1747
148.79/135.29	o 1746
149.09/135.58	o 1745
149.19/135.62	o 1744
150.19/136.60	o 1743
150.60/137.03	o 1742
150.70/137.16	o 1741
151.49/137.90	o 1740
151.49/137.95	o 1738
152.70/139.19	o 1737
152.99/139.44	o 1736
154.09/140.51	o 1735
154.39/140.80	o 1734
155.39/141.81	o 1733
155.49/141.99	o 1732
156.70/143.11	o 1731
156.99/143.46	o 1729
158.00/144.42	o 1726
158.40/144.84	o 1724
159.30/145.73	o 1722
160.60/147.02	o 1721
160.89/147.36	o 1720
161.19/147.65	o 1718
161.90/148.35	o 1717
162.20/148.63	o 1716
162.30/148.76	o 1715
163.26/149.67	o 1714
163.26/149.67	o 1712
163.76/150.15	o 1711
164.56/150.95	o 1710
165.06/151.44	o 1709
165.86/152.25	o 1708
166.36/152.78	o 1707
167.17/153.56	o 1705
167.67/154.09	o 1704
168.46/154.87	o 1703
168.97/155.37	o 1702
169.78/156.17	o 1701
170.16/156.53	o 1700
170.26/156.61	o 1699
171.07/157.48	o 1698
171.07/157.48	o 1696
172.37/158.78	o 1694
172.97/159.31	o 1693
173.68/160.09	o 1692
174.07/160.41	o 1690
174.97/161.39	o 1685
175.57/161.96	o 1684
176.28/162.69	o 1682
176.38/162.72	o 1681
177.58/163.99	o 1679
178.18/164.58	o 1678
178.98/165.30	o 1676
179.08/165.41	o 1675
179.18/165.55	o 1674
179.48/165.81	o 1673
180.28/166.61	o 1670
180.58/166.90	o 1669
181.58/167.92	o 1668
182.08/168.43	o 1667
182.95/169.24	o 1666
183.45/169.80	o 1665
184.25/170.52	o 1664
184.55/170.87	o 1663
185.55/171.83	o 1662
185.86/172.11	o 1661
186.86/173.13	o 1660
187.15/173.40	o 1659
188.14/174.44	o 1657
189.44/175.74	o 1656
189.44/175.79	o 1655
189.65/175.95	o 1654
189.75/176.01	o 1652
189.86/176.19	o 1650
190.05/176.34	o 1649
190.76/177.05	o 1647
192.05/178.35	o 1646
192.15/178.41	o 1644
192.25/178.53	o 1641
192.56/178.89	o 1640
192.66/178.91	o 1639
193.36/179.67	o 1638
193.66/179.96	o 1635
193.66/180.00	o 1634
194.66/180.97	o 1633
194.76/181.03	o 1632
195.96/182.28	o 1631
196.56/182.82	o 1630
196.56/182.88	o 1629
197.26/183.58	o 1627
198.56/184.88	o 1626
198.66/184.93	o 1625
198.76/185.03	o 1624
199.87/186.19	o 1623
199.96/186.24	o 1619
201.16/187.49	o 1618
201.46/187.74	o 1617
201.56/187.83	o 1616
201.66/187.96	o 1614
202.55/188.80	o 1613
202.55/188.88	o 1612
203.77/190.10	o 1609
205.22/191.41	o 1608
205.62/191.83	o 1607
206.52/192.71	o 1606
206.83/193.07	o 1605
207.02/193.26	o 1603
207.83/194.02	o 1602
208.32/194.53	o 1600
209.12/195.33	o 1599
209.42/195.67	o 1597
210.42/196.62	o 1596
210.42/196.67	o 1594
211.72/197.94	o 1593
212.12/198.31	o 1592
213.02/199.23	o 1588
213.52/199.79	o 1587
214.32/200.54	o 1586
214.42/200.66	o 1585
215.62/201.85	o 1584
216.02/202.26	o 1583
216.22/202.41	o 1581
216.93/203.15	o 1580
217.02/203.24	o 1579
218.23/204.46	o 1578
218.62/204.89	o 1577
219.52/205.77	o 1576
219.84/206.05	o 1574
220.84/207.07	o 1573
221.33/207.59	o 1572
222.13/208.37	o 1571
222.43/208.66	o 1570
222.53/208.78	o 1569
223.43/209.68	o 1568
223.73/209.98	o 1567
223.94/210.15	o 1566
224.79/211.00	o 1565
225.19/211.36	o 1564
226.09/212.29	o 1563
226.39/212.53	o 1562
226.49/212.64	o 1561
227.39/213.59	o 1560
227.79/213.99	o 1559
228.69/214.89	o 1558
229.19/215.36	o 1557
230.09/216.20	o 1556
230.49/216.67	o 1555
230.59/216.77	o 1554
231.39/217.51	o 1553
231.39/217.51	o 1552
231.59/217.79	o 1549
231.79/217.96	o 1548
232.69/218.81	o 1547
232.69/218.86	o 1546
233.00/219.11	o 1545
234.00/220.12	o 1544
234.29/220.43	o 1543
235.29/221.42	o 1542
235.59/221.73	o 1540
236.60/222.73	o 1539
237.10/223.21	o 1538
237.91/224.03	o 1535
239.20/225.34	o 1533
239.60/225.78	o 1532
240.50/226.64	o 1531
240.50/226.67	o 1530
241.80/227.95	o 1529
242.21/228.33	o 1527
242.21/228.39	o 1526
243.11/229.25	o 1525
243.21/229.39	o 1521
244.41/230.55	o 1520
244.81/230.91	o 1519
245.71/231.87	o 1518
245.97/232.09	o 1517
247.07/233.16	o 1516
247.46/233.59	o 1515
248.36/234.47	o 1513
249.66/235.77	o 1510
250.97/237.07	o 1509
251.08/237.16	o 1508
251.57/237.61	o 1506
251.57/237.66	o 1505
252.27/238.38	o 1504
252.37/238.42	o 1503
252.77/238.84	o 1502
253.57/239.69	o 1500
254.87/240.99	o 1499
255.08/241.14	o 1498
256.17/242.30	o 1497
256.27/242.33	o 1496
256.77/242.81	o 1494
257.57/243.60	o 1493
257.98/244.08	o 1492
257.98/244.09	o 1491
258.88/244.91	o 1490
259.09/245.17	o 1489
259.18/245.22	o 1487
260.18/246.20	o 1486
260.28/246.39	o 1485
260.48/246.50	o 1483
261.48/247.51	o 1482
261.48/247.60	o 1481
262.78/248.82	o 1480
262.88/248.98	o 1478
263.09/249.18	o 1477
264.09/250.12	o 1475
264.09/250.17	o 1474
264.18/250.29	o 1472
264.28/250.37	o 1471
264.48/250.55	o 1470
265.38/251.43	o 1468
265.58/251.66	o 1467
265.58/251.70	o 1466
265.68/251.75	o 1465
266.68/252.73	o 1464
266.68/252.77	o 1463
266.78/252.81	o 1462
267.18/253.20	o 1459
267.99/254.04	o 1458
268.48/254.51	o 1457
268.58/254.63	o 1456
269.34/255.37	o 1455
269.74/255.73	o 1453
270.64/256.66	o 1452
271.05/257.02	o 1451
271.15/257.12	o 1450
271.94/257.96	o 1448
272.44/258.46	o 1447
272.44/258.49	o 1445
273.25/259.27	o 1443
273.55/259.58	o 1442
273.65/259.69	o 1440
274.55/260.57	o 1439
274.55/260.58	o 1438
274.95/260.91	o 1437
275.85/261.87	o 1435
275.95/261.93	o 1433
277.16/263.18	o 1431
278.45/264.48	o 1430
278.85/264.86	o 1429
279.05/265.06	o 1428
279.75/265.79	o 1427
279.95/265.92	o 1425
281.06/267.08	o 1424
281.36/267.34	o 1423
281.56/267.55	o 1422
282.46/268.40	o 1420
283.76/269.70	o 1418
284.96/271.00	o 1415
286.36/272.31	o 1414
286.56/272.58	o 1413
286.86/272.83	o 1411
287.66/273.62	o 1410
287.76/273.78	o 1408
288.96/274.92	o 1404
290.26/276.22	o 1403
290.46/276.44	o 1400
290.56/276.55	o 1399
291.61/277.55	o 1398
291.71/277.62	o 1396
292.91/278.84	o 1395
293.31/279.20	o 1393
294.22/280.14	o 1392
294.61/280.53	o 1391
295.52/281.44	o 1390
295.62/281.52	o 1387
295.62/281.53	o 1384
296.81/282.75	o 1383
297.22/283.13	o 1381
298.13/284.06	o 1380
298.32/284.28	o 1379
298.52/284.40	o 1378
299.42/285.36	o 1377
299.62/285.52	o 1375
300.71/286.66	o 1374
300.81/286.72	o 1373
302.02/287.97	o 1370
302.42/288.33	o 1369
303.32/289.27	o 1368
303.62/289.56	o 1367
304.62/290.58	o 1366
304.72/290.68	o 1365
304.92/290.83	o 1364
305.92/291.89	o 1363
306.23/292.16	o 1362
307.23/293.19	o 1361
307.43/293.39	o 1360
308.63/294.50	o 1359
308.83/294.77	o 1358
308.93/294.85	o 1356
308.93/294.87	o 1354
309.03/294.91	o 1353
309.13/295.04	o 1352
309.93/295.80	o 1350
310.03/295.94	o 1349
311.23/297.11	o 1348
311.63/297.59	o 1347
312.53/298.41	o 1346
312.63/298.60	o 1344
312.73/298.67	o 1343
312.83/298.70	o 1342
313.83/299.71	o 1341
314.03/299.98	o 1340
314.03/300.00	o 1339
315.19/301.04	o 1338
315.48/301.33	o 1337
316.48/302.33	o 1336
316.48/302.38	o 1335
317.79/303.63	o 1334
317.79/303.67	o 1332
319.09/304.94	o 1331
319.20/305.06	o 1330
320.39/306.24	o 1329
320.39/306.26	o 1328
320.89/306.71	o 1327
321.69/307.55	o 1326
322.20/308.04	o 1324
322.99/308.85	o 1319
324.31/310.15	o 1317
325.60/311.46	o 1316
325.90/311.74	o 1315
325.90/311.77	o 1314
326.90/312.76	o 1313
327.21/313.01	o 1311
327.21/313.06	o 1310
328.21/314.06	o 1309
328.50/314.39	o 1308
329.50/315.36	o 1306
329.70/315.52	o 1305
330.80/316.67	o 1303
331.40/317.23	o 1302
332.10/317.98	o 1301
332.40/318.23	o 1300
333.40/319.27	o 1299
333.70/319.50	o 1298
334.70/320.59	o 1297
335.10/320.98	o 1296
336.00/321.88	o 1295
336.21/322.04	o 1294
336.31/322.17	o 1293
337.45/323.22	o 1291
338.76/324.51	o 1290
338.76/324.51	o 1289
340.06/325.80	o 1288
340.16/325.90	o 1287
341.27/327.10	o 1286
341.76/327.55	o 1285
342.67/328.42	o 1284
342.97/328.77	o 1283
343.97/329.72	o 1282
344.07/329.90	o 1281
345.28/331.03	o 1278
346.57/332.34	o 1276
346.97/332.71	o 1275
347.87/333.64	o 1273
347.97/333.72	o 1272
348.17/334.00	o 1270
349.17/334.94	o 1269
349.57/335.31	o 1268
350.47/336.24	o 1267
350.77/336.58	o 1266
351.77/337.55	o 1265
352.17/337.90	o 1263
353.07/338.86	o 1262
353.17/338.93	o 1261
353.28/339.05	o 1259
353.38/339.15	o 1258
354.38/340.16	o 1257
354.67/340.43	o 1255
355.67/341.46	o 1254
356.07/341.81	o 1253
356.17/341.92	o 1251
356.17/342.00	o 1250
356.97/342.78	o 1247
358.28/344.08	o 1246
358.38/344.12	o 1245
359.73/345.40	o 1244
360.03/345.70	o 1243
360.93/346.69	o 1242
361.44/347.15	o 1238
362.23/347.99	o 1237
362.34/348.11	o 1235
363.53/349.29	o 1234
363.93/349.63	o 1232
364.93/350.61	o 1231
365.03/350.72	o 1228
366.24/351.91	o 1227
366.45/352.11	o 1226
366.54/352.27	o 1225
367.54/353.21	o 1224
367.64/353.32	o 1222
368.84/354.52	o 1221
369.24/354.93	o 1220
370.14/355.82	o 1219
370.45/356.14	o 1218
370.45/356.18	o 1217
370.64/356.35	o 1216
371.45/357.14	o 1215
371.74/357.43	o 1214
371.94/357.68	o 1213
372.74/358.45	o 1212
373.04/358.71	o 1211
374.04/359.76	o 1210
374.54/360.20	o 1209
375.35/361.06	o 1208
375.64/361.36	o 1207
376.64/362.37	o 1206
377.15/362.83	o 1205
377.95/363.67	o 1204
378.05/363.70	o 1203
379.25/364.98	o 1202
379.75/365.43	o 1201
380.55/366.28	o 1200
380.75/366.46	o 1199
381.90/367.58	o 1198
382.00/367.65	o 1196
382.00/367.66	o 1193
382.30/367.90	o 1192
383.20/368.89	o 1191
383.41/369.09	o 1190
383.41/369.10	o 1187
384.51/370.19	o 1185
385.90/371.50	o 1184
386.30/371.93	o 1183
387.20/372.80	o 1182
387.41/373.04	o 1181
388.51/374.11	o 1180
388.70/374.38	o 1179
389.80/375.41	o 1178
390.00/375.60	o 1177
391.11/376.72	o 1176
391.11/376.77	o 1174
391.52/377.11	o 1172
392.42/378.02	o 1169
392.52/378.15	o 1168
393.71/379.32	o 1167
393.91/379.56	o 1166
395.01/380.62	o 1165
395.42/381.03	o 1164
396.31/381.93	o 1163
396.61/382.23	o 1162
397.61/383.23	o 1161
397.81/383.40	o 1160
397.91/383.54	o 1159
398.91/384.54	o 1158
399.11/384.79	o 1157
399.31/384.98	o 1156
399.42/385.01	o 1155
400.21/385.84	o 1154
400.42/386.02	o 1153
400.42/386.09	o 1152
401.52/387.16	o 1151
401.71/387.31	o 1150
402.01/387.61	o 1149
402.81/388.47	o 1148
402.91/388.50	o 1147
404.18/389.79	o 1146
404.59/390.16	o 1145
405.49/391.07	o 1144
405.78/391.34	o 1142
406.08/391.62	o 1141
406.78/392.38	o 1140
406.88/392.50	o 1139
408.08/393.68	o 1138
408.18/393.79	o 1137
409.38/394.99	o 1136
409.38/395.00	o 1134
410.68/396.28	o 1133
410.98/396.56	o 1132
411.08/396.60	o 1131
412.08/397.60	o 1130
412.28/397.87	o 1129
412.49/398.01	o 1128
413.38/398.90	o 1127
413.59/399.15	o 1126
413.68/399.26	o 1124
414.69/400.20	o 1123
415.09/400.63	o 1121
415.99/401.50	o 1120
416.19/401.75	o 1119
417.19/402.80	o 1115
418.54/404.10	o 1114
418.83/404.39	o 1113
419.93/405.41	o 1112
420.13/405.67	o 1111
420.23/405.72	o 1110
421.23/406.72	o 1109
421.54/407.03	o 1108
422.54/408.01	o 1107
422.83/408.31	o 1106
423.83/409.33	o 1105
424.13/409.66	o 1103
424.23/409.70	o 1102
425.21/410.65	o 1101
425.50/410.90	o 1100
426.50/411.93	o 1099
426.61/412.04	o 1098
427.80/413.24	o 1097
427.80/413.28	o 1096
427.80/413.29	o 1094
429.11/414.54	o 1093
429.31/414.79	o 1092
430.41/415.84	o 1091
430.72/416.20	o 1089
431.01/416.41	o 1088
431.72/417.16	o 1087
432.11/417.58	o 1085
433.01/418.46	o 1082
434.31/419.76	o 1080
434.91/420.33	o 1078
435.62/421.07	o 1077
435.92/421.34	o 1076
436.92/422.36	o 1075
437.02/422.41	o 1074
438.22/423.68	o 1073
438.63/424.08	o 1072
438.82/424.20	o 1070
439.52/424.98	o 1069
439.82/425.21	o 1068
440.82/426.28	o 1067
440.92/426.30	o 1066
442.12/427.59	o 1065
442.22/427.62	o 1063
442.42/427.80	o 1062
442.52/427.90	o 1061
443.42/428.89	o 1060
443.62/429.02	o 1059
444.81/430.20	o 1058
445.21/430.61	o 1057
446.20/431.52	o 1055
447.50/432.80	o 1053
447.90/433.29	o 1052
448.81/434.11	o 1051
449.00/434.31	o 1050
449.20/434.50	o 1047
450.10/435.41	o 1045
450.20/435.57	o 1044
451.40/436.72	o 1043
451.50/436.87	o 1042
451.60/437.00	o 1040
451.71/437.06	o 1039
451.90/437.20	o 1038
452.71/438.02	o 1037
452.81/438.11	o 1036
453.20/438.55	o 1035
454.00/439.33	o 1034
454.20/439.59	o 1033
455.30/440.63	o 1032
455.60/440.97	o 1031
455.71/441.08	o 1030
456.60/441.93	o 1029
456.60/441.98	o 1028
457.90/443.27	o 1027
457.90/443.28	o 1026
458.20/443.53	o 1024
458.20/443.55	o 1023
458.20/443.57	o 1021
458.40/443.77	o 1020
459.21/444.54	o 1019
459.61/444.94	o 1018
459.61/444.95	o 1017
460.51/445.84	o 1016
460.92/446.20	o 1015
461.83/447.14	o 1014
462.02/447.33	o 1013
463.12/448.44	o 1012
463.42/448.77	o 1011
463.52/448.88	o 1010
464.42/449.75	o 1009
464.52/449.86	o 1008
464.62/449.93	o 1007
465.73/451.05	o 1006
465.83/451.12	o 1003
465.83/451.16	o 1002
465.83/451.19	o 1000
466.28/451.57	o 999
467.08/452.36	o 998
467.28/452.59	o 997
468.38/453.66	o 996
468.48/453.72	o 995
469.68/454.97	o 994
469.79/455.04	o 993
470.18/455.43	o 990
470.98/456.27	o 988
472.29/457.58	o 987
472.69/457.93	o 985
472.79/458.08	o 984
473.59/458.88	o 983
473.99/459.27	o 982
474.90/460.18	o 980
475.49/460.70	o 979
476.19/461.49	o 978
476.59/461.86	o 977
476.59/461.88	o 976
477.59/462.80	o 975
477.91/463.11	o 974
477.91/463.19	o 971
478.81/464.10	o 970
479.20/464.42	o 968
480.20/465.40	o 967
480.20/465.41	o 966
480.40/465.67	o 964
480.50/465.70	o 963
480.70/465.93	o 962
481.50/466.70	o 961
481.60/466.82	o 960
482.81/468.01	o 959
483.00/468.25	o 957
483.20/468.49	o 956
484.10/469.31	o 955
484.10/469.37	o 954
485.46/470.63	o 953
485.66/470.84	o 952
485.97/471.13	o 951
486.76/471.92	o 950
487.16/472.30	o 948
488.06/473.22	o 947
488.36/473.56	o 946
488.56/473.74	o 945
489.36/474.53	o 944
489.66/474.89	o 943
489.76/474.97	o 941
490.66/475.83	o 940
491.06/476.22	o 939
491.97/477.13	o 938
492.06/477.27	o 937
493.26/478.44	o 936
493.36/478.54	o 935
493.66/478.85	o 934
494.56/479.74	o 933
494.67/479.83	o 932
494.67/479.83	o 931
495.88/481.04	o 930
496.17/481.31	o 929
497.17/482.34	o 928
497.57/482.72	o 927
498.47/483.65	o 926
498.57/483.78	o 925
499.77/484.95	o 924
499.98/485.11	o 922
501.07/486.27	o 921
501.17/486.33	o 919
502.43/487.58	o 918
502.63/487.78	o 917
502.83/487.96	o 915
503.04/488.15	o 914
503.73/488.88	o 913
504.04/489.18	o 912
504.23/489.30	o 911
504.23/489.31	o 910
505.13/490.20	o 909
505.43/490.53	o 908
505.53/490.62	o 907
506.34/491.49	o 906
506.53/491.62	o 904
507.74/492.80	o 903
508.04/493.14	o 902
508.23/493.32	o 901
508.94/494.10	o 900
509.24/494.35	o 896
510.34/495.40	o 895
510.34/495.44	o 894
511.64/496.71	o 893
511.95/497.07	o 892
511.95/497.10	o 891
512.95/498.03	o 890
513.24/498.37	o 889
513.44/498.55	o 888
514.24/499.32	o 887
514.34/499.43	o 886
515.54/500.62	o 885
515.64/500.75	o 884
516.85/501.93	o 883
516.85/502.00	o 882
518.15/503.23	o 881
518.15/503.29	o 880
519.51/504.57	o 879
519.91/504.91	o 878
520.81/505.84	o 877
521.12/506.16	o 876
522.12/507.15	o 875
522.21/507.24	o 874
523.41/508.46	o 873
523.71/508.79	o 872
523.91/508.95	o 871
524.71/509.76	o 870
525.02/510.01	o 869
526.03/511.06	o 868
526.32/511.35	o 867
527.32/512.37	o 865
528.63/513.67	o 864
528.93/513.90	o 863
529.93/514.98	o 862
530.23/515.27	o 861
530.43/515.49	o 860
531.23/516.28	o 859
531.43/516.46	o 858
532.53/517.59	o 857
532.83/517.84	o 856
533.04/518.10	o 855
533.83/518.89	o 854
534.04/519.09	o 853
535.28/520.21	o 852
535.48/520.44	o 851
535.68/520.60	o 849
535.78/520.70	o 848
536.58/521.50	o 847
536.68/521.64	o 846
536.68/521.66	o 845
537.09/522.04	o 843
537.88/522.80	o 842
537.98/522.98	o 841
539.20/524.11	o 840
539.49/524.41	o 839
540.49/525.41	o 838
540.59/525.55	o 837
540.69/525.63	o 836
540.79/525.74	o 835
540.89/525.84	o 834
540.99/525.95	o 833
541.79/526.71	o 832
541.99/526.96	o 831
543.10/528.01	o 830
543.20/528.12	o 828
543.29/528.22	o 827
543.39/528.36	o 826
544.39/529.32	o 824
545.69/530.61	o 823
545.69/530.63	o 822
546.99/531.93	o 821
546.99/531.98	o 820
548.29/533.24	o 819
548.59/533.55	o 818
549.59/534.53	o 817
549.79/534.79	o 816
550.10/535.03	o 815
550.94/535.87	o 814
551.15/536.04	o 813
552.25/537.14	o 812
552.44/537.35	o 811
552.64/537.58	o 810
553.54/538.45	o 809
553.74/538.62	o 808
553.94/538.81	o 807
554.85/539.76	o 806
555.15/540.09	o 805
556.16/541.05	o 803
557.45/542.36	o 802
557.75/542.60	o 801
558.75/543.67	o 800
558.85/543.73	o 799
559.16/544.10	o 798
560.05/544.97	o 797
560.26/545.16	o 796
560.45/545.35	o 795
560.55/545.44	o 794
561.35/546.27	o 793
561.65/546.51	o 792
561.85/546.77	o 791
562.65/547.58	o 790
562.95/547.84	o 789
563.96/548.88	o 788
564.27/549.19	o 787
564.46/549.34	o 786
564.46/549.34	o 785
565.32/550.19	o 784
565.41/550.23	o 783
565.61/550.40	o 782
566.61/551.49	o 781
566.81/551.60	o 780
567.91/552.79	o 779
567.91/552.80	o 778
568.01/552.81	o 777
569.23/554.10	o 776
569.42/554.20	o 775
569.42/554.24	o 774
569.52/554.37	o 773
570.62/555.40	o 772
570.82/555.64	o 771
571.02/555.83	o 770
571.12/555.94	o 768
571.92/556.71	o 767
572.02/556.86	o 766
573.22/558.02	o 765
573.51/558.30	o 764
574.52/559.31	o 763
574.62/559.43	o 762
575.82/560.62	o 761
576.02/560.87	o 760
577.12/561.92	o 759
577.33/562.12	o 758
577.52/562.30	o 757
578.42/563.22	o 756
578.52/563.35	o 755
578.62/563.47	o 754
579.78/564.55	o 753
579.78/564.58	o 752
581.08/565.84	o 751
581.29/566.09	o 750
581.39/566.17	o 749
582.39/567.14	o 748
582.58/567.33	o 747
583.68/568.44	o 746
583.88/568.66	o 745
584.08/568.85	o 744
584.98/569.75	o 743
585.18/569.97	o 742
585.39/570.17	o 741
585.48/570.23	o 740
586.29/571.06	o 739
586.48/571.22	o 738
587.58/572.37	o 737
587.68/572.43	o 736
588.19/572.91	o 735
588.89/573.67	o 734
589.19/573.98	o 733
589.49/574.21	o 732
590.19/574.98	o 731
590.40/575.16	o 730
590.40/575.19	o 729
591.50/576.29	o 728
591.80/576.52	o 727
592.95/577.61	o 726
593.15/577.87	o 725
593.25/577.95	o 724
593.25/578.01	o 723
594.15/578.89	o 722
594.25/578.92	o 721
594.25/578.96	o 720
594.65/579.32	o 719
595.47/580.20	o 718
595.56/580.25	o 717
596.86/581.50	o 716
596.96/581.68	o 715
598.15/582.81	o 714
598.46/583.12	o 713
599.36/584.11	o 712
599.46/584.16	o 711
599.85/584.51	o 710
600.75/585.41	o 709
600.85/585.51	o 708
602.05/586.72	o 707
602.15/586.89	o 706
603.36/588.02	o 705
603.65/588.30	o 704
603.65/588.37	o 703
604.65/589.33	o 702
605.02/589.61	o 701
606.02/590.63	o 700
606.12/590.70	o 699
606.43/591.02	o 698
607.32/591.93	o 697
607.53/592.13	o 696
608.62/593.23	o 695
608.82/593.41	o 694
608.82/593.44	o 693
608.82/593.49	o 692
609.92/594.54	o 691
609.92/594.56	o 690
611.22/595.85	o 689
611.22/595.85	o 688
611.32/595.91	o 687
612.53/597.15	o 686
612.82/597.47	o 685
613.82/598.45	o 684
614.12/598.74	o 683
614.22/598.90	o 682
615.12/599.77	o 681
615.32/599.99	o 680
615.53/600.18	o 678
616.43/601.08	o 677
616.72/601.34	o 676
616.87/601.49	o 675
617.80/602.38	o 673
618.20/602.71	o 671
619.10/603.69	o 670
619.40/603.99	o 669
620.40/604.98	o 668
620.70/605.20	o 667
621.71/606.29	o 666
622.01/606.54	o 665
623.01/607.59	o 664
623.11/607.64	o 663
624.41/608.90	o 662
624.41/608.91	o 661
624.41/608.93	o 660
624.71/609.28	o 659
625.71/610.21	o 658
626.01/610.51	o 657
626.21/610.74	o 656
627.01/611.51	o 655
627.11/611.68	o 653
627.31/611.81	o 652
628.38/612.82	o 651
628.59/613.09	o 650
629.78/614.29	o 649
630.08/614.57	o 648
630.38/614.84	o 647
631.18/615.61	o 646
631.48/615.91	o 645
632.48/616.91	o 644
632.59/617.01	o 643
632.78/617.21	o 641
633.78/618.22	o 640
634.08/618.54	o 639
634.08/618.55	o 638
635.08/619.51	o 637
635.18/619.68	o 636
635.38/619.87	o 635
636.38/620.82	o 634
636.59/621.03	o 633
636.78/621.20	o 632
637.77/622.15	o 631
637.86/622.21	o 630
637.96/622.38	o 629
639.06/623.42	o 628
639.16/623.56	o 626
639.36/623.77	o 625
639.56/623.97	o 624
640.37/624.73	o 623
640.57/624.95	o 622
640.78/625.18	o 621
641.67/626.03	o 620
641.86/626.22	o 619
642.97/627.34	o 618
643.17/627.58	o 614
643.47/627.83	o 613
644.27/628.65	o 612
644.57/628.94	o 611
644.78/629.12	o 610
645.57/629.95	o 609
645.68/630.08	o 608
646.03/630.34	o 607
646.93/631.25	o 606
647.13/631.49	o 605
647.33/631.68	o 604
648.23/632.56	o 603
648.33/632.63	o 602
648.53/632.89	o 600
649.53/633.86	o 599
649.63/633.96	o 598
650.84/635.17	o 597
651.13/635.41	o 596
652.14/636.47	o 595
652.44/636.76	o 594
652.75/637.02	o 593
653.44/637.77	o 592
653.54/637.86	o 591
653.64/637.94	o 590
654.75/639.08	o 589
655.12/639.37	o 588
656.12/640.37	o 587
656.22/640.43	o 586
657.42/641.68	o 585
657.62/641.86	o 584
658.72/642.99	o 583
658.72/642.99	o 582
659.02/643.28	o 581
660.02/644.29	o 580
660.12/644.32	o 579
660.32/644.55	o 578
661.31/645.59	o 577
661.52/645.75	o 576
661.72/645.95	o 575
662.72/646.90	o 574
662.83/647.09	o 573
663.12/647.38	o 572
664.02/648.20	o 571
664.02/648.27	o 570
665.38/649.51	o 569
665.48/649.60	o 568
666.68/650.82	o 567
666.89/651.11	o 566
667.99/652.11	o 565
667.99/652.17	o 564
668.18/652.40	o 563
668.48/652.60	o 562
669.28/653.42	o 561
669.48/653.66	o 560
669.58/653.79	o 559
670.58/654.72	o 558
670.58/654.73	o 557
670.68/654.85	o 556
670.99/655.19	o 555
671.08/655.20	o 554
671.89/656.03	o 553
671.99/656.16	o 552
672.28/656.46	o 551
673.26/657.33	o 550
673.36/657.44	o 549
673.36/657.46	o 548
674.56/658.63	o 547
674.65/658.76	o 546
675.86/659.93	o 545
676.06/660.11	o 544
677.16/661.24	o 543
677.36/661.43	o 542
678.46/662.54	o 541
678.66/662.79	o 540
679.76/663.85	o 539
680.13/664.13	o 538
680.22/664.28	o 537
681.13/665.15	o 536
681.32/665.39	o 535
681.52/665.59	o 534
682.42/666.46	o 533
682.62/666.63	o 532
682.72/666.77	o 531
683.72/667.76	o 530
683.92/667.96	o 529
685.03/669.06	o 528
685.13/669.15	o 527
685.52/669.51	o 526
686.32/670.37	o 525
686.52/670.59	o 524
686.72/670.79	o 523
687.80/671.70	o 522
688.01/671.95	o 521
689.01/672.98	o 520
689.22/673.15	o 519
689.31/673.28	o 518
690.31/674.28	o 517
690.61/674.53	o 515
691.61/675.59	o 514
691.91/675.88	o 513
692.11/676.07	o 512
692.91/676.89	o 511
693.11/677.01	o 510
694.22/678.19	o 509
694.57/678.46	o 508
694.77/678.68	o 507
695.57/679.49	o 506
695.87/679.71	o 505
696.97/680.80	o 504
697.18/681.06	o 503
697.37/681.24	o 502
698.18/682.10	o 501
698.37/682.26	o 500
698.67/682.51	o 499
699.57/683.40	o 498
699.67/683.55	o 497
699.99/683.89	o 496
700.95/684.70	o 495
700.95/684.79	o 494
702.26/686.01	o 493
702.45/686.26	o 492
702.65/686.49	o 491
703.55/687.31	o 490
703.75/687.55	o 489
704.05/687.84	o 488
704.85/688.62	o 487
705.05/688.81	o 486
705.36/689.12	o 485
706.21/689.92	o 484
706.42/690.18	o 483
706.71/690.45	o 482
707.51/691.23	o 481
707.61/691.35	o 480
707.71/691.43	o 479
708.81/692.53	o 478
709.01/692.73	o 477
709.11/692.80	o 476
710.11/693.84	o 475
710.32/694.06	o 474
710.42/694.19	o 473
711.49/695.16	o 472
711.58/695.25	o 471
712.78/696.44	o 470
712.98/696.62	o 469
714.08/697.75	o 468
714.28/697.97	o 467
714.49/698.15	o 466
715.39/699.05	o 465
715.58/699.29	o 464
715.78/699.42	o 463
715.88/699.56	o 462
716.68/700.35	o 461
716.88/700.56	o 460
717.25/700.80	o 459
718.05/701.66	o 458
718.25/701.89	o 457
718.46/702.09	o 456
719.36/702.96	o 455
719.57/703.15	o 454
719.86/703.48	o 453
720.66/704.27	o 452
720.96/704.51	o 451
721.16/704.70	o 450
721.26/704.82	o 449
722.04/705.59	o 448
722.34/705.84	o 447
722.55/706.01	o 446
723.34/706.87	o 445
723.55/707.08	o 444
723.84/707.39	o 443
724.65/708.18	o 442
724.84/708.31	o 441
724.94/708.47	o 440
725.94/709.48	o 439
726.14/709.69	o 438
726.50/709.92	o 437
727.30/710.78	o 436
727.50/710.96	o 435
727.61/711.08	o 434
728.61/712.08	o 433
728.80/712.29	o 432
729.00/712.43	o 431
729.90/713.39	o 430
730.20/713.60	o 429
730.30/713.77	o 428
731.37/714.70	o 427
731.47/714.86	o 426
732.57/716.01	o 425
732.78/716.19	o 424
733.07/716.49	o 423
733.97/717.30	o 422
734.07/717.41	o 421
735.27/718.61	o 420
735.37/718.78	o 419
735.85/719.12	o 418
736.64/719.91	o 417
736.75/720.06	o 416
736.85/720.17	o 415
737.94/721.22	o 414
738.04/721.39	o 413
739.24/722.52	o 412
739.34/722.60	o 411
740.54/723.83	o 410
740.75/724.09	o 409
741.11/724.33	o 408
741.92/725.13	o 407
742.11/725.31	o 406
742.21/725.46	o 405
743.21/726.43	o 404
743.31/726.57	o 403
743.71/726.99	o 402
744.51/727.74	o 401
744.71/727.90	o 400
744.71/727.94	o 399
745.08/728.24	o 398
745.89/729.05	o 397
746.08/729.29	o 396
746.28/729.46	o 395
747.18/730.35	o 394
747.38/730.55	o 393
747.58/730.76	o 392
748.48/731.65	o 391
748.68/731.89	o 390
749.84/732.95	o 389
750.05/733.16	o 388
750.24/733.36	o 387
751.15/734.26	o 386
751.35/734.48	o 385
752.52/735.58	o 384
752.82/735.82	o 383
752.92/736.00	o 382
753.82/736.87	o 381
754.03/737.08	o 380
754.13/737.17	o 379
755.13/738.17	o 378
755.32/738.39	o 377
755.52/738.56	o 376
756.49/739.47	o 375
756.79/739.70	o 374
756.99/739.92	o 373
757.79/740.78	o 372
757.99/741.01	o 371
758.20/741.19	o 370
759.10/742.08	o 369
759.35/742.25	o 368
759.45/742.35	o 367
759.65/742.52	o 366
760.45/743.39	o 365
760.65/743.53	o 364
761.75/744.69	o 363
761.95/744.86	o 362
763.05/745.99	o 361
763.35/746.20	o 360
763.62/746.41	o 359
764.52/747.30	o 358
764.72/747.52	o 357
764.92/747.74	o 356
765.82/748.60	o 355
766.02/748.81	o 354
766.23/749.02	o 353
767.19/749.93	o 352
767.40/750.13	o 351
767.49/750.26	o 350
768.49/751.22	o 349
768.69/751.44	o 348
768.89/751.62	o 347
769.79/752.51	o 346
769.99/752.73	o 345
769.99/752.76	o 344
770.37/753.02	o 343
771.16/753.82	o 342
771.26/754.00	o 341
771.66/754.32	o 340
772.47/755.12	o 339
772.56/755.25	o 338
772.66/755.38	o 337
773.76/756.43	o 336
773.96/756.61	o 335
774.06/756.80	o 334
774.33/756.94	o 333
775.13/757.73	o 332
775.33/757.95	o 331
775.54/758.16	o 330
776.44/759.03	o 329
776.63/759.24	o 328
776.83/759.42	o 327
777.73/760.34	o 326
778.00/760.53	o 325
779.10/761.64	o 324
779.30/761.83	o 323
779.40/762.00	o 322
780.40/762.94	o 321
780.61/763.14	o 320
780.80/763.34	o 319
781.70/764.25	o 318
781.97/764.46	o 317
782.17/764.62	o 316
783.07/765.55	o 315
783.27/765.76	o 314
783.47/765.96	o 313
784.37/766.86	o 312
784.58/767.01	o 311
785.68/768.17	o 310
785.91/768.39	o 309
786.23/768.64	o 308
787.03/769.47	o 307
787.33/769.70	o 306
787.53/769.91	o 305
788.33/770.77	o 304
788.53/770.97	o 303
788.83/771.28	o 302
789.71/772.10	o 301
789.90/772.26	o 300
791.00/773.38	o 299
791.20/773.58	o 298
791.40/773.71	o 297
792.30/774.68	o 296
792.50/774.84	o 295
793.60/775.99	o 294
793.81/776.19	o 293
794.17/776.48	o 292
794.98/777.29	o 291
795.28/777.50	o 290
795.48/777.72	o 289
796.28/778.60	o 288
796.58/778.81	o 287
796.68/779.00	o 286
796.79/779.11	o 285
797.68/779.90	o 284
797.87/780.08	o 283
799.04/781.21	o 282
799.14/781.32	o 281
800.34/782.51	o 280
800.54/782.73	o 279
800.74/782.90	o 278
801.64/783.81	o 277
801.74/783.90	o 276
802.96/785.12	o 275
803.21/785.35	o 274
803.31/785.49	o 273
804.31/786.42	o 272
804.51/786.61	o 271
804.61/786.79	o 270
805.61/787.72	o 269
805.71/787.89	o 268
806.92/789.03	o 267
807.11/789.24	o 266
807.35/789.48	o 265
808.27/790.34	o 264
808.37/790.49	o 263
809.58/791.64	o 262
809.78/791.83	o 261
809.98/792.01	o 260
809.98/792.06	o 259
810.88/792.94	o 258
811.09/793.13	o 257
812.24/794.27	o 256
812.44/794.43	o 255
813.54/795.55	o 254
813.74/795.76	o 253
813.94/795.95	o 252
814.84/796.86	o 251
815.05/797.03	o 250
815.39/797.37	o 249
816.21/798.16	o 248
816.30/798.27	o 247
816.50/798.42	o 246
817.50/799.47	o 245
817.70/799.63	o 244
818.00/799.98	o 243
818.80/800.77	o 242
819.00/800.90	o 241
820.11/802.07	o 240
820.34/802.27	o 239
820.56/802.48	o 238
821.46/803.37	o 237
821.66/803.50	o 236
822.77/804.68	o 235
822.97/804.86	o 234
823.18/805.03	o 233
823.37/805.21	o 232
824.13/806.00	o 231
824.43/806.20	o 230
824.63/806.42	o 229
825.43/807.28	o 228
825.63/807.44	o 227
825.83/807.69	o 226
826.73/808.59	o 225
827.10/808.80	o 224
827.20/808.94	o 223
828.10/809.89	o 222
828.31/810.08	o 221
828.41/810.19	o 220
829.41/811.20	o 219
829.60/811.36	o 218
829.90/811.62	o 217
830.84/812.52	o 216
831.06/812.72	o 215
831.16/812.89	o 214
832.16/813.80	o 213
832.26/813.99	o 212
832.47/814.18	o 211
833.37/815.10	o 210
833.56/815.20	o 209
834.76/816.41	o 208
835.02/816.61	o 207
835.14/816.77	o 206
836.16/817.80	o 205
836.36/817.98	o 204
836.57/818.13	o 203
837.48/819.10	o 202
837.67/819.25	o 201
838.87/820.40	o 200
839.13/820.61	o 199
839.23/820.77	o 198
840.23/821.70	o 197
840.33/821.81	o 196
841.54/823.01	o 195
841.64/823.17	o 194
842.83/824.31	o 193
843.03/824.50	o 192
843.13/824.67	o 191
844.20/825.64	o 190
844.39/825.81	o 189
845.50/826.92	o 188
845.60/827.02	o 187
846.79/828.22	o 186
846.89/828.35	o 185
848.09/829.53	o 184
848.29/829.72	o 183
848.56/829.94	o 182
849.47/830.83	o 181
849.67/831.03	o 180
849.87/831.22	o 179
850.78/832.14	o 178
850.97/832.33	o 177
851.17/832.51	o 176
852.13/833.46	o 175
852.33/833.66	o 174
852.53/833.84	o 173
853.43/834.74	o 172
853.63/834.90	o 171
854.74/836.05	o 170
854.93/836.22	o 169
856.10/837.35	o 168
856.30/837.53	o 167
856.50/837.77	o 166
857.40/838.66	o 165
857.60/838.84	o 164
857.70/838.99	o 163
858.70/839.96	o 162
858.97/840.13	o 161
859.16/840.35	o 160
860.06/841.27	o 159
860.26/841.45	o 158
860.46/841.69	o 157
861.36/842.57	o 156
861.56/842.76	o 155
862.73/843.87	o 154
862.94/844.05	o 153
863.13/844.23	o 152
864.04/845.17	o 151
864.23/845.35	o 150
864.53/845.63	o 149
865.33/846.48	o 148
865.59/846.68	o 147
865.79/846.84	o 146
866.69/847.78	o 145
866.89/847.95	o 144
867.10/848.11	o 143
868.59/849.64	o 142
868.79/849.82	o 141
868.89/849.97	o 140
869.96/850.97	o 139
870.17/851.15	o 138
870.36/851.35	o 137
871.26/852.25	o 136
871.46/852.41	o 135
871.56/852.57	o 134
872.56/853.55	o 133
872.76/853.75	o 132
872.92/853.89	o 131
873.92/854.86	o 130
874.13/855.03	o 129
874.23/855.19	o 128
875.23/856.16	o 127
875.42/856.31	o 126
875.52/856.44	o 125
875.62/856.56	o 124
876.52/857.46	o 123
876.72/857.61	o 122
876.92/857.84	o 121
877.82/858.78	o 120
878.09/858.96	o 119
878.30/859.12	o 118
879.20/860.06	o 117
879.30/860.18	o 116
880.49/861.37	o 115
880.69/861.52	o 114
880.89/861.72	o 113
881.79/862.67	o 112
881.99/862.80	o 111
882.20/863.08	o 110
883.09/863.99	o 109
883.30/864.15	o 108
883.49/864.32	o 107
884.39/865.29	o 106
884.59/865.44	o 105
884.69/865.58	o 104
884.89/865.75	o 103
885.79/866.61	o 102
885.90/866.77	o 101
886.10/866.90	o 100
887.17/867.93	o 99
887.28/868.08	o 98
887.57/868.31	o 97
888.47/869.22	o 96
888.57/869.37	o 95
889.77/870.52	o 94
889.87/870.67	o 93
891.07/871.83	o 92
891.17/871.99	o 91
891.38/872.13	o 90
892.38/873.13	o 89
892.47/873.29	o 88
892.67/873.43	o 87
893.67/874.43	o 86
893.77/874.57	o 85
893.97/874.77	o 84
894.97/875.75	o 83
895.17/875.91	o 82
895.28/876.07	o 81
896.35/877.05	o 80
896.54/877.20	o 79
896.74/877.43	o 78
897.64/878.36	o 77
897.84/878.50	o 76
898.04/878.72	o 75
898.94/879.66	o 74
899.14/879.82	o 73
899.24/879.97	o 72
900.85/881.52	o 71
900.95/881.67	o 70
901.15/881.82	o 69
902.15/882.83	o 68
902.25/882.98	o 67
902.46/883.13	o 66
903.46/884.13	o 65
903.55/884.29	o 64
903.75/884.44	o 63
904.82/885.43	o 62
904.92/885.59	o 61
905.12/885.74	o 60
906.12/886.74	o 59
906.22/886.89	o 58
906.43/887.04	o 57
907.43/888.05	o 56
907.62/888.21	o 55
907.72/888.36	o 54
907.82/888.49	o 53
908.72/889.35	o 52
908.92/889.51	o 51
909.11/889.68	o 50
910.16/890.63	o 49
910.26/890.78	o 48
910.46/890.93	o 47
911.52/891.93	o 46
911.63/892.08	o 45
911.92/892.30	o 44
912.82/893.24	o 43
913.02/893.40	o 42
913.12/893.57	o 41
913.33/893.73	o 40
914.13/894.55	o 39
914.33/894.70	o 38
914.43/894.84	o 37
914.64/895.03	o 36
915.43/895.85	o 35
915.64/896.01	o 34
915.74/896.16	o 33
915.93/896.32	o 32
916.74/897.18	o 31
916.93/897.34	o 30
917.03/897.49	o 29
918.11/898.47	o 28
918.31/898.64	o 27
918.41/898.79	o 26
919.41/899.79	o 25
919.61/899.95	o 24
919.82/900.12	o 23
920.72/901.09	o 22
922.41/902.76	o 21
922.61/902.94	o 20
922.82/903.11	o 19
923.72/904.04	o 18
923.91/904.22	o 17
924.11/904.46	o 16
925.19/905.40	o 15
925.35/905.59	o 14
925.55/905.78	o 13
926.45/906.67	o 12
926.65/906.85	o 11
928.26/908.46	o 10
928.46/908.65	o 9
931.40/911.45	o 8
968.27/947.63	o 7
2520.01/2464.80	s SATISFIABLE
2520.01/2464.81	v <instantiation>
2520.01/2464.81	v 	<list>
2520.01/2464.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.01/2464.81	v 	</list>
2520.01/2464.81	v 	<values>
2520.01/2464.81	v 		7 3 7 3 4 5 0 0 5 5 0 4 3 5 7 0 0 0 0 4 4 6 1 4 4 1 4 1 5 1 3 3 3 3 3 7 0 0 3 3 3 3 3 3 3 1 0 6 0 4 4 1 1 4 4 0 4 1 4 6 3 3 1 7 3 3 6 6 3 3 3 3 3 3 3 0 7 1 3 4 2 1 1 3 2 5 1 1 4 2 2 2 3 2 2 1 1 1 2 1 1 2 2 1 1 1 1 1 2 2 2 2 3 2 2 3 3 2 2 3 2 3 2 2 2 1 2 1 1 1 2 1 1 1 1 1 2 2 2 1 3 3 3 2 3 3 2 6 3 2 3 3 3 2 3 2 2 2 2 2 0 3 3 3 0 0 3 0 0 0 0 0 3 0 0 0 5 0 1 0 0 1 0 0 0 0 0 0 0 1 3 3 0 0 0 3 3 3 3 3 3 3 0 0 3 1 1 0 1 0 1 0 0 1 0 0 0 1 0 1 6 6 0 0 6 6 0 6 0 0 0 6 0 6 0 0 0 1 6 0 2 7 2 6 2 6 2 1 6 2 2 6 2 2 1 2 1 1 1 2 6 1 1 2 1 2 1 1 2 2 2 6 2 2 6 6 6 6 6 5 6 6 6 6 6 2 1 0 1 1 1 1 2 2 1 1 1 1 2 1 2 2 2 2 6 6 6 6 6 6 6 6 6 6 6 2 2 1 6 2 2 0 2 3 3 6 0 0 6 0 3 0 0 3 0 3 3 0 0 0 0 3 0 3 3 0 0 0 0 3 3 3 3 6 6 3 3 0 3 0 6 6 3 3 0 0 3 0 3 3 0 2 3 0 0 2 0 2 2 0 0 6 6 0 0 6 6 6 3 6 6 6 6 3 0 0 3 0 6 0 1 0 2 3 5 5 5 6 3 5 4 6 7 5 5 6 6 6 5 6 4 5 6 5 5 5 6 6 6 6 6 6 6 6 6 3 7 6 3 5 4 0 7 7 7 0 7 7 7 6 4 4 4 6 5 4 5 6 4 5 5 6 6 4 5 3 7 7 6 7 5 6 6 7 7 7 3 7 7 7 5 7 6 3 5 7 4 7 5 5 5 7 6 4 4 6 6 6 5 7 4 5 1 6 4 5 4 6 4 1 6 4 6 6 6 4 7 6 6 7 5 6 7 7 4 7 7 7 7 6 1 7 1 4 4 5 4 1 7 4 4 5 4 7 7 3 7 7 7 3 7 7 7 3 7 7 5 7 7 7 5 7 5 5 4 4 3 4 7 4 5 4 5 5 7 5 4 7 4 5 5 7 4 5 7 5 4 7 7 5 7 7 4 7 7 4 7 5 7 7 5 4 7 4 4 5 5 4 4 5 7 7 7 7 7 5 4 7 7 4 7 5 5 5 7 6 5 6 7 5 7 4 7 4 5 4 4 6 5 7 7 4 7 5 5 6 1 1 7 7 6 5 5 4 6 7 6 7 7 5 4 1 7 1 1 4 4 4 5 4 5 5 4 7 4 6 6 7 4 5 5 4 5 5 6 7 4 4 7 7 1 4 1 4 1 1 4 4 5 7 4 4 4 4 1 4 7 6 6 4 4 4 5 4 7 4 4 4 4 6 4 4 7 7 7 4 7 4 7 4 7 4 4 4 7 7 4 4 4 7 4 7 4 7 4 7 4 4 4 4 4 7 4 4 4 4 4 4 4 4 4 4 7 7 7 7 4 7 7 4 4 4 4 7 4 4 7 4 4 4 4 4 4 7 4 7 7 6 6 7 4 4 6 6 7 7 7 4 4 4 7 7 4 7 7 4 7 7 4 7 1 0 2 2 2 0 0 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 3 3 2 2 2 2 2 0 2 1 2 0 2 2 2 2 1 0 0 1 0 0 2 2 2 0 0 1 2 1 2 1 1 2 2 2 2 0 2 2 0 0 2 1 1 0 2 2 2 2 2 2 0 2 2 2 2 2 2 1 3 2 1 3 1 1 1 1 2 1 2 1 2 1 1 1 1 3 1 1 3 3 1 1 1 2 3 1 2 3 2 2 2 1 3 3 1 2 3 1 2 1 2 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 2 1 2 2 3 2 2 2 1 2 1 3 2 3 1 2 1 2 2 2 5 2 2 0 2 2 0 0 2 2 0 2 1 2 2 2 2 2 2 2 1 2 2 2 2 3 2 0 2 0 2 0 2 0 2 0 0 2 2 2 2 2 2 2 2 2 3 0 2 1 2 2 0 2 2 0 2 2 1 0 2 0 2 0 2 2 2 2 0 2 2 0 0 2 2 0 3 2 2 0 1 2 0 2 0 3 0 0 1 3 1 0 1 1 0 0 2 1 0 1 0 1 0 1 3 0 0 1 2 0 0 0 1 0 2 1 1 2 0 3 2 0 1 0 2 2 0 2 1 2 1 1 1 1 2 3 0 2 2 3 0 3 1 0 3 0 1 0 2 1 2 1 2 0 1 3 2 2 1 2 2 2 2 2 2 2 6 2 2 0 2 2 2 2 2 2 3 1 2 2 2 2 2 2 2 2 2 2 2 2 6 2 2 2 2 6 6 0 2 2 2 2 3 1 5 2 2 2 2 3 2 2 2 2 2 5 2 2 2 5 5 5 5 0 2 2 0 5 2 0 2 0 2 0 2 2 2 2 3 0 2 1 3 0 5 4 6 4 7 7 4 4 6 7 4 4 5 5 7 6 7 4 4 7 7 6 4 4 7 4 4 7 4 6 4 4 6 5 6 6 4 5 7 6 4 4 5 5 5 7 4 7 4 4 6 6 6 4 4 4 4 4 5 6 4 7 5 4 4 6 7 4 5 6 4 7 7 4 4 4 5 4 4 4 7 6 6 4 6 7 7 4 3 3 6 7 6 6 7 7 6 4 4 4 7 4 6 4 4 4 7 7 4 7 6 4 6 7 6 5 7 6 4 6 7 4 6 6 7 7 7 4 4 6 3 4 7 5 4 6 7 5 4 4 7 4 6 7 4 4 4 6 4 6 4 4 7 4 6 4 6 5 4 4 4 4 5 6 6 7 4 4 4 5 4 6 5 7 6 4 4 6 5 7 4 6 4 5 6 4 6 4 5 5 4 5 6 5 6 4 4 4 4 6 5 6 5 4 5 7 5 7 6 4 4 5 4 6 4 4 7 4 5 5 4 5 4 4 7 7 4 6 4 4 7 4 7 4 6 4 6 4 6 4 7 7 4 4 7 4 7 7 4 7 7 7 7 4 4 4 7 4 4 7 7 4 5 4 5 6 7 7 5 5 4 7 4 7 4 4 5 4 4 4 4 4 7 4 7 4 4 7 6 7 7 4 7 7 5 7 4 4 5 4 7 7 7 6 4 7 7 6 4 7 4 6 4 6 7 7 7 4 4 6 6 6 4 6 4 4 6 6 6 6 4 4 6 4 4 4 4 4 4 5 6 4 7 6 4 7 4 4 7 6 4 4 4 7 6 6 7 4 6 7 7 4 4 4 6 6 6 4 7 6 7 4 4 4 4 6 4 4 7 4 6 4 4 4 4 4 4 6 4 4 4 7 4 7 7 4 7 7 4 4 7 7 4 6 4 1 0 0 2 3 0 2 2 3 1 2 3 0 1 0 0 0 1 1 0 0 4 2 1 0 0 1 1 1 1 0 2 2 1 0 2 1 2 1 1 3 2 0 2 0 0 0 2 0 2 2 0 1 1 3 0 0 0 2 0 0 2 2 0 1 2 0 0 2 0 2 0 1 1 0 0 1 0 0 0 2 0 1 1 3 1 1 2 1 1 0 1 3 1 3 3 1 0 0 1 2 0 3 3 2 2 2 1 2 2 0 3 2 2 0 2 2 2 1 1 0 3 3 0 2 0 0 0 0 3 3 0 0 0 0 3 0 1 3 1 0 1 1 2 2 0 2 2 0 2 1 1 0 3 0 0 0 2 3 2 0 0 2 0 2 2 1 0 0 2 2 2 2 0 0 0 0 1 1 1 0 2 0 1 0 1 1 0 1 0 0 3 1 2 1 0 0 0 0 2 0 1 1 0 1 1 0 1 2 0 2 0 2 2 1 1 1 2 0 0 1 2 2 0 2 1 1 1 2 0 2 2 1 2 1 1 2 0 1 0 1 3 0 0 2 2 1 1 1 3 3 3 0 1 1 2 2 3 3 2 1 1 3 0 0 3 3 1 3 3 0 1 0 3 0 2 0 0 3 2 0 0 0 2 1 1 3 3 0 3 3 3 0 0 0 0 2 1 0 3 1 1 1 3 0 1 0 2 0 3 3 0 0 2 2 3 0 3 0 3 2 2 1 1 1 2 2 2 2 2 2 2 0 2 1 2 2 2 2 1 2 0 0 2 2 2 2 0 2 1 2 2 1 2 2 1 0 2 0 0 1 0 0 0 0 2 2 0 1 2 1 0 1 1 1 0 0 1 2 1 2 0 2 1 2 0 0 0 2 2 0 1 2 1 1 0 0 0 2 1 1 1 2 2 0 6 2 4 0 7 
2520.01/2464.81	v 	</values>
2520.01/2464.81	v </instantiation>

Verifier Data 

OK	7

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307803-1534275714/watcher-4307803-1534275714 -o /tmp/evaluation-result-4307803-1534275714/solver-4307803-1534275714 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534270696-8643 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 275734031 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307803-1534275714.xml 

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

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


[startup+0.100144 s]*
/proc/loadavg: 1.53 1.53 1.54 3/220 9214
/proc/meminfo: memFree=23754504/32770624 swapFree=67108852/67108860
[pid=9199] ppid=9196 vsize=14082736 memory=32000 CPUtime=0.12 cores=1,3,5,7
/proc/9199/stat : 9199 (java) S 9196 9199 6996 0 -1 1077944320 6405 0 0 0 11 1 0 0 20 0 15 0 245134575 14420721664 8000 33554432000 4194304 4196468 140730513322736 140730513305280 140612893834999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
/proc/9199/statm: 3520684 8000 3153 1 0 3482761 0
[pid=9199/tid=9201] ppid=9196 vsize=14082736 memory=-8970434299297625280 CPUtime=0.09 cores=1,3,5,7
/proc/9199/task/9201/stat : 9201 (java) R 9196 9199 6996 0 -1 4202560 4447 0 0 0 8 1 0 0 20 0 15 0 245134575 14420721664 8000 33554432000 4194304 4196468 140730513322736 140612898057904 140612873424479 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9202] ppid=9196 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9202/stat : 9202 (java) S 9196 9199 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245134576 14420721664 8000 33554432000 4194304 4196468 140730513322736 140612808902928 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9203] ppid=9196 vsize=14082736 memory=140560500766336 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9203/stat : 9203 (java) S 9196 9199 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245134576 14420721664 8000 33554432000 4194304 4196468 140730513322736 140612807850384 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9204] ppid=9196 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9204/stat : 9204 (java) S 9196 9199 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245134576 14420721664 8000 33554432000 4194304 4196468 140730513322736 140612806797840 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9205] ppid=9196 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9205/stat : 9205 (java) S 9196 9199 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245134576 14420721664 8000 33554432000 4194304 4196468 140730513322736 140612805745296 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9206] ppid=9196 vsize=14082736 memory=140560500766336 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9206/stat : 9206 (java) S 9196 9199 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245134578 14420721664 8000 33554432000 4194304 4196468 140730513322736 140612367530480 140612893846146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9207] ppid=9196 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9207/stat : 9207 (java) S 9196 9199 6996 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245134578 14420721664 8000 33554432000 4194304 4196468 140730513322736 140612366476704 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9208] ppid=9196 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9208/stat : 9208 (java) S 9196 9199 6996 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245134578 14420721664 8000 33554432000 4194304 4196468 140730513322736 140612365424112 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9209] ppid=9196 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9209/stat : 9209 (java) S 9196 9199 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245134580 14420721664 8000 33554432000 4194304 4196468 140730513322736 140612364372688 140612893853595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9210] ppid=9196 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9210/stat : 9210 (java) S 9196 9199 6996 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 15 0 245134581 14420721664 8000 33554432000 4194304 4196468 140730513322736 140612363319280 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9211] ppid=9196 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9211/stat : 9211 (java) S 9196 9199 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245134581 14420721664 8000 33554432000 4194304 4196468 140730513322736 140612362266736 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9212] ppid=9196 vsize=14082736 memory=140560500766336 CPUtime=0.01 cores=1,3,5,7
/proc/9199/task/9212/stat : 9212 (java) S 9196 9199 6996 0 -1 1077944384 286 0 0 0 1 0 0 0 20 0 15 0 245134581 14420721664 8000 33554432000 4194304 4196468 140730513322736 140612361214192 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9213] ppid=9196 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9213/stat : 9213 (java) S 9196 9199 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245134581 14420721664 8000 33554432000 4194304 4196468 140730513322736 140612360161888 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9214] ppid=9196 vsize=14082736 memory=140560500766336 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9214/stat : 9214 (java) S 9196 9199 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245134581 14420721664 8000 33554432000 4194304 4196468 140730513322736 140612359109424 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32000 KiB

[startup+0.211549 s]*
/proc/loadavg: 1.53 1.53 1.54 6/220 9214
/proc/meminfo: memFree=23739000/32770624 swapFree=67108852/67108860
[pid=9199] ppid=9196 vsize=14082736 memory=47820 CPUtime=0.3 cores=1,3,5,7
/proc/9199/stat : 9199 (java) S 9196 9199 6996 0 -1 1077944320 10053 0 0 0 28 2 0 0 20 0 15 0 245134575 14420721664 11955 33554432000 4194304 4196468 140730513322736 140730513305280 140612893834999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
/proc/9199/statm: 3520684 11955 3372 1 0 3482761 0
[pid=9199/tid=9201] ppid=9196 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/9199/task/9201/stat : 9201 (java) R 9196 9199 6996 0 -1 4202560 7768 0 0 0 18 1 0 0 20 0 15 0 245134575 14420721664 11955 33554432000 4194304 4196468 140730513322736 140612898062800 140612893856925 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9202] ppid=9196 vsize=14082736 memory=345 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9202/stat : 9202 (java) S 9196 9199 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245134576 14420721664 11955 33554432000 4194304 4196468 140730513322736 140612808902928 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9203] ppid=9196 vsize=14082736 memory=140560500775248 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9203/stat : 9203 (java) S 9196 9199 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245134576 14420721664 11955 33554432000 4194304 4196468 140730513322736 140612807850384 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9204] ppid=9196 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9204/stat : 9204 (java) S 9196 9199 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245134576 14420721664 11955 33554432000 4194304 4196468 140730513322736 140612806797840 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9205] ppid=9196 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9205/stat : 9205 (java) S 9196 9199 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245134576 14420721664 11955 33554432000 4194304 4196468 140730513322736 140612805745296 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9206] ppid=9196 vsize=14082736 memory=140560500766336 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9206/stat : 9206 (java) S 9196 9199 6996 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245134578 14420721664 11955 33554432000 4194304 4196468 140730513322736 140612367530480 140612893846146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9207] ppid=9196 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9207/stat : 9207 (java) S 9196 9199 6996 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245134578 14420721664 11955 33554432000 4194304 4196468 140730513322736 140612366476704 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9208] ppid=9196 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9208/stat : 9208 (java) S 9196 9199 6996 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245134578 14420721664 11955 33554432000 4194304 4196468 140730513322736 140612365424112 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9209] ppid=9196 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9209/stat : 9209 (java) S 9196 9199 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245134580 14420721664 11955 33554432000 4194304 4196468 140730513322736 140612364372688 140612893853595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9210] ppid=9196 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9199/task/9210/stat : 9210 (java) S 9196 9199 6996 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 15 0 245134581 14420721664 11955 33554432000 4194304 4196468 140730513322736 140612363319280 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9211] ppid=9196 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/9199/task/9211/stat : 9211 (java) S 9196 9199 6996 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 15 0 245134581 14420721664 11955 33554432000 4194304 4196468 140730513322736 140612362266736 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9212] ppid=9196 vsize=14082736 memory=140560500766336 CPUtime=0.05 cores=1,3,5,7
/proc/9199/task/9212/stat : 9212 (java) R 9196 9199 6996 0 -1 4202560 307 0 0 0 5 0 0 0 20 0 15 0 245134581 14420721664 11955 33554432000 4194304 4196468 140730513322736 140612361209952 140612872326017 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9213] ppid=9196 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9213/stat : 9213 (java) S 9196 9199 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245134581 14420721664 11955 33554432000 4194304 4196468 140730513322736 140612360161888 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9214] ppid=9196 vsize=14082736 memory=140560500766336 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9214/stat : 9214 (java) S 9196 9199 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245134581 14420721664 11955 33554432000 4194304 4196468 140730513322736 140612359109424 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47820 KiB

[startup+0.310737 s]*
/proc/loadavg: 1.53 1.53 1.54 3/220 9214
/proc/meminfo: memFree=23735588/32770624 swapFree=67108852/67108860
[pid=9199] ppid=9196 vsize=14082736 memory=51208 CPUtime=0.44 cores=1,3,5,7
/proc/9199/stat : 9199 (java) S 9196 9199 6996 0 -1 1077944320 10407 0 0 0 42 2 0 0 20 0 15 0 245134575 14420721664 12802 33554432000 4194304 4196468 140730513322736 140730513305280 140612893834999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
/proc/9199/statm: 3520684 12802 3420 1 0 3482761 0
[pid=9199/tid=9201] ppid=9196 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/9199/task/9201/stat : 9201 (java) R 9196 9199 6996 0 -1 4202560 8098 0 0 0 28 1 0 0 20 0 15 0 245134575 14420721664 12802 33554432000 4194304 4196468 140730513322736 140612898046512 140612874110759 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9202] ppid=9196 vsize=14082736 memory=304556157652172823 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9202/stat : 9202 (java) S 9196 9199 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245134576 14420721664 12802 33554432000 4194304 4196468 140730513322736 140612808902928 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9203] ppid=9196 vsize=14082736 memory=14275006753912472 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9203/stat : 9203 (java) S 9196 9199 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245134576 14420721664 12802 33554432000 4194304 4196468 140730513322736 140612807850384 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9204] ppid=9196 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9204/stat : 9204 (java) S 9196 9199 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245134576 14420721664 12802 33554432000 4194304 4196468 140730513322736 140612806797840 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9205] ppid=9196 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9205/stat : 9205 (java) S 9196 9199 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245134576 14420721664 12802 33554432000 4194304 4196468 140730513322736 140612805745296 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9206] ppid=9196 vsize=14082736 memory=140560500766336 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9206/stat : 9206 (java) S 9196 9199 6996 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245134578 14420721664 12802 33554432000 4194304 4196468 140730513322736 140612367530480 140612893846146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9207] ppid=9196 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9207/stat : 9207 (java) S 9196 9199 6996 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245134578 14420721664 12802 33554432000 4194304 4196468 140730513322736 140612366476704 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9208] ppid=9196 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9208/stat : 9208 (java) S 9196 9199 6996 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245134578 14420721664 12802 33554432000 4194304 4196468 140730513322736 140612365424112 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9209] ppid=9196 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9209/stat : 9209 (java) S 9196 9199 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245134580 14420721664 12802 33554432000 4194304 4196468 140730513322736 140612364372688 140612893853595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9210] ppid=9196 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9199/task/9210/stat : 9210 (java) S 9196 9199 6996 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 15 0 245134581 14420721664 12802 33554432000 4194304 4196468 140730513322736 140612363319280 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9211] ppid=9196 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9199/task/9211/stat : 9211 (java) S 9196 9199 6996 0 -1 1077944384 265 0 0 0 2 0 0 0 20 0 15 0 245134581 14420721664 12802 33554432000 4194304 4196468 140730513322736 140612362266736 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9212] ppid=9196 vsize=14082736 memory=140560500766336 CPUtime=0.08 cores=1,3,5,7
/proc/9199/task/9212/stat : 9212 (java) S 9196 9199 6996 0 -1 1077944384 317 0 0 0 8 0 0 0 20 0 15 0 245134581 14420721664 12802 33554432000 4194304 4196468 140730513322736 140612361214192 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9213] ppid=9196 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9213/stat : 9213 (java) S 9196 9199 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245134581 14420721664 12802 33554432000 4194304 4196468 140730513322736 140612360161888 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9214] ppid=9196 vsize=14082736 memory=140560500766336 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9214/stat : 9214 (java) S 9196 9199 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245134581 14420721664 12802 33554432000 4194304 4196468 140730513322736 140612359109424 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51208 KiB

[startup+0.70077 s]
/proc/loadavg: 1.53 1.53 1.54 3/220 9214
/proc/meminfo: memFree=23713388/32770624 swapFree=67108852/67108860
[pid=9199] ppid=9196 vsize=14084804 memory=88812 CPUtime=0.99 cores=1,3,5,7
/proc/9199/stat : 9199 (java) S 9196 9199 6996 0 -1 1077944320 17117 0 0 0 95 4 0 0 20 0 15 0 245134575 14422839296 22203 33554432000 4194304 4196468 140730513322736 140730513305280 140612893834999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
/proc/9199/statm: 3521201 22203 3498 1 0 3483273 0
[pid=9199/tid=9201] ppid=9196 vsize=14084804 memory=3340 CPUtime=0.67 cores=1,3,5,7
/proc/9199/task/9201/stat : 9201 (java) R 9196 9199 6996 0 -1 4202560 14432 0 0 0 64 3 0 0 20 0 15 0 245134575 14422839296 22203 33554432000 4194304 4196468 140730513322736 140612898040848 140612877915486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9202] ppid=9196 vsize=14084804 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9202/stat : 9202 (java) S 9196 9199 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245134576 14422839296 22203 33554432000 4194304 4196468 140730513322736 140612808902928 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9203] ppid=9196 vsize=14084804 memory=37000 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9203/stat : 9203 (java) S 9196 9199 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245134576 14422839296 22203 33554432000 4194304 4196468 140730513322736 140612807850384 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9204] ppid=9196 vsize=14084804 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9204/stat : 9204 (java) S 9196 9199 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245134576 14422839296 22203 33554432000 4194304 4196468 140730513322736 140612806797840 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9205] ppid=9196 vsize=14084804 memory=496 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9205/stat : 9205 (java) S 9196 9199 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245134576 14422839296 22203 33554432000 4194304 4196468 140730513322736 140612805745296 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9206] ppid=9196 vsize=14084804 memory=928 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9206/stat : 9206 (java) S 9196 9199 6996 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245134578 14422839296 22203 33554432000 4194304 4196468 140730513322736 140612367530480 140612893846146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9207] ppid=9196 vsize=14084804 memory=2248 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9207/stat : 9207 (java) S 9196 9199 6996 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245134578 14422839296 22203 33554432000 4194304 4196468 140730513322736 140612366476704 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9208] ppid=9196 vsize=14084804 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9208/stat : 9208 (java) S 9196 9199 6996 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245134578 14422839296 22203 33554432000 4194304 4196468 140730513322736 140612365424112 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9209] ppid=9196 vsize=14084804 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9209/stat : 9209 (java) S 9196 9199 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245134580 14422839296 22203 33554432000 4194304 4196468 140730513322736 140612364372688 140612893853595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9210] ppid=9196 vsize=14084804 memory=7237400421040875609 CPUtime=0.07 cores=1,3,5,7
/proc/9199/task/9210/stat : 9210 (java) S 9196 9199 6996 0 -1 1077944384 503 0 0 0 7 0 0 0 20 0 15 0 245134581 14422839296 22203 33554432000 4194304 4196468 140730513322736 140612363319280 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9211] ppid=9196 vsize=14084804 memory=7523071198212214892 CPUtime=0.08 cores=1,3,5,7
/proc/9199/task/9211/stat : 9211 (java) S 9196 9199 6996 0 -1 1077944384 418 0 0 0 8 0 0 0 20 0 15 0 245134581 14422839296 22203 33554432000 4194304 4196468 140730513322736 140612362266736 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9212] ppid=9196 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/9199/task/9212/stat : 9212 (java) S 9196 9199 6996 0 -1 1077944384 381 0 0 0 15 0 0 0 20 0 15 0 245134581 14422839296 22203 33554432000 4194304 4196468 140730513322736 140612361214192 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9213] ppid=9196 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9213/stat : 9213 (java) S 9196 9199 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245134581 14422839296 22203 33554432000 4194304 4196468 140730513322736 140612360161888 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9214] ppid=9196 vsize=14084804 memory=6424 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9214/stat : 9214 (java) S 9196 9199 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245134581 14422839296 22203 33554432000 4194304 4196468 140730513322736 140612359109424 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88812 KiB

[startup+1.50375 s]
/proc/loadavg: 1.53 1.53 1.54 5/220 9214
/proc/meminfo: memFree=23657924/32770624 swapFree=67108852/67108860
[pid=9199] ppid=9196 vsize=14086852 memory=237576 CPUtime=3.51 cores=1,3,5,7
/proc/9199/stat : 9199 (java) S 9196 9199 6996 0 -1 1077944320 23953 0 0 0 343 8 0 0 20 0 15 0 245134575 14424936448 59394 33554432000 4194304 4196468 140730513322736 140730513305280 140612893834999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
/proc/9199/statm: 3521713 59394 3572 1 0 3483785 0
[pid=9199/tid=9201] ppid=9196 vsize=14086852 memory=235992 CPUtime=1.44 cores=1,3,5,7
/proc/9199/task/9201/stat : 9201 (java) R 9196 9199 6996 0 -1 4202560 15738 0 0 0 139 5 0 0 20 0 15 0 245134575 14424936448 59394 33554432000 4194304 4196468 140730513322736 140612898071616 140612481655600 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9202] ppid=9196 vsize=14086852 memory=8112282956445269571 CPUtime=0.01 cores=1,3,5,7
/proc/9199/task/9202/stat : 9202 (java) S 9196 9199 6996 0 -1 1077944384 352 0 0 0 1 0 0 0 20 0 15 0 245134576 14424936448 59394 33554432000 4194304 4196468 140730513322736 140612808902928 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9203] ppid=9196 vsize=14086852 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9199/task/9203/stat : 9203 (java) S 9196 9199 6996 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 15 0 245134576 14424936448 59394 33554432000 4194304 4196468 140730513322736 140612807850384 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9204] ppid=9196 vsize=14086852 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9199/task/9204/stat : 9204 (java) S 9196 9199 6996 0 -1 1077944384 143 0 0 0 1 0 0 0 20 0 15 0 245134576 14424936448 59394 33554432000 4194304 4196468 140730513322736 140612806797840 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9205] ppid=9196 vsize=14086852 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9205/stat : 9205 (java) S 9196 9199 6996 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 245134576 14424936448 59394 33554432000 4194304 4196468 140730513322736 140612805745296 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9206] ppid=9196 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9206/stat : 9206 (java) S 9196 9199 6996 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 245134578 14424936448 59394 33554432000 4194304 4196468 140730513322736 140612367530480 140612893846146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0

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

/proc/9199/task/9201/stat : 9201 (java) R 9196 9199 6996 0 -1 4202560 279280 0 0 0 230558 91 0 0 20 0 15 0 245134575 14429130752 432740 33554432000 4194304 4196468 140730513322736 140612898072848 140612492685193 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9202] ppid=9196 vsize=14090948 memory=1707104 CPUtime=14.5 cores=1,3,5,7
/proc/9199/task/9202/stat : 9202 (java) S 9196 9199 6996 0 -1 1077944384 37435 0 0 0 1357 93 0 0 20 0 15 0 245134576 14429130752 432740 33554432000 4194304 4196468 140730513322736 140612808902928 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9203] ppid=9196 vsize=14090948 memory=1776 CPUtime=14.47 cores=1,3,5,7
/proc/9199/task/9203/stat : 9203 (java) S 9196 9199 6996 0 -1 1077944384 44447 0 0 0 1353 94 0 0 20 0 15 0 245134576 14429130752 432740 33554432000 4194304 4196468 140730513322736 140612807850384 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9204] ppid=9196 vsize=14090948 memory=1693784 CPUtime=14.43 cores=1,3,5,7
/proc/9199/task/9204/stat : 9204 (java) S 9196 9199 6996 0 -1 1077944384 42187 0 0 0 1345 98 0 0 20 0 15 0 245134576 14429130752 432740 33554432000 4194304 4196468 140730513322736 140612806797840 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9205] ppid=9196 vsize=14090948 memory=1700788 CPUtime=14.41 cores=1,3,5,7
/proc/9199/task/9205/stat : 9205 (java) S 9196 9199 6996 0 -1 1077944384 41786 0 0 0 1350 91 0 0 20 0 15 0 245134576 14429130752 432740 33554432000 4194304 4196468 140730513322736 140612805745296 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9206] ppid=9196 vsize=14090948 memory=1723952 CPUtime=1.02 cores=1,3,5,7
/proc/9199/task/9206/stat : 9206 (java) S 9196 9199 6996 0 -1 1077944384 12713 0 0 0 82 20 0 0 20 0 15 0 245134578 14429130752 432740 33554432000 4194304 4196468 140730513322736 140612367530480 140612893846146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9207] ppid=9196 vsize=14090948 memory=1730960 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9207/stat : 9207 (java) S 9196 9199 6996 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 245134578 14429130752 432740 33554432000 4194304 4196468 140730513322736 140612366476768 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9208] ppid=9196 vsize=14090948 memory=1730960 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9208/stat : 9208 (java) S 9196 9199 6996 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 245134578 14429130752 432740 33554432000 4194304 4196468 140730513322736 140612365424128 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9209] ppid=9196 vsize=14090948 memory=1730960 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9209/stat : 9209 (java) S 9196 9199 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245134580 14429130752 432740 33554432000 4194304 4196468 140730513322736 140612364372688 140612893853595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9210] ppid=9196 vsize=14090948 memory=1697988 CPUtime=3.3 cores=1,3,5,7
/proc/9199/task/9210/stat : 9210 (java) S 9196 9199 6996 0 -1 1077944384 14474 0 0 0 329 1 0 0 20 0 15 0 245134581 14429130752 432740 33554432000 4194304 4196468 140730513322736 140612363319280 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9211] ppid=9196 vsize=14090948 memory=281120777110864 CPUtime=3.03 cores=1,3,5,7
/proc/9199/task/9211/stat : 9211 (java) S 9196 9199 6996 0 -1 1077944384 11707 0 0 0 302 1 0 0 20 0 15 0 245134581 14429130752 432740 33554432000 4194304 4196468 140730513322736 140612362266736 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9212] ppid=9196 vsize=14090948 memory=1730960 CPUtime=1.05 cores=1,3,5,7
/proc/9199/task/9212/stat : 9212 (java) S 9196 9199 6996 0 -1 1077944384 18507 0 0 0 103 2 0 0 20 0 15 0 245134581 14429130752 432740 33554432000 4194304 4196468 140730513322736 140612361214192 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9213] ppid=9196 vsize=14090948 memory=66664 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9213/stat : 9213 (java) S 9196 9199 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245134581 14429130752 432740 33554432000 4194304 4196468 140730513322736 140612360161888 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9214] ppid=9196 vsize=14090948 memory=1776 CPUtime=1.33 cores=1,3,5,7
/proc/9199/task/9214/stat : 9214 (java) S 9196 9199 6996 0 -1 1077944384 1261 0 0 0 61 72 0 0 20 0 15 0 245134581 14429130752 432740 33554432000 4194304 4196468 140730513322736 140612359109424 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
Current children cumulated CPU time: 2374.12 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1730960 KiB

[startup+2382.3 s]
/proc/loadavg: 1.63 1.64 1.60 3/219 9314
/proc/meminfo: memFree=21864372/32770624 swapFree=67108852/67108860
[pid=9199] ppid=9196 vsize=14090948 memory=1728128 CPUtime=2435.58 cores=1,3,5,7
/proc/9199/stat : 9199 (java) S 9196 9199 6996 0 -1 1077944320 513368 0 0 0 243008 550 0 0 20 0 15 0 245134575 14429130752 432032 33554432000 4194304 4196468 140730513322736 140730513305280 140612893834999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
/proc/9199/statm: 3522737 432032 3610 1 0 3484809 0
[pid=9199/tid=9201] ppid=9196 vsize=14090948 memory=1729152 CPUtime=2365.95 cores=1,3,5,7
/proc/9199/task/9201/stat : 9201 (java) R 9196 9199 6996 0 -1 4202560 283877 0 0 0 236503 92 0 0 20 0 15 0 245134575 14429130752 432032 33554432000 4194304 4196468 140730513322736 140612898072960 140612485962064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9202] ppid=9196 vsize=14090948 memory=1748120 CPUtime=14.98 cores=1,3,5,7
/proc/9199/task/9202/stat : 9202 (java) S 9196 9199 6996 0 -1 1077944384 38096 0 0 0 1404 94 0 0 20 0 15 0 245134576 14429130752 432032 33554432000 4194304 4196468 140730513322736 140612808902928 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9203] ppid=9196 vsize=14090948 memory=1740440 CPUtime=14.94 cores=1,3,5,7
/proc/9199/task/9203/stat : 9203 (java) S 9196 9199 6996 0 -1 1077944384 45560 0 0 0 1400 94 0 0 20 0 15 0 245134576 14429130752 432032 33554432000 4194304 4196468 140730513322736 140612807850384 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9204] ppid=9196 vsize=14090948 memory=1729152 CPUtime=14.91 cores=1,3,5,7
/proc/9199/task/9204/stat : 9204 (java) S 9196 9199 6996 0 -1 1077944384 42886 0 0 0 1393 98 0 0 20 0 15 0 245134576 14429130752 432032 33554432000 4194304 4196468 140730513322736 140612806797840 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9205] ppid=9196 vsize=14090948 memory=1740440 CPUtime=14.89 cores=1,3,5,7
/proc/9199/task/9205/stat : 9205 (java) S 9196 9199 6996 0 -1 1077944384 42648 0 0 0 1397 92 0 0 20 0 15 0 245134576 14429130752 432032 33554432000 4194304 4196468 140730513322736 140612805745296 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9206] ppid=9196 vsize=14090948 memory=836 CPUtime=1.06 cores=1,3,5,7
/proc/9199/task/9206/stat : 9206 (java) S 9196 9199 6996 0 -1 1077944384 12911 0 0 0 85 21 0 0 20 0 15 0 245134578 14429130752 432032 33554432000 4194304 4196468 140730513322736 140612367530480 140612893846146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9207] ppid=9196 vsize=14090948 memory=1728128 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9207/stat : 9207 (java) S 9196 9199 6996 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 245134578 14429130752 432032 33554432000 4194304 4196468 140730513322736 140612366476768 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9208] ppid=9196 vsize=14090948 memory=1729152 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9208/stat : 9208 (java) S 9196 9199 6996 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 245134578 14429130752 432032 33554432000 4194304 4196468 140730513322736 140612365424128 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9209] ppid=9196 vsize=14090948 memory=3708 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9209/stat : 9209 (java) S 9196 9199 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245134580 14429130752 432032 33554432000 4194304 4196468 140730513322736 140612364372688 140612893853595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9210] ppid=9196 vsize=14090948 memory=1729152 CPUtime=3.3 cores=1,3,5,7
/proc/9199/task/9210/stat : 9210 (java) S 9196 9199 6996 0 -1 1077944384 14476 0 0 0 329 1 0 0 20 0 15 0 245134581 14429130752 432032 33554432000 4194304 4196468 140730513322736 140612363319280 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9211] ppid=9196 vsize=14090948 memory=1729152 CPUtime=3.03 cores=1,3,5,7
/proc/9199/task/9211/stat : 9211 (java) S 9196 9199 6996 0 -1 1077944384 11709 0 0 0 302 1 0 0 20 0 15 0 245134581 14429130752 432032 33554432000 4194304 4196468 140730513322736 140612362266736 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9212] ppid=9196 vsize=14090948 memory=1729152 CPUtime=1.05 cores=1,3,5,7
/proc/9199/task/9212/stat : 9212 (java) S 9196 9199 6996 0 -1 1077944384 18509 0 0 0 103 2 0 0 20 0 15 0 245134581 14429130752 432032 33554432000 4194304 4196468 140730513322736 140612361214192 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9213] ppid=9196 vsize=14090948 memory=3708 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9213/stat : 9213 (java) S 9196 9199 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245134581 14429130752 432032 33554432000 4194304 4196468 140730513322736 140612360161888 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9214] ppid=9196 vsize=14090948 memory=1741976 CPUtime=1.36 cores=1,3,5,7
/proc/9199/task/9214/stat : 9214 (java) S 9196 9199 6996 0 -1 1077944384 1279 0 0 0 62 74 0 0 20 0 15 0 245134581 14429130752 432032 33554432000 4194304 4196468 140730513322736 140612359109424 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
Current children cumulated CPU time: 2435.58 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1728128 KiB

[startup+2442.3 s]
/proc/loadavg: 1.55 1.63 1.60 3/220 9316
/proc/meminfo: memFree=21888408/32770624 swapFree=67108852/67108860
[pid=9199] ppid=9196 vsize=14090948 memory=1705824 CPUtime=2496.96 cores=1,3,5,7
/proc/9199/stat : 9199 (java) S 9196 9199 6996 0 -1 1077944320 519124 0 0 0 249142 554 0 0 20 0 15 0 245134575 14429130752 426456 33554432000 4194304 4196468 140730513322736 140730513305280 140612893834999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
/proc/9199/statm: 3522737 426456 3610 1 0 3484809 0
[pid=9199/tid=9201] ppid=9196 vsize=14090948 memory=1705296 CPUtime=2425.42 cores=1,3,5,7
/proc/9199/task/9201/stat : 9201 (java) R 9196 9199 6996 0 -1 4202560 285073 0 0 0 242450 92 0 0 20 0 15 0 245134575 14429130752 426456 33554432000 4194304 4196468 140730513322736 140612898072848 140612483769002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9202] ppid=9196 vsize=14090948 memory=1710508 CPUtime=15.43 cores=1,3,5,7
/proc/9199/task/9202/stat : 9202 (java) S 9196 9199 6996 0 -1 1077944384 39276 0 0 0 1449 94 0 0 20 0 15 0 245134576 14429130752 426456 33554432000 4194304 4196468 140730513322736 140612808902928 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9203] ppid=9196 vsize=14090948 memory=1709132 CPUtime=15.4 cores=1,3,5,7
/proc/9199/task/9203/stat : 9203 (java) S 9196 9199 6996 0 -1 1077944384 46482 0 0 0 1445 95 0 0 20 0 15 0 245134576 14429130752 426456 33554432000 4194304 4196468 140730513322736 140612807850384 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9204] ppid=9196 vsize=14090948 memory=1714276 CPUtime=15.37 cores=1,3,5,7
/proc/9199/task/9204/stat : 9204 (java) S 9196 9199 6996 0 -1 1077944384 44294 0 0 0 1439 98 0 0 20 0 15 0 245134576 14429130752 426456 33554432000 4194304 4196468 140730513322736 140612806797840 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9205] ppid=9196 vsize=14090948 memory=1707092 CPUtime=15.35 cores=1,3,5,7
/proc/9199/task/9205/stat : 9205 (java) S 9196 9199 6996 0 -1 1077944384 43489 0 0 0 1443 92 0 0 20 0 15 0 245134576 14429130752 426456 33554432000 4194304 4196468 140730513322736 140612805745296 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9206] ppid=9196 vsize=14090948 memory=1704016 CPUtime=1.1 cores=1,3,5,7
/proc/9199/task/9206/stat : 9206 (java) S 9196 9199 6996 0 -1 1077944384 13106 0 0 0 89 21 0 0 20 0 15 0 245134578 14429130752 426456 33554432000 4194304 4196468 140730513322736 140612367530480 140612893846146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9207] ppid=9196 vsize=14090948 memory=1704016 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9207/stat : 9207 (java) S 9196 9199 6996 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 245134578 14429130752 426456 33554432000 4194304 4196468 140730513322736 140612366476768 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9208] ppid=9196 vsize=14090948 memory=1704316 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9208/stat : 9208 (java) S 9196 9199 6996 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 245134578 14429130752 426456 33554432000 4194304 4196468 140730513322736 140612365424128 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9209] ppid=9196 vsize=14090948 memory=1705296 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9209/stat : 9209 (java) S 9196 9199 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245134580 14429130752 426456 33554432000 4194304 4196468 140730513322736 140612364372688 140612893853595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9210] ppid=9196 vsize=14090948 memory=1705296 CPUtime=3.3 cores=1,3,5,7
/proc/9199/task/9210/stat : 9210 (java) S 9196 9199 6996 0 -1 1077944384 14478 0 0 0 329 1 0 0 20 0 15 0 245134581 14429130752 426456 33554432000 4194304 4196468 140730513322736 140612363319280 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9211] ppid=9196 vsize=14090948 memory=1705824 CPUtime=3.03 cores=1,3,5,7
/proc/9199/task/9211/stat : 9211 (java) S 9196 9199 6996 0 -1 1077944384 11711 0 0 0 302 1 0 0 20 0 15 0 245134581 14429130752 426456 33554432000 4194304 4196468 140730513322736 140612362266736 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9212] ppid=9196 vsize=14090948 memory=1716840 CPUtime=1.05 cores=1,3,5,7
/proc/9199/task/9212/stat : 9212 (java) S 9196 9199 6996 0 -1 1077944384 18511 0 0 0 103 2 0 0 20 0 15 0 245134581 14429130752 426456 33554432000 4194304 4196468 140730513322736 140612361214192 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9213] ppid=9196 vsize=14090948 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9213/stat : 9213 (java) S 9196 9199 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245134581 14429130752 426456 33554432000 4194304 4196468 140730513322736 140612360161888 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9214] ppid=9196 vsize=14090948 memory=7235124406118148454 CPUtime=1.4 cores=1,3,5,7
/proc/9199/task/9214/stat : 9214 (java) S 9196 9199 6996 0 -1 1077944384 1287 0 0 0 64 76 0 0 20 0 15 0 245134581 14429130752 426456 33554432000 4194304 4196468 140730513322736 140612359109424 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
Current children cumulated CPU time: 2496.96 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1705824 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2464.8 s]
/proc/loadavg: 1.51 1.62 1.60 3/220 9317
/proc/meminfo: memFree=21884272/32770624 swapFree=67108852/67108860
[pid=9199] ppid=9196 vsize=14090948 memory=1709424 CPUtime=2520.01 cores=1,3,5,7
/proc/9199/stat : 9199 (java) S 9196 9199 6996 0 -1 1077944320 520975 0 0 0 251445 556 0 0 20 0 15 0 245134575 14429130752 427356 33554432000 4194304 4196468 140730513322736 140730513305280 140612893834999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
/proc/9199/statm: 3522737 427356 3610 1 0 3484809 0
[pid=9199/tid=9201] ppid=9196 vsize=14090948 memory=1100 CPUtime=2447.73 cores=1,3,5,7
/proc/9199/task/9201/stat : 9201 (java) R 9196 9199 6996 0 -1 4202560 285588 0 0 0 244680 93 0 0 20 0 15 0 245134575 14429130752 427356 33554432000 4194304 4196468 140730513322736 140612898072832 140612483769002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9202] ppid=9196 vsize=14090948 memory=2056 CPUtime=15.62 cores=1,3,5,7
/proc/9199/task/9202/stat : 9202 (java) S 9196 9199 6996 0 -1 1077944384 39911 0 0 0 1467 95 0 0 20 0 15 0 245134576 14429130752 427356 33554432000 4194304 4196468 140730513322736 140612808902928 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9203] ppid=9196 vsize=14090948 memory=1776 CPUtime=15.58 cores=1,3,5,7
/proc/9199/task/9203/stat : 9203 (java) S 9196 9199 6996 0 -1 1077944384 46717 0 0 0 1463 95 0 0 20 0 15 0 245134576 14429130752 427356 33554432000 4194304 4196468 140730513322736 140612807850384 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9204] ppid=9196 vsize=14090948 memory=1152 CPUtime=15.55 cores=1,3,5,7
/proc/9199/task/9204/stat : 9204 (java) S 9196 9199 6996 0 -1 1077944384 44513 0 0 0 1456 99 0 0 20 0 15 0 245134576 14429130752 427356 33554432000 4194304 4196468 140730513322736 140612806797840 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9205] ppid=9196 vsize=14090948 memory=876 CPUtime=15.53 cores=1,3,5,7
/proc/9199/task/9205/stat : 9205 (java) S 9196 9199 6996 0 -1 1077944384 43729 0 0 0 1461 92 0 0 20 0 15 0 245134576 14429130752 427356 33554432000 4194304 4196468 140730513322736 140612805745296 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9206] ppid=9196 vsize=14090948 memory=1912 CPUtime=1.12 cores=1,3,5,7
/proc/9199/task/9206/stat : 9206 (java) S 9196 9199 6996 0 -1 1077944384 13111 0 0 0 90 22 0 0 20 0 15 0 245134578 14429130752 427356 33554432000 4194304 4196468 140730513322736 140612367530480 140612893846146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9207] ppid=9196 vsize=14090948 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9207/stat : 9207 (java) S 9196 9199 6996 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 245134578 14429130752 427356 33554432000 4194304 4196468 140730513322736 140612366476768 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9208] ppid=9196 vsize=14090948 memory=1709424 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9208/stat : 9208 (java) S 9196 9199 6996 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 245134578 14429130752 427356 33554432000 4194304 4196468 140730513322736 140612365424128 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9209] ppid=9196 vsize=14090948 memory=14892 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9209/stat : 9209 (java) S 9196 9199 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245134580 14429130752 427356 33554432000 4194304 4196468 140730513322736 140612364372688 140612893853595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9210] ppid=9196 vsize=14090948 memory=752 CPUtime=3.3 cores=1,3,5,7
/proc/9199/task/9210/stat : 9210 (java) S 9196 9199 6996 0 -1 1077944384 14478 0 0 0 329 1 0 0 20 0 15 0 245134581 14429130752 427356 33554432000 4194304 4196468 140730513322736 140612363319280 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9211] ppid=9196 vsize=14090948 memory=1616 CPUtime=3.03 cores=1,3,5,7
/proc/9199/task/9211/stat : 9211 (java) S 9196 9199 6996 0 -1 1077944384 11711 0 0 0 302 1 0 0 20 0 15 0 245134581 14429130752 427356 33554432000 4194304 4196468 140730513322736 140612362266736 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9212] ppid=9196 vsize=14090948 memory=11584 CPUtime=1.05 cores=1,3,5,7
/proc/9199/task/9212/stat : 9212 (java) S 9196 9199 6996 0 -1 1077944384 18511 0 0 0 103 2 0 0 20 0 15 0 245134581 14429130752 427356 33554432000 4194304 4196468 140730513322736 140612361214192 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9213] ppid=9196 vsize=14090948 memory=4960 CPUtime=0 cores=1,3,5,7
/proc/9199/task/9213/stat : 9213 (java) S 9196 9199 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245134581 14429130752 427356 33554432000 4194304 4196468 140730513322736 140612360161888 140612893845205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
[pid=9199/tid=9214] ppid=9196 vsize=14090948 memory=3840 CPUtime=1.41 cores=1,3,5,7
/proc/9199/task/9214/stat : 9214 (java) S 9196 9199 6996 0 -1 1077944384 1289 0 0 0 64 77 0 0 20 0 15 0 245134581 14429130752 427356 33554432000 4194304 4196468 140730513322736 140612359109424 140612893846146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37027840 140730513331273 140730513331465 140730513331465 140730513334223 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1709424 KiB

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

[startup+2464.83 s]
# the end of solver process 9199 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.48 s, system=5.57145 s

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

Child status: 143
Real time (s): 2464.83
CPU time (s): 2520.05
CPU user time (s): 2514.48
CPU system time (s): 5.57145
CPU usage (%): 102.24
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 4927740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.48
system time used= 5.57145
maximum resident set size= 4927740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 521316
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79868
involuntary context switches= 2815


# summary of solver processes directly reported to runsolver:
#   pid: 9199
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2514.48
#   total CPU system time (s): 5.57145

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3571 second user time and 24.3294 second system time

The end

Launcher Data 

Begin job on node133 at 2018-08-14 21:41:54
IDJOB=4307803
IDBENCH=141138
IDSOLVER=2791
FILE ID=node133/4307803-1534275714
RUNJOBID= node133-1534270696-8643
PBS_JOBID= 21038124
Free space on /tmp= 39348 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
BENCH NAME= XCSP18/GraphColoring/GraphColoring-3-fullins-5_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307803-1534275714/watcher-4307803-1534275714 -o /tmp/evaluation-result-4307803-1534275714/solver-4307803-1534275714 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534270696-8643 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 275734031 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307803-1534275714.xml

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

MD5SUM BENCH= 51dc9de19dcdd21b605810f9d7307a76
RANDOM SEED=275734031

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
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.24
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.24
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.24
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:        23774356 kB
MemAvailable:   31670084 kB
Buffers:          135372 kB
Cached:          7992664 kB
SwapCached:            4 kB
Active:          4463000 kB
Inactive:        3953528 kB
Active(anon):     239368 kB
Inactive(anon):   101732 kB
Active(file):    4223632 kB
Inactive(file):  3851796 kB
Unevictable:        7072 kB
Mlocked:            7072 kB
SwapTotal:      67108860 kB
SwapFree:       67108852 kB
Dirty:             37192 kB
Writeback:             0 kB
AnonPages:        283132 kB
Mapped:            68456 kB
Shmem:             49816 kB
Slab:             277052 kB
SReclaimable:     248760 kB
SUnreclaim:        28292 kB
KernelStack:        3296 kB
PageTables:         6000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1316656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 39312 MiB
End job on node133 at 2018-08-14 22:22:59