Trace number 4290259

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-07-02SAT (TO)7 2400.08 2347.14

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.55	c version: 2018-07-02
0.67/0.56	c seed: 2113037009
0.67/0.56	c timeout: 2400
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
17.12/8.18	c Parsing done, starting search...
18.69/9.04	o 2029
19.62/9.72	o 2028
23.11/11.14	o 2027
23.48/11.47	o 2026
24.52/12.45	o 2025
24.64/12.57	o 2024
25.22/13.07	o 2023
25.91/13.75	o 2022
26.52/14.30	o 2021
27.30/15.08	o 2020
27.40/15.13	o 2019
27.79/15.51	o 2018
28.59/16.38	o 2016
29.90/17.68	o 2015
30.00/17.74	o 2014
30.10/17.90	o 2013
31.20/18.99	o 2012
31.43/19.19	o 2011
32.62/20.30	o 2010
32.62/20.32	o 2005
33.82/21.60	o 2004
33.92/21.69	o 2003
34.54/22.27	o 2002
35.24/22.91	o 2001
35.54/23.26	o 2000
36.55/24.23	o 1999
36.55/24.26	o 1996
36.69/24.39	o 1995
37.93/25.54	o 1994
38.44/26.08	o 1993
39.23/26.82	o 1989
39.73/27.34	o 1987
40.54/28.13	o 1984
42.34/29.55	o 1983
42.64/29.85	o 1982
43.60/30.74	o 1981
43.60/30.77	o 1980
44.11/31.26	o 1979
44.92/32.04	o 1978
45.11/32.26	o 1977
45.32/32.47	o 1976
45.62/32.73	o 1975
46.22/33.34	o 1974
46.22/33.39	o 1973
47.52/34.65	o 1972
48.03/35.16	o 1971
48.12/35.28	o 1970
48.82/35.96	o 1969
49.12/36.29	o 1967
49.42/36.55	o 1965
50.12/37.26	o 1964
50.52/37.68	o 1963
51.42/38.56	o 1962
51.62/38.75	o 1961
52.73/39.88	o 1960
53.23/40.34	o 1959
53.43/40.51	o 1958
54.04/41.18	o 1957
54.13/41.28	o 1954
54.33/41.49	o 1953
55.33/42.48	o 1950
56.63/43.79	o 1947
56.93/44.01	o 1946
57.94/45.09	o 1944
58.54/45.66	o 1943
59.24/46.39	o 1940
60.64/47.70	o 1939
61.14/48.20	o 1938
61.84/49.00	o 1937
62.24/49.36	o 1936
63.36/50.37	o 1933
63.46/50.43	o 1932
64.66/51.65	o 1930
64.96/52.00	o 1929
65.18/52.17	o 1928
65.97/52.91	o 1926
66.37/53.35	o 1924
67.27/54.23	o 1923
67.77/54.78	o 1922
67.87/54.83	o 1920
68.57/55.53	o 1919
68.87/55.89	o 1918
69.87/56.83	o 1917
70.38/57.33	o 1916
70.58/57.52	o 1915
71.19/58.13	o 1914
71.58/58.59	o 1913
72.48/59.43	o 1912
72.88/59.89	o 1910
73.78/60.74	o 1908
74.48/61.43	o 1907
75.09/62.04	o 1906
75.38/62.30	o 1905
76.38/63.35	o 1904
76.88/63.86	o 1903
77.69/64.67	o 1902
77.99/64.94	o 1901
78.99/65.96	o 1900
79.49/66.47	o 1899
79.59/66.58	o 1898
80.29/67.26	o 1896
81.59/68.57	o 1892
82.10/69.08	o 1891
82.24/69.14	o 1890
82.93/69.86	o 1889
83.43/70.33	o 1886
84.24/71.18	o 1885
84.63/71.59	o 1884
84.83/71.75	o 1882
85.53/72.48	o 1881
86.04/72.94	o 1879
86.84/73.78	o 1878
87.25/74.17	o 1877
88.15/75.09	o 1876
88.74/75.60	o 1873
88.85/75.78	o 1872
89.55/76.40	o 1871
89.75/76.69	o 1870
90.85/77.70	o 1863
90.85/77.77	o 1862
91.26/78.15	o 1859
92.06/79.00	o 1857
92.36/79.29	o 1855
92.46/79.37	o 1854
92.66/79.54	o 1853
93.46/80.30	o 1852
93.66/80.54	o 1851
94.77/81.61	o 1850
95.18/82.10	o 1847
96.07/82.91	o 1846
96.57/83.46	o 1845
97.37/84.22	o 1844
97.87/84.77	o 1843
98.68/85.52	o 1842
98.98/85.88	o 1841
100.02/86.85	o 1840
100.67/87.44	o 1839
101.38/88.15	o 1838
101.77/88.51	o 1837
101.97/88.73	o 1836
102.67/89.46	o 1834
103.97/90.76	o 1831
104.07/90.80	o 1829
105.28/92.07	o 1827
105.28/92.09	o 1826
105.77/92.54	o 1825
106.57/93.37	o 1823
107.87/94.67	o 1822
108.28/95.09	o 1821
109.18/95.98	o 1818
109.29/96.06	o 1817
109.48/96.23	o 1816
110.48/97.29	o 1815
110.58/97.31	o 1814
111.08/97.87	o 1812
111.78/98.59	o 1811
112.18/98.96	o 1810
112.39/99.18	o 1809
113.08/99.89	o 1808
113.58/100.39	o 1806
114.48/101.20	o 1805
114.58/101.33	o 1804
115.08/101.82	o 1802
115.78/102.51	o 1801
116.18/103.00	o 1800
116.29/103.08	o 1798
117.08/103.81	o 1796
117.48/104.26	o 1795
118.39/105.11	o 1794
118.83/105.50	o 1792
119.74/106.42	o 1790
120.14/106.88	o 1789
121.04/107.73	o 1787
122.35/109.03	o 1786
122.35/109.06	o 1784
122.45/109.19	o 1783
122.94/109.66	o 1782
123.64/110.34	o 1781
123.74/110.48	o 1780
124.94/111.64	o 1778
125.45/112.15	o 1777
126.24/112.94	o 1776
126.35/113.05	o 1775
127.54/114.25	o 1774
127.94/114.61	o 1773
128.84/115.55	o 1772
129.04/115.74	o 1771
130.14/116.86	o 1770
130.24/117.00	o 1769
130.74/117.42	o 1768
130.74/117.48	o 1767
131.45/118.16	o 1766
131.94/118.60	o 1765
132.74/119.47	o 1763
132.84/119.57	o 1762
132.94/119.60	o 1761
133.14/119.80	o 1759
134.04/120.77	o 1758
134.54/121.21	o 1757
135.35/122.08	o 1756
135.75/122.48	o 1753
136.65/123.39	o 1752
137.05/123.78	o 1750
138.10/124.71	o 1748
138.30/124.99	o 1747
138.41/125.10	o 1746
139.30/125.99	o 1745
139.41/126.01	o 1744
139.51/126.18	o 1743
140.70/127.30	o 1742
141.20/127.80	o 1741
142.01/128.60	o 1740
142.31/129.00	o 1738
143.31/129.90	o 1737
143.31/129.91	o 1736
143.81/130.42	o 1735
144.61/131.21	o 1734
144.61/131.22	o 1733
145.91/132.52	o 1732
146.01/132.66	o 1731
146.42/133.07	o 1729
146.52/133.15	o 1727
147.21/133.82	o 1726
147.31/133.92	o 1724
147.81/134.44	o 1722
148.52/135.13	o 1721
148.52/135.16	o 1720
148.71/135.35	o 1718
148.91/135.54	o 1717
149.11/135.71	o 1716
149.81/136.43	o 1715
150.01/136.66	o 1714
150.11/136.77	o 1712
150.31/136.94	o 1711
151.11/137.73	o 1710
151.31/137.96	o 1709
152.42/139.04	o 1708
152.61/139.24	o 1707
152.71/139.38	o 1705
153.71/140.34	o 1704
154.11/140.73	o 1703
154.31/140.96	o 1702
155.01/141.64	o 1701
155.53/142.18	o 1700
156.32/142.95	o 1699
156.78/143.40	o 1698
156.98/143.59	o 1696
157.70/144.25	o 1694
157.70/144.29	o 1693
159.01/145.55	o 1692
159.41/146.00	o 1690
160.31/146.85	o 1688
160.52/147.07	o 1687
160.62/147.15	o 1685
161.62/148.16	o 1684
161.81/148.35	o 1682
161.92/148.40	o 1681
162.92/149.46	o 1679
163.12/149.60	o 1678
163.22/149.72	o 1676
163.42/149.91	o 1675
163.42/149.92	o 1674
163.42/149.93	o 1673
164.22/150.78	o 1671
164.22/150.79	o 1670
164.32/150.83	o 1669
165.53/152.07	o 1668
165.82/152.38	o 1667
166.12/152.64	o 1666
166.82/153.38	o 1665
167.12/153.60	o 1664
167.22/153.71	o 1663
168.12/154.69	o 1662
168.63/155.15	o 1661
168.63/155.18	o 1660
169.42/155.99	o 1659
169.82/156.35	o 1657
170.82/157.30	o 1656
170.92/157.40	o 1655
171.42/157.94	o 1654
172.12/158.60	o 1652
172.42/158.97	o 1650
172.72/159.21	o 1649
173.42/159.92	o 1647
173.82/160.39	o 1646
173.82/160.39	o 1644
174.72/161.20	o 1641
174.72/161.24	o 1640
174.92/161.41	o 1639
175.22/161.80	o 1638
176.03/162.51	o 1635
176.23/162.79	o 1634
177.38/163.82	o 1633
177.38/163.85	o 1631
178.59/165.11	o 1630
178.78/165.29	o 1629
179.18/165.63	o 1627
179.98/166.42	o 1626
180.08/166.56	o 1625
180.28/166.79	o 1624
181.29/167.73	o 1623
181.59/168.08	o 1620
182.59/169.03	o 1619
182.69/169.12	o 1618
182.78/169.20	o 1617
182.89/169.33	o 1616
183.09/169.56	o 1614
183.19/169.65	o 1613
183.88/170.34	o 1612
184.28/170.72	o 1610
185.18/171.64	o 1609
185.18/171.68	o 1607
185.69/172.14	o 1606
186.49/172.95	o 1605
186.89/173.31	o 1604
187.79/174.25	o 1603
187.89/174.30	o 1602
188.39/174.82	o 1600
189.09/175.56	o 1599
189.29/175.73	o 1597
189.60/176.09	o 1595
190.39/176.86	o 1594
190.79/177.20	o 1593
190.89/177.38	o 1592
191.70/178.17	o 1588
192.19/178.66	o 1587
192.99/179.47	o 1586
193.19/179.67	o 1585
194.29/180.77	o 1584
194.39/180.88	o 1583
195.60/182.08	o 1581
195.89/182.34	o 1580
196.09/182.54	o 1579
196.96/183.38	o 1578
197.06/183.40	o 1577
198.26/184.68	o 1576
198.67/185.05	o 1574
198.77/185.12	o 1573
199.56/185.99	o 1572
199.86/186.20	o 1571
200.96/187.30	o 1570
201.16/187.60	o 1569
202.26/188.60	o 1568
202.67/189.09	o 1567
202.67/189.10	o 1566
202.77/189.11	o 1565
203.56/189.90	o 1564
203.86/190.27	o 1563
204.06/190.45	o 1562
204.86/191.21	o 1561
204.86/191.23	o 1560
206.16/192.51	o 1559
206.36/192.76	o 1558
207.47/193.81	o 1557
207.87/194.28	o 1556
208.78/195.12	o 1555
208.97/195.32	o 1554
209.27/195.62	o 1553
210.07/196.42	o 1552
210.07/196.49	o 1549
210.57/196.93	o 1548
211.37/197.73	o 1547
211.68/198.08	o 1546
212.68/199.03	o 1545
213.07/199.46	o 1544
213.07/199.48	o 1542
213.97/200.34	o 1540
214.57/200.92	o 1539
215.27/201.64	o 1538
215.37/201.78	o 1537
215.47/201.86	o 1535
215.63/201.99	o 1533
216.63/202.94	o 1532
216.74/203.09	o 1531
217.93/204.25	o 1530
218.43/204.74	o 1529
218.53/204.84	o 1528
219.23/205.56	o 1527
219.63/205.94	o 1526
220.53/206.85	o 1525
220.53/206.89	o 1524
220.63/206.90	o 1521
220.74/207.03	o 1520
220.93/207.29	o 1519
221.85/208.16	o 1518
222.24/208.52	o 1517
222.44/208.71	o 1516
223.14/209.47	o 1515
223.64/209.90	o 1513
224.44/210.77	o 1510
225.75/212.07	o 1509
225.85/212.13	o 1508
226.04/212.34	o 1506
227.05/213.38	o 1505
227.55/213.82	o 1504
228.35/214.68	o 1503
228.65/214.94	o 1502
228.65/214.95	o 1500
228.76/215.07	o 1499
229.65/215.98	o 1498
229.95/216.29	o 1497
230.95/217.29	o 1496
231.35/217.62	o 1494
232.25/218.60	o 1493
232.55/218.81	o 1491
232.65/218.91	o 1490
233.65/219.90	o 1489
233.76/220.07	o 1487
234.15/220.40	o 1486
234.95/221.20	o 1485
235.25/221.52	o 1484
236.31/222.50	o 1483
236.31/222.50	o 1481
236.41/222.61	o 1480
236.41/222.66	o 1478
236.71/222.90	o 1477
237.61/223.81	o 1475
237.92/224.17	o 1474
238.92/225.12	o 1473
239.11/225.35	o 1472
240.21/226.41	o 1471
240.41/226.61	o 1470
241.51/227.72	o 1468
241.51/227.79	o 1467
242.82/229.03	o 1466
243.32/229.50	o 1465
244.12/230.33	o 1464
244.12/230.39	o 1463
245.42/231.63	o 1459
246.72/232.93	o 1458
246.93/233.11	o 1456
248.02/234.24	o 1455
248.33/234.53	o 1453
249.33/235.55	o 1452
249.53/235.77	o 1451
250.63/236.85	o 1450
250.63/236.86	o 1448
251.03/237.26	o 1447
251.94/238.15	o 1445
252.33/238.58	o 1443
252.53/238.72	o 1440
253.23/239.46	o 1439
253.63/239.86	o 1438
253.73/239.90	o 1437
254.53/240.76	o 1435
254.94/241.13	o 1433
255.84/242.06	o 1432
255.84/242.10	o 1431
255.94/242.15	o 1430
256.23/242.49	o 1429
257.19/243.39	o 1428
257.49/243.65	o 1427
257.59/243.76	o 1425
258.50/244.68	o 1424
258.90/245.08	o 1423
259.79/245.97	o 1422
259.90/246.02	o 1420
260.20/246.35	o 1419
260.40/246.54	o 1418
261.09/247.28	o 1414
261.20/247.32	o 1411
261.40/247.55	o 1410
261.50/247.66	o 1408
262.40/248.59	o 1404
262.91/249.07	o 1403
263.70/249.89	o 1399
263.91/250.03	o 1398
264.10/250.21	o 1395
264.10/250.24	o 1393
265.10/251.20	o 1392
265.50/251.65	o 1391
266.40/252.50	o 1390
266.70/252.83	o 1388
267.70/253.80	o 1387
267.80/253.96	o 1386
267.80/253.99	o 1384
269.01/255.11	o 1383
269.01/255.13	o 1381
270.30/256.42	o 1380
270.60/256.71	o 1379
270.80/256.97	o 1378
270.91/257.01	o 1377
271.60/257.72	o 1375
271.80/257.92	o 1373
272.01/258.14	o 1371
272.91/259.02	o 1370
273.01/259.12	o 1369
274.20/260.33	o 1368
274.61/260.70	o 1367
275.51/261.63	o 1366
275.74/261.89	o 1364
276.84/262.94	o 1363
276.95/263.08	o 1362
277.40/263.46	o 1361
278.20/264.24	o 1360
278.60/264.66	o 1359
278.70/264.71	o 1358
279.50/265.54	o 1356
280.80/266.85	o 1353
282.11/268.15	o 1352
282.11/268.16	o 1350
282.50/268.54	o 1349
282.60/268.68	o 1348
283.40/269.46	o 1347
283.80/269.80	o 1346
284.70/270.76	o 1344
284.90/270.90	o 1343
284.90/270.92	o 1342
286.01/272.07	o 1341
286.30/272.32	o 1340
286.40/272.45	o 1339
287.30/273.37	o 1338
287.70/273.77	o 1337
288.60/274.67	o 1336
288.80/274.87	o 1335
289.91/275.98	o 1334
290.12/276.13	o 1331
290.21/276.26	o 1330
291.21/277.28	o 1328
291.41/277.40	o 1327
291.71/277.76	o 1326
292.51/278.59	o 1324
293.82/279.89	o 1319
295.12/281.19	o 1318
295.22/281.29	o 1317
296.52/282.50	o 1316
296.81/282.87	o 1314
297.82/283.80	o 1313
297.82/283.88	o 1310
299.18/285.12	o 1309
299.18/285.20	o 1308
299.57/285.57	o 1307
299.67/285.66	o 1306
300.48/286.41	o 1305
300.78/286.70	o 1303
301.78/287.71	o 1301
301.78/287.76	o 1300
301.78/287.77	o 1299
303.09/289.02	o 1298
303.50/289.45	o 1297
304.41/290.32	o 1296
304.71/290.63	o 1294
304.81/290.73	o 1292
304.81/290.75	o 1291
305.71/291.62	o 1290
305.71/291.68	o 1289
305.81/291.75	o 1288
307.00/292.93	o 1287
307.30/293.28	o 1286
308.30/294.23	o 1285
308.60/294.50	o 1284
308.80/294.74	o 1282
309.61/295.53	o 1278
309.91/295.88	o 1277
310.91/296.84	o 1276
311.31/297.26	o 1273
312.22/298.14	o 1272
312.22/298.18	o 1270
312.61/298.53	o 1269
313.51/299.44	o 1268
313.91/299.81	o 1267
313.91/299.82	o 1266
314.81/300.75	o 1265
315.01/300.94	o 1264
315.12/301.10	o 1263
315.31/301.22	o 1262
316.12/302.05	o 1261
316.12/302.08	o 1260
316.41/302.34	o 1259
317.41/303.36	o 1258
317.61/303.55	o 1257
317.81/303.73	o 1255
318.71/304.66	o 1254
319.01/304.93	o 1253
319.01/305.00	o 1252
319.22/305.19	o 1251
320.06/305.98	o 1250
320.48/306.32	o 1248
321.38/307.27	o 1245
322.68/308.57	o 1244
323.08/308.99	o 1243
323.98/309.87	o 1239
324.48/310.34	o 1238
325.29/311.18	o 1237
325.48/311.38	o 1235
326.58/312.49	o 1234
327.08/312.92	o 1233
327.88/313.78	o 1232
328.08/314.00	o 1231
328.18/314.10	o 1229
328.29/314.11	o 1228
328.29/314.18	o 1227
329.18/315.10	o 1226
329.68/315.51	o 1225
330.48/316.39	o 1224
330.68/316.52	o 1222
331.88/317.70	o 1221
332.19/318.06	o 1220
333.08/319.00	o 1219
333.49/319.38	o 1218
333.59/319.44	o 1217
334.49/320.31	o 1216
334.69/320.53	o 1215
334.99/320.86	o 1214
335.79/321.61	o 1213
335.79/321.67	o 1212
337.09/322.91	o 1210
338.39/324.22	o 1208
338.49/324.35	o 1207
338.89/324.79	o 1206
339.69/325.53	o 1205
339.98/325.82	o 1204
340.36/326.11	o 1203
341.05/326.82	o 1202
341.45/327.23	o 1201
342.36/328.13	o 1200
342.75/328.51	o 1199
343.65/329.43	o 1198
343.75/329.60	o 1197
344.15/329.98	o 1196
344.95/330.74	o 1193
346.26/332.05	o 1192
346.55/332.35	o 1191
347.56/333.34	o 1187
348.86/334.65	o 1186
348.96/334.78	o 1185
349.46/335.21	o 1184
350.16/335.95	o 1183
350.27/336.05	o 1182
351.46/337.26	o 1181
351.66/337.44	o 1180
352.76/338.56	o 1179
353.06/338.89	o 1178
353.37/339.13	o 1177
354.06/339.87	o 1176
354.37/340.18	o 1174
355.37/341.17	o 1172
355.76/341.57	o 1170
355.96/341.71	o 1169
356.66/342.48	o 1168
356.97/342.79	o 1166
357.97/343.78	o 1165
358.28/344.09	o 1164
358.47/344.21	o 1162
359.28/345.08	o 1160
360.74/346.40	o 1159
361.04/346.74	o 1158
361.94/347.69	o 1157
362.04/347.78	o 1156
363.23/348.99	o 1155
363.53/349.28	o 1153
363.63/349.34	o 1152
364.64/350.30	o 1151
364.64/350.35	o 1150
365.04/350.78	o 1149
365.14/350.81	o 1148
365.14/350.83	o 1147
365.94/351.61	o 1146
366.35/352.02	o 1144
367.24/352.91	o 1142
368.54/354.21	o 1141
368.64/354.34	o 1140
368.74/354.43	o 1139
369.84/355.51	o 1138
370.04/355.75	o 1137
371.14/356.82	o 1136
371.14/356.83	o 1135
371.14/356.87	o 1134
371.54/357.25	o 1133
372.45/358.12	o 1132
372.64/358.31	o 1131
373.04/358.70	o 1130
373.74/359.43	o 1129
373.94/359.62	o 1128
375.04/360.73	o 1127
375.35/361.10	o 1126
376.35/362.03	o 1125
376.74/362.44	o 1124
376.94/362.60	o 1123
377.64/363.34	o 1121
378.14/363.85	o 1120
378.94/364.65	o 1119
379.24/364.97	o 1118
380.30/365.97	o 1115
381.61/367.25	o 1114
381.91/367.51	o 1113
382.91/368.56	o 1112
383.21/368.89	o 1111
384.21/369.86	o 1110
384.41/370.01	o 1109
385.52/371.17	o 1108
385.81/371.45	o 1107
386.01/371.60	o 1106
386.11/371.75	o 1105
386.81/372.47	o 1102
388.11/373.77	o 1101
388.42/374.10	o 1100
388.71/374.36	o 1098
389.42/375.08	o 1097
389.81/375.48	o 1096
389.92/375.51	o 1094
390.72/376.38	o 1093
391.02/376.66	o 1092
391.22/376.88	o 1091
392.02/377.69	o 1089
392.12/377.71	o 1088
393.32/378.99	o 1087
393.72/379.37	o 1086
394.62/380.29	o 1085
395.02/380.68	o 1084
395.12/380.78	o 1082
396.02/381.60	o 1081
396.22/381.87	o 1080
396.32/381.98	o 1079
397.32/382.90	o 1078
397.53/383.17	o 1077
397.82/383.42	o 1076
398.62/384.21	o 1075
398.92/384.59	o 1074
399.92/385.51	o 1073
400.18/385.72	o 1072
401.28/386.81	o 1071
401.59/387.11	o 1070
401.68/387.28	o 1069
402.59/388.12	o 1068
402.59/388.18	o 1067
402.68/388.22	o 1066
402.98/388.58	o 1063
403.08/388.66	o 1062
403.88/389.43	o 1061
403.98/389.52	o 1060
405.18/390.73	o 1059
405.28/390.88	o 1058
406.49/392.03	o 1057
406.88/392.40	o 1055
407.78/393.33	o 1053
409.08/394.63	o 1052
409.08/394.67	o 1051
410.38/395.94	o 1050
410.38/395.99	o 1048
411.68/397.25	o 1047
411.78/397.38	o 1045
412.98/398.54	o 1044
413.08/398.69	o 1043
413.49/399.08	o 1042
414.28/399.85	o 1040
415.59/401.15	o 1039
415.88/401.41	o 1038
416.88/402.46	o 1037
416.98/402.53	o 1036
418.19/403.76	o 1035
418.50/404.10	o 1034
419.50/405.06	o 1033
419.60/405.16	o 1032
420.86/406.39	o 1030
421.06/406.50	o 1029
421.46/406.93	o 1027
422.16/407.68	o 1026
422.26/407.72	o 1024
423.46/408.98	o 1023
423.57/409.02	o 1021
424.76/410.29	o 1020
425.17/410.64	o 1019
425.37/410.87	o 1018
426.07/411.59	o 1017
426.27/411.74	o 1016
426.27/411.78	o 1015
426.47/411.92	o 1014
427.46/412.90	o 1013
427.67/413.17	o 1012
427.96/413.40	o 1011
428.76/414.20	o 1010
429.06/414.55	o 1009
429.26/414.72	o 1008
430.06/415.51	o 1007
430.36/415.86	o 1006
430.46/415.98	o 1004
430.57/416.03	o 1003
431.36/416.81	o 1002
431.46/417.00	o 1000
432.68/418.11	o 999
432.68/418.18	o 998
432.68/418.20	o 997
433.97/419.43	o 996
434.27/419.74	o 995
434.37/419.88	o 994
435.27/420.73	o 993
435.47/420.91	o 992
435.47/420.91	o 991
435.58/421.05	o 990
436.58/422.03	o 988
437.88/423.33	o 987
437.98/423.42	o 986
439.18/424.63	o 985
439.28/424.76	o 984
439.65/425.03	o 983
440.54/425.94	o 982
440.75/426.15	o 980
440.94/426.37	o 979
441.84/427.24	o 978
441.94/427.39	o 977
442.04/427.49	o 976
442.34/427.71	o 975
443.14/428.55	o 974
443.44/428.86	o 973
443.65/429.03	o 972
443.65/429.04	o 971
444.44/429.85	o 970
444.54/429.94	o 969
445.75/431.16	o 968
446.14/431.53	o 966
446.34/431.72	o 964
447.04/432.46	o 963
447.34/432.73	o 961
447.54/432.93	o 960
448.34/433.76	o 959
448.54/433.94	o 958
449.65/435.07	o 957
449.94/435.31	o 956
450.94/436.37	o 955
451.14/436.54	o 954
452.24/437.68	o 953
452.54/437.95	o 952
452.65/438.03	o 951
452.65/438.07	o 950
453.54/438.98	o 948
454.84/440.28	o 947
454.94/440.38	o 946
456.14/441.59	o 944
457.54/442.90	o 941
457.94/443.39	o 940
458.90/444.22	o 939
458.90/444.25	o 938
459.40/444.70	o 937
460.10/445.49	o 935
460.20/445.56	o 934
460.30/445.63	o 933
460.50/445.89	o 931
460.72/446.06	o 930
461.51/446.80	o 929
461.82/447.17	o 928
462.72/448.10	o 927
462.91/448.26	o 926
462.91/448.27	o 925
464.11/449.40	o 924
464.11/449.43	o 923
465.41/450.71	o 922
465.51/450.82	o 921
465.91/451.28	o 920
466.72/452.01	o 919
466.91/452.27	o 918
468.01/453.31	o 916
469.31/454.61	o 915
469.61/454.96	o 914
469.61/454.99	o 913
470.61/455.92	o 912
470.72/456.09	o 911
471.01/456.33	o 910
471.12/456.41	o 909
471.12/456.46	o 908
471.92/457.23	o 907
472.22/457.54	o 906
472.22/457.54	o 905
473.22/458.53	o 904
473.42/458.72	o 903
473.52/458.90	o 902
474.52/459.84	o 901
474.73/460.07	o 900
475.91/461.17	o 896
477.20/462.44	o 895
477.50/462.76	o 894
477.70/462.92	o 892
478.51/463.75	o 891
478.82/464.07	o 890
479.82/465.05	o 888
480.31/465.58	o 887
481.11/466.36	o 886
481.51/466.71	o 885
481.51/466.72	o 884
481.61/466.82	o 883
482.41/467.66	o 882
482.71/467.96	o 881
483.01/468.21	o 880
483.71/468.98	o 879
483.82/469.09	o 878
485.01/470.28	o 877
485.31/470.57	o 876
486.31/471.57	o 875
486.61/471.85	o 873
487.61/472.87	o 872
487.92/473.13	o 871
488.12/473.36	o 870
488.92/474.18	o 869
489.01/474.26	o 868
489.51/474.75	o 867
490.21/475.49	o 865
490.71/475.96	o 864
491.68/476.82	o 863
491.89/477.10	o 862
492.18/477.30	o 861
492.89/478.10	o 860
493.18/478.38	o 859
493.48/478.60	o 858
494.28/479.40	o 857
494.48/479.67	o 856
494.48/479.69	o 855
495.58/480.71	o 854
495.58/480.79	o 853
496.89/482.01	o 851
497.18/482.36	o 850
497.38/482.52	o 849
498.18/483.31	o 848
498.38/483.59	o 847
498.68/483.81	o 846
498.68/483.86	o 845
499.48/484.62	o 844
499.68/484.81	o 843
499.89/485.10	o 842
500.78/485.92	o 841
500.89/486.02	o 840
501.28/486.40	o 839
502.08/487.22	o 838
502.28/487.49	o 837
502.58/487.75	o 836
502.58/487.76	o 835
503.38/488.53	o 834
503.38/488.59	o 833
504.68/489.84	o 832
505.08/490.14	o 831
506.08/491.13	o 830
506.37/491.47	o 829
506.57/491.65	o 827
507.37/492.44	o 825
508.67/493.75	o 822
509.17/494.22	o 821
509.98/495.05	o 820
510.27/495.32	o 819
511.27/496.35	o 818
511.57/496.68	o 817
512.57/497.65	o 816
512.57/497.66	o 815
513.17/498.21	o 814
513.87/498.96	o 813
514.08/499.12	o 812
514.08/499.13	o 811
514.27/499.39	o 810
515.19/500.26	o 809
515.19/500.29	o 808
516.49/501.57	o 807
516.59/501.64	o 806
517.79/502.87	o 805
518.10/503.11	o 804
519.10/504.17	o 803
519.19/504.27	o 802
519.49/504.54	o 801
520.46/505.48	o 800
520.66/505.68	o 799
520.86/505.85	o 798
521.76/506.78	o 797
522.17/507.11	o 796
522.26/507.26	o 795
522.36/507.34	o 794
523.07/508.09	o 793
523.46/508.41	o 792
523.66/508.60	o 791
524.37/509.39	o 790
524.67/509.63	o 789
525.67/510.69	o 788
525.87/510.81	o 786
526.27/511.24	o 785
526.97/512.00	o 784
527.37/512.33	o 783
527.57/512.51	o 782
528.37/513.30	o 780
529.67/514.61	o 779
529.77/514.71	o 778
530.97/515.92	o 777
531.28/516.23	o 775
532.28/517.22	o 774
532.47/517.42	o 773
532.77/517.77	o 772
533.65/518.55	o 771
533.65/518.59	o 770
534.05/518.90	o 769
534.95/519.83	o 768
534.95/519.84	o 767
535.35/520.23	o 766
535.45/520.33	o 765
536.27/521.13	o 764
536.36/521.24	o 763
536.46/521.30	o 762
536.86/521.70	o 761
537.55/522.44	o 760
537.85/522.72	o 759
538.05/522.96	o 758
538.85/523.74	o 757
539.05/523.92	o 756
540.16/525.04	o 755
540.45/525.31	o 754
540.65/525.55	o 753
540.65/525.58	o 752
541.45/526.35	o 751
541.66/526.50	o 750
541.75/526.65	o 749
542.76/527.65	o 748
543.06/527.91	o 747
543.17/528.03	o 746
544.06/528.95	o 745
544.27/529.13	o 744
545.37/530.26	o 743
545.57/530.46	o 742
545.67/530.51	o 741
546.73/531.55	o 740
546.93/531.77	o 739
548.03/532.86	o 738
548.13/532.96	o 737
548.13/532.98	o 736
549.34/534.17	o 735
549.63/534.41	o 734
549.73/534.59	o 733
550.63/535.47	o 732
550.93/535.71	o 731
550.93/535.76	o 730
551.93/536.78	o 729
552.25/537.06	o 728
552.35/537.16	o 727
552.44/537.20	o 726
553.24/538.08	o 725
553.54/538.36	o 724
553.84/538.62	o 723
553.84/538.63	o 722
554.54/539.39	o 721
554.74/539.58	o 720
554.94/539.75	o 719
555.14/539.90	o 718
555.84/540.69	o 717
556.04/540.84	o 716
556.14/541.00	o 715
556.35/541.12	o 714
557.14/541.99	o 713
557.51/542.27	o 712
557.71/542.44	o 711
558.61/543.30	o 710
558.91/543.61	o 709
559.01/543.76	o 708
559.91/544.60	o 707
560.01/544.79	o 706
560.21/544.90	o 705
561.21/545.90	o 704
561.42/546.14	o 703
561.61/546.35	o 702
562.51/547.22	o 701
562.51/547.29	o 700
563.81/548.52	o 699
564.11/548.83	o 698
564.21/548.91	o 697
564.21/548.99	o 696
565.11/549.82	o 695
565.21/549.96	o 694
565.42/550.17	o 693
565.42/550.17	o 692
566.42/551.13	o 691
566.51/551.23	o 690
566.81/551.59	o 689
566.91/551.65	o 688
567.71/552.43	o 687
567.71/552.48	o 686
568.06/552.73	o 685
568.18/552.87	o 684
568.28/552.90	o 683
569.08/553.73	o 682
569.39/554.04	o 681
570.39/555.03	o 680
570.68/555.32	o 679
570.78/555.45	o 678
571.68/556.34	o 677
571.68/556.38	o 676
572.18/556.85	o 675
572.98/557.65	o 674
573.18/557.85	o 673
573.39/558.04	o 671
573.49/558.18	o 670
574.28/558.95	o 669
574.39/559.11	o 668
574.58/559.27	o 667
574.68/559.39	o 666
575.58/560.25	o 665
575.78/560.48	o 664
576.88/561.56	o 663
576.98/561.61	o 662
577.18/561.87	o 661
577.28/561.99	o 660
577.39/562.01	o 659
578.18/562.86	o 658
578.58/563.19	o 657
578.87/563.41	o 656
579.58/564.16	o 655
579.67/564.21	o 654
579.87/564.47	o 653
580.87/565.47	o 652
581.17/565.71	o 651
581.37/565.90	o 650
581.37/566.00	o 649
582.17/566.77	o 648
582.48/567.02	o 647
582.67/567.24	o 646
583.48/568.07	o 645
583.77/568.34	o 644
584.77/569.38	o 643
585.07/569.64	o 642
585.27/569.82	o 641
585.37/569.93	o 640
586.07/570.68	o 639
586.27/570.85	o 638
587.37/571.98	o 637
587.64/572.19	o 636
588.03/572.53	o 635
588.74/573.29	o 634
589.04/573.56	o 633
589.24/573.70	o 632
590.04/574.60	o 631
590.25/574.74	o 630
591.44/575.90	o 629
591.65/576.17	o 628
591.94/576.42	o 627
592.74/577.20	o 626
592.84/577.33	o 625
593.14/577.67	o 624
594.05/578.51	o 623
594.15/578.68	o 622
594.35/578.86	o 621
595.35/579.81	o 620
595.55/580.09	o 619
595.85/580.34	o 618
596.66/581.12	o 617
596.91/581.31	o 616
597.01/581.43	o 615
597.11/581.53	o 614
598.01/582.42	o 613
598.11/582.55	o 612
598.21/582.60	o 611
599.31/583.72	o 610
599.51/583.94	o 609
599.81/584.24	o 608
600.62/585.03	o 607
600.81/585.27	o 606
601.91/586.33	o 605
602.11/586.59	o 604
602.32/586.74	o 603
603.22/587.64	o 602
603.42/587.81	o 601
603.52/587.92	o 600
604.52/588.94	o 599
604.63/589.08	o 598
604.82/589.24	o 597
605.82/590.24	o 596
605.82/590.27	o 595
607.18/591.55	o 594
607.38/591.78	o 593
607.58/591.96	o 592
608.48/592.85	o 591
608.58/592.90	o 590
608.98/593.31	o 589
609.79/594.15	o 588
610.08/594.43	o 587
610.28/594.66	o 586
611.08/595.46	o 585
611.38/595.74	o 584
611.58/595.98	o 583
612.38/596.76	o 582
612.48/596.85	o 581
613.70/598.06	o 580
613.89/598.25	o 579
615.05/599.39	o 578
615.35/599.63	o 577
615.45/599.78	o 576
616.35/600.67	o 575
616.55/600.88	o 574
616.65/600.95	o 573
616.86/601.13	o 572
617.65/601.97	o 571
617.95/602.22	o 570
618.15/602.41	o 569
618.95/603.27	o 568
619.25/603.53	o 567
619.25/603.59	o 566
620.25/604.58	o 565
620.35/604.67	o 564
620.55/604.82	o 563
621.55/605.88	o 562
621.76/606.04	o 561
623.05/607.22	o 560
623.05/607.26	o 559
624.25/608.49	o 558
624.35/608.51	o 557
624.86/609.03	o 556
625.55/609.80	o 555
625.65/609.85	o 554
626.85/611.10	o 553
627.05/611.20	o 552
627.15/611.35	o 551
628.25/612.40	o 550
628.45/612.68	o 549
628.65/612.88	o 548
629.55/613.71	o 547
629.75/613.93	o 546
630.91/615.04	o 545
630.91/615.09	o 544
631.11/615.27	o 543
632.21/616.32	o 542
632.41/616.54	o 541
632.60/616.75	o 540
633.51/617.63	o 539
633.70/617.87	o 538
634.81/618.93	o 537
635.02/619.17	o 536
635.31/619.41	o 535
636.11/620.23	o 534
636.31/620.46	o 533
636.61/620.78	o 532
637.47/621.56	o 531
637.57/621.65	o 530
638.77/622.84	o 529
638.98/623.05	o 528
640.09/624.15	o 527
640.38/624.41	o 526
640.58/624.63	o 525
640.58/624.69	o 524
641.38/625.46	o 523
641.58/625.67	o 522
641.78/625.81	o 521
642.68/626.75	o 520
642.88/626.96	o 519
643.99/628.06	o 518
644.35/628.34	o 517
644.55/628.54	o 516
645.35/629.36	o 515
645.65/629.61	o 514
645.85/629.80	o 513
646.65/630.67	o 512
646.95/630.93	o 511
647.06/631.04	o 510
647.16/631.13	o 509
647.95/631.97	o 508
648.25/632.22	o 507
649.25/633.28	o 506
649.55/633.52	o 505
649.65/633.69	o 504
650.62/634.59	o 503
650.72/634.65	o 502
652.02/635.91	o 501
652.23/636.14	o 500
652.42/636.31	o 499
653.32/637.21	o 498
653.42/637.35	o 497
654.62/638.52	o 496
654.82/638.78	o 495
655.02/639.01	o 494
655.92/639.82	o 493
656.02/639.93	o 492
657.27/641.15	o 491
657.48/641.37	o 490
657.68/641.52	o 489
657.78/641.67	o 488
658.58/642.43	o 487
658.78/642.68	o 486
658.98/642.84	o 485
659.88/643.73	o 484
659.98/643.80	o 483
661.19/645.04	o 482
661.38/645.24	o 481
661.48/645.36	o 480
662.48/646.34	o 479
662.68/646.53	o 478
663.86/647.66	o 476
665.16/648.94	o 475
665.37/649.19	o 474
665.56/649.38	o 473
666.46/650.25	o 472
666.76/650.50	o 471
666.86/650.69	o 470
666.96/650.76	o 469
667.76/651.55	o 468
668.06/651.80	o 467
668.16/651.99	o 466
669.06/652.86	o 465
669.33/653.09	o 464
670.43/654.16	o 463
670.62/654.33	o 462
670.72/654.44	o 461
671.72/655.46	o 460
671.92/655.64	o 459
673.02/656.77	o 458
673.22/656.99	o 457
674.33/658.07	o 456
674.62/658.30	o 455
674.77/658.50	o 454
675.70/659.38	o 453
676.00/659.63	o 452
676.00/659.64	o 451
677.00/660.68	o 450
677.20/660.90	o 449
677.51/661.11	o 448
678.30/661.98	o 447
678.60/662.23	o 446
678.80/662.41	o 445
679.60/663.29	o 444
679.97/663.56	o 443
680.17/663.79	o 442
681.07/664.60	o 441
681.27/664.82	o 440
681.37/664.94	o 439
682.37/665.90	o 438
682.58/666.12	o 437
682.67/666.29	o 436
683.67/667.20	o 435
683.87/667.46	o 434
684.14/667.64	o 433
685.04/668.50	o 432
685.04/668.52	o 431
685.34/668.84	o 430
686.34/669.81	o 429
686.55/670.01	o 428
687.65/671.12	o 427
687.84/671.35	o 426
688.09/671.57	o 425
689.01/672.43	o 424
689.21/672.67	o 423
689.41/672.83	o 422
690.31/673.73	o 421
690.51/673.95	o 420
690.72/674.14	o 419
691.62/675.04	o 418
691.72/675.12	o 417
692.98/676.36	o 416
692.98/676.37	o 415
694.28/677.63	o 414
694.48/677.80	o 413
695.58/678.94	o 412
695.79/679.17	o 411
695.98/679.34	o 410
696.08/679.42	o 409
696.88/680.24	o 408
697.08/680.49	o 407
697.45/680.70	o 406
698.25/681.54	o 405
698.35/681.69	o 404
699.56/682.85	o 403
699.77/683.07	o 402
699.96/683.25	o 401
700.87/684.15	o 400
701.11/684.37	o 399
701.43/684.65	o 398
702.23/685.46	o 397
702.43/685.65	o 396
702.73/685.96	o 395
703.53/686.76	o 394
703.73/686.93	o 393
703.73/686.98	o 392
704.84/688.09	o 391
705.00/688.17	o 390
705.29/688.43	o 389
706.19/689.37	o 388
706.49/689.61	o 387
706.59/689.77	o 386
707.49/690.68	o 385
707.79/690.91	o 384
708.07/691.14	o 383
708.86/691.99	o 382
709.16/692.20	o 381
709.26/692.35	o 380
710.16/693.29	o 379
710.36/693.42	o 378
710.66/693.76	o 377
711.46/694.59	o 376
711.56/694.68	o 375
712.03/695.09	o 374
712.82/695.89	o 373
713.13/696.13	o 372
713.32/696.37	o 371
714.22/697.20	o 370
714.42/697.43	o 369
714.62/697.65	o 368
715.59/698.50	o 367
715.78/698.72	o 366
715.88/698.87	o 365
716.88/699.81	o 364
717.09/700.03	o 363
717.28/700.20	o 362
718.20/701.11	o 361
718.46/701.34	o 360
719.56/702.42	o 359
719.76/702.64	o 358
719.96/702.83	o 357
720.86/703.72	o 356
721.06/703.92	o 355
721.27/704.16	o 354
722.23/705.05	o 353
722.42/705.20	o 352
722.72/705.53	o 351
723.52/706.32	o 350
723.62/706.49	o 349
723.82/706.61	o 348
723.93/706.74	o 347
724.83/707.63	o 346
725.03/707.82	o 345
725.23/708.03	o 344
725.34/708.14	o 343
726.19/708.95	o 342
726.30/709.08	o 341
726.59/709.33	o 340
727.49/710.24	o 339
727.69/710.46	o 338
727.79/710.55	o 337
727.99/710.73	o 336
728.79/711.54	o 335
728.99/711.74	o 334
730.15/712.84	o 333
730.36/713.06	o 332
730.55/713.27	o 331
731.46/714.15	o 330
731.65/714.34	o 329
731.75/714.46	o 328
732.75/715.45	o 327
732.95/715.63	o 326
733.22/715.82	o 325
734.11/716.76	o 324
734.31/716.96	o 323
734.42/717.10	o 322
735.42/718.06	o 321
735.62/718.28	o 320
735.82/718.45	o 319
736.72/719.36	o 318
736.92/719.52	o 317
737.08/719.66	o 316
738.09/720.67	o 315
738.29/720.86	o 314
738.50/721.01	o 313
739.54/722.05	o 312
739.64/722.16	o 311
740.83/723.36	o 310
741.03/723.57	o 309
741.28/723.76	o 308
742.19/724.66	o 307
742.39/724.86	o 306
743.49/725.96	o 305
743.70/726.15	o 304
744.79/727.27	o 303
744.99/727.43	o 302
745.09/727.58	o 301
746.09/728.57	o 300
746.36/728.78	o 299
747.46/729.87	o 298
747.67/730.07	o 297
747.86/730.20	o 296
748.77/731.18	o 295
748.96/731.38	o 294
750.06/732.48	o 293
750.42/732.72	o 292
750.62/732.90	o 291
751.42/733.78	o 290
751.62/733.99	o 289
751.83/734.17	o 288
751.92/734.24	o 287
752.73/735.09	o 286
752.92/735.26	o 285
754.18/736.41	o 284
754.28/736.50	o 283
754.28/736.57	o 282
755.38/737.69	o 281
755.68/737.90	o 280
756.68/739.00	o 279
756.98/739.22	o 278
757.18/739.43	o 277
758.15/740.32	o 276
758.35/740.52	o 275
758.45/740.66	o 274
759.45/741.61	o 273
759.55/741.76	o 272
759.65/741.89	o 271
760.76/742.91	o 270
760.97/743.12	o 269
761.22/743.34	o 268
762.12/744.22	o 267
762.32/744.43	o 266
762.42/744.57	o 265
763.42/745.52	o 264
763.62/745.72	o 263
763.72/745.89	o 262
764.78/746.85	o 261
764.99/747.01	o 260
766.09/748.13	o 259
766.28/748.33	o 258
766.48/748.52	o 257
767.38/749.43	o 256
767.58/749.62	o 255
767.85/749.82	o 254
768.75/750.73	o 253
768.95/750.91	o 252
770.06/752.04	o 251
770.25/752.21	o 250
770.35/752.32	o 249
771.41/753.34	o 248
771.51/753.49	o 247
771.81/753.73	o 246
772.71/754.65	o 245
772.91/754.84	o 244
774.01/755.95	o 243
774.28/756.19	o 242
775.37/757.26	o 241
775.57/757.44	o 240
775.77/757.61	o 239
776.67/758.55	o 238
776.77/758.65	o 237
777.97/759.86	o 236
778.24/760.05	o 235
779.34/761.17	o 234
779.53/761.35	o 233
779.73/761.53	o 232
780.64/762.47	o 231
780.84/762.60	o 230
781.94/763.78	o 229
782.20/764.00	o 228
782.41/764.19	o 227
783.31/765.07	o 226
783.50/765.27	o 225
783.70/765.46	o 224
784.60/766.38	o 223
784.96/766.60	o 222
785.06/766.77	o 221
785.96/767.68	o 220
786.16/767.85	o 219
786.37/768.01	o 218
787.26/768.99	o 217
787.47/769.16	o 216
787.56/769.27	o 215
788.73/770.31	o 214
788.83/770.50	o 213
789.03/770.64	o 212
789.93/771.59	o 211
790.13/771.73	o 210
790.33/771.94	o 209
791.33/772.90	o 208
791.43/773.10	o 207
791.79/773.31	o 206
792.68/774.20	o 205
792.78/774.33	o 204
793.98/775.50	o 203
794.08/775.67	o 202
794.28/775.86	o 201
795.29/776.84	o 200
795.56/777.03	o 199
795.75/777.24	o 198
796.66/778.13	o 197
796.85/778.31	o 196
796.95/778.47	o 195
797.95/779.43	o 194
798.22/779.64	o 193
798.42/779.87	o 192
799.32/780.74	o 191
799.52/780.90	o 190
799.63/781.01	o 189
800.63/782.04	o 188
800.73/782.17	o 187
800.92/782.35	o 186
801.99/783.38	o 185
802.19/783.53	o 184
802.29/783.65	o 183
803.29/784.67	o 182
803.49/784.86	o 181
803.69/785.05	o 180
804.59/785.96	o 179
804.79/786.14	o 178
805.95/787.26	o 177
806.15/787.44	o 176
806.35/787.61	o 175
807.25/788.56	o 174
807.44/788.73	o 173
807.64/788.94	o 172
808.54/789.89	o 171
808.81/790.08	o 170
809.00/790.25	o 169
809.91/791.17	o 168
810.10/791.35	o 167
810.30/791.51	o 166
811.20/792.48	o 165
811.40/792.62	o 164
811.50/792.78	o 163
812.57/793.79	o 162
812.77/793.95	o 161
812.98/794.19	o 160
813.88/795.08	o 159
814.08/795.26	o 158
814.28/795.44	o 157
815.18/796.39	o 156
815.44/796.57	o 155
815.64/796.74	o 154
816.54/797.69	o 153
816.74/797.87	o 152
816.84/797.98	o 151
817.84/798.99	o 150
817.95/799.09	o 149
819.29/800.32	o 148
819.50/800.50	o 147
819.60/800.66	o 146
820.60/801.60	o 145
820.70/801.77	o 144
820.90/801.94	o 143
821.90/802.91	o 142
822.01/803.07	o 141
822.36/803.31	o 140
823.26/804.21	o 139
823.36/804.36	o 138
823.66/804.60	o 137
824.56/805.51	o 136
824.66/805.69	o 135
824.87/805.86	o 134
825.93/806.84	o 133
826.03/807.00	o 132
827.24/808.12	o 131
827.43/808.30	o 130
827.53/808.46	o 129
828.53/809.42	o 128
828.63/809.58	o 127
828.83/809.72	o 126
829.89/810.74	o 125
830.09/810.91	o 124
830.20/811.07	o 123
831.20/812.02	o 122
831.30/812.18	o 121
831.49/812.33	o 120
832.49/813.32	o 119
832.59/813.49	o 118
832.79/813.68	o 117
833.79/814.63	o 116
833.89/814.79	o 115
834.09/814.94	o 114
834.20/815.08	o 113
835.09/815.93	o 112
835.20/816.06	o 111
836.39/817.24	o 110
836.49/817.38	o 109
836.69/817.53	o 108
837.76/818.54	o 107
837.86/818.69	o 106
838.06/818.89	o 105
839.06/819.84	o 104
839.16/820.00	o 103
839.37/820.14	o 102
839.46/820.26	o 101
840.37/821.15	o 100
840.56/821.30	o 99
840.66/821.46	o 98
840.86/821.60	o 97
841.66/822.45	o 96
841.86/822.62	o 95
841.96/822.77	o 94
842.96/823.75	o 93
843.16/823.90	o 92
843.27/824.08	o 91
844.34/825.09	o 90
844.53/825.24	o 89
844.73/825.47	o 88
845.63/826.36	o 87
845.83/826.50	o 86
846.03/826.78	o 85
846.93/827.67	o 84
847.13/827.82	o 83
847.23/827.97	o 82
848.23/828.97	o 81
848.44/829.11	o 80
848.53/829.28	o 79
848.73/829.41	o 78
849.53/830.28	o 77
849.73/830.42	o 76
849.83/830.56	o 75
850.83/831.58	o 74
851.03/831.75	o 73
851.31/831.90	o 72
852.21/832.88	o 71
852.42/833.02	o 70
852.52/833.17	o 69
853.52/834.19	o 68
853.75/834.34	o 67
853.85/834.49	o 66
854.05/834.63	o 65
854.85/835.49	o 64
855.05/835.64	o 63
855.15/835.78	o 62
856.15/836.79	o 61
856.35/836.93	o 60
857.46/838.10	o 59
857.65/838.25	o 58
857.75/838.39	o 57
858.93/839.40	o 56
859.03/839.56	o 55
859.23/839.71	o 54
860.23/840.71	o 53
860.33/840.86	o 52
860.54/841.01	o 51
862.03/842.59	o 50
862.23/842.74	o 49
862.33/842.89	o 48
862.54/843.04	o 47
863.43/843.90	o 46
863.54/844.06	o 45
863.73/844.21	o 44
864.74/845.20	o 43
864.92/845.38	o 42
865.12/845.53	o 41
866.12/846.51	o 40
866.22/846.66	o 39
866.52/846.91	o 38
867.42/847.81	o 37
867.52/847.95	o 36
867.63/848.10	o 35
868.63/849.10	o 34
868.82/849.26	o 33
869.02/849.40	o 32
870.02/850.42	o 31
870.16/850.58	o 30
870.43/850.77	o 29
871.43/851.74	o 28
871.53/851.89	o 27
871.74/852.07	o 26
872.74/853.05	o 25
872.93/853.22	o 24
873.03/853.39	o 23
874.03/854.35	o 22
874.23/854.51	o 21
874.33/854.67	o 20
875.33/855.65	o 19
875.53/855.83	o 18
875.83/856.04	o 17
876.83/857.01	o 16
876.93/857.19	o 15
877.18/857.36	o 14
878.08/858.27	o 13
878.28/858.46	o 12
879.55/859.59	o 11
879.75/859.78	o 10
880.95/860.91	o 9
881.06/861.10	o 8
882.34/862.20	o 7
2400.05/2347.11	s SATISFIABLE
2400.05/2347.12	v <instantiation>
2400.05/2347.12	v 	<list>
2400.05/2347.12	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029]
2400.05/2347.12	v 	</list>
2400.05/2347.12	v 	<values>
2400.05/2347.12	v 		3 4 0 0 3 3 0 0 3 3 0 3 6 5 7 6 6 6 4 4 4 0 4 3 4 4 4 4 4 4 3 2 0 0 2 3 0 0 0 3 0 3 3 3 0 3 6 6 7 6 7 4 6 6 6 6 6 7 6 4 2 1 4 4 4 1 2 2 2 1 1 2 2 2 2 0 7 4 2 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 1 1 2 3 1 1 3 0 1 3 1 1 6 6 6 6 6 6 6 1 4 6 6 6 6 4 6 2 4 3 1 3 2 2 2 2 1 3 1 3 1 3 0 1 1 1 3 4 7 6 2 7 7 0 2 3 6 7 7 6 7 7 4 7 7 6 6 6 6 6 6 6 6 6 7 7 7 5 2 2 0 7 2 0 2 7 7 0 7 0 2 0 6 7 6 5 6 7 6 6 7 5 5 7 7 7 5 2 7 2 2 2 2 7 2 2 7 2 7 2 2 2 7 7 6 2 6 0 1 0 3 4 4 3 4 0 4 0 3 1 3 0 1 0 3 2 1 1 0 0 3 1 1 1 4 4 1 3 0 3 2 1 2 2 1 0 3 1 0 0 3 1 1 1 0 3 1 3 3 3 1 1 3 3 4 3 1 3 4 0 1 0 3 0 1 3 3 3 3 3 0 3 0 0 1 3 1 7 7 7 7 7 7 7 6 7 7 7 7 6 7 6 6 7 7 7 6 6 7 6 6 6 7 7 7 7 7 6 7 6 6 6 7 0 6 7 6 0 7 6 6 0 7 7 7 6 7 6 1 6 7 6 6 6 6 7 7 7 7 6 6 6 7 6 6 7 7 6 7 6 6 6 6 6 6 6 7 2 7 1 6 3 5 4 5 2 7 3 2 6 2 5 2 3 2 5 7 5 4 6 5 4 5 4 6 4 6 2 2 4 5 4 2 2 5 5 5 3 5 5 5 5 2 5 5 2 5 7 6 7 5 7 5 6 5 5 4 7 7 5 7 6 4 4 4 4 5 5 5 1 5 5 5 5 1 5 2 5 5 5 5 5 5 5 2 2 3 2 2 2 5 5 2 3 2 5 2 5 1 6 6 4 5 4 6 5 2 1 4 6 5 1 1 2 5 1 2 2 3 2 2 2 2 2 2 2 2 5 1 4 6 1 5 6 6 6 5 6 6 6 4 5 2 5 5 5 4 2 1 5 2 2 2 1 1 1 1 5 5 1 2 5 4 2 5 6 5 5 5 6 2 6 2 5 5 5 2 4 6 5 2 5 6 5 2 2 5 2 5 5 5 5 4 5 5 5 5 5 2 2 7 4 5 5 5 5 5 6 4 6 6 6 6 4 7 6 5 5 7 7 4 5 4 2 2 4 2 2 2 5 4 4 7 5 2 2 5 6 6 6 2 6 5 1 5 5 5 1 5 5 3 4 4 5 4 5 4 3 1 4 1 4 4 4 4 5 5 5 4 5 4 4 3 1 4 5 4 5 1 3 2 4 4 1 4 4 4 5 4 4 4 7 5 1 5 5 4 5 7 5 4 5 2 5 1 5 2 5 1 5 1 4 4 2 1 4 2 5 5 4 4 4 7 4 5 6 5 5 5 6 7 5 6 5 5 5 5 4 6 5 7 7 6 5 5 5 5 5 4 5 5 7 5 5 5 4 5 5 5 5 7 4 5 5 6 7 5 7 7 6 7 6 6 7 7 5 5 6 6 5 6 6 4 4 6 6 5 6 7 4 4 7 5 7 5 5 5 6 5 5 7 5 5 5 1 5 4 3 4 0 0 1 3 7 1 5 5 0 3 0 5 0 0 3 0 4 0 1 1 0 1 0 0 0 1 0 0 0 0 0 3 3 0 3 0 0 0 3 3 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 3 2 2 2 1 2 0 3 1 1 2 2 1 0 3 0 0 0 0 0 0 1 3 0 0 1 3 0 0 0 1 0 0 1 0 1 0 1 3 0 0 1 1 1 3 1 0 1 0 1 1 0 1 1 0 3 0 1 0 0 3 0 0 0 3 0 0 3 3 0 0 0 0 0 0 0 0 0 0 1 0 3 1 1 3 3 0 1 0 2 0 1 3 0 1 0 0 0 0 0 0 0 0 3 0 0 3 3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 2 3 0 3 0 3 2 0 0 3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 3 2 2 2 3 2 3 0 3 3 2 2 2 0 2 0 0 0 0 3 3 0 1 1 1 0 0 4 1 3 3 1 0 0 0 0 0 3 1 0 3 3 0 0 3 3 0 3 0 0 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 3 0 0 3 0 0 3 0 3 0 3 1 1 0 0 0 1 0 0 1 3 1 3 3 3 0 2 1 2 3 0 1 0 0 1 3 0 2 3 0 1 1 0 0 0 0 2 0 0 1 3 1 0 2 0 3 0 2 2 0 0 3 2 3 0 3 0 2 0 1 0 1 0 3 3 0 0 0 1 2 1 3 1 0 0 0 3 2 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 5 7 5 6 7 5 6 2 2 6 6 6 6 6 6 6 4 6 2 2 6 6 4 2 5 6 6 6 5 6 2 5 5 5 7 6 2 6 7 5 5 2 7 2 5 7 2 6 7 7 4 6 5 6 5 7 7 6 5 6 6 6 5 5 7 3 5 7 3 7 5 4 7 3 4 5 5 7 5 7 6 5 7 7 6 5 6 6 5 5 6 7 4 5 4 5 4 6 7 4 5 7 4 5 5 7 6 7 5 6 7 6 5 7 5 7 7 4 7 2 7 5 7 6 6 7 5 7 7 5 6 5 6 6 6 6 6 7 5 4 4 7 7 4 5 7 5 7 7 4 7 5 7 7 5 5 5 4 4 5 4 6 5 5 7 2 6 7 7 2 7 7 2 7 2 3 7 6 7 4 7 2 7 6 5 7 7 5 7 7 7 3 5 5 6 5 5 2 2 7 7 7 7 7 5 4 4 4 7 2 4 7 7 5 7 6 5 5 7 7 4 5 6 5 7 2 7 5 7 6 5 5 2 7 6 5 2 6 6 5 3 5 5 4 5 6 6 6 7 7 5 4 6 5 7 5 4 7 5 5 7 5 5 6 5 7 5 6 5 5 6 4 5 6 5 5 5 7 4 7 7 4 5 7 4 6 7 4 7 7 7 7 5 7 6 5 7 6 7 6 6 6 7 7 5 7 7 5 7 7 5 5 5 6 5 7 6 6 7 5 5 5 4 2 6 6 7 7 6 2 7 7 2 2 6 3 7 4 5 2 5 2 2 5 6 4 4 6 6 6 7 6 2 7 6 5 6 2 6 3 6 6 7 7 6 6 6 4 3 6 5 7 6 7 5 5 4 6 5 2 6 5 5 3 5 6 6 5 6 5 5 5 5 2 6 7 2 2 6 5 7 5 4 7 7 1 0 3 1 0 3 3 1 1 3 1 0 1 5 0 3 3 1 0 3 3 0 3 1 0 1 0 1 0 1 6 0 1 0 1 0 3 0 1 1 0 0 1 1 1 0 0 1 0 1 6 1 0 3 0 1 0 0 0 0 1 0 1 4 0 0 1 1 3 0 0 1 3 1 0 1 1 0 1 0 1 0 0 0 1 3 3 0 1 3 0 0 0 0 3 0 6 0 0 1 4 1 0 4 0 3 0 4 3 4 1 0 1 0 0 0 0 1 0 1 3 1 0 0 0 1 0 1 1 1 3 4 1 0 0 1 1 1 3 0 1 0 6 6 1 1 0 4 3 3 3 1 0 1 0 0 1 1 1 0 1 1 1 0 1 0 3 3 3 0 0 1 3 0 0 0 1 1 0 3 3 3 0 1 0 3 1 0 3 1 1 0 0 0 3 3 1 0 3 0 1 1 1 1 3 5 1 0 1 0 6 1 1 1 0 1 1 1 0 0 1 1 0 0 1 1 3 3 1 0 0 1 0 1 1 1 1 1 0 1 1 1 3 0 0 3 4 0 1 5 0 0 0 0 0 4 6 4 1 6 3 1 3 1 3 1 1 0 3 5 0 5 1 1 0 1 3 3 1 0 1 1 0 1 1 0 0 1 1 0 1 1 4 3 0 4 0 3 1 4 0 0 1 3 4 3 3 1 4 3 1 1 1 0 0 1 0 1 1 1 0 1 0 1 3 1 1 3 0 4 0 0 3 0 3 1 1 3 1 0 4 4 3 3 3 3 3 0 1 3 3 0 3 1 1 3 3 1 0 3 3 1 3 1 0 5 3 1 1 4 4 0 1 1 3 0 1 3 0 0 0 3 6 0 1 3 4 1 4 3 0 1 0 4 3 4 0 3 3 4 1 1 0 1 1 2 0 6 1 7 
2400.05/2347.12	v 	</values>
2400.05/2347.12	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 (13100 MiB free)
  memory of node 1: 16384 MiB (12476 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290259-1532234375/watcher-4290259-1532234375 -o /tmp/evaluation-result-4290259-1532234375/solver-4290259-1532234375 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532224835-1955 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 2113037009 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290259-1532234375.xml 

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

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

solver pid=3083, runsolver pid=3080

[startup+0.100171 s]*
/proc/loadavg: 1.81 1.43 1.43 6/218 3098
/proc/meminfo: memFree=26106656/32770624 swapFree=67108860/67108860
[pid=3083] ppid=3080 vsize=14082740 memory=30564 CPUtime=0.12 cores=0,2,4,6
/proc/3083/stat : 3083 (java) S 3080 3083 1924 0 -1 1077944320 6551 0 0 0 11 1 0 0 20 0 15 0 41000751 14420725760 7641 33554432000 4194304 4196468 140735345510400 140735345492944 139706812727031 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
/proc/3083/statm: 3520685 7641 3157 1 0 3482761 0
[pid=3083/tid=3085] ppid=3080 vsize=14082740 memory=-8680509584317445312 CPUtime=0.09 cores=0,2,4,6
/proc/3083/task/3085/stat : 3085 (java) R 3080 3083 1924 0 -1 4202560 4605 0 0 0 9 0 0 0 20 0 15 0 41000751 14420725760 7641 33554432000 4194304 4196468 140735345510400 139706816966784 139706812748957 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3086] ppid=3080 vsize=14082740 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3086/stat : 3086 (java) S 3080 3083 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41000752 14420725760 7641 33554432000 4194304 4196468 140735345510400 139706765347600 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3087] ppid=3080 vsize=14082740 memory=140167069128320 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3087/stat : 3087 (java) S 3080 3083 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41000752 14420725760 7641 33554432000 4194304 4196468 140735345510400 139706406988688 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3088] ppid=3080 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3088/stat : 3088 (java) S 3080 3083 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41000752 14420725760 7641 33554432000 4194304 4196468 140735345510400 139706405936144 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3089] ppid=3080 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3089/stat : 3089 (java) S 3080 3083 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41000752 14420725760 7641 33554432000 4194304 4196468 140735345510400 139706404883600 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3090] ppid=3080 vsize=14082740 memory=140167069128320 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3090/stat : 3090 (java) S 3080 3083 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41000753 14420725760 7641 33554432000 4194304 4196468 140735345510400 139705725724656 139706812738178 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3091] ppid=3080 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3091/stat : 3091 (java) S 3080 3083 1924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41000754 14420725760 7641 33554432000 4194304 4196468 140735345510400 139705724670880 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3092] ppid=3080 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3092/stat : 3092 (java) S 3080 3083 1924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41000754 14420725760 7641 33554432000 4194304 4196468 140735345510400 139705723618288 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3093] ppid=3080 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3093/stat : 3093 (java) S 3080 3083 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41000756 14420725760 7641 33554432000 4194304 4196468 140735345510400 139705722566864 139706812745627 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3094] ppid=3080 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3094/stat : 3094 (java) S 3080 3083 1924 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 41000756 14420725760 7641 33554432000 4194304 4196468 140735345510400 139705721514480 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3095] ppid=3080 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3095/stat : 3095 (java) S 3080 3083 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41000756 14420725760 7641 33554432000 4194304 4196468 140735345510400 139705720461936 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3096] ppid=3080 vsize=14082740 memory=140167069128320 CPUtime=0.01 cores=0,2,4,6
/proc/3083/task/3096/stat : 3096 (java) S 3080 3083 1924 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 41000756 14420725760 7641 33554432000 4194304 4196468 140735345510400 139705719409392 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3097] ppid=3080 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3097/stat : 3097 (java) S 3080 3083 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41000757 14420725760 7641 33554432000 4194304 4196468 140735345510400 139705718357088 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3098] ppid=3080 vsize=14082740 memory=140167069128320 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3098/stat : 3098 (java) S 3080 3083 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41000757 14420725760 7641 33554432000 4194304 4196468 140735345510400 139705717303600 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 30564 KiB

