Trace number 4311539

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-17SAT (TO)7 2520.09 2465.73

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.67/0.56	c version: 2018-08-17
0.67/0.56	c seed: 1679968810
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 1
0.67/0.58	c Parsing instance...
16.68/8.31	c Parsing done, starting search...
18.10/9.17	o 2029
19.06/9.85	o 2028
22.70/11.30	o 2027
23.09/11.63	o 2026
24.20/12.60	o 2025
24.30/12.72	o 2024
24.88/13.24	o 2023
25.61/13.90	o 2022
26.11/14.45	o 2021
26.98/15.23	o 2020
26.98/15.28	o 2019
27.42/15.66	o 2018
28.32/16.53	o 2016
29.65/17.83	o 2015
29.65/17.89	o 2014
29.87/18.05	o 2013
30.97/19.15	o 2012
31.17/19.34	o 2011
32.27/20.45	o 2010
32.27/20.47	o 2005
33.58/21.75	o 2004
33.68/21.85	o 2003
34.29/22.43	o 2002
34.90/23.06	o 2001
35.29/23.41	o 2000
36.20/24.39	o 1999
36.31/24.41	o 1996
36.44/24.54	o 1995
37.58/25.70	o 1994
38.18/26.23	o 1993
38.88/26.97	o 1989
39.38/27.47	o 1987
40.18/28.28	o 1984
42.08/29.70	o 1983
42.28/30.01	o 1982
43.24/30.89	o 1981
43.35/30.93	o 1980
43.85/31.41	o 1979
44.56/32.19	o 1978
44.85/32.43	o 1977
45.06/32.63	o 1976
45.26/32.90	o 1975
45.96/33.50	o 1974
45.96/33.55	o 1973
47.26/34.80	o 1972
47.77/35.31	o 1971
47.87/35.44	o 1970
48.58/36.11	o 1969
48.87/36.44	o 1967
49.17/36.70	o 1965
49.88/37.41	o 1964
50.28/37.83	o 1963
51.18/38.71	o 1962
51.38/38.90	o 1961
52.52/40.02	o 1960
52.91/40.48	o 1959
53.11/40.67	o 1958
53.81/41.32	o 1957
53.91/41.43	o 1954
54.11/41.65	o 1953
55.11/42.63	o 1950
56.41/43.93	o 1947
56.62/44.19	o 1946
57.71/45.24	o 1944
58.31/45.80	o 1943
59.01/46.54	o 1940
60.31/47.85	o 1939
60.82/48.34	o 1938
61.63/49.15	o 1937
62.02/49.50	o 1936
63.11/50.51	o 1933
63.11/50.59	o 1932
64.41/51.83	o 1930
64.72/52.18	o 1929
64.91/52.36	o 1928
65.62/53.10	o 1926
66.11/53.53	o 1924
67.01/54.41	o 1923
67.51/54.96	o 1922
67.62/55.03	o 1920
68.31/55.71	o 1919
68.62/56.08	o 1918
69.62/57.01	o 1917
70.12/57.51	o 1916
70.32/57.70	o 1915
70.92/58.32	o 1914
71.32/58.77	o 1913
72.22/59.62	o 1912
72.63/60.07	o 1910
73.52/60.92	o 1908
74.12/61.58	o 1907
74.82/62.23	o 1906
75.12/62.51	o 1905
76.12/63.54	o 1904
76.63/64.05	o 1903
77.44/64.85	o 1902
77.64/65.07	o 1901
78.74/66.15	o 1900
79.23/66.65	o 1899
79.34/66.76	o 1898
80.04/67.45	o 1896
81.34/68.77	o 1892
81.69/69.09	o 1891
81.79/69.16	o 1890
82.69/70.06	o 1889
83.18/70.52	o 1886
83.98/71.36	o 1885
84.38/71.78	o 1884
84.58/71.95	o 1882
85.28/72.67	o 1881
85.48/72.80	o 1879
86.59/73.97	o 1878
86.99/74.36	o 1877
87.29/74.64	o 1876
87.89/75.27	o 1873
88.29/75.61	o 1872
89.19/76.57	o 1871
89.49/76.88	o 1870
90.49/77.88	o 1863
90.60/77.99	o 1862
91.81/79.19	o 1859
93.10/80.49	o 1857
93.50/80.80	o 1855
94.41/81.79	o 1854
94.61/81.93	o 1853
95.11/82.42	o 1852
95.72/83.10	o 1851
96.02/83.37	o 1850
97.12/84.40	o 1849
97.12/84.46	o 1847
97.62/84.95	o 1846
97.62/84.99	o 1845
98.42/85.71	o 1844
98.83/86.12	o 1843
99.62/87.01	o 1842
100.02/87.38	o 1841
101.07/88.34	o 1840
101.57/88.80	o 1839
102.37/89.61	o 1838
102.78/90.02	o 1837
102.97/90.21	o 1836
103.67/90.92	o 1834
104.97/92.23	o 1831
105.07/92.32	o 1829
106.27/93.53	o 1827
106.27/93.58	o 1826
107.57/94.84	o 1825
108.07/95.36	o 1823
108.88/96.14	o 1822
109.27/96.56	o 1821
110.17/97.44	o 1819
110.37/97.62	o 1818
110.47/97.76	o 1817
110.78/98.06	o 1816
111.47/98.75	o 1815
111.47/98.76	o 1814
112.78/100.06	o 1812
113.07/100.33	o 1811
113.17/100.40	o 1810
114.07/101.35	o 1809
114.37/101.66	o 1808
115.37/102.66	o 1806
115.57/102.83	o 1805
115.97/103.20	o 1804
116.68/103.96	o 1802
117.98/105.26	o 1801
118.48/105.75	o 1800
119.28/106.57	o 1798
120.63/107.89	o 1796
121.94/109.17	o 1795
122.33/109.50	o 1794
123.23/110.48	o 1792
124.53/111.78	o 1790
125.84/113.09	o 1789
126.03/113.28	o 1787
127.13/114.39	o 1786
127.23/114.41	o 1784
128.43/115.70	o 1783
128.63/115.83	o 1782
129.73/116.99	o 1781
130.23/117.40	o 1780
131.13/118.30	o 1778
131.33/118.55	o 1777
131.63/118.81	o 1776
132.43/119.60	o 1775
132.74/119.96	o 1774
132.96/120.15	o 1773
133.75/120.91	o 1772
133.86/121.07	o 1771
133.96/121.14	o 1770
134.25/121.40	o 1769
134.25/121.42	o 1768
135.05/122.21	o 1767
135.05/122.25	o 1766
136.35/123.52	o 1763
136.65/123.88	o 1762
136.65/123.88	o 1761
137.65/124.82	o 1759
137.75/124.94	o 1758
138.96/126.13	o 1757
139.15/126.38	o 1756
139.55/126.72	o 1753
140.25/127.43	o 1752
140.71/127.80	o 1748
140.71/127.80	o 1747
140.91/128.07	o 1746
141.61/128.74	o 1745
141.84/129.00	o 1744
142.95/130.05	o 1743
143.44/130.51	o 1742
144.24/131.35	o 1741
144.74/131.86	o 1740
145.54/132.66	o 1738
145.64/132.71	o 1737
145.74/132.86	o 1736
145.84/132.98	o 1735
146.14/133.20	o 1734
146.84/133.96	o 1733
147.05/134.13	o 1732
147.24/134.38	o 1731
148.14/135.26	o 1729
148.24/135.34	o 1727
148.44/135.57	o 1726
148.54/135.65	o 1724
149.44/136.56	o 1722
150.05/137.11	o 1721
150.74/137.87	o 1720
150.84/137.94	o 1718
151.05/138.12	o 1717
151.34/138.49	o 1716
152.06/139.18	o 1715
152.55/139.61	o 1714
152.55/139.64	o 1712
153.35/140.48	o 1711
153.55/140.67	o 1710
153.85/140.94	o 1709
154.65/141.78	o 1708
155.15/142.28	o 1707
155.25/142.38	o 1705
155.96/143.10	o 1704
156.45/143.56	o 1703
157.25/144.39	o 1702
157.55/144.66	o 1701
158.65/145.70	o 1700
158.81/145.81	o 1699
159.02/146.10	o 1698
159.31/146.30	o 1696
159.91/147.00	o 1694
160.21/147.23	o 1693
161.32/148.31	o 1692
161.72/148.77	o 1690
161.72/148.78	o 1687
162.62/149.61	o 1685
163.13/150.17	o 1684
163.92/150.91	o 1682
163.92/150.95	o 1681
165.22/152.21	o 1680
165.52/152.53	o 1679
165.52/152.60	o 1678
165.72/152.79	o 1677
165.82/152.89	o 1676
166.53/153.53	o 1675
166.73/153.77	o 1674
166.93/153.91	o 1673
166.93/153.91	o 1672
166.93/153.95	o 1670
167.83/154.83	o 1669
168.14/155.18	o 1668
169.14/156.13	o 1667
169.53/156.51	o 1666
170.43/157.45	o 1665
170.83/157.88	o 1664
171.73/158.74	o 1663
171.93/158.94	o 1662
173.03/160.04	o 1661
173.23/160.30	o 1660
173.53/160.58	o 1659
174.33/161.35	o 1657
175.63/162.66	o 1656
176.04/163.01	o 1655
176.23/163.29	o 1654
176.93/163.96	o 1652
177.14/164.15	o 1650
178.29/165.27	o 1649
178.79/165.71	o 1647
179.59/166.59	o 1646
179.80/166.71	o 1644
179.80/166.75	o 1641
180.90/167.88	o 1640
181.00/167.98	o 1639
182.21/169.19	o 1638
182.40/169.39	o 1635
183.60/170.50	o 1634
183.80/170.79	o 1633
184.00/170.93	o 1630
184.90/171.80	o 1629
184.90/171.88	o 1627
186.11/173.10	o 1626
186.40/173.34	o 1625
187.50/174.41	o 1623
187.60/174.56	o 1619
188.80/175.72	o 1618
189.00/175.91	o 1617
190.11/177.02	o 1616
190.60/177.52	o 1614
190.70/177.61	o 1613
191.40/178.32	o 1612
191.50/178.42	o 1610
191.70/178.66	o 1609
192.70/179.63	o 1607
193.30/180.25	o 1606
194.00/180.93	o 1605
194.21/181.19	o 1603
194.51/181.44	o 1602
195.31/182.23	o 1600
196.61/183.54	o 1599
196.91/183.89	o 1595
197.96/184.84	o 1594
198.46/185.33	o 1593
199.27/186.15	o 1592
199.56/186.43	o 1591
199.56/186.43	o 1590
199.66/186.54	o 1589
200.56/187.45	o 1588
200.96/187.86	o 1587
201.86/188.75	o 1586
201.96/188.86	o 1585
201.96/188.89	o 1584
202.17/189.04	o 1583
203.18/190.05	o 1581
204.47/191.36	o 1580
204.87/191.75	o 1579
205.77/192.66	o 1578
205.97/192.83	o 1577
207.07/193.97	o 1576
207.47/194.39	o 1574
208.38/195.28	o 1573
208.78/195.60	o 1572
208.98/195.83	o 1571
209.68/196.58	o 1570
209.78/196.67	o 1569
210.08/196.95	o 1568
210.98/197.88	o 1567
211.08/197.95	o 1566
212.29/199.19	o 1565
212.48/199.35	o 1564
212.58/199.47	o 1563
213.58/200.49	o 1562
213.88/200.70	o 1561
213.98/200.80	o 1560
214.88/201.80	o 1559
215.38/202.20	o 1558
216.18/203.10	o 1557
216.38/203.26	o 1556
216.87/203.71	o 1555
217.64/204.40	o 1554
217.94/204.75	o 1553
218.04/204.83	o 1552
218.14/204.97	o 1549
218.94/205.70	o 1548
219.15/205.96	o 1547
219.35/206.12	o 1545
220.14/207.00	o 1544
220.64/207.48	o 1540
221.55/208.31	o 1539
221.75/208.57	o 1537
222.85/209.61	o 1535
223.25/210.04	o 1533
224.14/210.93	o 1532
224.64/211.40	o 1531
224.64/211.45	o 1530
225.45/212.24	o 1529
225.95/212.71	o 1527
225.95/212.76	o 1526
226.75/213.54	o 1525
226.85/213.69	o 1524
228.05/214.84	o 1521
229.36/216.14	o 1520
229.36/216.17	o 1519
230.65/217.45	o 1518
231.05/217.85	o 1517
231.26/218.07	o 1516
231.95/218.76	o 1515
231.95/218.78	o 1513
233.27/220.05	o 1510
234.56/221.36	o 1509
234.86/221.62	o 1508
235.06/221.82	o 1506
235.86/222.67	o 1505
236.06/222.89	o 1504
236.16/222.96	o 1503
237.22/223.97	o 1502
237.62/224.37	o 1500
238.52/225.28	o 1499
239.02/225.74	o 1498
239.82/226.58	o 1497
240.02/226.73	o 1496
241.12/227.89	o 1494
241.72/228.43	o 1493
242.43/229.18	o 1492
242.82/229.54	o 1490
243.72/230.49	o 1489
244.22/230.91	o 1487
245.02/231.79	o 1486
245.22/232.00	o 1485
245.72/232.45	o 1484
246.43/233.11	o 1483
246.63/233.30	o 1481
246.63/233.39	o 1480
247.03/233.74	o 1479
247.73/234.42	o 1478
248.13/234.80	o 1477
248.33/235.02	o 1475
249.03/235.72	o 1473
249.13/235.86	o 1472
249.13/235.88	o 1471
249.63/236.37	o 1470
250.34/237.02	o 1468
251.63/238.32	o 1466
252.93/239.63	o 1465
252.93/239.69	o 1464
253.03/239.73	o 1463
254.23/240.93	o 1459
255.53/242.24	o 1458
255.83/242.56	o 1456
256.03/242.75	o 1455
256.89/243.56	o 1453
258.19/244.85	o 1452
258.29/244.95	o 1451
259.50/246.15	o 1450
259.69/246.36	o 1448
259.99/246.64	o 1447
260.19/246.80	o 1445
260.79/247.45	o 1443
260.89/247.51	o 1440
261.29/247.95	o 1439
262.09/248.75	o 1438
262.50/249.11	o 1437
262.59/249.26	o 1435
263.40/250.06	o 1434
263.80/250.41	o 1433
263.90/250.53	o 1431
263.90/250.55	o 1430
264.70/251.36	o 1429
265.20/251.82	o 1428
266.00/252.66	o 1427
266.30/252.98	o 1425
266.70/253.31	o 1424
267.29/253.97	o 1423
267.69/254.33	o 1422
267.69/254.39	o 1420
268.60/255.27	o 1419
268.60/255.29	o 1418
268.70/255.35	o 1414
268.80/255.42	o 1411
269.20/255.89	o 1410
269.90/256.58	o 1408
270.19/256.85	o 1404
270.40/257.03	o 1403
271.19/257.89	o 1402
271.69/258.34	o 1400
271.69/258.36	o 1399
272.51/259.19	o 1398
272.80/259.49	o 1395
272.99/259.68	o 1393
273.80/260.49	o 1392
274.30/260.90	o 1391
275.10/261.79	o 1390
275.51/262.11	o 1387
276.47/263.09	o 1386
276.66/263.21	o 1384
277.86/264.41	o 1383
277.96/264.51	o 1381
278.06/264.62	o 1380
278.36/264.92	o 1379
278.47/265.04	o 1377
279.16/265.71	o 1375
280.47/267.01	o 1373
281.76/268.32	o 1372
281.86/268.48	o 1371
283.07/269.62	o 1370
283.48/270.07	o 1369
284.37/270.92	o 1368
284.67/271.29	o 1367
284.77/271.33	o 1366
285.67/272.23	o 1365
285.97/272.54	o 1363
286.27/272.87	o 1362
286.97/273.53	o 1361
287.27/273.81	o 1360
288.27/274.83	o 1359
288.67/275.22	o 1358
288.67/275.28	o 1356
289.58/276.14	o 1354
289.67/276.25	o 1353
290.87/277.45	o 1351
291.07/277.63	o 1350
292.17/278.74	o 1348
292.37/278.99	o 1347
292.68/279.22	o 1346
293.48/280.05	o 1344
293.98/280.51	o 1343
294.08/280.62	o 1342
294.78/281.36	o 1341
294.98/281.52	o 1340
295.18/281.79	o 1339
296.14/282.68	o 1338
296.44/282.99	o 1337
297.44/283.97	o 1336
297.65/284.17	o 1335
297.74/284.21	o 1334
297.94/284.42	o 1331
298.05/284.50	o 1330
298.75/285.27	o 1328
300.05/286.57	o 1327
300.25/286.80	o 1326
301.35/287.88	o 1324
302.66/289.18	o 1321
302.75/289.29	o 1319
303.95/290.48	o 1317
305.25/291.79	o 1316
305.56/292.05	o 1314
306.56/293.09	o 1313
306.66/293.12	o 1310
307.85/294.39	o 1309
308.15/294.68	o 1308
308.35/294.82	o 1306
308.56/295.02	o 1305
309.15/295.70	o 1303
310.45/297.00	o 1301
310.75/297.27	o 1300
311.85/298.31	o 1299
312.05/298.58	o 1298
312.35/298.88	o 1297
313.15/299.61	o 1296
313.45/299.93	o 1295
313.66/300.16	o 1294
313.75/300.24	o 1293
314.45/300.92	o 1292
314.85/301.33	o 1291
315.75/302.21	o 1290
315.75/302.26	o 1289
316.05/302.57	o 1288
316.25/302.70	o 1287
317.05/303.52	o 1286
317.45/303.91	o 1285
318.41/304.82	o 1284
318.72/305.14	o 1283
318.91/305.31	o 1282
319.72/306.13	o 1281
319.81/306.23	o 1278
320.21/306.68	o 1277
321.01/307.43	o 1276
321.31/307.70	o 1273
322.31/308.74	o 1272
322.72/309.15	o 1271
322.81/309.26	o 1270
323.62/310.04	o 1269
323.91/310.36	o 1268
324.22/310.60	o 1267
324.92/311.35	o 1266
325.12/311.59	o 1265
325.42/311.88	o 1264
325.52/311.94	o 1263
326.22/312.65	o 1262
326.32/312.77	o 1261
326.32/312.78	o 1260
327.52/313.96	o 1259
327.73/314.18	o 1258
328.02/314.45	o 1257
328.82/315.26	o 1256
328.92/315.38	o 1255
329.22/315.62	o 1254
330.12/316.57	o 1253
330.42/316.85	o 1251
331.42/317.87	o 1250
331.63/318.09	o 1248
332.73/319.17	o 1247
333.02/319.47	o 1245
334.02/320.48	o 1244
334.12/320.59	o 1243
335.32/321.78	o 1239
335.73/322.15	o 1238
335.92/322.30	o 1235
336.63/323.09	o 1234
337.03/323.45	o 1233
338.10/324.41	o 1231
338.10/324.45	o 1230
339.29/325.70	o 1228
339.39/325.71	o 1227
340.59/327.00	o 1226
340.80/327.12	o 1225
341.99/328.30	o 1224
342.09/328.45	o 1223
343.29/329.61	o 1222
343.70/330.02	o 1221
343.80/330.16	o 1220
344.59/330.91	o 1219
344.99/331.32	o 1218
345.10/331.46	o 1217
345.90/332.21	o 1216
346.10/332.42	o 1215
346.20/332.51	o 1214
347.20/333.51	o 1213
347.20/333.56	o 1212
347.30/333.68	o 1210
348.49/334.83	o 1209
348.89/335.24	o 1207
349.80/336.12	o 1206
350.19/336.51	o 1205
350.40/336.71	o 1204
351.10/337.43	o 1203
351.40/337.78	o 1202
351.50/337.88	o 1201
352.40/338.73	o 1200
352.50/338.89	o 1199
353.70/340.03	o 1198
353.70/340.04	o 1193
353.89/340.26	o 1192
354.30/340.65	o 1191
355.00/341.34	o 1190
355.40/341.70	o 1187
356.31/342.64	o 1185
357.61/343.95	o 1184
357.82/344.18	o 1183
358.91/345.25	o 1182
359.37/345.68	o 1181
360.27/346.55	o 1180
360.57/346.85	o 1179
360.88/347.14	o 1178
361.57/347.86	o 1177
361.88/348.13	o 1176
362.88/349.17	o 1174
363.07/349.35	o 1172
364.17/350.47	o 1170
364.17/350.47	o 1169
364.37/350.64	o 1168
364.58/350.83	o 1167
365.48/351.77	o 1166
365.58/351.83	o 1164
366.79/353.08	o 1163
367.09/353.34	o 1162
368.09/354.38	o 1160
368.39/354.60	o 1159
369.39/355.69	o 1158
369.79/356.04	o 1157
369.99/356.21	o 1156
370.69/356.99	o 1155
370.99/357.21	o 1153
371.99/358.29	o 1152
372.29/358.55	o 1151
372.29/358.59	o 1150
373.39/359.60	o 1149
373.39/359.67	o 1148
373.49/359.75	o 1147
374.69/360.90	o 1146
374.99/361.27	o 1145
375.19/361.47	o 1144
375.99/362.21	o 1143
376.29/362.56	o 1142
377.29/363.51	o 1141
377.59/363.83	o 1140
378.59/364.81	o 1139
378.90/365.13	o 1138
379.09/365.39	o 1137
379.90/366.15	o 1135
381.25/367.44	o 1134
381.45/367.68	o 1132
381.75/367.94	o 1131
382.55/368.74	o 1130
382.65/368.84	o 1129
382.86/369.10	o 1128
383.86/370.04	o 1127
383.96/370.16	o 1126
385.15/371.35	o 1124
386.45/372.65	o 1121
387.75/373.95	o 1120
387.75/373.98	o 1119
387.86/374.04	o 1118
388.05/374.28	o 1116
389.05/375.26	o 1115
389.45/375.62	o 1114
389.55/375.71	o 1113
390.35/376.56	o 1112
390.65/376.87	o 1111
390.96/377.15	o 1110
391.65/377.87	o 1109
391.96/378.17	o 1108
392.25/378.43	o 1107
392.25/378.47	o 1106
392.96/379.17	o 1105
393.26/379.45	o 1104
393.56/379.72	o 1102
394.26/380.48	o 1101
394.56/380.78	o 1100
395.56/381.79	o 1099
395.66/381.85	o 1098
396.16/382.33	o 1097
396.97/383.11	o 1096
397.06/383.22	o 1094
398.26/384.40	o 1093
398.66/384.80	o 1092
399.56/385.70	o 1091
399.76/385.97	o 1089
400.93/387.03	o 1088
401.13/387.21	o 1087
401.43/387.51	o 1086
401.43/387.52	o 1085
402.23/388.30	o 1083
403.53/389.61	o 1082
403.73/389.88	o 1081
404.83/390.91	o 1080
405.13/391.20	o 1079
405.13/391.25	o 1078
405.23/391.36	o 1077
406.13/392.22	o 1076
406.23/392.36	o 1075
406.43/392.59	o 1074
407.43/393.52	o 1073
407.63/393.76	o 1072
407.95/394.03	o 1071
408.74/394.83	o 1070
409.05/395.19	o 1069
410.04/396.12	o 1067
411.33/397.44	o 1066
411.43/397.57	o 1063
411.63/397.71	o 1061
411.94/398.02	o 1059
412.63/398.74	o 1058
412.83/398.92	o 1057
413.94/400.04	o 1055
415.23/401.35	o 1054
415.33/401.47	o 1053
415.53/401.66	o 1052
415.83/401.94	o 1051
416.54/402.65	o 1050
416.94/403.01	o 1047
416.94/403.05	o 1045
417.84/403.95	o 1044
418.14/404.21	o 1043
419.14/405.25	o 1042
419.54/405.63	o 1040
420.44/406.56	o 1039
420.74/406.83	o 1038
421.11/407.12	o 1037
421.80/407.86	o 1036
422.11/408.15	o 1035
422.30/408.36	o 1034
423.11/409.17	o 1033
423.20/409.21	o 1032
424.40/410.48	o 1030
425.70/411.78	o 1029
426.11/412.13	o 1028
426.20/412.25	o 1027
427.02/413.08	o 1026
427.12/413.11	o 1025
427.51/413.54	o 1024
428.31/414.38	o 1023
428.71/414.73	o 1022
429.62/415.68	o 1021
429.72/415.74	o 1020
430.92/416.99	o 1019
431.22/417.25	o 1018
432.32/418.30	o 1017
432.62/418.60	o 1016
432.62/418.69	o 1015
432.62/418.69	o 1014
433.62/419.60	o 1013
433.82/419.83	o 1012
434.92/420.90	o 1011
435.13/421.17	o 1010
436.22/422.20	o 1009
436.22/422.21	o 1008
436.22/422.24	o 1007
437.52/423.51	o 1006
437.52/423.59	o 1005
438.82/424.81	o 1004
439.13/425.19	o 1003
440.13/426.11	o 1002
440.13/426.15	o 1001
441.42/427.42	o 1000
441.78/427.74	o 999
441.98/427.99	o 998
442.78/428.73	o 997
442.88/428.80	o 996
442.98/428.90	o 995
443.38/429.31	o 994
444.09/430.03	o 993
444.38/430.31	o 990
445.38/431.33	o 989
445.68/431.66	o 988
445.88/431.83	o 987
446.68/432.64	o 985
446.68/432.69	o 984
447.19/433.15	o 983
447.98/433.94	o 982
447.98/433.98	o 980
449.29/435.25	o 979
449.29/435.25	o 978
450.59/436.55	o 977
450.89/436.84	o 976
451.89/437.86	o 975
452.29/438.22	o 974
452.29/438.24	o 973
452.29/438.24	o 972
453.20/439.16	o 970
453.79/439.76	o 969
454.49/440.47	o 968
454.69/440.69	o 967
454.89/440.85	o 966
455.80/441.79	o 965
455.80/441.79	o 964
456.30/442.22	o 963
457.10/443.08	o 962
457.40/443.32	o 961
457.40/443.33	o 960
457.60/443.53	o 959
458.40/444.38	o 957
458.60/444.59	o 956
459.69/445.68	o 955
459.80/445.74	o 954
461.00/446.99	o 953
461.48/447.32	o 952
461.68/447.59	o 951
462.38/448.29	o 948
462.88/448.70	o 947
463.78/449.60	o 946
463.88/449.72	o 945
465.08/450.91	o 944
465.38/451.27	o 943
466.38/452.21	o 942
466.38/452.26	o 941
467.68/453.51	o 940
467.98/453.85	o 939
468.08/453.96	o 938
468.19/454.05	o 937
468.99/454.82	o 936
469.20/455.06	o 935
469.39/455.29	o 934
470.30/456.14	o 931
471.59/457.44	o 930
471.79/457.69	o 929
472.09/457.91	o 928
472.89/458.74	o 927
473.20/459.05	o 926
473.39/459.25	o 925
474.20/460.04	o 924
474.30/460.11	o 922
474.30/460.19	o 921
475.49/461.35	o 920
475.69/461.55	o 919
476.09/461.92	o 918
476.79/462.65	o 916
476.99/462.80	o 915
476.99/462.89	o 914
478.09/463.95	o 913
478.30/464.17	o 912
478.49/464.36	o 911
478.59/464.46	o 909
479.48/465.27	o 908
479.88/465.60	o 907
479.88/465.66	o 906
480.78/466.57	o 905
480.88/466.69	o 904
482.08/467.86	o 903
482.39/468.20	o 902
482.58/468.35	o 901
483.39/469.17	o 900
483.48/469.24	o 898
483.48/469.25	o 897
483.88/469.64	o 896
483.98/469.75	o 895
484.68/470.47	o 894
484.78/470.56	o 893
484.88/470.63	o 892
485.98/471.78	o 891
486.29/472.02	o 890
487.29/473.08	o 889
487.58/473.35	o 888
487.88/473.61	o 887
488.58/474.38	o 886
488.88/474.63	o 885
489.88/475.69	o 884
489.98/475.70	o 883
490.48/476.20	o 882
490.48/476.27	o 881
491.18/476.99	o 880
491.29/477.01	o 879
492.58/478.30	o 878
492.79/478.54	o 877
492.99/478.78	o 876
493.89/479.61	o 875
493.89/479.67	o 873
495.19/480.91	o 872
495.30/481.01	o 871
495.69/481.49	o 870
496.55/482.21	o 869
496.85/482.52	o 868
497.85/483.52	o 867
497.95/483.65	o 865
499.16/484.82	o 864
499.49/485.12	o 863
499.78/485.40	o 862
500.49/486.12	o 861
500.49/486.19	o 860
500.68/486.33	o 859
500.78/486.49	o 858
501.78/487.43	o 857
501.98/487.69	o 856
502.28/487.92	o 855
503.08/488.73	o 854
503.39/489.08	o 853
504.39/490.03	o 851
504.58/490.24	o 850
504.68/490.37	o 849
505.68/491.34	o 848
505.88/491.55	o 847
505.98/491.67	o 846
506.98/492.64	o 844
507.39/493.01	o 843
508.28/493.95	o 842
508.49/494.13	o 840
508.68/494.33	o 839
509.58/495.25	o 838
509.68/495.37	o 837
510.88/496.58	o 836
511.25/496.84	o 835
511.46/497.09	o 834
512.25/497.86	o 833
512.56/498.16	o 832
512.75/498.37	o 831
513.56/499.16	o 830
513.65/499.21	o 828
514.15/499.76	o 827
514.86/500.47	o 826
515.16/500.71	o 825
516.16/501.78	o 824
516.47/502.09	o 823
516.66/502.24	o 822
516.76/502.32	o 821
517.47/503.08	o 820
517.57/503.14	o 819
518.76/504.38	o 818
519.06/504.65	o 817
519.26/504.85	o 816
520.06/505.69	o 815
520.36/505.99	o 814
520.66/506.26	o 813
521.36/506.99	o 812
521.57/507.16	o 811
521.96/507.57	o 810
522.68/508.29	o 809
522.78/508.33	o 808
524.08/509.60	o 807
524.18/509.75	o 806
524.28/509.87	o 805
524.59/510.11	o 804
524.59/510.14	o 803
525.44/510.93	o 802
525.65/511.11	o 801
525.84/511.35	o 800
525.94/511.45	o 799
526.74/512.21	o 798
526.94/512.45	o 796
528.04/513.50	o 795
528.24/513.79	o 794
528.44/513.93	o 793
529.34/514.81	o 792
529.65/515.11	o 791
529.74/515.21	o 790
530.66/516.11	o 789
530.75/516.20	o 788
530.85/516.34	o 786
531.95/517.41	o 785
532.25/517.71	o 784
532.45/517.98	o 783
533.25/518.72	o 782
533.35/518.84	o 781
534.56/520.02	o 780
534.85/520.30	o 779
534.95/520.40	o 778
535.85/521.32	o 777
535.85/521.39	o 776
535.95/521.43	o 775
537.15/522.63	o 774
537.35/522.89	o 773
537.66/523.18	o 772
538.51/523.96	o 771
538.72/524.12	o 770
539.81/525.24	o 768
540.11/525.52	o 767
540.31/525.75	o 766
541.11/526.54	o 765
541.31/526.70	o 764
542.41/527.85	o 763
542.62/528.10	o 762
542.91/528.39	o 761
543.72/529.15	o 760
543.72/529.18	o 759
545.01/530.45	o 758
545.31/530.74	o 757
545.41/530.86	o 756
545.51/530.97	o 755
546.31/531.76	o 754
546.51/531.95	o 753
547.62/533.06	o 752
547.72/533.15	o 751
548.91/534.36	o 750
549.01/534.47	o 749
549.21/534.66	o 748
550.21/535.67	o 747
550.51/535.96	o 746
550.72/536.16	o 745
550.72/536.19	o 744
551.61/537.01	o 743
552.01/537.30	o 742
552.91/538.28	o 741
553.11/538.45	o 740
553.31/538.68	o 739
554.21/539.57	o 737
554.61/539.92	o 736
554.72/540.02	o 735
554.72/540.08	o 734
555.51/540.88	o 733
555.83/541.15	o 732
555.83/541.16	o 731
556.83/542.18	o 730
557.12/542.47	o 729
557.32/542.64	o 728
558.12/543.49	o 727
558.32/543.63	o 726
559.42/544.79	o 725
559.73/545.04	o 723
559.83/545.13	o 722
560.73/546.09	o 720
562.12/547.40	o 719
562.22/547.59	o 718
563.42/548.70	o 717
563.62/548.91	o 716
564.82/550.04	o 715
565.01/550.20	o 714
566.11/551.32	o 713
566.21/551.45	o 712
567.41/552.62	o 711
567.71/552.93	o 710
568.71/553.92	o 709
568.82/554.03	o 708
570.01/555.23	o 707
570.11/555.38	o 706
570.21/555.47	o 705
571.31/556.53	o 704
571.51/556.70	o 703
571.61/556.82	o 702
572.61/557.84	o 701
572.92/558.13	o 700
573.01/558.28	o 699
573.92/559.13	o 698
574.01/559.26	o 697
574.51/559.72	o 696
575.21/560.44	o 695
575.21/560.44	o 694
575.71/560.96	o 693
576.51/561.74	o 692
576.71/561.90	o 690
577.89/563.04	o 688
579.18/564.35	o 687
579.48/564.63	o 686
580.48/565.65	o 685
580.68/565.83	o 684
580.99/566.16	o 682
581.78/566.96	o 681
581.99/567.16	o 680
582.28/567.40	o 679
583.08/568.27	o 678
583.38/568.52	o 676
584.38/569.58	o 675
584.68/569.82	o 674
584.99/570.15	o 673
585.68/570.88	o 671
586.99/572.18	o 670
587.28/572.41	o 669
588.28/573.48	o 668
588.65/573.77	o 667
589.65/574.79	o 666
589.85/574.93	o 665
590.96/576.09	o 664
591.25/576.39	o 663
591.55/576.66	o 662
592.35/577.40	o 661
592.35/577.48	o 660
592.55/577.67	o 659
593.65/578.70	o 658
593.85/578.94	o 657
594.15/579.28	o 656
594.96/580.02	o 655
595.25/580.31	o 654
595.45/580.56	o 653
596.25/581.32	o 652
596.45/581.57	o 651
597.55/582.62	o 650
597.75/582.83	o 649
597.91/582.90	o 648
598.91/583.92	o 647
599.02/584.01	o 646
599.41/584.41	o 645
600.21/585.23	o 644
600.51/585.51	o 643
600.71/585.78	o 642
601.51/586.54	o 641
601.71/586.70	o 640
601.81/586.85	o 639
601.91/586.97	o 638
602.81/587.84	o 637
603.02/588.07	o 636
603.31/588.30	o 635
603.31/588.39	o 634
604.12/589.14	o 632
605.41/590.45	o 631
605.61/590.66	o 630
605.91/590.94	o 629
606.71/591.75	o 628
606.71/591.76	o 627
607.21/592.27	o 626
608.10/593.08	o 625
608.20/593.18	o 624
608.49/593.47	o 623
609.39/594.36	o 622
609.59/594.57	o 621
610.69/595.66	o 619
611.99/596.97	o 618
612.20/597.18	o 617
612.39/597.33	o 616
613.29/598.27	o 615
613.29/598.29	o 614
613.49/598.48	o 613
614.59/599.57	o 612
614.69/599.67	o 611
614.99/599.96	o 610
615.10/600.01	o 609
615.89/600.88	o 608
616.20/601.12	o 607
616.39/601.35	o 606
616.49/601.43	o 605
617.20/602.18	o 604
617.49/602.40	o 603
618.66/603.51	o 602
618.76/603.66	o 600
618.96/603.86	o 599
619.86/604.77	o 598
619.86/604.78	o 597
620.36/605.20	o 596
621.16/606.08	o 595
621.36/606.27	o 594
621.46/606.36	o 593
622.46/607.39	o 592
622.66/607.58	o 591
622.76/607.67	o 590
623.76/608.69	o 589
624.06/608.97	o 588
624.27/609.14	o 587
625.06/609.99	o 586
625.27/610.14	o 585
626.46/611.30	o 584
626.66/611.53	o 583
626.76/611.67	o 582
627.82/612.63	o 581
627.92/612.79	o 580
628.02/612.89	o 579
629.12/613.91	o 578
629.33/614.17	o 577
629.53/614.33	o 576
630.43/615.21	o 575
630.63/615.40	o 574
630.73/615.52	o 573
630.93/615.74	o 572
631.73/616.51	o 571
631.73/616.58	o 570
633.03/617.82	o 569
633.24/618.05	o 568
634.34/619.12	o 567
634.53/619.32	o 566
634.73/619.50	o 565
634.73/619.58	o 564
635.63/620.43	o 563
635.90/620.68	o 562
637.00/621.73	o 561
637.20/621.95	o 560
638.31/623.04	o 559
638.50/623.29	o 558
638.80/623.51	o 557
639.60/624.34	o 556
639.80/624.55	o 555
640.00/624.71	o 554
640.90/625.65	o 553
641.10/625.86	o 552
641.10/625.87	o 551
641.41/626.14	o 550
642.20/626.95	o 549
642.20/626.99	o 548
643.51/628.25	o 547
643.77/628.47	o 546
643.97/628.67	o 545
644.07/628.78	o 544
644.87/629.56	o 543
645.07/629.79	o 542
645.27/629.99	o 541
646.17/630.86	o 540
646.17/630.88	o 539
646.48/631.17	o 538
647.48/632.16	o 537
647.67/632.35	o 536
647.87/632.51	o 535
647.97/632.60	o 534
648.77/633.47	o 533
648.97/633.68	o 532
649.07/633.71	o 531
649.39/634.02	o 530
650.08/634.77	o 529
650.28/635.00	o 528
650.63/635.26	o 527
651.45/636.08	o 526
651.65/636.29	o 525
651.75/636.37	o 524
652.05/636.60	o 522
652.75/637.38	o 521
652.95/637.58	o 520
653.25/637.89	o 519
654.05/638.68	o 518
654.25/638.87	o 517
654.56/639.11	o 516
655.35/639.99	o 515
655.56/640.18	o 514
655.65/640.26	o 513
656.65/641.29	o 512
656.85/641.46	o 511
657.15/641.73	o 510
658.11/642.62	o 509
658.21/642.76	o 508
659.41/643.90	o 507
659.62/644.11	o 506
659.71/644.23	o 505
659.91/644.41	o 504
660.71/645.20	o 503
662.01/646.50	o 502
662.21/646.73	o 501
662.52/647.02	o 500
663.31/647.81	o 499
663.52/648.07	o 498
663.81/648.33	o 497
664.62/649.11	o 496
664.79/649.28	o 495
664.79/649.29	o 494
665.08/649.53	o 492
665.98/650.41	o 491
666.08/650.50	o 490
666.18/650.67	o 489
666.48/650.98	o 488
667.28/651.71	o 487
667.48/651.90	o 486
667.69/652.16	o 485
667.78/652.23	o 484
668.59/653.02	o 483
668.78/653.26	o 482
668.78/653.28	o 481
669.08/653.56	o 480
669.08/653.57	o 479
669.88/654.32	o 478
670.08/654.53	o 477
670.45/654.81	o 476
670.45/654.85	o 475
671.25/655.63	o 474
671.45/655.88	o 473
671.55/655.99	o 472
672.55/656.94	o 471
672.76/657.13	o 470
673.85/658.24	o 469
673.95/658.37	o 468
673.95/658.38	o 467
675.15/659.54	o 466
675.35/659.76	o 465
675.55/659.92	o 464
675.66/660.07	o 463
676.49/660.87	o 462
676.73/661.04	o 461
676.73/661.10	o 460
677.83/662.15	o 459
678.02/662.35	o 458
678.12/662.46	o 457
679.13/663.45	o 456
679.23/663.56	o 455
679.74/664.01	o 454
680.43/664.78	o 453
680.74/665.01	o 452
680.93/665.25	o 451
681.74/666.08	o 450
682.00/666.27	o 449
682.30/666.59	o 448
683.10/667.39	o 447
683.40/667.62	o 446
683.60/667.81	o 445
683.70/667.94	o 444
684.40/668.69	o 443
684.50/668.73	o 442
685.70/670.00	o 441
685.81/670.10	o 440
687.10/671.31	o 439
687.30/671.56	o 438
687.40/671.65	o 437
687.67/671.85	o 436
688.47/672.60	o 435
688.67/672.81	o 434
688.77/672.95	o 433
688.98/673.11	o 432
689.77/673.90	o 431
689.98/674.12	o 430
690.07/674.28	o 429
691.07/675.21	o 428
691.27/675.44	o 427
691.47/675.65	o 426
692.43/676.54	o 425
692.54/676.62	o 424
692.84/676.94	o 423
692.95/677.08	o 422
693.74/677.82	o 421
693.95/678.04	o 420
694.14/678.25	o 419
694.24/678.39	o 418
695.05/679.12	o 417
695.05/679.18	o 416
696.34/680.43	o 415
696.54/680.61	o 414
696.74/680.80	o 413
696.84/680.96	o 412
697.72/681.75	o 411
697.91/681.96	o 410
699.02/683.03	o 409
699.22/683.21	o 408
699.32/683.31	o 407
700.32/684.34	o 406
700.52/684.55	o 405
700.72/684.76	o 404
701.62/685.64	o 403
701.82/685.86	o 402
702.09/686.04	o 401
702.20/686.18	o 400
702.99/686.94	o 399
703.09/687.10	o 398
704.29/688.25	o 397
704.49/688.45	o 396
704.79/688.70	o 395
705.59/689.55	o 394
705.79/689.75	o 393
705.99/689.94	o 392
706.20/690.11	o 391
706.95/690.89	o 390
707.26/691.11	o 389
707.45/691.33	o 388
708.26/692.16	o 387
708.45/692.38	o 386
708.76/692.69	o 385
709.56/693.46	o 384
709.66/693.57	o 383
710.86/694.77	o 382
711.23/695.03	o 381
711.23/695.09	o 380
712.23/696.07	o 379
712.43/696.25	o 378
713.53/697.38	o 377
713.73/697.59	o 376
714.13/697.91	o 375
714.83/698.68	o 374
715.03/698.85	o 373
715.30/699.01	o 372
716.19/699.99	o 371
716.49/700.20	o 370
716.79/700.52	o 369
717.49/701.29	o 368
717.69/701.44	o 367
717.89/701.62	o 366
718.89/702.60	o 365
718.99/702.70	o 364
719.09/702.88	o 363
720.26/703.93	o 362
720.37/704.09	o 361
720.56/704.25	o 360
721.56/705.21	o 359
721.76/705.43	o 358
721.96/705.63	o 357
722.86/706.51	o 356
722.96/706.68	o 355
723.16/706.83	o 354
724.23/707.84	o 353
724.44/708.01	o 352
724.54/708.11	o 351
725.54/709.12	o 350
725.63/709.29	o 349
726.83/710.42	o 348
727.03/710.64	o 347
727.23/710.84	o 346
728.20/711.75	o 345
728.40/711.92	o 344
729.51/713.03	o 343
729.70/713.25	o 342
729.80/713.38	o 341
730.80/714.33	o 340
731.00/714.52	o 339
731.30/714.85	o 338
732.10/715.66	o 337
732.38/715.86	o 336
732.69/716.19	o 335
733.48/716.93	o 334
733.59/717.09	o 333
733.69/717.16	o 332
734.78/718.24	o 331
734.88/718.36	o 330
736.08/719.55	o 329
736.28/719.76	o 328
736.48/719.98	o 327
737.45/720.85	o 326
737.66/721.04	o 325
737.66/721.09	o 324
738.76/722.15	o 323
738.95/722.37	o 322
739.15/722.57	o 321
740.05/723.46	o 320
740.25/723.68	o 319
740.45/723.88	o 318
741.42/724.78	o 317
741.62/724.96	o 316
742.72/726.09	o 315
742.92/726.28	o 314
743.12/726.48	o 313
743.22/726.56	o 312
743.32/726.60	o 311
744.02/727.39	o 310
744.22/727.56	o 309
744.42/727.72	o 308
745.32/728.69	o 307
745.69/728.92	o 306
745.90/729.18	o 305
746.69/729.99	o 304
746.91/730.18	o 303
747.30/730.50	o 302
748.10/731.30	o 301
748.30/731.51	o 300
748.40/731.61	o 299
749.40/732.63	o 298
749.66/732.81	o 297
749.76/732.95	o 296
749.87/733.08	o 295
750.77/733.91	o 294
750.87/734.09	o 293
752.06/735.21	o 292
752.16/735.37	o 291
752.36/735.55	o 290
752.49/735.70	o 289
753.40/736.59	o 288
753.60/736.79	o 287
754.87/737.92	o 286
754.98/738.10	o 285
756.17/739.20	o 284
756.37/739.40	o 283
756.47/739.51	o 282
756.57/739.67	o 281
757.47/740.50	o 280
757.57/740.61	o 279
757.87/740.90	o 278
758.77/741.81	o 277
758.87/741.99	o 276
759.08/742.16	o 275
760.15/743.11	o 274
760.24/743.30	o 273
760.54/743.56	o 272
761.44/744.42	o 271
761.54/744.55	o 270
761.64/744.64	o 269
762.74/745.72	o 268
762.84/745.86	o 267
763.05/746.07	o 266
764.05/747.03	o 265
764.24/747.23	o 264
765.41/748.33	o 263
765.61/748.50	o 262
765.81/748.71	o 261
766.71/749.63	o 260
766.91/749.80	o 259
767.01/749.91	o 258
768.01/750.93	o 257
768.12/751.06	o 256
769.35/752.26	o 255
769.58/752.46	o 254
769.78/752.60	o 253
770.68/753.54	o 252
770.88/753.75	o 251
771.08/753.97	o 250
771.98/754.84	o 249
773.38/756.29	o 248
773.58/756.48	o 247
774.85/757.61	o 246
775.05/757.81	o 245
775.15/758.00	o 244
776.15/758.92	o 243
776.15/759.00	o 242
777.45/760.23	o 241
777.65/760.41	o 240
778.75/761.53	o 239
779.02/761.73	o 238
780.12/762.83	o 237
780.33/763.04	o 236
780.52/763.23	o 235
781.43/764.13	o 234
781.62/764.30	o 233
782.72/765.43	o 232
782.98/765.62	o 231
784.09/766.74	o 230
784.29/766.92	o 229
784.59/767.20	o 228
785.39/768.06	o 227
785.58/768.22	o 226
786.68/769.36	o 225
786.78/769.49	o 224
787.05/769.65	o 223
788.06/770.66	o 222
788.26/770.85	o 221
788.46/771.08	o 220
789.36/771.97	o 219
789.57/772.14	o 218
790.82/773.30	o 217
790.92/773.45	o 216
792.02/774.59	o 215
792.22/774.79	o 214
792.42/774.96	o 213
793.32/775.88	o 212
793.53/776.05	o 211
793.72/776.21	o 210
794.72/777.18	o 209
794.91/777.32	o 208
795.11/777.56	o 207
796.00/778.49	o 206
796.20/778.68	o 205
796.40/778.85	o 204
797.30/779.79	o 203
797.50/779.98	o 202
798.68/781.10	o 201
798.87/781.29	o 200
799.07/781.45	o 199
799.97/782.40	o 198
800.17/782.57	o 197
801.37/783.70	o 196
801.37/783.78	o 195
802.75/785.01	o 194
802.85/785.12	o 193
804.04/786.31	o 192
804.14/786.44	o 191
804.34/786.69	o 190
805.34/787.61	o 189
805.44/787.79	o 188
805.82/788.08	o 187
806.71/788.93	o 186
806.82/789.08	o 185
807.01/789.24	o 184
808.01/790.23	o 183
808.21/790.40	o 182
809.32/791.54	o 181
809.56/791.72	o 180
810.69/792.84	o 179
810.89/793.01	o 178
811.00/793.17	o 177
811.09/793.28	o 176
812.00/794.14	o 175
812.19/794.32	o 174
812.39/794.55	o 173
813.29/795.45	o 172
813.55/795.64	o 171
813.65/795.77	o 170
814.65/796.75	o 169
814.85/796.93	o 168
815.06/797.19	o 167
815.96/798.07	o 166
816.15/798.25	o 165
816.35/798.42	o 164
817.31/799.37	o 163
817.51/799.52	o 162
817.62/799.68	o 161
818.62/800.67	o 160
818.82/800.85	o 159
819.02/801.08	o 158
819.92/801.97	o 157
820.13/802.16	o 156
820.38/802.36	o 155
821.29/803.28	o 154
821.49/803.45	o 153
821.69/803.61	o 152
822.59/804.59	o 151
822.79/804.77	o 150
823.09/805.01	o 149
823.89/805.89	o 148
824.17/806.09	o 147
824.36/806.26	o 146
825.27/807.19	o 145
825.46/807.37	o 144
825.66/807.53	o 143
826.56/808.50	o 142
826.76/808.64	o 141
826.96/808.88	o 140
828.03/809.82	o 139
828.24/810.01	o 138
828.34/810.19	o 137
829.24/811.11	o 136
829.43/811.28	o 135
829.73/811.50	o 134
830.63/812.41	o 133
830.73/812.57	o 132
831.99/813.72	o 131
832.09/813.89	o 130
832.30/814.06	o 129
833.30/815.02	o 128
833.40/815.19	o 127
833.59/815.34	o 126
833.69/815.48	o 125
834.59/816.31	o 124
834.69/816.47	o 123
834.89/816.64	o 122
835.89/817.61	o 121
835.99/817.75	o 120
836.26/817.94	o 119
837.26/818.92	o 118
837.37/819.08	o 117
837.56/819.24	o 116
839.06/820.73	o 115
839.16/820.89	o 114
839.37/821.05	o 113
840.37/822.04	o 112
840.47/822.19	o 111
840.66/822.33	o 110
840.86/822.52	o 109
841.66/823.34	o 108
841.86/823.51	o 107
841.96/823.67	o 106
842.16/823.82	o 105
842.96/824.64	o 104
843.16/824.80	o 103
843.26/824.96	o 102
844.26/825.95	o 101
844.47/826.11	o 100
844.56/826.25	o 99
844.76/826.43	o 98
845.57/827.28	o 97
845.84/827.44	o 96
845.94/827.57	o 95
846.94/828.56	o 94
847.14/828.71	o 93
847.24/828.88	o 92
847.45/829.03	o 91
848.24/829.85	o 90
848.45/830.01	o 89
848.64/830.24	o 88
849.55/831.16	o 87
849.74/831.31	o 86
849.94/831.50	o 85
850.84/832.46	o 84
851.04/832.61	o 83
851.14/832.75	o 82
852.14/833.77	o 81
852.34/833.93	o 80
852.45/834.09	o 79
852.64/834.24	o 78
853.45/835.07	o 77
853.71/835.26	o 76
853.91/835.42	o 75
854.81/836.38	o 74
855.01/836.53	o 73
855.11/836.69	o 72
855.31/836.85	o 71
856.11/837.69	o 70
856.31/837.85	o 69
856.41/837.98	o 68
856.62/838.17	o 67
857.41/839.00	o 66
857.62/839.15	o 65
857.81/839.31	o 64
857.91/839.47	o 63
858.81/840.31	o 62
858.91/840.46	o 61
859.11/840.62	o 60
859.21/840.76	o 59
860.11/841.62	o 58
860.21/841.77	o 57
860.31/841.89	o 56
860.52/842.07	o 55
861.49/842.92	o 54
861.60/843.06	o 53
861.79/843.20	o 52
862.79/844.23	o 51
862.89/844.38	o 50
863.09/844.53	o 49
863.19/844.68	o 48
864.09/845.53	o 47
864.19/845.67	o 46
864.39/845.81	o 45
865.39/846.84	o 44
865.49/846.99	o 43
865.83/847.15	o 42
866.83/848.13	o 41
868.53/849.83	o 40
868.63/849.98	o 39
868.84/850.14	o 38
869.81/851.07	o 37
870.00/851.22	o 36
870.10/851.38	o 35
871.10/852.34	o 34
871.30/852.50	o 33
872.81/854.10	o 32
873.00/854.26	o 31
873.20/854.43	o 30
874.10/855.35	o 29
874.30/855.51	o 28
874.40/855.66	o 27
875.40/856.62	o 26
875.50/856.79	o 25
875.71/856.97	o 24
876.71/857.93	o 23
876.96/858.11	o 22
877.23/858.31	o 21
878.13/859.25	o 20
878.33/859.43	o 19
878.43/859.60	o 18
879.49/860.57	o 17
879.69/860.74	o 16
879.89/860.92	o 15
880.79/861.86	o 14
881.00/862.05	o 13
882.27/863.18	o 12
884.06/864.92	o 11
884.27/865.11	o 10
885.27/866.17	o 9
885.54/866.37	o 8
886.64/867.46	o 7
2520.05/2465.70	s SATISFIABLE
2520.05/2465.70	v <instantiation>
2520.05/2465.70	v 	<list>
2520.05/2465.70	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029]
2520.05/2465.70	v 	</list>
2520.05/2465.70	v 	<values>
2520.05/2465.70	v 		0 2 0 5 1 7 2 2 1 7 5 1 0 7 4 1 1 3 2 1 1 1 2 1 1 2 1 2 3 2 0 7 0 0 7 5 0 4 7 7 7 7 7 0 4 4 1 1 1 1 1 2 2 1 1 1 1 1 1 1 2 0 2 2 0 0 2 2 0 0 2 7 0 7 0 3 7 2 0 4 3 5 0 5 4 4 5 0 0 0 5 1 0 3 4 4 1 0 3 3 3 3 3 3 1 3 3 3 3 4 7 7 5 7 4 7 5 0 5 5 4 5 0 7 4 4 3 1 3 1 3 1 3 3 3 3 3 3 3 3 0 5 7 5 7 7 0 5 5 5 7 5 0 5 7 5 5 1 5 5 7 7 7 7 7 2 7 1 2 0 5 7 7 7 7 2 1 0 0 1 1 2 1 1 1 2 1 0 2 2 4 2 4 7 4 5 7 5 7 7 7 7 7 7 4 1 1 1 1 1 2 0 1 1 1 1 1 0 1 1 0 0 1 7 4 4 1 4 0 0 7 7 7 4 7 2 7 1 7 4 6 3 6 3 6 6 6 0 6 6 6 6 0 6 6 1 3 1 2 0 0 3 0 0 0 3 2 1 3 1 6 6 0 6 6 6 3 6 3 3 6 3 3 6 3 1 3 3 1 1 0 1 1 3 2 2 0 2 0 2 0 6 0 6 3 6 3 0 3 3 6 6 0 3 6 3 3 0 3 3 6 4 4 4 6 4 5 4 5 2 4 4 5 5 4 2 5 2 5 2 5 4 5 5 2 5 4 5 4 5 4 5 5 6 6 6 4 5 5 6 5 5 4 4 6 2 2 4 5 4 2 2 2 2 4 4 4 5 4 2 4 4 4 4 4 6 6 4 6 5 5 5 5 6 6 4 5 4 5 5 1 2 3 4 0 6 7 6 5 7 7 6 6 6 7 6 1 6 7 6 4 6 6 6 6 3 2 6 6 3 6 6 6 3 6 7 5 7 5 7 4 7 6 6 7 5 7 7 7 7 3 6 4 3 6 4 6 2 6 6 3 3 3 6 3 7 7 7 6 7 6 7 7 6 6 6 7 7 7 2 6 7 6 6 4 6 4 6 5 6 6 6 5 3 6 6 6 6 6 6 4 5 4 6 6 5 6 6 6 3 6 3 6 3 6 4 6 5 5 7 6 7 7 7 7 7 6 7 6 7 3 3 3 3 3 6 3 3 6 3 3 5 6 6 5 7 6 5 7 5 6 5 7 6 6 5 5 5 5 5 5 6 6 5 5 4 7 7 5 4 2 5 2 2 2 5 7 7 7 4 1 2 2 2 2 7 2 2 7 2 2 1 2 2 2 5 5 7 5 7 5 5 4 7 5 5 6 7 5 5 4 2 2 2 4 6 4 2 2 2 2 2 2 2 2 6 6 1 2 4 6 1 6 4 4 4 4 4 4 1 2 6 2 6 2 6 3 6 5 6 3 6 3 6 6 3 6 3 6 6 3 1 3 3 3 3 3 3 2 2 1 3 1 3 3 7 7 7 5 7 6 7 7 7 7 7 7 7 6 3 3 3 1 3 2 3 2 1 2 3 1 2 1 3 3 6 6 6 7 7 6 7 6 7 6 7 6 7 6 6 2 6 3 6 3 7 2 7 7 7 5 2 5 7 4 5 4 7 5 5 2 4 7 4 4 4 2 4 5 2 2 2 2 4 4 6 4 7 3 5 7 6 6 5 4 6 5 5 5 5 2 7 5 2 5 2 2 4 2 2 5 2 4 7 2 5 5 7 2 5 5 7 7 5 4 5 5 6 5 5 2 6 2 4 2 7 6 6 7 7 0 2 0 0 1 1 4 1 0 3 0 0 0 0 0 1 1 2 2 0 2 0 1 0 0 0 3 0 0 0 2 0 0 2 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 3 0 2 1 4 0 0 1 0 1 1 0 2 1 1 0 1 2 0 1 1 2 1 0 1 0 1 0 0 0 0 5 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 2 0 0 3 0 0 0 0 0 0 3 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 4 1 2 0 2 3 2 0 0 0 3 0 0 0 1 1 1 0 1 0 1 1 1 0 1 1 0 0 0 0 0 0 1 3 0 0 2 2 0 2 0 1 0 0 0 0 0 2 0 0 1 1 3 0 1 1 0 1 0 0 0 0 0 2 2 0 0 1 4 0 0 1 2 0 0 2 0 0 0 0 3 1 0 0 3 1 1 0 2 0 0 1 1 3 0 0 1 1 4 4 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 3 0 0 1 0 0 3 3 3 0 0 3 0 0 0 0 0 3 0 1 0 3 1 1 0 0 0 0 0 0 0 0 0 3 0 0 3 3 3 0 0 0 0 0 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 3 0 4 1 3 3 1 1 1 0 0 0 0 0 1 0 0 4 4 0 2 0 1 0 0 2 0 0 2 0 0 1 1 0 3 0 1 2 1 0 1 0 0 1 1 0 2 0 0 1 2 6 1 0 0 0 0 2 0 0 0 3 1 0 3 0 0 1 1 2 1 1 1 1 2 2 0 4 0 0 0 0 1 1 4 0 0 0 6 6 0 2 0 1 0 0 0 0 0 0 0 4 6 6 6 5 7 6 5 6 6 6 7 5 5 5 3 6 4 6 6 3 5 5 5 7 7 5 6 7 5 6 4 6 7 7 6 5 6 5 6 7 5 6 5 6 6 4 3 7 6 3 6 6 4 6 5 3 6 5 5 5 7 6 6 7 5 6 5 5 7 5 5 5 5 6 5 5 5 5 6 5 4 5 4 4 7 5 7 7 6 6 5 4 5 5 5 3 6 5 5 5 4 6 4 5 5 7 6 5 4 6 6 6 5 7 4 7 4 4 6 6 5 5 6 6 5 7 3 6 6 5 6 5 7 7 4 7 3 5 7 7 7 5 5 5 5 7 7 7 7 5 6 5 7 5 5 4 3 5 6 4 7 4 4 5 7 6 6 6 6 6 5 5 7 7 6 7 7 6 5 5 4 4 5 7 7 5 4 6 5 7 6 7 4 5 7 4 6 6 5 6 5 5 4 4 3 4 6 5 5 5 6 7 5 5 5 6 4 5 6 7 4 5 5 6 6 7 6 5 6 5 5 5 6 5 5 7 5 5 6 5 6 5 4 5 5 4 7 5 7 7 6 5 7 7 6 5 7 6 6 6 5 7 6 7 4 6 5 5 6 6 6 6 7 6 7 6 6 7 7 7 7 7 5 5 6 4 5 6 5 4 5 5 5 6 5 4 5 4 7 4 5 7 5 7 4 7 5 7 7 7 6 5 5 7 7 5 5 7 5 4 2 4 6 4 7 5 6 6 2 5 6 7 5 6 7 7 5 6 5 7 7 4 6 2 6 4 5 7 5 5 3 6 4 5 5 4 4 7 4 5 5 7 6 4 4 6 5 5 2 5 4 6 4 5 5 6 4 5 7 3 6 7 2 4 3 3 4 6 4 6 4 4 4 5 5 4 5 5 5 5 7 7 5 5 2 2 1 1 0 3 1 1 1 0 1 0 0 1 2 0 3 0 0 0 3 3 2 0 0 1 0 0 3 0 2 0 0 0 2 2 0 0 1 0 0 2 1 0 2 1 2 3 3 0 3 0 0 2 0 3 0 0 0 2 0 1 0 0 2 0 1 2 2 0 2 0 2 2 0 2 1 3 2 1 5 0 1 2 1 0 0 2 3 2 0 0 0 0 3 2 3 0 0 3 3 0 3 2 3 3 0 1 0 0 2 0 1 2 2 1 1 1 2 1 1 2 1 0 2 3 0 1 1 1 0 1 1 2 1 0 1 3 1 0 1 0 0 1 0 0 1 3 1 3 0 2 1 2 0 0 1 2 2 1 1 3 0 2 1 0 0 2 1 3 0 0 3 1 3 2 3 3 1 2 1 3 0 1 2 3 1 2 1 3 1 2 2 0 2 1 0 0 0 0 1 2 1 0 2 3 1 0 1 1 0 3 1 1 3 1 3 1 1 3 2 2 3 0 2 0 0 3 1 1 2 0 0 2 2 1 1 2 2 0 0 3 1 0 1 0 1 2 0 0 0 1 2 2 0 0 1 0 3 1 0 3 3 2 3 0 0 0 0 1 1 2 3 1 2 2 3 0 2 3 0 1 1 1 1 0 0 2 0 1 2 0 0 7 1 3 1 0 1 2 3 0 2 7 0 2 7 3 0 3 1 1 1 1 1 0 0 1 0 0 2 3 3 3 0 0 2 3 1 2 0 0 1 0 3 3 7 1 2 2 1 3 0 3 0 0 0 1 0 2 3 0 2 7 2 0 3 1 0 0 0 2 3 1 0 1 0 1 2 3 1 0 2 2 2 1 0 2 2 1 1 0 2 2 2 1 3 0 0 2 3 1 2 3 0 1 1 1 0 1 0 0 0 3 0 6 0 7 1 4 
2520.05/2465.70	v 	</values>
2520.05/2465.70	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 (10025 MiB free)
  memory of node 1: 16384 MiB (12777 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311539-1534543629/watcher-4311539-1534543629 -o /tmp/evaluation-result-4311539-1534543629/solver-4311539-1534543629 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534541042-5265 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1679968810 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311539-1534543629.xml 

running on 4 cores: 0,2,4,6

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
solver pid=5662, runsolver pid=5659
Current StackSize limit: 8192 KiB


[startup+0.100119 s]*
/proc/loadavg: 1.40 1.53 1.36 3/215 5677
/proc/meminfo: memFree=23331836/32770624 swapFree=67108688/67108860
[pid=5662] ppid=5659 vsize=14082736 memory=31836 CPUtime=0.12 cores=0,2,4,6
/proc/5662/stat : 5662 (java) S 5659 5662 5234 0 -1 1077944320 6851 0 0 0 11 1 0 0 20 0 15 0 271925742 14420721664 7959 33554432000 4194304 4196468 140734877334848 140734877317392 140130695925495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
/proc/5662/statm: 3520684 7959 3154 1 0 3482761 0
[pid=5662/tid=5664] ppid=5659 vsize=14082736 memory=-8537235518341870784 CPUtime=0.09 cores=0,2,4,6
/proc/5662/task/5664/stat : 5664 (java) R 5659 5662 5234 0 -1 4202560 4902 0 0 0 9 0 0 0 20 0 15 0 271925743 14420721664 7959 33554432000 4194304 4196468 140734877334848 140130700128520 140130695947421 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5665] ppid=5659 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5665/stat : 5665 (java) S 5659 5662 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271925744 14420721664 7959 33554432000 4194304 4196468 140734877334848 140130626013584 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5666] ppid=5659 vsize=14082736 memory=140069930604160 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5666/stat : 5666 (java) S 5659 5662 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271925744 14420721664 7959 33554432000 4194304 4196468 140734877334848 140130624960784 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5667] ppid=5659 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5667/stat : 5667 (java) S 5659 5662 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271925744 14420721664 7959 33554432000 4194304 4196468 140734877334848 140130289105552 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5668] ppid=5659 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5668/stat : 5668 (java) S 5659 5662 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271925744 14420721664 7959 33554432000 4194304 4196468 140734877334848 140130288052752 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5669] ppid=5659 vsize=14082736 memory=140069930604160 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5669/stat : 5669 (java) S 5659 5662 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271925745 14420721664 7959 33554432000 4194304 4196468 140734877334848 140130238032496 140130695936642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5670] ppid=5659 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5670/stat : 5670 (java) S 5659 5662 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271925745 14420721664 7959 33554432000 4194304 4196468 140734877334848 140130236978464 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5671] ppid=5659 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5671/stat : 5671 (java) S 5659 5662 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271925746 14420721664 7959 33554432000 4194304 4196468 140734877334848 140130235926128 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5672] ppid=5659 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5672/stat : 5672 (java) S 5659 5662 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271925748 14420721664 7959 33554432000 4194304 4196468 140734877334848 140130234874448 140130695944091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5673] ppid=5659 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5673/stat : 5673 (java) S 5659 5662 5234 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 271925748 14420721664 7959 33554432000 4194304 4196468 140734877334848 140130233821296 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5674] ppid=5659 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5674/stat : 5674 (java) S 5659 5662 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271925748 14420721664 7959 33554432000 4194304 4196468 140734877334848 140130232768496 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5675] ppid=5659 vsize=14082736 memory=140069930604160 CPUtime=0.01 cores=0,2,4,6
/proc/5662/task/5675/stat : 5675 (java) S 5659 5662 5234 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 15 0 271925748 14420721664 7959 33554432000 4194304 4196468 140734877334848 140130231716208 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5676] ppid=5659 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5676/stat : 5676 (java) S 5659 5662 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271925748 14420721664 7959 33554432000 4194304 4196468 140734877334848 140130230663648 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5677] ppid=5659 vsize=14082736 memory=140069930604160 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5677/stat : 5677 (java) S 5659 5662 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271925748 14420721664 7959 33554432000 4194304 4196468 140734877334848 140130229611440 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31836 KiB