[startup+0.214103 s]*
/proc/loadavg: 1.81 1.43 1.43 5/218 3098
/proc/meminfo: memFree=26088712/32770624 swapFree=67108860/67108860
[pid=3083] ppid=3080 vsize=14082740 memory=46924 CPUtime=0.32 cores=0,2,4,6
/proc/3083/stat : 3083 (java) S 3080 3083 1924 0 -1 1077944320 10399 0 0 0 30 2 0 0 20 0 15 0 41000751 14420725760 11731 33554432000 4194304 4196468 140735345510400 140735345492944 139706812727031 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
/proc/3083/statm: 3520685 11731 3366 1 0 3482761 0
[pid=3083/tid=3085] ppid=3080 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/3083/task/3085/stat : 3085 (java) S 3080 3083 1924 0 -1 1077944384 8092 0 0 0 19 1 0 0 20 0 15 0 41000751 14420725760 11731 33554432000 4194304 4196468 140735345510400 139706816953104 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3086] ppid=3080 vsize=14082740 memory=345 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3086/stat : 3086 (java) S 3080 3083 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41000752 14420725760 11731 33554432000 4194304 4196468 140735345510400 139706765347600 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3087] ppid=3080 vsize=14082740 memory=140167069131660 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3087/stat : 3087 (java) S 3080 3083 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41000752 14420725760 11731 33554432000 4194304 4196468 140735345510400 139706406988688 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3088] ppid=3080 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3088/stat : 3088 (java) S 3080 3083 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41000752 14420725760 11731 33554432000 4194304 4196468 140735345510400 139706405936144 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3089] ppid=3080 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3089/stat : 3089 (java) S 3080 3083 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41000752 14420725760 11731 33554432000 4194304 4196468 140735345510400 139706404883600 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3090] ppid=3080 vsize=14082740 memory=140167069128320 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3090/stat : 3090 (java) S 3080 3083 1924 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 41000753 14420725760 11731 33554432000 4194304 4196468 140735345510400 139705725724656 139706812738178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3091] ppid=3080 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3091/stat : 3091 (java) S 3080 3083 1924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41000754 14420725760 11731 33554432000 4194304 4196468 140735345510400 139705724670880 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3092] ppid=3080 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3092/stat : 3092 (java) S 3080 3083 1924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41000754 14420725760 11731 33554432000 4194304 4196468 140735345510400 139705723618288 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3093] ppid=3080 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3093/stat : 3093 (java) S 3080 3083 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41000756 14420725760 11731 33554432000 4194304 4196468 140735345510400 139705722566864 139706812745627 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3094] ppid=3080 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3083/task/3094/stat : 3094 (java) R 3080 3083 1924 0 -1 1077944384 381 0 0 0 2 0 0 0 20 0 15 0 41000756 14420725760 11731 33554432000 4194304 4196468 140735345510400 139705721514480 139706812738178 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3095] ppid=3080 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/3083/task/3095/stat : 3095 (java) S 3080 3083 1924 0 -1 1077944384 223 0 0 0 1 0 0 0 20 0 15 0 41000756 14420725760 11731 33554432000 4194304 4196468 140735345510400 139705720461936 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3096] ppid=3080 vsize=14082740 memory=140167069128320 CPUtime=0.06 cores=0,2,4,6
/proc/3083/task/3096/stat : 3096 (java) R 3080 3083 1924 0 -1 4202560 325 0 0 0 6 0 0 0 20 0 15 0 41000756 14420725760 11731 33554432000 4194304 4196468 140735345510400 139705719409392 139706796807518 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3097] ppid=3080 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3097/stat : 3097 (java) S 3080 3083 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41000757 14420725760 11731 33554432000 4194304 4196468 140735345510400 139705718357088 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3098] ppid=3080 vsize=14082740 memory=140167069128320 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3098/stat : 3098 (java) S 3080 3083 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41000757 14420725760 11731 33554432000 4194304 4196468 140735345510400 139705717303600 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46924 KiB

[startup+0.310872 s]*
/proc/loadavg: 1.81 1.43 1.43 3/218 3098
/proc/meminfo: memFree=26085176/32770624 swapFree=67108860/67108860
[pid=3083] ppid=3080 vsize=14082740 memory=50692 CPUtime=0.44 cores=0,2,4,6
/proc/3083/stat : 3083 (java) S 3080 3083 1924 0 -1 1077944320 10782 0 0 0 42 2 0 0 20 0 15 0 41000751 14420725760 12673 33554432000 4194304 4196468 140735345510400 140735345492944 139706812727031 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
/proc/3083/statm: 3520685 12673 3380 1 0 3482761 0
[pid=3083/tid=3085] ppid=3080 vsize=14082740 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/3083/task/3085/stat : 3085 (java) R 3080 3083 1924 0 -1 4202560 8440 0 0 0 28 1 0 0 20 0 15 0 41000751 14420725760 12673 33554432000 4194304 4196468 140735345510400 139706816936952 139706794100480 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3086] ppid=3080 vsize=14082740 memory=4294980951 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3086/stat : 3086 (java) S 3080 3083 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41000752 14420725760 12673 33554432000 4194304 4196468 140735345510400 139706765347600 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3087] ppid=3080 vsize=14082740 memory=140167069362252 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3087/stat : 3087 (java) S 3080 3083 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41000752 14420725760 12673 33554432000 4194304 4196468 140735345510400 139706406988688 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3088] ppid=3080 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3088/stat : 3088 (java) S 3080 3083 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41000752 14420725760 12673 33554432000 4194304 4196468 140735345510400 139706405936144 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3089] ppid=3080 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3089/stat : 3089 (java) S 3080 3083 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41000752 14420725760 12673 33554432000 4194304 4196468 140735345510400 139706404883600 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3090] ppid=3080 vsize=14082740 memory=140167069128320 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3090/stat : 3090 (java) S 3080 3083 1924 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 41000753 14420725760 12673 33554432000 4194304 4196468 140735345510400 139705725724656 139706812738178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3091] ppid=3080 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3091/stat : 3091 (java) S 3080 3083 1924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41000754 14420725760 12673 33554432000 4194304 4196468 140735345510400 139705724670880 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3092] ppid=3080 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3092/stat : 3092 (java) S 3080 3083 1924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41000754 14420725760 12673 33554432000 4194304 4196468 140735345510400 139705723618288 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3093] ppid=3080 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3093/stat : 3093 (java) S 3080 3083 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41000756 14420725760 12673 33554432000 4194304 4196468 140735345510400 139705722566864 139706812745627 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3094] ppid=3080 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3083/task/3094/stat : 3094 (java) S 3080 3083 1924 0 -1 1077944384 386 0 0 0 2 0 0 0 20 0 15 0 41000756 14420725760 12673 33554432000 4194304 4196468 140735345510400 139705721514480 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3095] ppid=3080 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/3083/task/3095/stat : 3095 (java) S 3080 3083 1924 0 -1 1077944384 229 0 0 0 2 0 0 0 20 0 15 0 41000756 14420725760 12673 33554432000 4194304 4196468 140735345510400 139705720461936 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3096] ppid=3080 vsize=14082740 memory=140167069128320 CPUtime=0.08 cores=0,2,4,6
/proc/3083/task/3096/stat : 3096 (java) S 3080 3083 1924 0 -1 1077944384 344 0 0 0 8 0 0 0 20 0 15 0 41000756 14420725760 12673 33554432000 4194304 4196468 140735345510400 139705719409392 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3097] ppid=3080 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3097/stat : 3097 (java) S 3080 3083 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41000757 14420725760 12673 33554432000 4194304 4196468 140735345510400 139705718357088 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3098] ppid=3080 vsize=14082740 memory=140167069128320 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3098/stat : 3098 (java) S 3080 3083 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41000757 14420725760 12673 33554432000 4194304 4196468 140735345510400 139705717303600 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50692 KiB