[startup+0.213942 s]*
/proc/loadavg: 1.40 1.53 1.36 6/215 5677
/proc/meminfo: memFree=23316332/32770624 swapFree=67108688/67108860
[pid=5662] ppid=5659 vsize=14082736 memory=47648 CPUtime=0.31 cores=0,2,4,6
/proc/5662/stat : 5662 (java) S 5659 5662 5234 0 -1 1077944320 10536 0 0 0 29 2 0 0 20 0 15 0 271925742 14420721664 11912 33554432000 4194304 4196468 140734877334848 140734877317392 140130695925495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
/proc/5662/statm: 3520684 11912 3373 1 0 3482761 0
[pid=5662/tid=5664] ppid=5659 vsize=14082736 memory=7022364594140610616 CPUtime=0.21 cores=0,2,4,6
/proc/5662/task/5664/stat : 5664 (java) R 5659 5662 5234 0 -1 4202560 8250 0 0 0 19 2 0 0 20 0 15 0 271925743 14420721664 11978 33554432000 4194304 4196468 140734877334848 140130700153824 140130695937430 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5665] ppid=5659 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5665/stat : 5665 (java) S 5659 5662 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271925744 14420721664 11978 33554432000 4194304 4196468 140734877334848 140130626013584 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5666] ppid=5659 vsize=14082736 memory=4121269299886757536 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5666/stat : 5666 (java) S 5659 5662 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271925744 14420721664 11978 33554432000 4194304 4196468 140734877334848 140130624960784 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5667] ppid=5659 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5667/stat : 5667 (java) S 5659 5662 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271925744 14420721664 11978 33554432000 4194304 4196468 140734877334848 140130289105552 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5668] ppid=5659 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5668/stat : 5668 (java) S 5659 5662 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271925744 14420721664 11978 33554432000 4194304 4196468 140734877334848 140130288052752 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5669] ppid=5659 vsize=14082736 memory=140069930604160 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5669/stat : 5669 (java) S 5659 5662 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271925745 14420721664 11978 33554432000 4194304 4196468 140734877334848 140130238032496 140130695936642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5670] ppid=5659 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5670/stat : 5670 (java) S 5659 5662 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271925745 14420721664 11978 33554432000 4194304 4196468 140734877334848 140130236978464 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5671] ppid=5659 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5671/stat : 5671 (java) S 5659 5662 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271925746 14420721664 11978 33554432000 4194304 4196468 140734877334848 140130235926128 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5672] ppid=5659 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5672/stat : 5672 (java) S 5659 5662 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271925748 14420721664 11978 33554432000 4194304 4196468 140734877334848 140130234874448 140130695944091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5673] ppid=5659 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5662/task/5673/stat : 5673 (java) R 5659 5662 5234 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 15 0 271925748 14420721664 11978 33554432000 4194304 4196468 140734877334848 140130233808144 140130695935701 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5674] ppid=5659 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5662/task/5674/stat : 5674 (java) R 5659 5662 5234 0 -1 4202560 268 0 0 0 2 0 0 0 20 0 15 0 271925748 14420721664 11978 33554432000 4194304 4196468 140734877334848 140130232768496 140130677436416 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5675] ppid=5659 vsize=14082736 memory=140069930604160 CPUtime=0.06 cores=0,2,4,6
/proc/5662/task/5675/stat : 5675 (java) R 5659 5662 5234 0 -1 4202560 305 0 0 0 6 0 0 0 20 0 15 0 271925748 14420721664 11978 33554432000 4194304 4196468 140734877334848 140130231716208 140130688162622 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5676] ppid=5659 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5676/stat : 5676 (java) S 5659 5662 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271925748 14420721664 11978 33554432000 4194304 4196468 140734877334848 140130230663648 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5677] ppid=5659 vsize=14082736 memory=140069930604160 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5677/stat : 5677 (java) S 5659 5662 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271925748 14420721664 11978 33554432000 4194304 4196468 140734877334848 140130229611440 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47648 KiB