[startup+0.700704 s]
/proc/loadavg: 1.81 1.43 1.43 3/218 3098
/proc/meminfo: memFree=26061116/32770624 swapFree=67108860/67108860
[pid=3083] ppid=3080 vsize=14084808 memory=88816 CPUtime=0.99 cores=0,2,4,6
/proc/3083/stat : 3083 (java) S 3080 3083 1924 0 -1 1077944320 17640 0 0 0 94 5 0 0 20 0 15 0 41000751 14422843392 22204 33554432000 4194304 4196468 140735345510400 140735345492944 139706812727031 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
/proc/3083/statm: 3521202 22204 3500 1 0 3483273 0
[pid=3083/tid=3085] ppid=3080 vsize=14084808 memory=1236 CPUtime=0.67 cores=0,2,4,6
/proc/3083/task/3085/stat : 3085 (java) R 3080 3083 1924 0 -1 4202560 14895 0 0 0 64 3 0 0 20 0 15 0 41000751 14422843392 22204 33554432000 4194304 4196468 140735345510400 139706816941936 139706812748957 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3086] ppid=3080 vsize=14084808 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3086/stat : 3086 (java) S 3080 3083 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41000752 14422843392 22269 33554432000 4194304 4196468 140735345510400 139706765347600 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3087] ppid=3080 vsize=14084808 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3087/stat : 3087 (java) S 3080 3083 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41000752 14422843392 22269 33554432000 4194304 4196468 140735345510400 139706406988688 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3088] ppid=3080 vsize=14084808 memory=644 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3088/stat : 3088 (java) S 3080 3083 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41000752 14422843392 22269 33554432000 4194304 4196468 140735345510400 139706405936144 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3089] ppid=3080 vsize=14084808 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3089/stat : 3089 (java) S 3080 3083 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41000752 14422843392 22269 33554432000 4194304 4196468 140735345510400 139706404883600 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3090] ppid=3080 vsize=14084808 memory=956 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3090/stat : 3090 (java) S 3080 3083 1924 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 41000753 14422843392 22269 33554432000 4194304 4196468 140735345510400 139705725724656 139706812738178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3091] ppid=3080 vsize=14084808 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3091/stat : 3091 (java) S 3080 3083 1924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41000754 14422843392 22269 33554432000 4194304 4196468 140735345510400 139705724670880 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3092] ppid=3080 vsize=14084808 memory=928 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3092/stat : 3092 (java) S 3080 3083 1924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41000754 14422843392 22269 33554432000 4194304 4196468 140735345510400 139705723618288 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3093] ppid=3080 vsize=14084808 memory=6153431502485415525 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3093/stat : 3093 (java) S 3080 3083 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41000756 14422843392 22269 33554432000 4194304 4196468 140735345510400 139705722566864 139706812745627 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3094] ppid=3080 vsize=14084808 memory=7450757349647805273 CPUtime=0.07 cores=0,2,4,6
/proc/3083/task/3094/stat : 3094 (java) S 3080 3083 1924 0 -1 1077944384 553 0 0 0 7 0 0 0 20 0 15 0 41000756 14422843392 22269 33554432000 4194304 4196468 140735345510400 139705721514480 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3095] ppid=3080 vsize=14084808 memory=6300092137356946789 CPUtime=0.07 cores=0,2,4,6
/proc/3083/task/3095/stat : 3095 (java) S 3080 3083 1924 0 -1 1077944384 378 0 0 0 7 0 0 0 20 0 15 0 41000756 14422843392 22269 33554432000 4194304 4196468 140735345510400 139705720461936 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3096] ppid=3080 vsize=14084808 memory=4638778398333161808 CPUtime=0.15 cores=0,2,4,6
/proc/3083/task/3096/stat : 3096 (java) S 3080 3083 1924 0 -1 1077944384 431 0 0 0 15 0 0 0 20 0 15 0 41000756 14422843392 22269 33554432000 4194304 4196468 140735345510400 139705719409392 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3097] ppid=3080 vsize=14084808 memory=7521685796347601763 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3097/stat : 3097 (java) S 3080 3083 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41000757 14422843392 22269 33554432000 4194304 4196468 140735345510400 139705718357088 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3098] ppid=3080 vsize=14084808 memory=10416 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3098/stat : 3098 (java) S 3080 3083 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41000757 14422843392 22269 33554432000 4194304 4196468 140735345510400 139705717303600 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88816 KiB