[startup+0.310645 s]*
/proc/loadavg: 1.40 1.53 1.36 3/215 5677
/proc/meminfo: memFree=23312588/32770624 swapFree=67108688/67108860
[pid=5662] ppid=5659 vsize=14082736 memory=51244 CPUtime=0.44 cores=0,2,4,6
/proc/5662/stat : 5662 (java) S 5659 5662 5234 0 -1 1077944320 10892 0 0 0 42 2 0 0 20 0 15 0 271925742 14420721664 12811 33554432000 4194304 4196468 140734877334848 140734877317392 140130695925495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
/proc/5662/statm: 3520684 12811 3413 1 0 3482761 0
[pid=5662/tid=5664] ppid=5659 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/5662/task/5664/stat : 5664 (java) R 5659 5662 5234 0 -1 4202560 8574 0 0 0 28 2 0 0 20 0 15 0 271925743 14420721664 12811 33554432000 4194304 4196468 140734877334848 140130700143408 140130677298963 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5665] ppid=5659 vsize=14082736 memory=4294979922 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5665/stat : 5665 (java) S 5659 5662 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271925744 14420721664 12811 33554432000 4194304 4196468 140734877334848 140130626013584 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5666] ppid=5659 vsize=14082736 memory=4049211705848829600 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5666/stat : 5666 (java) S 5659 5662 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271925744 14420721664 12811 33554432000 4194304 4196468 140734877334848 140130624960784 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5667] ppid=5659 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5667/stat : 5667 (java) S 5659 5662 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271925744 14420721664 12811 33554432000 4194304 4196468 140734877334848 140130289105552 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5668] ppid=5659 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5668/stat : 5668 (java) S 5659 5662 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271925744 14420721664 12811 33554432000 4194304 4196468 140734877334848 140130288052752 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5669] ppid=5659 vsize=14082736 memory=140069930604160 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5669/stat : 5669 (java) S 5659 5662 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271925745 14420721664 12811 33554432000 4194304 4196468 140734877334848 140130238032496 140130695936642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5670] ppid=5659 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5670/stat : 5670 (java) S 5659 5662 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271925745 14420721664 12811 33554432000 4194304 4196468 140734877334848 140130236978464 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5671] ppid=5659 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5671/stat : 5671 (java) S 5659 5662 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271925746 14420721664 12811 33554432000 4194304 4196468 140734877334848 140130235926128 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5672] ppid=5659 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5672/stat : 5672 (java) S 5659 5662 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271925748 14420721664 12811 33554432000 4194304 4196468 140734877334848 140130234874448 140130695944091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5673] ppid=5659 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5662/task/5673/stat : 5673 (java) S 5659 5662 5234 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 15 0 271925748 14420721664 12811 33554432000 4194304 4196468 140734877334848 140130233821296 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5674] ppid=5659 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5662/task/5674/stat : 5674 (java) S 5659 5662 5234 0 -1 1077944384 270 0 0 0 2 0 0 0 20 0 15 0 271925748 14420721664 12811 33554432000 4194304 4196468 140734877334848 140130232768496 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5675] ppid=5659 vsize=14082736 memory=140069930604160 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5675/stat : 5675 (java) S 5659 5662 5234 0 -1 1077944384 313 0 0 0 8 0 0 0 20 0 15 0 271925748 14420721664 12811 33554432000 4194304 4196468 140734877334848 140130231716208 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5676] ppid=5659 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5676/stat : 5676 (java) S 5659 5662 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271925748 14420721664 12811 33554432000 4194304 4196468 140734877334848 140130230663648 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5677] ppid=5659 vsize=14082736 memory=140069930604160 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5677/stat : 5677 (java) S 5659 5662 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271925748 14420721664 12811 33554432000 4194304 4196468 140734877334848 140130229611440 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51244 KiB

[startup+0.700759 s]
/proc/loadavg: 1.40 1.53 1.36 3/215 5677
/proc/meminfo: memFree=23289200/32770624 swapFree=67108688/67108860
[pid=5662] ppid=5659 vsize=14084804 memory=91080 CPUtime=0.99 cores=0,2,4,6
/proc/5662/stat : 5662 (java) S 5659 5662 5234 0 -1 1077944320 17610 0 0 0 95 4 0 0 20 0 15 0 271925742 14422839296 22770 33554432000 4194304 4196468 140734877334848 140734877317392 140130695925495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
/proc/5662/statm: 3521201 22770 3502 1 0 3483273 0
[pid=5662/tid=5664] ppid=5659 vsize=14084804 memory=15768 CPUtime=0.67 cores=0,2,4,6
/proc/5662/task/5664/stat : 5664 (java) R 5659 5662 5234 0 -1 4202560 14905 0 0 0 64 3 0 0 20 0 15 0 271925743 14422839296 22770 33554432000 4194304 4196468 140734877334848 140130700130400 140130680005982 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5665] ppid=5659 vsize=14084804 memory=4376 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5665/stat : 5665 (java) S 5659 5662 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271925744 14422839296 22770 33554432000 4194304 4196468 140734877334848 140130626013584 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5666] ppid=5659 vsize=14084804 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5666/stat : 5666 (java) S 5659 5662 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271925744 14422839296 22770 33554432000 4194304 4196468 140734877334848 140130624960784 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5667] ppid=5659 vsize=14084804 memory=496 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5667/stat : 5667 (java) S 5659 5662 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271925744 14422839296 22770 33554432000 4194304 4196468 140734877334848 140130289105552 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5668] ppid=5659 vsize=14084804 memory=924 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5668/stat : 5668 (java) S 5659 5662 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271925744 14422839296 22770 33554432000 4194304 4196468 140734877334848 140130288052752 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5669] ppid=5659 vsize=14084804 memory=1168 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5669/stat : 5669 (java) S 5659 5662 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271925745 14422839296 22770 33554432000 4194304 4196468 140734877334848 140130238032496 140130695936642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5670] ppid=5659 vsize=14084804 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5670/stat : 5670 (java) S 5659 5662 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271925745 14422839296 22770 33554432000 4194304 4196468 140734877334848 140130236978464 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5671] ppid=5659 vsize=14084804 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5671/stat : 5671 (java) S 5659 5662 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271925746 14422839296 22770 33554432000 4194304 4196468 140734877334848 140130235926128 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5672] ppid=5659 vsize=14084804 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5672/stat : 5672 (java) S 5659 5662 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271925748 14422839296 22770 33554432000 4194304 4196468 140734877334848 140130234874448 140130695944091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5673] ppid=5659 vsize=14084804 memory=7237400421024098393 CPUtime=0.07 cores=0,2,4,6
/proc/5662/task/5673/stat : 5673 (java) S 5659 5662 5234 0 -1 1077944384 515 0 0 0 7 0 0 0 20 0 15 0 271925748 14422839296 22770 33554432000 4194304 4196468 140734877334848 140130233821296 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5674] ppid=5659 vsize=14084804 memory=6154282490091891024 CPUtime=0.06 cores=0,2,4,6
/proc/5662/task/5674/stat : 5674 (java) S 5659 5662 5234 0 -1 1077944384 420 0 0 0 6 0 0 0 20 0 15 0 271925748 14422839296 22770 33554432000 4194304 4196468 140734877334848 140130232768496 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5675] ppid=5659 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/5662/task/5675/stat : 5675 (java) S 5659 5662 5234 0 -1 1077944384 387 0 0 0 15 0 0 0 20 0 15 0 271925748 14422839296 22770 33554432000 4194304 4196468 140734877334848 140130231716208 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5676] ppid=5659 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5676/stat : 5676 (java) S 5659 5662 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271925748 14422839296 22770 33554432000 4194304 4196468 140734877334848 140130230663648 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5677] ppid=5659 vsize=14084804 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5677/stat : 5677 (java) S 5659 5662 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271925748 14422839296 22770 33554432000 4194304 4196468 140734877334848 140130229611440 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 91080 KiB