[startup+1.50074 s]
/proc/loadavg: 1.81 1.43 1.43 6/218 3098
/proc/meminfo: memFree=25998960/32770624 swapFree=67108860/67108860
[pid=3083] ppid=3080 vsize=14086856 memory=235820 CPUtime=3.49 cores=0,2,4,6
/proc/3083/stat : 3083 (java) S 3080 3083 1924 0 -1 1077944320 23326 0 0 0 338 11 0 0 20 0 15 0 41000751 14424940544 58955 33554432000 4194304 4196468 140735345510400 140735345492944 139706812727031 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
/proc/3083/statm: 3521714 58955 3576 1 0 3483785 0
[pid=3083/tid=3085] ppid=3080 vsize=14086856 memory=233892 CPUtime=1.44 cores=0,2,4,6
/proc/3083/task/3085/stat : 3085 (java) R 3080 3083 1924 0 -1 4202560 15885 0 0 0 139 5 0 0 20 0 15 0 41000751 14424940544 58955 33554432000 4194304 4196468 140735345510400 139706816962352 139706798976272 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3086] ppid=3080 vsize=14086856 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/3083/task/3086/stat : 3086 (java) S 3080 3083 1924 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 15 0 41000752 14424940544 58955 33554432000 4194304 4196468 140735345510400 139706765347600 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3087] ppid=3080 vsize=14086856 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3083/task/3087/stat : 3087 (java) S 3080 3083 1924 0 -1 1077944384 318 0 0 0 1 0 0 0 20 0 15 0 41000752 14424940544 58955 33554432000 4194304 4196468 140735345510400 139706406988688 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3088] ppid=3080 vsize=14086856 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3083/task/3088/stat : 3088 (java) S 3080 3083 1924 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 15 0 41000752 14424940544 58955 33554432000 4194304 4196468 140735345510400 139706405936144 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3089] ppid=3080 vsize=14086856 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3083/task/3089/stat : 3089 (java) S 3080 3083 1924 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 15 0 41000752 14424940544 58955 33554432000 4194304 4196468 140735345510400 139706404883600 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3090] ppid=3080 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3090/stat : 3090 (java) S 3080 3083 1924 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 41000753 14424940544 58955 33554432000 4194304 4196468 140735345510400 139705725724656 139706812738178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0

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