[startup+1.50072 s]
/proc/loadavg: 1.40 1.53 1.36 5/215 5677
/proc/meminfo: memFree=23231060/32770624 swapFree=67108688/67108860
[pid=5662] ppid=5659 vsize=14086852 memory=237296 CPUtime=3.48 cores=0,2,4,6
/proc/5662/stat : 5662 (java) S 5659 5662 5234 0 -1 1077944320 23864 0 0 0 338 10 0 0 20 0 15 0 271925742 14424936448 59324 33554432000 4194304 4196468 140734877334848 140734877317392 140130695925495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
/proc/5662/statm: 3521713 59324 3574 1 0 3483785 0
[pid=5662/tid=5664] ppid=5659 vsize=14086852 memory=236288 CPUtime=1.44 cores=0,2,4,6
/proc/5662/task/5664/stat : 5664 (java) R 5659 5662 5234 0 -1 4202560 16234 0 0 0 139 5 0 0 20 0 15 0 271925743 14424936448 59324 33554432000 4194304 4196468 140734877334848 140130700157232 140130676197006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5665] ppid=5659 vsize=14086852 memory=8112282956445269571 CPUtime=0.02 cores=0,2,4,6
/proc/5662/task/5665/stat : 5665 (java) S 5659 5662 5234 0 -1 1077944384 275 0 0 0 1 1 0 0 20 0 15 0 271925744 14424936448 59324 33554432000 4194304 4196468 140734877334848 140130626013584 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5666] ppid=5659 vsize=14086852 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5662/task/5666/stat : 5666 (java) S 5659 5662 5234 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 15 0 271925744 14424936448 59324 33554432000 4194304 4196468 140734877334848 140130624960784 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5667] ppid=5659 vsize=14086852 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5662/task/5667/stat : 5667 (java) S 5659 5662 5234 0 -1 1077944384 181 0 0 0 1 0 0 0 20 0 15 0 271925744 14424936448 59324 33554432000 4194304 4196468 140734877334848 140130289105552 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5668] ppid=5659 vsize=14086852 memory=6943526294502006880 CPUtime=0.01 cores=0,2,4,6
/proc/5662/task/5668/stat : 5668 (java) S 5659 5662 5234 0 -1 1077944384 112 0 0 0 1 0 0 0 20 0 15 0 271925744 14424936448 59324 33554432000 4194304 4196468 140734877334848 140130288052752 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5669] ppid=5659 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5669/stat : 5669 (java) S 5659 5662 5234 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 15 0 271925745 14424936448 59324 33554432000 4194304 4196468 140734877334848 140130238032496 140130695936642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0

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