/proc/3083/task/3085/stat : 3085 (java) R 3080 3083 1924 0 -1 4202560 209715 0 0 0 224539 62 0 0 20 0 15 0 41000751 14429134848 417209 33554432000 4194304 4196468 140735345510400 139706816964672 139706455776970 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3086] ppid=3080 vsize=14090952 memory=1661816 CPUtime=14.24 cores=0,2,4,6
/proc/3083/task/3086/stat : 3086 (java) S 3080 3083 1924 0 -1 1077944384 41024 0 0 0 1336 88 0 0 20 0 15 0 41000752 14429134848 417209 33554432000 4194304 4196468 140735345510400 139706765347600 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3087] ppid=3080 vsize=14090952 memory=1643072 CPUtime=14.23 cores=0,2,4,6
/proc/3083/task/3087/stat : 3087 (java) S 3080 3083 1924 0 -1 1077944384 42748 0 0 0 1338 85 0 0 20 0 15 0 41000752 14429134848 417209 33554432000 4194304 4196468 140735345510400 139706406988688 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3088] ppid=3080 vsize=14090952 memory=280333858514208 CPUtime=14.23 cores=0,2,4,6
/proc/3083/task/3088/stat : 3088 (java) S 3080 3083 1924 0 -1 1077944384 37570 0 0 0 1336 87 0 0 20 0 15 0 41000752 14429134848 417209 33554432000 4194304 4196468 140735345510400 139706405936144 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3089] ppid=3080 vsize=14090952 memory=14356 CPUtime=14.22 cores=0,2,4,6
/proc/3083/task/3089/stat : 3089 (java) S 3080 3083 1924 0 -1 1077944384 40637 0 0 0 1331 91 0 0 20 0 15 0 41000752 14429134848 417209 33554432000 4194304 4196468 140735345510400 139706404883600 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3090] ppid=3080 vsize=14090952 memory=1658448 CPUtime=1.11 cores=0,2,4,6
/proc/3083/task/3090/stat : 3090 (java) S 3080 3083 1924 0 -1 1077944384 11819 0 0 0 93 18 0 0 20 0 15 0 41000753 14429134848 417209 33554432000 4194304 4196468 140735345510400 139705725724656 139706812738178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3091] ppid=3080 vsize=14090952 memory=1665740 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3091/stat : 3091 (java) S 3080 3083 1924 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 41000754 14429134848 417209 33554432000 4194304 4196468 140735345510400 139705724670944 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3092] ppid=3080 vsize=14090952 memory=1663640 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3092/stat : 3092 (java) S 3080 3083 1924 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 41000754 14429134848 417209 33554432000 4194304 4196468 140735345510400 139705723618304 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3093] ppid=3080 vsize=14090952 memory=1668836 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3093/stat : 3093 (java) S 3080 3083 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41000756 14429134848 417209 33554432000 4194304 4196468 140735345510400 139705722566864 139706812745627 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3094] ppid=3080 vsize=14090952 memory=1654304 CPUtime=3.25 cores=0,2,4,6
/proc/3083/task/3094/stat : 3094 (java) S 3080 3083 1924 0 -1 1077944384 10905 0 0 0 323 2 0 0 20 0 15 0 41000756 14429134848 417209 33554432000 4194304 4196468 140735345510400 139705721514480 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3095] ppid=3080 vsize=14090952 memory=1668836 CPUtime=3.41 cores=0,2,4,6
/proc/3083/task/3095/stat : 3095 (java) S 3080 3083 1924 0 -1 1077944384 18252 0 0 0 338 3 0 0 20 0 15 0 41000756 14429134848 417209 33554432000 4194304 4196468 140735345510400 139705720461936 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3096] ppid=3080 vsize=14090952 memory=1660496 CPUtime=1.1 cores=0,2,4,6
/proc/3083/task/3096/stat : 3096 (java) S 3080 3083 1924 0 -1 1077944384 19000 0 0 0 107 3 0 0 20 0 15 0 41000756 14429134848 417209 33554432000 4194304 4196468 140735345510400 139705719409392 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3097] ppid=3080 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3097/stat : 3097 (java) S 3080 3083 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41000757 14429134848 417209 33554432000 4194304 4196468 140735345510400 139705718357088 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3098] ppid=3080 vsize=14090952 memory=1642024 CPUtime=1.28 cores=0,2,4,6
/proc/3083/task/3098/stat : 3098 (java) S 3080 3083 1924 0 -1 1077944384 1263 0 0 0 63 65 0 0 20 0 15 0 41000757 14429134848 417209 33554432000 4194304 4196468 140735345510400 139705717303600 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
Current children cumulated CPU time: 2313.17 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 1668836 KiB