/proc/5662/task/5664/stat : 5664 (java) R 5659 5662 5234 0 -1 4202560 240068 0 0 0 236417 61 0 0 20 0 15 0 271925743 14429130752 436993 33554432000 4194304 4196468 140734877334848 140130700163424 140130314139450 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5665] ppid=5659 vsize=14090948 memory=1748484 CPUtime=15.05 cores=0,2,4,6
/proc/5662/task/5665/stat : 5665 (java) S 5659 5662 5234 0 -1 1077944384 47326 0 0 0 1423 82 0 0 20 0 15 0 271925744 14429130752 436993 33554432000 4194304 4196468 140734877334848 140130626013584 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5666] ppid=5659 vsize=14090948 memory=1759768 CPUtime=15.03 cores=0,2,4,6
/proc/5662/task/5666/stat : 5666 (java) S 5659 5662 5234 0 -1 1077944384 45233 0 0 0 1414 89 0 0 20 0 15 0 271925744 14429130752 436993 33554432000 4194304 4196468 140734877334848 140130624960784 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5667] ppid=5659 vsize=14090948 memory=1755664 CPUtime=15.02 cores=0,2,4,6
/proc/5662/task/5667/stat : 5667 (java) S 5659 5662 5234 0 -1 1077944384 45895 0 0 0 1421 81 0 0 20 0 15 0 271925744 14429130752 436993 33554432000 4194304 4196468 140734877334848 140130289105552 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5668] ppid=5659 vsize=14090948 memory=1748996 CPUtime=14.99 cores=0,2,4,6
/proc/5662/task/5668/stat : 5668 (java) S 5659 5662 5234 0 -1 1077944384 40443 0 0 0 1414 85 0 0 20 0 15 0 271925744 14429130752 436993 33554432000 4194304 4196468 140734877334848 140130288052752 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5669] ppid=5659 vsize=14090948 memory=1748484 CPUtime=1.15 cores=0,2,4,6
/proc/5662/task/5669/stat : 5669 (java) S 5659 5662 5234 0 -1 1077944384 13062 0 0 0 95 20 0 0 20 0 15 0 271925745 14429130752 436993 33554432000 4194304 4196468 140734877334848 140130238032496 140130695936642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5670] ppid=5659 vsize=14090948 memory=1748484 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5670/stat : 5670 (java) S 5659 5662 5234 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 271925745 14429130752 436993 33554432000 4194304 4196468 140734877334848 140130236978528 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5671] ppid=5659 vsize=14090948 memory=1747972 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5671/stat : 5671 (java) S 5659 5662 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 271925746 14429130752 436993 33554432000 4194304 4196468 140734877334848 140130235926144 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5672] ppid=5659 vsize=14090948 memory=1810988 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5672/stat : 5672 (java) S 5659 5662 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271925748 14429130752 436993 33554432000 4194304 4196468 140734877334848 140130234874448 140130695944091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5673] ppid=5659 vsize=14090948 memory=1755664 CPUtime=3.21 cores=0,2,4,6
/proc/5662/task/5673/stat : 5673 (java) S 5659 5662 5234 0 -1 1077944384 15221 0 0 0 319 2 0 0 20 0 15 0 271925748 14429130752 436993 33554432000 4194304 4196468 140734877334848 140130233821296 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5674] ppid=5659 vsize=14090948 memory=2640 CPUtime=3.04 cores=0,2,4,6
/proc/5662/task/5674/stat : 5674 (java) S 5659 5662 5234 0 -1 1077944384 11561 0 0 0 303 1 0 0 20 0 15 0 271925748 14429130752 436993 33554432000 4194304 4196468 140734877334848 140130232768496 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 37 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5675] ppid=5659 vsize=14090948 memory=1748484 CPUtime=1.07 cores=0,2,4,6
/proc/5662/task/5675/stat : 5675 (java) S 5659 5662 5234 0 -1 1077944384 18850 0 0 0 105 2 0 0 20 0 15 0 271925748 14429130752 436993 33554432000 4194304 4196468 140734877334848 140130231716208 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5676] ppid=5659 vsize=14090948 memory=1748484 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5676/stat : 5676 (java) S 5659 5662 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271925748 14429130752 436993 33554432000 4194304 4196468 140734877334848 140130230663648 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5677] ppid=5659 vsize=14090948 memory=3868 CPUtime=1.28 cores=0,2,4,6
/proc/5662/task/5677/stat : 5677 (java) S 5659 5662 5234 0 -1 1077944384 1300 0 0 0 63 65 0 0 20 0 15 0 271925748 14429130752 436993 33554432000 4194304 4196468 140734877334848 140130229611440 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
Current children cumulated CPU time: 2434.73 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1747972 KiB