[startup+2322.3 s]
/proc/loadavg: 1.65 1.58 1.54 3/219 3276
/proc/meminfo: memFree=22405984/32770624 swapFree=67108860/67108860
[pid=3083] ppid=3080 vsize=14090952 memory=1672816 CPUtime=2374.65 cores=0,2,4,6
/proc/3083/stat : 3083 (java) S 3080 3083 1924 0 -1 1077944320 442942 0 0 0 236979 486 0 0 20 0 15 0 41000751 14429134848 418204 33554432000 4194304 4196468 140735345510400 140735345492944 139706812727031 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
/proc/3083/statm: 3522738 418204 3612 1 0 3484809 0
[pid=3083/tid=3085] ppid=3080 vsize=14090952 memory=1675384 CPUtime=2305.44 cores=0,2,4,6
/proc/3083/task/3085/stat : 3085 (java) R 3080 3083 1924 0 -1 4202560 216017 0 0 0 230482 62 0 0 20 0 15 0 41000751 14429134848 418204 33554432000 4194304 4196468 140735345510400 139706816964672 139706455289017 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3086] ppid=3080 vsize=14090952 memory=1673844 CPUtime=14.74 cores=0,2,4,6
/proc/3083/task/3086/stat : 3086 (java) S 3080 3083 1924 0 -1 1077944384 41673 0 0 0 1385 89 0 0 20 0 15 0 41000752 14429134848 418204 33554432000 4194304 4196468 140735345510400 139706765347600 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3087] ppid=3080 vsize=14090952 memory=2340 CPUtime=14.72 cores=0,2,4,6
/proc/3083/task/3087/stat : 3087 (java) S 3080 3083 1924 0 -1 1077944384 43239 0 0 0 1387 85 0 0 20 0 15 0 41000752 14429134848 418204 33554432000 4194304 4196468 140735345510400 139706406988688 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3088] ppid=3080 vsize=14090952 memory=1673332 CPUtime=14.72 cores=0,2,4,6
/proc/3083/task/3088/stat : 3088 (java) S 3080 3083 1924 0 -1 1077944384 38176 0 0 0 1385 87 0 0 20 0 15 0 41000752 14429134848 418204 33554432000 4194304 4196468 140735345510400 139706405936144 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3089] ppid=3080 vsize=14090952 memory=1673332 CPUtime=14.7 cores=0,2,4,6
/proc/3083/task/3089/stat : 3089 (java) S 3080 3083 1924 0 -1 1077944384 41134 0 0 0 1379 91 0 0 20 0 15 0 41000752 14429134848 418204 33554432000 4194304 4196468 140735345510400 139706404883600 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3090] ppid=3080 vsize=14090952 memory=1674356 CPUtime=1.15 cores=0,2,4,6
/proc/3083/task/3090/stat : 3090 (java) S 3080 3083 1924 0 -1 1077944384 11853 0 0 0 97 18 0 0 20 0 15 0 41000753 14429134848 418204 33554432000 4194304 4196468 140735345510400 139705725724656 139706812738178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3091] ppid=3080 vsize=14090952 memory=1674868 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3091/stat : 3091 (java) S 3080 3083 1924 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 41000754 14429134848 418204 33554432000 4194304 4196468 140735345510400 139705724670944 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3092] ppid=3080 vsize=14090952 memory=1680772 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3092/stat : 3092 (java) S 3080 3083 1924 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 41000754 14429134848 418204 33554432000 4194304 4196468 140735345510400 139705723618304 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3093] ppid=3080 vsize=14090952 memory=1673332 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3093/stat : 3093 (java) S 3080 3083 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41000756 14429134848 418204 33554432000 4194304 4196468 140735345510400 139705722566864 139706812745627 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3094] ppid=3080 vsize=14090952 memory=1673332 CPUtime=3.25 cores=0,2,4,6
/proc/3083/task/3094/stat : 3094 (java) S 3080 3083 1924 0 -1 1077944384 10907 0 0 0 323 2 0 0 20 0 15 0 41000756 14429134848 418204 33554432000 4194304 4196468 140735345510400 139705721514480 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3095] ppid=3080 vsize=14090952 memory=1673332 CPUtime=3.41 cores=0,2,4,6
/proc/3083/task/3095/stat : 3095 (java) S 3080 3083 1924 0 -1 1077944384 18254 0 0 0 338 3 0 0 20 0 15 0 41000756 14429134848 418204 33554432000 4194304 4196468 140735345510400 139705720461936 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3096] ppid=3080 vsize=14090952 memory=1673332 CPUtime=1.1 cores=0,2,4,6
/proc/3083/task/3096/stat : 3096 (java) S 3080 3083 1924 0 -1 1077944384 19002 0 0 0 107 3 0 0 20 0 15 0 41000756 14429134848 418204 33554432000 4194304 4196468 140735345510400 139705719409392 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3097] ppid=3080 vsize=14090952 memory=1673332 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3097/stat : 3097 (java) S 3080 3083 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41000757 14429134848 418204 33554432000 4194304 4196468 140735345510400 139705718357088 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3098] ppid=3080 vsize=14090952 memory=1673844 CPUtime=1.33 cores=0,2,4,6
/proc/3083/task/3098/stat : 3098 (java) S 3080 3083 1924 0 -1 1077944384 1269 0 0 0 66 67 0 0 20 0 15 0 41000757 14429134848 418204 33554432000 4194304 4196468 140735345510400 139705717303600 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
Current children cumulated CPU time: 2374.65 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 1672816 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2347.11 s]
/proc/loadavg: 1.42 1.53 1.52 3/219 3277
/proc/meminfo: memFree=22409524/32770624 swapFree=67108860/67108860
[pid=3083] ppid=3080 vsize=14090952 memory=1669904 CPUtime=2400.05 cores=0,2,4,6
/proc/3083/stat : 3083 (java) S 3080 3083 1924 0 -1 1077944320 446667 0 0 0 239517 488 0 0 20 0 15 0 41000751 14429134848 417476 33554432000 4194304 4196468 140735345510400 140735345492944 139706812727031 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
/proc/3083/statm: 3522738 417476 3612 1 0 3484809 0
[pid=3083/tid=3085] ppid=3080 vsize=14090952 memory=1669740 CPUtime=2330.01 cores=0,2,4,6
/proc/3083/task/3085/stat : 3085 (java) R 3080 3083 1924 0 -1 4202560 216798 0 0 0 232938 63 0 0 20 0 15 0 41000751 14429134848 417476 33554432000 4194304 4196468 140735345510400 139706816964672 139706455777290 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3086] ppid=3080 vsize=14090952 memory=1669868 CPUtime=14.94 cores=0,2,4,6
/proc/3083/task/3086/stat : 3086 (java) S 3080 3083 1924 0 -1 1077944384 42629 0 0 0 1405 89 0 0 20 0 15 0 41000752 14429134848 417476 33554432000 4194304 4196468 140735345510400 139706765347600 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3087] ppid=3080 vsize=14090952 memory=1671280 CPUtime=14.93 cores=0,2,4,6
/proc/3083/task/3087/stat : 3087 (java) S 3080 3083 1924 0 -1 1077944384 44035 0 0 0 1407 86 0 0 20 0 15 0 41000752 14429134848 417476 33554432000 4194304 4196468 140735345510400 139706406988688 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3088] ppid=3080 vsize=14090952 memory=4052 CPUtime=14.92 cores=0,2,4,6
/proc/3083/task/3088/stat : 3088 (java) S 3080 3083 1924 0 -1 1077944384 38756 0 0 0 1405 87 0 0 20 0 15 0 41000752 14429134848 417476 33554432000 4194304 4196468 140735345510400 139706405936144 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3089] ppid=3080 vsize=14090952 memory=1669292 CPUtime=14.91 cores=0,2,4,6
/proc/3083/task/3089/stat : 3089 (java) S 3080 3083 1924 0 -1 1077944384 41571 0 0 0 1399 92 0 0 20 0 15 0 41000752 14429134848 417476 33554432000 4194304 4196468 140735345510400 139706404883600 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3090] ppid=3080 vsize=14090952 memory=1671396 CPUtime=1.18 cores=0,2,4,6
/proc/3083/task/3090/stat : 3090 (java) S 3080 3083 1924 0 -1 1077944384 12018 0 0 0 99 19 0 0 20 0 15 0 41000753 14429134848 417476 33554432000 4194304 4196468 140735345510400 139705725724656 139706812738178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3091] ppid=3080 vsize=14090952 memory=1670420 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3091/stat : 3091 (java) S 3080 3083 1924 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 41000754 14429134848 417476 33554432000 4194304 4196468 140735345510400 139705724670944 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3092] ppid=3080 vsize=14090952 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3092/stat : 3092 (java) S 3080 3083 1924 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 41000754 14429134848 417476 33554432000 4194304 4196468 140735345510400 139705723618304 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3093] ppid=3080 vsize=14090952 memory=1669904 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3093/stat : 3093 (java) S 3080 3083 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41000756 14429134848 417476 33554432000 4194304 4196468 140735345510400 139705722566864 139706812745627 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3094] ppid=3080 vsize=14090952 memory=1674356 CPUtime=3.25 cores=0,2,4,6
/proc/3083/task/3094/stat : 3094 (java) S 3080 3083 1924 0 -1 1077944384 10907 0 0 0 323 2 0 0 20 0 15 0 41000756 14429134848 417476 33554432000 4194304 4196468 140735345510400 139705721514480 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3095] ppid=3080 vsize=14090952 memory=1404 CPUtime=3.41 cores=0,2,4,6
/proc/3083/task/3095/stat : 3095 (java) S 3080 3083 1924 0 -1 1077944384 18254 0 0 0 338 3 0 0 20 0 15 0 41000756 14429134848 417476 33554432000 4194304 4196468 140735345510400 139705720461936 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3096] ppid=3080 vsize=14090952 memory=3092 CPUtime=1.1 cores=0,2,4,6
/proc/3083/task/3096/stat : 3096 (java) S 3080 3083 1924 0 -1 1077944384 19002 0 0 0 107 3 0 0 20 0 15 0 41000756 14429134848 417476 33554432000 4194304 4196468 140735345510400 139705719409392 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3097] ppid=3080 vsize=14090952 memory=1670420 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3097/stat : 3097 (java) S 3080 3083 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41000757 14429134848 417476 33554432000 4194304 4196468 140735345510400 139705718357088 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3098] ppid=3080 vsize=14090952 memory=1670420 CPUtime=1.33 cores=0,2,4,6
/proc/3083/task/3098/stat : 3098 (java) S 3080 3083 1924 0 -1 1077944384 1279 0 0 0 66 67 0 0 20 0 15 0 41000757 14429134848 417476 33554432000 4194304 4196468 140735345510400 139705717303600 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 1669904 KiB

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

[startup+2347.14 s]
# the end of solver process 3083 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2395.19 s, system=4.89243 s

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

[startup+2347.11 s]
/proc/loadavg: 1.42 1.53 1.52 3/219 3277
/proc/meminfo: memFree=22409524/32770624 swapFree=67108860/67108860
[pid=3083] ppid=3080 vsize=14090952 memory=1669904 CPUtime=2400.05 cores=0,2,4,6
/proc/3083/stat : 3083 (java) S 3080 3083 1924 0 -1 1077944320 446667 0 0 0 239517 488 0 0 20 0 15 0 41000751 14429134848 417476 33554432000 4194304 4196468 140735345510400 140735345492944 139706812727031 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
/proc/3083/statm: 3522738 417476 3612 1 0 3484809 0
[pid=3083/tid=3085] ppid=3080 vsize=14090952 memory=1669740 CPUtime=2330.01 cores=0,2,4,6
/proc/3083/task/3085/stat : 3085 (java) R 3080 3083 1924 0 -1 4202560 216798 0 0 0 232938 63 0 0 20 0 15 0 41000751 14429134848 417476 33554432000 4194304 4196468 140735345510400 139706816964672 139706455777290 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3086] ppid=3080 vsize=14090952 memory=1669868 CPUtime=14.94 cores=0,2,4,6
/proc/3083/task/3086/stat : 3086 (java) S 3080 3083 1924 0 -1 1077944384 42629 0 0 0 1405 89 0 0 20 0 15 0 41000752 14429134848 417476 33554432000 4194304 4196468 140735345510400 139706765347600 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3087] ppid=3080 vsize=14090952 memory=1671280 CPUtime=14.93 cores=0,2,4,6
/proc/3083/task/3087/stat : 3087 (java) S 3080 3083 1924 0 -1 1077944384 44035 0 0 0 1407 86 0 0 20 0 15 0 41000752 14429134848 417476 33554432000 4194304 4196468 140735345510400 139706406988688 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3088] ppid=3080 vsize=14090952 memory=4052 CPUtime=14.92 cores=0,2,4,6
/proc/3083/task/3088/stat : 3088 (java) S 3080 3083 1924 0 -1 1077944384 38756 0 0 0 1405 87 0 0 20 0 15 0 41000752 14429134848 417476 33554432000 4194304 4196468 140735345510400 139706405936144 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3089] ppid=3080 vsize=14090952 memory=1669292 CPUtime=14.91 cores=0,2,4,6
/proc/3083/task/3089/stat : 3089 (java) S 3080 3083 1924 0 -1 1077944384 41571 0 0 0 1399 92 0 0 20 0 15 0 41000752 14429134848 417476 33554432000 4194304 4196468 140735345510400 139706404883600 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3090] ppid=3080 vsize=14090952 memory=1671396 CPUtime=1.18 cores=0,2,4,6
/proc/3083/task/3090/stat : 3090 (java) S 3080 3083 1924 0 -1 1077944384 12018 0 0 0 99 19 0 0 20 0 15 0 41000753 14429134848 417476 33554432000 4194304 4196468 140735345510400 139705725724656 139706812738178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3091] ppid=3080 vsize=14090952 memory=1670420 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3091/stat : 3091 (java) S 3080 3083 1924 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 41000754 14429134848 417476 33554432000 4194304 4196468 140735345510400 139705724670944 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3092] ppid=3080 vsize=14090952 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3092/stat : 3092 (java) S 3080 3083 1924 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 41000754 14429134848 417476 33554432000 4194304 4196468 140735345510400 139705723618304 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3093] ppid=3080 vsize=14090952 memory=1669904 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3093/stat : 3093 (java) S 3080 3083 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41000756 14429134848 417476 33554432000 4194304 4196468 140735345510400 139705722566864 139706812745627 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3094] ppid=3080 vsize=14090952 memory=1674356 CPUtime=3.25 cores=0,2,4,6
/proc/3083/task/3094/stat : 3094 (java) S 3080 3083 1924 0 -1 1077944384 10907 0 0 0 323 2 0 0 20 0 15 0 41000756 14429134848 417476 33554432000 4194304 4196468 140735345510400 139705721514480 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3095] ppid=3080 vsize=14090952 memory=1404 CPUtime=3.41 cores=0,2,4,6
/proc/3083/task/3095/stat : 3095 (java) S 3080 3083 1924 0 -1 1077944384 18254 0 0 0 338 3 0 0 20 0 15 0 41000756 14429134848 417476 33554432000 4194304 4196468 140735345510400 139705720461936 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3096] ppid=3080 vsize=14090952 memory=3092 CPUtime=1.1 cores=0,2,4,6
/proc/3083/task/3096/stat : 3096 (java) S 3080 3083 1924 0 -1 1077944384 19002 0 0 0 107 3 0 0 20 0 15 0 41000756 14429134848 417476 33554432000 4194304 4196468 140735345510400 139705719409392 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3097] ppid=3080 vsize=14090952 memory=1670420 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3097/stat : 3097 (java) S 3080 3083 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41000757 14429134848 417476 33554432000 4194304 4196468 140735345510400 139705718357088 139706812737237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
[pid=3083/tid=3098] ppid=3080 vsize=14090952 memory=1670420 CPUtime=1.33 cores=0,2,4,6
/proc/3083/task/3098/stat : 3098 (java) S 3080 3083 1924 0 -1 1077944384 1279 0 0 0 66 67 0 0 20 0 15 0 41000757 14429134848 417476 33554432000 4194304 4196468 140735345510400 139705717303600 139706812738178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11362304 140735345517640 140735345517833 140735345517833 140735345520591 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 1669904 KiB

Child status: 143
Real time (s): 2347.14
CPU time (s): 2400.08
CPU user time (s): 2395.19
CPU system time (s): 4.89243
CPU usage (%): 102.256
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 4933804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.19
system time used= 4.89243
maximum resident set size= 4933888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 447103
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79179
involuntary context switches= 5610


# summary of solver processes directly reported to runsolver:
#   pid: 3083
#   total CPU time (s): 2400.08
#   total CPU user time (s): 2395.19
#   total CPU system time (s): 4.89243

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3047 second user time and 23.5776 second system time

The end

Launcher Data 

Begin job on node134 at 2018-07-22 06:39:35
IDJOB=4290259
IDBENCH=141138
IDSOLVER=2743
FILE ID=node134/4290259-1532234375
RUNJOBID= node134-1532224835-1955
PBS_JOBID= 21018943
Free space on /tmp= 55952 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-07-02
BENCH NAME= XCSP18/GraphColoring/GraphColoring-3-fullins-5_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4290259-1532234375/watcher-4290259-1532234375 -o /tmp/evaluation-result-4290259-1532234375/solver-4290259-1532234375 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532224835-1955 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 2113037009 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290259-1532234375.xml

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

MD5SUM BENCH= 51dc9de19dcdd21b605810f9d7307a76
RANDOM SEED=2113037009

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.68
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:        26191564 kB
MemAvailable:   30625936 kB
Buffers:          146860 kB
Cached:          4552784 kB
SwapCached:            0 kB
Active:          2758624 kB
Inactive:        3348064 kB
Active(anon):    1356604 kB
Inactive(anon):    70372 kB
Active(file):    1402020 kB
Inactive(file):  3277692 kB
Unevictable:        7396 kB
Mlocked:            7396 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             37140 kB
Writeback:             0 kB
AnonPages:       1484396 kB
Mapped:            48892 kB
Shmem:             17056 kB
Slab:             168496 kB
SReclaimable:     140992 kB
SUnreclaim:        27504 kB
KernelStack:        3840 kB
PageTables:         8068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3399120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1353728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55924 MiB
End job on node134 at 2018-07-22 07:18:43