[startup+2442.3 s]
/proc/loadavg: 1.37 1.47 1.43 3/215 5831
/proc/meminfo: memFree=21610560/32770624 swapFree=67108688/67108860
[pid=5662] ppid=5659 vsize=14090948 memory=1737712 CPUtime=2496.12 cores=0,2,4,6
/proc/5662/stat : 5662 (java) S 5659 5662 5234 0 -1 1077944320 483485 0 0 0 249140 472 0 0 20 0 15 0 271925742 14429130752 434428 33554432000 4194304 4196468 140734877334848 140734877317392 140130695925495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
/proc/5662/statm: 3522737 434428 3611 1 0 3484809 0
[pid=5662/tid=5664] ppid=5659 vsize=14090948 memory=1740788 CPUtime=2424.21 cores=0,2,4,6
/proc/5662/task/5664/stat : 5664 (java) R 5659 5662 5234 0 -1 4202560 240876 0 0 0 242359 62 0 0 20 0 15 0 271925743 14429130752 434428 33554432000 4194304 4196468 140734877334848 140130700163216 140130308868706 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5665] ppid=5659 vsize=14090948 memory=1740276 CPUtime=15.53 cores=0,2,4,6
/proc/5662/task/5665/stat : 5665 (java) S 5659 5662 5234 0 -1 1077944384 48069 0 0 0 1470 83 0 0 20 0 15 0 271925744 14429130752 434428 33554432000 4194304 4196468 140734877334848 140130626013584 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5666] ppid=5659 vsize=14090948 memory=1739248 CPUtime=15.5 cores=0,2,4,6
/proc/5662/task/5666/stat : 5666 (java) S 5659 5662 5234 0 -1 1077944384 45732 0 0 0 1461 89 0 0 20 0 15 0 271925744 14429130752 434428 33554432000 4194304 4196468 140734877334848 140130624960784 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5667] ppid=5659 vsize=14090948 memory=1739248 CPUtime=15.49 cores=0,2,4,6
/proc/5662/task/5667/stat : 5667 (java) S 5659 5662 5234 0 -1 1077944384 46265 0 0 0 1468 81 0 0 20 0 15 0 271925744 14429130752 434428 33554432000 4194304 4196468 140734877334848 140130289105552 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5668] ppid=5659 vsize=14090948 memory=1738224 CPUtime=15.46 cores=0,2,4,6
/proc/5662/task/5668/stat : 5668 (java) S 5659 5662 5234 0 -1 1077944384 40916 0 0 0 1461 85 0 0 20 0 15 0 271925744 14429130752 434428 33554432000 4194304 4196468 140734877334848 140130288052752 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5669] ppid=5659 vsize=14090948 memory=1738736 CPUtime=1.21 cores=0,2,4,6
/proc/5662/task/5669/stat : 5669 (java) S 5659 5662 5234 0 -1 1077944384 13241 0 0 0 100 21 0 0 20 0 15 0 271925745 14429130752 434428 33554432000 4194304 4196468 140734877334848 140130238032496 140130695936642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5670] ppid=5659 vsize=14090948 memory=1738224 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5670/stat : 5670 (java) S 5659 5662 5234 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 271925745 14429130752 434428 33554432000 4194304 4196468 140734877334848 140130236978528 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5671] ppid=5659 vsize=14090948 memory=1737712 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5671/stat : 5671 (java) S 5659 5662 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 271925746 14429130752 434428 33554432000 4194304 4196468 140734877334848 140130235926144 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5672] ppid=5659 vsize=14090948 memory=1737712 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5672/stat : 5672 (java) S 5659 5662 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271925748 14429130752 434428 33554432000 4194304 4196468 140734877334848 140130234874448 140130695944091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5673] ppid=5659 vsize=14090948 memory=1737712 CPUtime=3.21 cores=0,2,4,6
/proc/5662/task/5673/stat : 5673 (java) S 5659 5662 5234 0 -1 1077944384 15223 0 0 0 319 2 0 0 20 0 15 0 271925748 14429130752 434428 33554432000 4194304 4196468 140734877334848 140130233821296 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5674] ppid=5659 vsize=14090948 memory=1810988 CPUtime=3.04 cores=0,2,4,6
/proc/5662/task/5674/stat : 5674 (java) S 5659 5662 5234 0 -1 1077944384 11563 0 0 0 303 1 0 0 20 0 15 0 271925748 14429130752 434428 33554432000 4194304 4196468 140734877334848 140130232768496 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5675] ppid=5659 vsize=14090948 memory=1755664 CPUtime=1.07 cores=0,2,4,6
/proc/5662/task/5675/stat : 5675 (java) S 5659 5662 5234 0 -1 1077944384 18852 0 0 0 105 2 0 0 20 0 15 0 271925748 14429130752 434428 33554432000 4194304 4196468 140734877334848 140130231716208 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5676] ppid=5659 vsize=14090948 memory=1737712 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5676/stat : 5676 (java) S 5659 5662 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271925748 14429130752 434428 33554432000 4194304 4196468 140734877334848 140130230663648 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5677] ppid=5659 vsize=14090948 memory=8112282956445269571 CPUtime=1.32 cores=0,2,4,6
/proc/5662/task/5677/stat : 5677 (java) S 5659 5662 5234 0 -1 1077944384 1315 0 0 0 65 67 0 0 20 0 15 0 271925748 14429130752 434428 33554432000 4194304 4196468 140734877334848 140130229611440 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 40 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
Current children cumulated CPU time: 2496.12 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1737712 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2465.7 s]
/proc/loadavg: 1.19 1.42 1.42 3/215 5831
/proc/meminfo: memFree=21623784/32770624 swapFree=67108688/67108860
[pid=5662] ppid=5659 vsize=14090948 memory=1733608 CPUtime=2520.05 cores=0,2,4,6
/proc/5662/stat : 5662 (java) S 5659 5662 5234 0 -1 1077944320 485394 0 0 0 251532 473 0 0 20 0 15 0 271925742 14429130752 433402 33554432000 4194304 4196468 140734877334848 140734877317392 140130695925495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
/proc/5662/statm: 3522737 433402 3611 1 0 3484809 0
[pid=5662/tid=5664] ppid=5659 vsize=14090948 memory=1734120 CPUtime=2447.4 cores=0,2,4,6
/proc/5662/task/5664/stat : 5664 (java) R 5659 5662 5234 0 -1 4202560 242290 0 0 0 244678 62 0 0 20 0 15 0 271925743 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130700163328 140130315772729 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5665] ppid=5659 vsize=14090948 memory=1735144 CPUtime=15.7 cores=0,2,4,6
/proc/5662/task/5665/stat : 5665 (java) S 5659 5662 5234 0 -1 1077944384 48251 0 0 0 1487 83 0 0 20 0 15 0 271925744 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130626013584 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5666] ppid=5659 vsize=14090948 memory=1734632 CPUtime=15.68 cores=0,2,4,6
/proc/5662/task/5666/stat : 5666 (java) S 5659 5662 5234 0 -1 1077944384 45783 0 0 0 1479 89 0 0 20 0 15 0 271925744 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130624960784 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5667] ppid=5659 vsize=14090948 memory=1734120 CPUtime=15.66 cores=0,2,4,6
/proc/5662/task/5667/stat : 5667 (java) S 5659 5662 5234 0 -1 1077944384 46362 0 0 0 1485 81 0 0 20 0 15 0 271925744 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130289105552 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5668] ppid=5659 vsize=14090948 memory=1733608 CPUtime=15.65 cores=0,2,4,6
/proc/5662/task/5668/stat : 5668 (java) S 5659 5662 5234 0 -1 1077944384 41081 0 0 0 1479 86 0 0 20 0 15 0 271925744 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130288052752 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5669] ppid=5659 vsize=14090948 memory=1733608 CPUtime=1.23 cores=0,2,4,6
/proc/5662/task/5669/stat : 5669 (java) S 5659 5662 5234 0 -1 1077944384 13241 0 0 0 102 21 0 0 20 0 15 0 271925745 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130238032496 140130695936642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5670] ppid=5659 vsize=14090948 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5670/stat : 5670 (java) S 5659 5662 5234 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 271925745 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130236978528 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5671] ppid=5659 vsize=14090948 memory=924 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5671/stat : 5671 (java) S 5659 5662 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 271925746 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130235926144 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5672] ppid=5659 vsize=14090948 memory=1734632 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5672/stat : 5672 (java) S 5659 5662 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271925748 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130234874448 140130695944091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5673] ppid=5659 vsize=14090948 memory=1734632 CPUtime=3.21 cores=0,2,4,6
/proc/5662/task/5673/stat : 5673 (java) S 5659 5662 5234 0 -1 1077944384 15223 0 0 0 319 2 0 0 20 0 15 0 271925748 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130233821296 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5674] ppid=5659 vsize=14090948 memory=3868 CPUtime=3.04 cores=0,2,4,6
/proc/5662/task/5674/stat : 5674 (java) S 5659 5662 5234 0 -1 1077944384 11563 0 0 0 303 1 0 0 20 0 15 0 271925748 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130232768496 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 37 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5675] ppid=5659 vsize=14090948 memory=6492 CPUtime=1.07 cores=0,2,4,6
/proc/5662/task/5675/stat : 5675 (java) S 5659 5662 5234 0 -1 1077944384 18852 0 0 0 105 2 0 0 20 0 15 0 271925748 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130231716208 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5676] ppid=5659 vsize=14090948 memory=6492 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5676/stat : 5676 (java) S 5659 5662 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271925748 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130230663648 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5677] ppid=5659 vsize=14090948 memory=1224 CPUtime=1.33 cores=0,2,4,6
/proc/5662/task/5677/stat : 5677 (java) S 5659 5662 5234 0 -1 1077944384 1315 0 0 0 66 67 0 0 20 0 15 0 271925748 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130229611440 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1733608 KiB

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

[startup+2465.73 s]
# the end of solver process 5662 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.34 s, system=4.7504 s

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

[startup+2465.7 s]
/proc/loadavg: 1.19 1.42 1.42 3/215 5831
/proc/meminfo: memFree=21623784/32770624 swapFree=67108688/67108860
[pid=5662] ppid=5659 vsize=14090948 memory=1733608 CPUtime=2520.05 cores=0,2,4,6
/proc/5662/stat : 5662 (java) S 5659 5662 5234 0 -1 1077944320 485394 0 0 0 251532 473 0 0 20 0 15 0 271925742 14429130752 433402 33554432000 4194304 4196468 140734877334848 140734877317392 140130695925495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
/proc/5662/statm: 3522737 433402 3611 1 0 3484809 0
[pid=5662/tid=5664] ppid=5659 vsize=14090948 memory=1734120 CPUtime=2447.4 cores=0,2,4,6
/proc/5662/task/5664/stat : 5664 (java) R 5659 5662 5234 0 -1 4202560 242290 0 0 0 244678 62 0 0 20 0 15 0 271925743 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130700163328 140130315772729 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5665] ppid=5659 vsize=14090948 memory=1735144 CPUtime=15.7 cores=0,2,4,6
/proc/5662/task/5665/stat : 5665 (java) S 5659 5662 5234 0 -1 1077944384 48251 0 0 0 1487 83 0 0 20 0 15 0 271925744 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130626013584 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5666] ppid=5659 vsize=14090948 memory=1734632 CPUtime=15.68 cores=0,2,4,6
/proc/5662/task/5666/stat : 5666 (java) S 5659 5662 5234 0 -1 1077944384 45783 0 0 0 1479 89 0 0 20 0 15 0 271925744 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130624960784 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5667] ppid=5659 vsize=14090948 memory=1734120 CPUtime=15.66 cores=0,2,4,6
/proc/5662/task/5667/stat : 5667 (java) S 5659 5662 5234 0 -1 1077944384 46362 0 0 0 1485 81 0 0 20 0 15 0 271925744 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130289105552 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5668] ppid=5659 vsize=14090948 memory=1733608 CPUtime=15.65 cores=0,2,4,6
/proc/5662/task/5668/stat : 5668 (java) S 5659 5662 5234 0 -1 1077944384 41081 0 0 0 1479 86 0 0 20 0 15 0 271925744 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130288052752 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5669] ppid=5659 vsize=14090948 memory=1733608 CPUtime=1.23 cores=0,2,4,6
/proc/5662/task/5669/stat : 5669 (java) S 5659 5662 5234 0 -1 1077944384 13241 0 0 0 102 21 0 0 20 0 15 0 271925745 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130238032496 140130695936642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5670] ppid=5659 vsize=14090948 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5670/stat : 5670 (java) S 5659 5662 5234 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 271925745 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130236978528 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5671] ppid=5659 vsize=14090948 memory=924 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5671/stat : 5671 (java) S 5659 5662 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 271925746 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130235926144 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5672] ppid=5659 vsize=14090948 memory=1734632 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5672/stat : 5672 (java) S 5659 5662 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271925748 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130234874448 140130695944091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5673] ppid=5659 vsize=14090948 memory=1734632 CPUtime=3.21 cores=0,2,4,6
/proc/5662/task/5673/stat : 5673 (java) S 5659 5662 5234 0 -1 1077944384 15223 0 0 0 319 2 0 0 20 0 15 0 271925748 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130233821296 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5674] ppid=5659 vsize=14090948 memory=3868 CPUtime=3.04 cores=0,2,4,6
/proc/5662/task/5674/stat : 5674 (java) S 5659 5662 5234 0 -1 1077944384 11563 0 0 0 303 1 0 0 20 0 15 0 271925748 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130232768496 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 37 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5675] ppid=5659 vsize=14090948 memory=6492 CPUtime=1.07 cores=0,2,4,6
/proc/5662/task/5675/stat : 5675 (java) S 5659 5662 5234 0 -1 1077944384 18852 0 0 0 105 2 0 0 20 0 15 0 271925748 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130231716208 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5676] ppid=5659 vsize=14090948 memory=6492 CPUtime=0 cores=0,2,4,6
/proc/5662/task/5676/stat : 5676 (java) S 5659 5662 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271925748 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130230663648 140130695935701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
[pid=5662/tid=5677] ppid=5659 vsize=14090948 memory=1224 CPUtime=1.33 cores=0,2,4,6
/proc/5662/task/5677/stat : 5677 (java) S 5659 5662 5234 0 -1 1077944384 1315 0 0 0 66 67 0 0 20 0 15 0 271925748 14429130752 433402 33554432000 4194304 4196468 140734877334848 140130229611440 140130695936642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 17281024 140734877340744 140734877340937 140734877340937 140734877343695 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1733608 KiB

Child status: 143
Real time (s): 2465.73
CPU time (s): 2520.09
CPU user time (s): 2515.34
CPU system time (s): 4.7504
CPU usage (%): 102.205
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 4919652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.34
system time used= 4.7504
maximum resident set size= 4919724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 485908
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80239
involuntary context switches= 4436


# summary of solver processes directly reported to runsolver:
#   pid: 5662
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2515.34
#   total CPU system time (s): 4.7504

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7927 second user time and 23.8242 second system time

The end

Launcher Data 

Begin job on node106 at 2018-08-18 00:07:09
IDJOB=4311539
IDBENCH=141138
IDSOLVER=2799
FILE ID=node106/4311539-1534543629
RUNJOBID= node106-1534541042-5265
PBS_JOBID= 21038641
Free space on /tmp= 53824 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17
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 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4311539-1534543629/watcher-4311539-1534543629 -o /tmp/evaluation-result-4311539-1534543629/solver-4311539-1534543629 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534541042-5265 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1679968810 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311539-1534543629.xml

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

MD5SUM BENCH= 51dc9de19dcdd21b605810f9d7307a76
RANDOM SEED=1679968810

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        23350876 kB
MemAvailable:   31733548 kB
Buffers:          228208 kB
Cached:          8417592 kB
SwapCached:            0 kB
Active:          4629440 kB
Inactive:        4228000 kB
Active(anon):     183212 kB
Inactive(anon):    96876 kB
Active(file):    4446228 kB
Inactive(file):  4131124 kB
Unevictable:        6968 kB
Mlocked:            6968 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:             37108 kB
Writeback:             0 kB
AnonPages:        217188 kB
Mapped:            32420 kB
Shmem:             66016 kB
Slab:             262044 kB
SReclaimable:     233780 kB
SUnreclaim:        28264 kB
KernelStack:        3584 kB
PageTables:         5780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1226180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 53788 MiB
End job on node106 at 2018-08-18 00:48:15