Trace number 4259646

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4SAT (TO)1237 258.58899 240.034

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-opt-vtxcov/
Pb-vtxcov-v2000-e4000-05.xml
MD5SUM31e85661316b8aad2d1246d7b0a73c1b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1163
Best CPU time to get the best result obtained on this benchmark2004.46
Satisfiable
(Un)Satisfiability was proved
Number of variables1957
Number of constraints4000
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1957}]
Minimum variable degree2
Maximum variable degree12
Distribution of variable degrees[{"degree":2,"count":151},{"degree":3,"count":275},{"degree":4,"count":378},{"degree":5,"count":395},{"degree":6,"count":340},{"degree":7,"count":211},{"degree":8,"count":100},{"degree":9,"count":61},{"degree":10,"count":31},{"degree":11,"count":13},{"degree":12,"count":2}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":4000}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":4000}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

3.29/2.17	c Concrete v3.4 running
15.83/6.60	o 1957
16.99/7.00	o 1956
17.49/7.32	o 1955
18.39/7.67	o 1954
19.04/7.97	o 1953
19.40/8.26	o 1952
19.79/8.55	o 1951
20.28/8.83	o 1950
20.59/9.10	o 1949
20.81/9.37	o 1948
21.15/9.64	o 1947
21.46/9.91	o 1946
21.74/10.19	o 1945
22.09/10.46	o 1944
22.40/10.72	o 1943
22.60/10.98	o 1942
22.90/11.24	o 1941
23.22/11.51	o 1940
23.42/11.77	o 1939
23.77/12.06	o 1938
24.07/12.32	o 1937
24.27/12.58	o 1936
24.58/12.84	o 1935
24.78/13.09	o 1934
25.09/13.35	o 1933
25.39/13.62	o 1932
25.60/13.88	o 1931
25.94/14.17	o 1930
26.30/14.44	o 1929
26.49/14.69	o 1928
26.79/14.95	o 1927
27.12/15.21	o 1926
27.33/15.47	o 1925
27.63/15.72	o 1924
27.83/15.98	o 1923
28.14/16.23	o 1922
28.39/16.50	o 1921
28.70/16.76	o 1920
29.00/17.01	o 1919
29.20/17.26	o 1918
29.50/17.51	o 1917
29.71/17.76	o 1916
30.01/18.02	o 1915
30.22/18.27	o 1914
30.63/18.56	o 1913
30.94/18.80	o 1912
31.14/19.09	o 1911
31.55/19.33	o 1910
31.75/19.59	o 1909
32.06/19.83	o 1908
32.26/20.08	o 1907
32.56/20.32	o 1906
32.81/20.57	o 1905
33.16/20.82	o 1904
33.38/21.06	o 1903
33.67/21.31	o 1902
33.88/21.55	o 1901
34.18/21.80	o 1900
34.51/22.08	o 1899
34.81/22.32	o 1898
35.01/22.55	o 1897
35.21/22.79	o 1896
35.52/23.03	o 1895
35.73/23.27	o 1894
36.04/23.51	o 1893
36.24/23.75	o 1892
36.44/23.99	o 1891
36.75/24.23	o 1890
36.95/24.47	o 1889
37.25/24.70	o 1888
37.46/24.94	o 1887
37.66/25.19	o 1886
38.00/25.42	o 1885
38.20/25.66	o 1884
38.50/25.90	o 1883
38.70/26.13	o 1882
38.91/26.36	o 1881
39.13/26.59	o 1880
39.44/26.82	o 1879
39.63/27.05	o 1878
39.83/27.29	o 1877
40.15/27.52	o 1876
40.34/27.75	o 1875
40.54/27.99	o 1874
40.85/28.22	o 1873
41.11/28.48	o 1872
41.42/28.71	o 1871
41.62/28.95	o 1870
41.82/29.18	o 1869
42.12/29.41	o 1868
42.33/29.64	o 1867
42.53/29.87	o 1866
42.83/30.11	o 1865
43.03/30.34	o 1864
43.23/30.57	o 1863
43.54/30.80	o 1862
43.75/31.03	o 1861
43.95/31.27	o 1860
44.25/31.50	o 1859
44.45/31.73	o 1858
44.67/31.96	o 1857
45.03/32.21	o 1856
45.23/32.44	o 1855
45.43/32.67	o 1854
45.63/32.90	o 1853
45.95/33.13	o 1852
46.14/33.35	o 1851
46.34/33.58	o 1850
46.65/33.80	o 1849
46.85/34.03	o 1848
47.05/34.26	o 1847
47.26/34.48	o 1846
47.56/34.70	o 1845
47.76/34.93	o 1844
47.97/35.15	o 1843
48.17/35.38	o 1842
48.47/35.60	o 1841
48.67/35.84	o 1840
48.92/36.06	o 1839
49.12/36.29	o 1838
49.43/36.51	o 1837
49.63/36.74	o 1836
49.83/36.96	o 1835
50.04/37.18	o 1834
50.24/37.40	o 1833
50.54/37.63	o 1832
50.75/37.86	o 1831
50.96/38.08	o 1830
51.26/38.30	o 1829
51.48/38.51	o 1828
51.67/38.73	o 1827
51.87/38.95	o 1826
52.07/39.16	o 1825
52.28/39.38	o 1824
52.59/39.61	o 1823
52.78/39.83	o 1822
52.99/40.05	o 1821
53.25/40.28	o 1820
53.45/40.49	o 1819
53.76/40.71	o 1818
53.95/40.91	o 1817
54.15/41.13	o 1816
54.36/41.35	o 1815
54.56/41.57	o 1814
54.76/41.78	o 1813
55.07/42.00	o 1812
55.27/42.21	o 1811
55.47/42.43	o 1810
55.68/42.64	o 1809
55.88/42.86	o 1808
56.08/43.08	o 1807
56.28/43.29	o 1806
56.58/43.51	o 1805
56.78/43.71	o 1804
56.99/43.92	o 1803
57.20/44.14	o 1802
57.39/44.35	o 1801
57.64/44.57	o 1800
57.85/44.78	o 1799
58.15/45.00	o 1798
58.36/45.21	o 1797
58.56/45.42	o 1796
58.76/45.63	o 1795
58.96/45.84	o 1794
59.17/46.05	o 1793
59.37/46.25	o 1792
59.57/46.46	o 1791
59.77/46.67	o 1790
59.98/46.88	o 1789
60.18/47.09	o 1788
60.38/47.30	o 1787
60.68/47.51	o 1786
60.88/47.71	o 1785
61.08/47.92	o 1784
61.29/48.14	o 1783
61.49/48.35	o 1782
61.70/48.56	o 1781
61.89/48.76	o 1780
62.10/48.97	o 1779
62.36/49.19	o 1778
62.56/49.39	o 1777
62.87/49.60	o 1776
63.07/49.81	o 1775
63.27/50.02	o 1774
63.47/50.23	o 1773
63.67/50.43	o 1772
63.89/50.64	o 1771
64.09/50.84	o 1770
64.29/51.04	o 1769
64.49/51.24	o 1768
64.69/51.44	o 1767
64.90/51.64	o 1766
65.11/51.84	o 1765
65.31/52.04	o 1764
65.51/52.24	o 1763
65.71/52.45	o 1762
65.91/52.65	o 1761
66.12/52.84	o 1760
66.32/53.04	o 1759
66.52/53.24	o 1758
66.72/53.44	o 1757
66.93/53.65	o 1756
67.19/53.87	o 1755
67.40/54.08	o 1754
67.60/54.28	o 1753
67.93/54.47	o 1752
68.13/54.67	o 1751
68.33/54.88	o 1750
68.54/55.07	o 1749
68.74/55.26	o 1748
68.94/55.45	o 1747
69.14/55.65	o 1746
69.34/55.84	o 1745
69.54/56.03	o 1744
69.75/56.23	o 1743
69.95/56.42	o 1742
70.15/56.62	o 1741
70.35/56.81	o 1740
70.55/57.00	o 1739
70.66/57.19	o 1738
70.86/57.38	o 1737
71.06/57.57	o 1736
71.26/57.76	o 1735
71.46/57.94	o 1734
71.66/58.14	o 1733
71.87/58.33	o 1732
72.07/58.52	o 1731
72.27/58.73	o 1730
72.50/58.92	o 1729
72.71/59.10	o 1728
72.82/59.29	o 1727
73.02/59.49	o 1726
73.22/59.68	o 1725
73.43/59.87	o 1724
73.63/60.06	o 1723
73.83/60.26	o 1722
74.03/60.44	o 1721
74.24/60.64	o 1720
74.44/60.82	o 1719
74.64/61.01	o 1718
74.74/61.19	o 1717
74.94/61.38	o 1716
75.14/61.58	o 1715
75.35/61.76	o 1714
75.55/61.96	o 1713
75.75/62.14	o 1712
75.95/62.34	o 1711
76.15/62.53	o 1710
76.36/62.72	o 1709
76.55/62.90	o 1708
76.66/63.10	o 1707
76.86/63.28	o 1706
77.07/63.47	o 1705
77.32/63.67	o 1704
77.53/63.86	o 1703
77.74/64.04	o 1702
77.94/64.23	o 1701
78.14/64.41	o 1700
78.35/64.60	o 1699
78.45/64.79	o 1698
78.66/64.97	o 1697
78.85/65.16	o 1696
79.06/65.35	o 1695
79.26/65.53	o 1694
79.46/65.71	o 1693
79.66/65.90	o 1692
79.77/66.09	o 1691
79.97/66.27	o 1690
80.17/66.46	o 1689
80.37/66.64	o 1688
80.58/66.82	o 1687
80.78/67.00	o 1686
80.88/67.18	o 1685
81.08/67.36	o 1684
81.28/67.54	o 1683
81.48/67.72	o 1682
81.68/67.90	o 1681
81.78/68.08	o 1680
82.00/68.27	o 1679
82.19/68.45	o 1678
82.40/68.63	o 1677
82.65/68.83	o 1676
82.85/69.01	o 1675
82.95/69.19	o 1674
83.16/69.37	o 1673
83.36/69.55	o 1672
83.56/69.73	o 1671
83.76/69.91	o 1670
83.86/70.09	o 1669
84.06/70.27	o 1668
84.27/70.44	o 1667
84.46/70.62	o 1666
84.56/70.79	o 1665
84.77/70.97	o 1664
84.97/71.15	o 1663
85.17/71.33	o 1662
85.49/71.69	o 1661
85.68/71.87	o 1660
85.89/72.04	o 1659
86.10/72.21	o 1658
86.20/72.37	o 1657
86.40/72.54	o 1656
86.60/72.71	o 1655
86.70/72.88	o 1654
86.90/73.05	o 1653
87.10/73.22	o 1652
87.31/73.40	o 1651
87.41/73.57	o 1650
87.62/73.76	o 1649
87.87/73.93	o 1648
88.07/74.10	o 1647
88.17/74.27	o 1646
88.38/74.44	o 1645
88.58/74.61	o 1644
88.68/74.78	o 1643
88.88/74.96	o 1642
89.08/75.12	o 1641
89.18/75.29	o 1640
89.38/75.46	o 1639
89.59/75.62	o 1638
89.69/75.79	o 1637
89.90/75.95	o 1636
90.09/76.11	o 1635
90.19/76.28	o 1634
90.40/76.45	o 1633
90.60/76.62	o 1632
90.70/76.78	o 1631
90.90/76.95	o 1630
91.11/77.12	o 1629
91.21/77.29	o 1628
91.40/77.45	o 1627
91.60/77.62	o 1626
91.70/77.78	o 1625
91.91/77.95	o 1624
92.12/78.11	o 1623
92.22/78.27	o 1622
92.41/78.43	o 1621
92.52/78.59	o 1620
92.72/78.76	o 1619
92.93/78.92	o 1618
93.16/79.10	o 1617
93.27/79.27	o 1616
93.47/79.44	o 1615
93.57/79.59	o 1614
93.77/79.75	o 1613
93.98/79.91	o 1612
94.08/80.07	o 1611
94.28/80.23	o 1610
94.38/80.38	o 1609
94.58/80.55	o 1608
94.79/80.71	o 1607
94.89/80.86	o 1606
95.09/81.02	o 1605
95.19/81.17	o 1604
95.39/81.33	o 1603
95.50/81.49	o 1602
95.69/81.65	o 1601
95.89/81.80	o 1600
96.00/81.96	o 1599
96.20/82.11	o 1598
96.30/82.27	o 1597
96.50/82.43	o 1596
96.61/82.58	o 1595
96.81/82.74	o 1594
96.91/82.90	o 1593
97.11/83.06	o 1592
97.31/83.21	o 1591
97.42/83.37	o 1590
97.62/83.53	o 1589
97.73/83.68	o 1588
97.92/83.84	o 1587
98.05/83.99	o 1586
98.26/84.15	o 1585
98.46/84.30	o 1584
98.56/84.45	o 1583
98.76/84.60	o 1582
98.87/84.75	o 1581
99.07/84.92	o 1580
99.18/85.07	o 1579
99.38/85.22	o 1578
99.69/85.53	o 1577
100.20/86.01	o 1576
100.64/86.48	o 1575
100.85/86.62	o 1574
100.96/86.77	o 1573
101.17/86.92	o 1572
101.27/87.07	o 1571
101.46/87.22	o 1570
101.56/87.36	o 1569
101.77/87.50	o 1568
101.87/87.64	o 1567
101.97/87.79	o 1566
102.17/87.93	o 1565
102.28/88.08	o 1564
102.49/88.22	o 1563
102.61/88.37	o 1562
102.81/88.51	o 1561
102.91/88.65	o 1560
103.01/88.79	o 1559
103.21/88.93	o 1558
103.31/89.07	o 1557
103.52/89.21	o 1556
103.61/89.35	o 1555
103.71/89.49	o 1554
103.92/89.63	o 1553
104.02/89.77	o 1552
104.22/89.91	o 1551
104.32/90.05	o 1550
104.42/90.19	o 1549
104.63/90.34	o 1548
104.73/90.48	o 1547
104.93/90.62	o 1546
105.03/90.76	o 1545
105.13/90.89	o 1544
105.42/91.03	o 1543
105.52/91.16	o 1542
105.73/91.30	o 1541
105.83/91.44	o 1540
105.92/91.58	o 1539
106.13/91.71	o 1538
106.23/91.85	o 1537
106.33/91.99	o 1536
106.53/92.12	o 1535
106.63/92.27	o 1534
106.84/92.41	o 1533
106.97/92.55	o 1532
107.06/92.69	o 1531
107.26/92.82	o 1530
107.36/92.96	o 1529
107.47/93.09	o 1528
107.67/93.23	o 1527
107.77/93.37	o 1526
107.97/93.50	o 1525
108.07/93.64	o 1524
108.17/93.78	o 1523
108.37/93.91	o 1522
108.47/94.05	o 1521
108.57/94.18	o 1520
108.77/94.32	o 1519
108.88/94.46	o 1518
108.98/94.59	o 1517
109.18/94.72	o 1516
109.28/94.85	o 1515
109.38/94.99	o 1514
109.58/95.13	o 1513
109.68/95.26	o 1512
109.88/95.40	o 1511
109.98/95.53	o 1510
110.08/95.67	o 1509
110.30/95.81	o 1508
110.39/95.94	o 1507
110.49/96.07	o 1506
110.69/96.21	o 1505
110.79/96.34	o 1504
110.89/96.48	o 1503
111.11/96.61	o 1502
111.21/96.74	o 1501
111.32/96.87	o 1500
111.51/97.00	o 1499
111.61/97.13	o 1498
111.72/97.26	o 1497
111.82/97.39	o 1496
112.02/97.52	o 1495
112.12/97.65	o 1494
112.32/97.80	o 1493
112.43/97.93	o 1492
112.53/98.06	o 1491
112.63/98.19	o 1490
112.83/98.32	o 1489
112.93/98.45	o 1488
113.03/98.58	o 1487
113.23/98.70	o 1486
113.33/98.84	o 1485
113.43/98.97	o 1484
113.54/99.10	o 1483
113.73/99.22	o 1482
113.84/99.35	o 1481
113.94/99.48	o 1480
114.14/99.61	o 1479
114.24/99.74	o 1478
114.34/99.87	o 1477
114.55/100.00	o 1476
114.65/100.12	o 1475
114.75/100.29	o 1474
114.97/100.42	o 1473
115.71/101.17	o 1472
116.12/101.58	o 1471
116.83/102.29	o 1470
117.03/102.42	o 1469
117.13/102.54	o 1468
117.67/103.08	o 1467
117.77/103.20	o 1466
117.97/103.32	o 1465
118.11/103.46	o 1464
118.21/103.57	o 1463
118.40/103.72	o 1462
118.50/103.84	o 1461
118.60/103.96	o 1460
118.70/104.08	o 1459
118.91/104.21	o 1458
119.01/104.34	o 1457
119.11/104.46	o 1456
119.21/104.58	o 1455
119.51/104.85	o 1454
119.61/104.97	o 1453
119.71/105.08	o 1452
119.91/105.20	o 1451
120.01/105.32	o 1450
120.11/105.44	o 1449
120.22/105.55	o 1448
120.33/105.66	o 1447
120.44/105.78	o 1446
120.54/105.89	o 1445
120.74/106.01	o 1444
120.84/106.14	o 1443
120.94/106.25	o 1442
121.05/106.37	o 1441
121.15/106.50	o 1440
121.36/106.62	o 1439
121.47/106.73	o 1438
121.57/106.85	o 1437
121.66/106.96	o 1436
121.77/107.08	o 1435
121.87/107.19	o 1434
122.07/107.30	o 1433
122.17/107.42	o 1432
122.27/107.53	o 1431
122.37/107.64	o 1430
122.47/107.76	o 1429
122.58/107.87	o 1428
122.68/107.98	o 1427
122.77/108.09	o 1426
122.97/108.21	o 1425
123.07/108.32	o 1424
123.18/108.44	o 1423
123.28/108.55	o 1422
123.39/108.67	o 1421
123.49/108.78	o 1420
123.59/108.89	o 1419
123.80/109.00	o 1418
123.90/109.12	o 1417
124.00/109.23	o 1416
124.10/109.34	o 1415
124.20/109.45	o 1414
124.30/109.56	o 1413
124.41/109.68	o 1412
124.62/109.80	o 1411
124.74/109.91	o 1410
124.85/110.03	o 1409
124.95/110.14	o 1408
125.04/110.25	o 1407
125.14/110.36	o 1406
125.24/110.47	o 1405
125.34/110.58	o 1404
125.55/110.70	o 1403
125.65/110.81	o 1402
125.75/110.92	o 1401
125.85/111.03	o 1400
126.06/111.26	o 1399
126.16/111.37	o 1398
126.26/111.48	o 1397
126.36/111.59	o 1396
126.56/111.70	o 1395
126.66/111.81	o 1394
126.86/112.04	o 1393
126.96/112.14	o 1392
127.07/112.25	o 1391
127.17/112.36	o 1390
127.26/112.47	o 1389
127.48/112.60	o 1388
127.59/112.70	o 1387
127.69/112.81	o 1386
127.79/112.92	o 1385
127.89/113.03	o 1384
128.09/113.26	o 1383
128.32/113.49	o 1382
129.03/114.11	o 1381
129.23/114.36	o 1380
129.34/114.46	o 1379
130.48/115.55	o 1378
130.67/115.78	o 1377
130.77/115.88	o 1376
130.87/115.98	o 1375
131.07/116.19	o 1374
131.18/116.29	o 1373
131.28/116.38	o 1372
131.38/116.48	o 1371
131.78/116.81	o 1370
131.99/117.05	o 1369
132.19/117.26	o 1368
132.30/117.37	o 1367
132.40/117.47	o 1366
132.50/117.58	o 1365
132.61/117.68	o 1364
132.72/117.79	o 1363
133.01/118.00	o 1362
133.01/118.09	o 1361
133.11/118.19	o 1360
133.21/118.28	o 1359
133.32/118.38	o 1358
133.42/118.49	o 1357
133.72/118.70	o 1356
133.72/118.79	o 1355
133.93/118.91	o 1354
134.03/119.03	o 1353
134.13/119.13	o 1352
134.23/119.22	o 1351
134.33/119.32	o 1350
134.43/119.41	o 1349
134.53/119.52	o 1348
134.74/119.72	o 1347
134.95/119.95	o 1346
135.05/120.04	o 1345
135.15/120.13	o 1344
135.25/120.24	o 1343
135.35/120.33	o 1342
135.45/120.42	o 1341
135.55/120.52	o 1340
135.65/120.61	o 1339
135.75/120.71	o 1338
135.85/120.81	o 1337
135.95/120.92	o 1336
136.06/121.03	o 1335
136.25/121.24	o 1334
136.36/121.33	o 1333
136.46/121.42	o 1332
136.56/121.52	o 1331
136.66/121.61	o 1330
136.88/121.82	o 1329
136.98/121.94	o 1328
137.08/122.03	o 1327
137.19/122.12	o 1326
137.29/122.22	o 1325
137.38/122.32	o 1324
137.48/122.41	o 1323
137.68/122.61	o 1322
137.68/122.70	o 1321
137.79/122.79	o 1320
137.89/122.87	o 1319
137.99/122.96	o 1318
138.10/123.05	o 1317
138.20/123.14	o 1316
138.30/123.26	o 1315
138.40/123.35	o 1314
138.50/123.44	o 1313
138.60/123.53	o 1312
138.80/123.76	o 1311
138.92/123.85	o 1310
139.02/123.97	o 1309
139.12/124.07	o 1308
139.34/124.27	o 1307
139.72/124.68	o 1306
139.82/124.79	o 1305
140.03/124.99	o 1304
140.33/125.29	o 1303
141.36/126.28	o 1302
141.47/126.36	o 1301
141.97/126.89	o 1300
147.44/132.17	o 1299
148.16/132.88	o 1298
148.36/133.06	o 1297
148.77/133.45	o 1296
148.87/133.53	o 1295
149.60/134.21	o 1294
149.89/134.59	o 1293
150.10/134.77	o 1292
150.40/135.04	o 1291
150.50/135.12	o 1290
150.72/135.31	o 1289
150.82/135.49	o 1288
154.21/138.72	o 1287
154.31/138.80	o 1286
154.41/138.90	o 1285
156.57/141.09	o 1284
158.02/142.41	o 1283
158.12/142.60	o 1282
158.93/143.38	o 1281
159.03/143.46	o 1280
159.55/143.97	o 1279
159.65/144.05	o 1278
159.75/144.14	o 1277
159.85/144.22	o 1276
159.85/144.30	o 1275
162.42/146.75	o 1274
162.53/146.84	o 1273
162.63/146.94	o 1272
162.73/147.02	o 1271
162.83/147.10	o 1270
163.43/147.75	o 1269
164.47/148.70	o 1268
165.29/149.51	o 1267
165.92/150.15	o 1266
166.02/150.23	o 1265
166.53/150.76	o 1264
166.74/150.94	o 1263
169.73/153.82	o 1262
170.26/154.35	o 1261
173.26/157.25	o 1260
173.36/157.34	o 1259
173.47/157.42	o 1258
173.57/157.52	o 1257
174.52/158.48	o 1256
174.62/158.56	o 1255
189.50/172.86	o 1254
189.80/173.17	o 1253
189.90/173.25	o 1252
190.10/173.44	o 1251
190.20/173.54	o 1250
200.83/183.86	o 1249
200.92/183.94	o 1248
201.63/184.62	o 1247
201.73/184.70	o 1246
204.73/187.66	o 1245
204.93/187.85	o 1244
205.35/188.25	o 1243
205.44/188.33	o 1242
208.93/191.76	o 1241
210.54/193.35	o 1240
212.18/194.97	o 1239
212.28/195.05	o 1238
213.03/195.78	o 1237
258.53/240.00	java.util.concurrent.TimeoutException
258.53/240.00		at concrete.MAC.mac(MAC.scala:74)
258.53/240.00		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
258.53/240.00		at scala.util.Try$.apply(Try.scala:209)
258.53/240.00		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
258.53/240.00		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
258.53/240.00		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
258.53/240.00		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
258.53/240.00		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
258.53/240.00		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
258.53/240.00		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
258.53/240.00		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
258.53/240.00		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
258.53/240.00		at concrete.MAC.oneRun(MAC.scala:146)
258.53/240.00		at concrete.MAC.nextSolution(MAC.scala:166)
258.53/240.00		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
258.53/240.00		at concrete.ProblemState.map(ProblemState.scala:203)
258.53/240.00		at concrete.ProblemState.map(ProblemState.scala:188)
258.53/240.00		at concrete.MAC.nextSolution(MAC.scala:195)
258.53/240.00		at concrete.Solver.hasNext(Solver.scala:202)
258.53/240.00		at scala.collection.Iterator.toStream(Iterator.scala:1403)
258.53/240.00		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
258.53/240.00		at concrete.Solver.toStream(Solver.scala:73)
258.53/240.00		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
258.53/240.00		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
258.53/240.00		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
258.53/240.00		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
258.53/240.00		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
258.53/240.00		at scala.util.Success.$anonfun$map$1(Try.scala:251)
258.53/240.00		at scala.util.Success.map(Try.scala:209)
258.53/240.00		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
258.53/240.00		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
258.53/240.00		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
258.53/240.00		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
258.53/240.00		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
258.53/240.00		at scala.Function0.apply$mcV$sp(Function0.scala:34)
258.53/240.00		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
258.53/240.00		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
258.53/240.00		at scala.App.$anonfun$main$1$adapted(App.scala:76)
258.53/240.00		at scala.collection.immutable.List.foreach(List.scala:389)
258.53/240.00		at scala.App.main(App.scala:76)
258.53/240.00		at scala.App.main$(App.scala:74)
258.53/240.00		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
258.53/240.00		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
258.53/240.01	v <instantiation cost="1237">
258.53/240.01	v       <list>
258.53/240.01	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]
258.53/240.01	v       </list>
258.53/240.01	v       <values>
258.53/240.01	v         1 1 1 0 1 0 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 1 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 1 0 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 0 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 1 0 1 0 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 0 1 0 1 1 1 1 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 0 1 1 0 1 1 1 0 1 0 0 1 1 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 1 1 0 1 1 1 1 0 0 0 1 0 1 0 1 1 1 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 0 0 0 1 1 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 0 1 0 1 1 0 0 1 0 1 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 1 1 0 1 0 1 0 1 1 0 1 1 1 1 0 0 0 1 0 0 0 1 1 1 0 1 1 0 1 1 1 1 0 0 0 1 0 1 0 0 0 1 1 1 0 1 1 0 1 0 1 1 0 0 0 0 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 0 1 0 1 1 1 0 1 1 0 1 0 1 1 1 1 0 1 0 0 1 0 0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 0 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 0 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 0 1 0 1 0 0 1 1 1 0 1 0 0 1 1 1 1 0 0 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 1 1 1 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 1 1 0 1 1 1 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 0 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 0 1 0 0 1 1 1 0 1 0 1 0 0 1 0 0 0 1 1 0 1 0 1 0 1 1 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 1 0 1 1 1 1 1 0 1 0 1 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 0 0 1 0 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 1 0 1 1 1 0 1 0 1 0 1 1 0 0 0 0 1 1 0 1 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 1 1 1 1 0 0 1 0 1 0 1 1 1 0 1 1 1 1 1 0 1 1 0 0 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 1 0 0 1 0 1 0 1 1 1 0 0 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 0 1 1 1 1 1 1 0 1 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 1 1 1 1 0 0 1 0 1 0 1 1 1 1 1 1 1 1 0 0 1 0 1 1 0 0 1 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 1 1 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 0 1 1 0 1 0 0 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 1 1 0 1 0 1 1 1 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 0 1 1 0 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 1 0 0 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 1 0 0 1 0 1 1 0 1 0 1 1 1 1 0 1 1 1 1 0 0 1 0 0 0 0 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 0 0 1 0 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 1 0 1 1 1 0 0 1 1 0 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 0 1 1 1 1 0 1 1 0 1 1 0 1 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 1 0 0 0 1 0 1 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 1 0 0 0 1 1 0 1 1 1 1 0 0 1 1 1 1 1 0 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 1 1 0 0 1 1 0 1 0 0 0 1 1 1 1 1 0 0 1 0 1 1 0 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 0 0 0 1 1 1 1 0 1 0 1 0 1 1 0 1 1 1 1
258.53/240.01	v       </values>
258.53/240.01	v     </instantiation>
258.53/240.01	s SATISFIABLE

Verifier Data 

OK	1237

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259646-1501657551/watcher-4259646-1501657551 -o /tmp/evaluation-result-4259646-1501657551/solver-4259646-1501657551 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27967 --watchdog 300 bin/concrete HOME/instance-4259646-1501657551.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.75 1.49 1.56 6/198 19564
/proc/meminfo: memFree=31454840/32770624 swapFree=0/253520
[pid=19564] ppid=19561 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/19564/stat : 19564 (runsolver) D 19561 19564 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 7665748 24240128 108 18446744073709551615 4194304 4338465 140734995960128 140734995957768 140664794202839 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 13959168 140734995964113 140734995964487 140734995964487 140734995967946 0
/proc/19564/statm: 5918 108 54 36 0 2156 0

[startup+0.100181 s]
/proc/loadavg: 1.75 1.49 1.56 6/198 19564
/proc/meminfo: memFree=31454840/32770624 swapFree=0/253520
[pid=19564] ppid=19561 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/19564/stat : 19564 (bash) S 19561 19564 3187 0 -1 4202496 717 3541 0 0 0 0 0 0 20 0 1 0 7665748 9736192 355 18446744073709551615 4194304 5098028 140726741813760 140726741811400 140634533227520 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 8 0 0 7196144 7232144 26411008 140726741819922 140726741820007 140726741820007 140726741823466 0
/proc/19564/statm: 2377 355 282 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200192 s]
/proc/loadavg: 1.75 1.49 1.56 6/198 19564
/proc/meminfo: memFree=31454840/32770624 swapFree=0/253520
[pid=19564] ppid=19561 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/19564/stat : 19564 (bash) S 19561 19564 3187 0 -1 4202496 893 6494 0 0 0 0 0 1 20 0 1 0 7665748 9867264 377 18446744073709551615 4194304 5098028 140726741813760 140726741807768 140634533227520 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 8 0 0 7196144 7232144 26411008 140726741819922 140726741820007 140726741820007 140726741823466 0
/proc/19564/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300254 s]
/proc/loadavg: 1.75 1.49 1.56 6/198 19564
/proc/meminfo: memFree=31454840/32770624 swapFree=0/253520
[pid=19564] ppid=19561 vsize=13973936 CPUtime=0.15 cores=1,3,5,7
/proc/19564/stat : 19564 (java) S 19561 19564 3187 0 -1 1077944320 6103 12692 0 0 7 1 5 2 20 0 15 0 7665748 14309310464 6283 18446744073709551615 4194304 4196468 140723089267328 140723089249872 140672776875767 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
/proc/19564/statm: 3493484 6283 2711 1 0 3482973 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 13973936

[startup+0.700307 s]
/proc/loadavg: 1.75 1.49 1.56 6/198 19564
/proc/meminfo: memFree=31454840/32770624 swapFree=0/253520
[pid=19564] ppid=19561 vsize=13974784 CPUtime=0.7 cores=1,3,5,7
/proc/19564/stat : 19564 (java) S 19561 19564 3187 0 -1 1077944320 14025 12692 0 0 59 4 5 2 20 0 15 0 7665748 14310178816 14999 18446744073709551615 4194304 4196468 140723089267328 140723089249872 140672776875767 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
/proc/19564/statm: 3493696 14999 3128 1 0 3482973 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13974784

[startup+1.50065 s]
/proc/loadavg: 1.75 1.49 1.56 5/212 19657
/proc/meminfo: memFree=31618260/32770624 swapFree=0/253836
[pid=19564] ppid=19561 vsize=13985408 CPUtime=1.97 cores=1,3,5,7
/proc/19564/stat : 19564 (java) S 19561 19564 3187 0 -1 1077944320 30058 12692 0 0 179 11 5 2 20 0 15 0 7665748 14321057792 42718 18446744073709551615 4194304 4196468 140723089267328 140723089249872 140672776875767 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
/proc/19564/statm: 3496352 42718 3369 1 0 3485533 0
[pid=19564/tid=19614] ppid=19561 vsize=13985408 CPUtime=1.29 cores=1,3,5,7
/proc/19564/task/19614/stat : 19614 (java) R 19561 19564 3187 0 -1 4202560 22430 12692 0 0 115 7 5 2 20 0 15 0 7665770 14321057792 42718 18446744073709551615 4194304 4196468 140723089267328 140672781085312 140672760956254 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19615] ppid=19561 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19615/stat : 19615 (java) S 19561 19564 3187 0 -1 1077944384 61 12692 0 0 0 0 5 2 20 0 15 0 7665770 14321057792 42718 18446744073709551615 4194304 4196468 140723089267328 140672733842064 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19616] ppid=19561 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/19564/task/19616/stat : 19616 (java) S 19561 19564 3187 0 -1 1077944384 56 12692 0 0 1 0 5 2 20 0 15 0 7665770 14321057792 42718 18446744073709551615 4194304 4196468 140723089267328 140672732789264 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19617] ppid=19561 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/19564/task/19617/stat : 19617 (java) S 19561 19564 3187 0 -1 1077944384 43 12692 0 0 1 0 5 2 20 0 15 0 7665770 14321057792 42718 18446744073709551615 4194304 4196468 140723089267328 140672731736464 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19618] ppid=19561 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19618/stat : 19618 (java) S 19561 19564 3187 0 -1 1077944384 200 12692 0 0 0 0 5 2 20 0 15 0 7665770 14321057792 42718 18446744073709551615 4194304 4196468 140723089267328 140672730683664 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19619] ppid=19561 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/19564/task/19619/stat : 19619 (java) S 19561 19564 3187 0 -1 1077944384 1687 12692 0 0 1 0 5 2 20 0 15 0 7665772 14321057792 42718 18446744073709551615 4194304 4196468 140723089267328 140672255376240 140672776886914 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19620] ppid=19561 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19620/stat : 19620 (java) S 19561 19564 3187 0 -1 1077944384 54 12692 0 0 0 0 5 2 20 0 15 0 7665772 14321057792 42718 18446744073709551615 4194304 4196468 140723089267328 140672254322208 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19621] ppid=19561 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19621/stat : 19621 (java) S 19561 19564 3187 0 -1 1077944384 44 12692 0 0 0 0 5 2 20 0 15 0 7665772 14321057792 42718 18446744073709551615 4194304 4196468 140723089267328 140672253269360 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19622] ppid=19561 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19622/stat : 19622 (java) S 19561 19564 3187 0 -1 1077944384 3 12692 0 0 0 0 5 2 20 0 15 0 7665775 14321057792 42718 18446744073709551615 4194304 4196468 140723089267328 140672252217680 140672776894363 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19623] ppid=19561 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/19564/task/19623/stat : 19623 (java) S 19561 19564 3187 0 -1 1077944384 1231 12692 0 0 17 0 5 2 20 0 15 0 7665775 14321057792 42718 18446744073709551615 4194304 4196468 140723089267328 140672251165040 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19624] ppid=19561 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/19564/task/19624/stat : 19624 (java) S 19561 19564 3187 0 -1 1077944384 689 12692 0 0 16 0 5 2 20 0 15 0 7665775 14321057792 42718 18446744073709551615 4194304 4196468 140723089267328 140672250112240 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19625] ppid=19561 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/19564/task/19625/stat : 19625 (java) S 19561 19564 3187 0 -1 1077944384 1397 12692 0 0 23 0 5 2 20 0 15 0 7665775 14321057792 42718 18446744073709551615 4194304 4196468 140723089267328 140672249059440 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19626] ppid=19561 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19626/stat : 19626 (java) S 19561 19564 3187 0 -1 1077944384 3 12692 0 0 0 0 5 2 20 0 15 0 7665775 14321057792 42718 18446744073709551615 4194304 4196468 140723089267328 140672248006880 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19627] ppid=19561 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19627/stat : 19627 (java) S 19561 19564 3187 0 -1 1077944384 8 12692 0 0 0 0 5 2 20 0 15 0 7665777 14321057792 42718 18446744073709551615 4194304 4196468 140723089267328 140672246955184 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 13985408

[startup+3.10063 s]
/proc/loadavg: 1.75 1.49 1.56 5/203 19693
/proc/meminfo: memFree=31565960/32770624 swapFree=0/253376
[pid=19564] ppid=19561 vsize=13995836 CPUtime=5.94 cores=1,3,5,7
/proc/19564/stat : 19564 (java) S 19561 19564 3187 0 -1 1077944320 40575 12692 0 0 571 16 5 2 20 0 15 0 7665748 14331736064 57550 18446744073709551615 4194304 4196468 140723089267328 140723089249872 140672776875767 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
/proc/19564/statm: 3498959 57550 3444 1 0 3487581 0
[pid=19564/tid=19614] ppid=19561 vsize=13995836 CPUtime=2.88 cores=1,3,5,7
/proc/19564/task/19614/stat : 19614 (java) R 19561 19564 3187 0 -1 4202560 27252 12692 0 0 272 9 5 2 20 0 15 0 7665770 14331736064 57550 18446744073709551615 4194304 4196468 140723089267328 140672781096336 140672419412728 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19615] ppid=19561 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19615/stat : 19615 (java) S 19561 19564 3187 0 -1 1077944384 61 12692 0 0 0 0 5 2 20 0 15 0 7665770 14331736064 57550 18446744073709551615 4194304 4196468 140723089267328 140672733842064 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19616] ppid=19561 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/19564/task/19616/stat : 19616 (java) S 19561 19564 3187 0 -1 1077944384 56 12692 0 0 1 0 5 2 20 0 15 0 7665770 14331736064 57550 18446744073709551615 4194304 4196468 140723089267328 140672732789264 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19617] ppid=19561 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/19564/task/19617/stat : 19617 (java) S 19561 19564 3187 0 -1 1077944384 43 12692 0 0 1 0 5 2 20 0 15 0 7665770 14331736064 57550 18446744073709551615 4194304 4196468 140723089267328 140672731736464 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19618] ppid=19561 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19618/stat : 19618 (java) S 19561 19564 3187 0 -1 1077944384 200 12692 0 0 0 0 5 2 20 0 15 0 7665770 14331736064 57550 18446744073709551615 4194304 4196468 140723089267328 140672730683664 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19619] ppid=19561 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/19564/task/19619/stat : 19619 (java) S 19561 19564 3187 0 -1 1077944384 1719 12692 0 0 1 0 5 2 20 0 15 0 7665772 14331736064 57550 18446744073709551615 4194304 4196468 140723089267328 140672255376240 140672776886914 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19620] ppid=19561 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19620/stat : 19620 (java) S 19561 19564 3187 0 -1 1077944384 54 12692 0 0 0 0 5 2 20 0 15 0 7665772 14331736064 57550 18446744073709551615 4194304 4196468 140723089267328 140672254322208 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19621] ppid=19561 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19621/stat : 19621 (java) S 19561 19564 3187 0 -1 1077944384 44 12692 0 0 0 0 5 2 20 0 15 0 7665772 14331736064 57550 18446744073709551615 4194304 4196468 140723089267328 140672253269360 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19622] ppid=19561 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19622/stat : 19622 (java) S 19561 19564 3187 0 -1 1077944384 3 12692 0 0 0 0 5 2 20 0 15 0 7665775 14331736064 57550 18446744073709551615 4194304 4196468 140723089267328 140672252217680 140672776894363 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19623] ppid=19561 vsize=13995836 CPUtime=0.99 cores=1,3,5,7
/proc/19564/task/19623/stat : 19623 (java) S 19561 19564 3187 0 -1 1077944384 2592 12692 0 0 92 0 5 2 20 0 15 0 7665775 14331736064 57550 18446744073709551615 4194304 4196468 140723089267328 140672251165040 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19624] ppid=19561 vsize=13995836 CPUtime=1.04 cores=1,3,5,7
/proc/19564/task/19624/stat : 19624 (java) S 19561 19564 3187 0 -1 1077944384 2193 12692 0 0 96 1 5 2 20 0 15 0 7665775 14331736064 57550 18446744073709551615 4194304 4196468 140723089267328 140672250112240 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19625] ppid=19561 vsize=13995836 CPUtime=1.11 cores=1,3,5,7
/proc/19564/task/19625/stat : 19625 (java) S 19561 19564 3187 0 -1 1077944384 4192 12692 0 0 103 1 5 2 20 0 15 0 7665775 14331736064 57550 18446744073709551615 4194304 4196468 140723089267328 140672249059440 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19626] ppid=19561 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19626/stat : 19626 (java) S 19561 19564 3187 0 -1 1077944384 3 12692 0 0 0 0 5 2 20 0 15 0 7665775 14331736064 57550 18446744073709551615 4194304 4196468 140723089267328 140672248006880 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19627] ppid=19561 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19627/stat : 19627 (java) S 19561 19564 3187 0 -1 1077944384 11 12692 0 0 0 0 5 2 20 0 15 0 7665777 14331736064 57550 18446744073709551615 4194304 4196468 140723089267328 140672246955184 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 13995836

[startup+6.30068 s]
/proc/loadavg: 1.77 1.50 1.56 8/213 19751
/proc/meminfo: memFree=31076372/32770624 swapFree=0/253860
[pid=19564] ppid=19561 vsize=14067516 CPUtime=15.17 cores=1,3,5,7
/proc/19564/stat : 19564 (java) S 19561 19564 3187 0 -1 1077944320 75911 12692 0 0 1476 34 5 2 20 0 15 0 7665748 14405136384 110523 18446744073709551615 4194304 4196468 140723089267328 140723089249872 140672776875767 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
/proc/19564/statm: 3516879 110523 3463 1 0 3505501 0
[pid=19564/tid=19614] ppid=19561 vsize=14067516 CPUtime=5.69 cores=1,3,5,7
/proc/19564/task/19614/stat : 19614 (java) S 19561 19564 3187 0 -1 1077944384 42517 12692 0 0 547 15 5 2 20 0 15 0 7665770 14405136384 110523 18446744073709551615 4194304 4196468 140723089267328 140672781105296 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19615] ppid=19561 vsize=14067516 CPUtime=0.38 cores=1,3,5,7
/proc/19564/task/19615/stat : 19615 (java) R 19561 19564 3187 0 -1 4202560 320 12692 0 0 29 2 5 2 20 0 15 0 7665770 14405136384 110523 18446744073709551615 4194304 4196468 140723089267328 140672733842064 140672761872320 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19616] ppid=19561 vsize=14067516 CPUtime=0.38 cores=1,3,5,7
/proc/19564/task/19616/stat : 19616 (java) R 19561 19564 3187 0 -1 4202560 883 12692 0 0 29 2 5 2 20 0 15 0 7665770 14405136384 110523 18446744073709551615 4194304 4196468 140723089267328 140672732789264 140672769503975 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19617] ppid=19561 vsize=14067516 CPUtime=0.37 cores=1,3,5,7
/proc/19564/task/19617/stat : 19617 (java) R 19561 19564 3187 0 -1 4202560 364 12692 0 0 28 2 5 2 20 0 15 0 7665770 14405136384 110523 18446744073709551615 4194304 4196468 140723089267328 140672731736464 140672769503975 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19618] ppid=19561 vsize=14067516 CPUtime=0.36 cores=1,3,5,7
/proc/19564/task/19618/stat : 19618 (java) R 19561 19564 3187 0 -1 4202560 322 12692 0 0 27 2 5 2 20 0 15 0 7665770 14405136384 110523 18446744073709551615 4194304 4196468 140723089267328 140672730683784 140672769503975 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19619] ppid=19561 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/19564/task/19619/stat : 19619 (java) S 19561 19564 3187 0 -1 1077944384 2438 12692 0 0 8 0 5 2 20 0 15 0 7665772 14405136384 110523 18446744073709551615 4194304 4196468 140723089267328 140672255374864 140672776885973 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19620] ppid=19561 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19620/stat : 19620 (java) S 19561 19564 3187 0 -1 1077944384 54 12692 0 0 0 0 5 2 20 0 15 0 7665772 14405136384 110523 18446744073709551615 4194304 4196468 140723089267328 140672254322176 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19621] ppid=19561 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19621/stat : 19621 (java) S 19561 19564 3187 0 -1 1077944384 44 12692 0 0 0 0 5 2 20 0 15 0 7665772 14405136384 110523 18446744073709551615 4194304 4196468 140723089267328 140672253269376 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19622] ppid=19561 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19622/stat : 19622 (java) S 19561 19564 3187 0 -1 1077944384 3 12692 0 0 0 0 5 2 20 0 15 0 7665775 14405136384 110523 18446744073709551615 4194304 4196468 140723089267328 140672252217680 140672776894363 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19623] ppid=19561 vsize=14067516 CPUtime=3.06 cores=1,3,5,7
/proc/19564/task/19623/stat : 19623 (java) S 19561 19564 3187 0 -1 1077944384 7244 12692 0 0 297 2 5 2 20 0 15 0 7665775 14405136384 110523 18446744073709551615 4194304 4196468 140723089267328 140672251149232 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19624] ppid=19561 vsize=14067516 CPUtime=3.25 cores=1,3,5,7
/proc/19564/task/19624/stat : 19624 (java) S 19561 19564 3187 0 -1 1077944384 11397 12692 0 0 316 2 5 2 20 0 15 0 7665775 14405136384 110523 18446744073709551615 4194304 4196468 140723089267328 140672250096400 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19625] ppid=19561 vsize=14067516 CPUtime=1.99 cores=1,3,5,7
/proc/19564/task/19625/stat : 19625 (java) S 19561 19564 3187 0 -1 1077944384 8070 12692 0 0 189 3 5 2 20 0 15 0 7665775 14405136384 110523 18446744073709551615 4194304 4196468 140723089267328 140672249059440 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19626] ppid=19561 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19626/stat : 19626 (java) S 19561 19564 3187 0 -1 1077944384 3 12692 0 0 0 0 5 2 20 0 15 0 7665775 14405136384 110523 18446744073709551615 4194304 4196468 140723089267328 140672248006880 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19627] ppid=19561 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19627/stat : 19627 (java) S 19561 19564 3187 0 -1 1077944384 100 12692 0 0 0 0 5 2 20 0 15 0 7665777 14405136384 110523 18446744073709551615 4194304 4196468 140723089267328 140672246955184 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
Current children cumulated CPU time (s) 15.17
Current children cumulated vsize (KiB) 14067516

[startup+12.7007 s]
/proc/loadavg: 2.03 1.56 1.58 5/213 19751
/proc/meminfo: memFree=30570192/32770624 swapFree=0/253860
[pid=19564] ppid=19561 vsize=14067516 CPUtime=24.47 cores=1,3,5,7
/proc/19564/stat : 19564 (java) S 19561 19564 3187 0 -1 1077944320 85469 12692 0 0 2398 42 5 2 20 0 15 0 7665748 14405136384 140043 18446744073709551615 4194304 4196468 140723089267328 140723089249872 140672776875767 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
/proc/19564/statm: 3516879 140043 3472 1 0 3505501 0
[pid=19564/tid=19614] ppid=19561 vsize=14067516 CPUtime=11.81 cores=1,3,5,7
/proc/19564/task/19614/stat : 19614 (java) R 19561 19564 3187 0 -1 4202560 44303 12692 0 0 1159 15 5 2 20 0 15 0 7665770 14405136384 140043 18446744073709551615 4194304 4196468 140723089267328 140672781101640 140672410967468 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19615] ppid=19561 vsize=14067516 CPUtime=0.59 cores=1,3,5,7
/proc/19564/task/19615/stat : 19615 (java) S 19561 19564 3187 0 -1 1077944384 808 12692 0 0 48 4 5 2 20 0 15 0 7665770 14405136384 140043 18446744073709551615 4194304 4196468 140723089267328 140672733842064 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19616] ppid=19561 vsize=14067516 CPUtime=0.59 cores=1,3,5,7
/proc/19564/task/19616/stat : 19616 (java) S 19561 19564 3187 0 -1 1077944384 1031 12692 0 0 48 4 5 2 20 0 15 0 7665770 14405136384 140043 18446744073709551615 4194304 4196468 140723089267328 140672732789264 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19617] ppid=19561 vsize=14067516 CPUtime=0.58 cores=1,3,5,7
/proc/19564/task/19617/stat : 19617 (java) S 19561 19564 3187 0 -1 1077944384 505 12692 0 0 48 3 5 2 20 0 15 0 7665770 14405136384 140043 18446744073709551615 4194304 4196468 140723089267328 140672731736464 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19618] ppid=19561 vsize=14067516 CPUtime=0.57 cores=1,3,5,7
/proc/19564/task/19618/stat : 19618 (java) S 19561 19564 3187 0 -1 1077944384 450 12692 0 0 47 3 5 2 20 0 15 0 7665770 14405136384 140043 18446744073709551615 4194304 4196468 140723089267328 140672730683664 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19619] ppid=19561 vsize=14067516 CPUtime=0.21 cores=1,3,5,7
/proc/19564/task/19619/stat : 19619 (java) S 19561 19564 3187 0 -1 1077944384 2759 12692 0 0 14 0 5 2 20 0 15 0 7665772 14405136384 140043 18446744073709551615 4194304 4196468 140723089267328 140672255376240 140672776886914 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19620] ppid=19561 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19620/stat : 19620 (java) S 19561 19564 3187 0 -1 1077944384 60 12692 0 0 0 0 5 2 20 0 15 0 7665772 14405136384 140043 18446744073709551615 4194304 4196468 140723089267328 140672254322272 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19621] ppid=19561 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19621/stat : 19621 (java) S 19561 19564 3187 0 -1 1077944384 44 12692 0 0 0 0 5 2 20 0 15 0 7665772 14405136384 140043 18446744073709551615 4194304 4196468 140723089267328 140672253269376 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19622] ppid=19561 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19622/stat : 19622 (java) S 19561 19564 3187 0 -1 1077944384 3 12692 0 0 0 0 5 2 20 0 15 0 7665775 14405136384 140043 18446744073709551615 4194304 4196468 140723089267328 140672252217680 140672776894363 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0

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

/proc/19564/task/19626/stat : 19626 (java) S 19561 19564 3187 0 -1 1077944384 3 12692 0 0 0 0 5 2 20 0 15 0 7665775 14405136384 271003 18446744073709551615 4194304 4196468 140723089267328 140672248006880 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19627] ppid=19561 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/19564/task/19627/stat : 19627 (java) S 19561 19564 3187 0 -1 1077944384 2164 12692 0 0 1 0 5 2 20 0 15 0 7665777 14405136384 271003 18446744073709551615 4194304 4196468 140723089267328 140672246955184 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
Current children cumulated CPU time (s) 64.39
Current children cumulated vsize (KiB) 14067516

[startup+102.301 s]
/proc/loadavg: 1.69 1.57 1.59 3/215 19756
/proc/meminfo: memFree=29437732/32770624 swapFree=0/253992
[pid=19564] ppid=19561 vsize=14069564 CPUtime=116.93 cores=1,3,5,7
/proc/19564/stat : 19564 (java) S 19561 19564 3187 0 -1 1077944320 124941 12692 0 0 11576 110 5 2 20 0 15 0 7665748 14407233536 301696 18446744073709551615 4194304 4196468 140723089267328 140723089249872 140672776875767 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
/proc/19564/statm: 3517391 301696 3477 1 0 3506013 0
[pid=19564/tid=19614] ppid=19561 vsize=14069564 CPUtime=101.03 cores=1,3,5,7
/proc/19564/task/19614/stat : 19614 (java) R 19561 19564 3187 0 -1 4202560 55205 12692 0 0 10075 21 5 2 20 0 15 0 7665770 14407233536 301696 18446744073709551615 4194304 4196468 140723089267328 140672781098656 140672424728726 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19615] ppid=19561 vsize=14069564 CPUtime=0.95 cores=1,3,5,7
/proc/19564/task/19615/stat : 19615 (java) S 19561 19564 3187 0 -1 1077944384 1862 12692 0 0 70 18 5 2 20 0 15 0 7665770 14407233536 301696 18446744073709551615 4194304 4196468 140723089267328 140672733842064 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19616] ppid=19561 vsize=14069564 CPUtime=0.95 cores=1,3,5,7
/proc/19564/task/19616/stat : 19616 (java) S 19561 19564 3187 0 -1 1077944384 2641 12692 0 0 70 18 5 2 20 0 15 0 7665770 14407233536 301696 18446744073709551615 4194304 4196468 140723089267328 140672732789264 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19617] ppid=19561 vsize=14069564 CPUtime=0.95 cores=1,3,5,7
/proc/19564/task/19617/stat : 19617 (java) S 19561 19564 3187 0 -1 1077944384 908 12692 0 0 69 19 5 2 20 0 15 0 7665770 14407233536 301696 18446744073709551615 4194304 4196468 140723089267328 140672731736464 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19618] ppid=19561 vsize=14069564 CPUtime=0.93 cores=1,3,5,7
/proc/19564/task/19618/stat : 19618 (java) S 19561 19564 3187 0 -1 1077944384 1987 12692 0 0 68 18 5 2 20 0 15 0 7665770 14407233536 301696 18446744073709551615 4194304 4196468 140723089267328 140672730683664 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19619] ppid=19561 vsize=14069564 CPUtime=0.24 cores=1,3,5,7
/proc/19564/task/19619/stat : 19619 (java) S 19561 19564 3187 0 -1 1077944384 3635 12692 0 0 16 1 5 2 20 0 15 0 7665772 14407233536 301696 18446744073709551615 4194304 4196468 140723089267328 140672255376240 140672776886914 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19620] ppid=19561 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19620/stat : 19620 (java) S 19561 19564 3187 0 -1 1077944384 70 12692 0 0 0 0 5 2 20 0 15 0 7665772 14407233536 301696 18446744073709551615 4194304 4196468 140723089267328 140672254322272 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19621] ppid=19561 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19621/stat : 19621 (java) S 19561 19564 3187 0 -1 1077944384 58 12692 0 0 0 0 5 2 20 0 15 0 7665772 14407233536 301696 18446744073709551615 4194304 4196468 140723089267328 140672253269376 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19622] ppid=19561 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19622/stat : 19622 (java) S 19561 19564 3187 0 -1 1077944384 3 12692 0 0 0 0 5 2 20 0 15 0 7665775 14407233536 301696 18446744073709551615 4194304 4196468 140723089267328 140672252217680 140672776894363 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19623] ppid=19561 vsize=14069564 CPUtime=4.82 cores=1,3,5,7
/proc/19564/task/19623/stat : 19623 (java) S 19561 19564 3187 0 -1 1077944384 16168 12692 0 0 472 3 5 2 20 0 15 0 7665775 14407233536 301696 18446744073709551615 4194304 4196468 140723089267328 140672251165040 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19624] ppid=19561 vsize=14069564 CPUtime=5.15 cores=1,3,5,7
/proc/19564/task/19624/stat : 19624 (java) S 19561 19564 3187 0 -1 1077944384 19862 12692 0 0 504 4 5 2 20 0 15 0 7665775 14407233536 301696 18446744073709551615 4194304 4196468 140723089267328 140672250112240 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19625] ppid=19561 vsize=14069564 CPUtime=2.34 cores=1,3,5,7
/proc/19564/task/19625/stat : 19625 (java) S 19561 19564 3187 0 -1 1077944384 18061 12692 0 0 223 4 5 2 20 0 15 0 7665775 14407233536 301696 18446744073709551615 4194304 4196468 140723089267328 140672249059440 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19626] ppid=19561 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19626/stat : 19626 (java) S 19561 19564 3187 0 -1 1077944384 3 12692 0 0 0 0 5 2 20 0 15 0 7665775 14407233536 301696 18446744073709551615 4194304 4196468 140723089267328 140672248006880 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19627] ppid=19561 vsize=14069564 CPUtime=0.11 cores=1,3,5,7
/proc/19564/task/19627/stat : 19627 (java) S 19561 19564 3187 0 -1 1077944384 2326 12692 0 0 2 2 5 2 20 0 15 0 7665777 14407233536 301696 18446744073709551615 4194304 4196468 140723089267328 140672246955184 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
Current children cumulated CPU time (s) 116.93
Current children cumulated vsize (KiB) 14069564

[startup+162.301 s]
/proc/loadavg: 1.17 1.46 1.55 3/214 19758
/proc/meminfo: memFree=29779956/32770624 swapFree=0/254084
[pid=19564] ppid=19561 vsize=14069564 CPUtime=178.59 cores=1,3,5,7
/proc/19564/stat : 19564 (java) S 19561 19564 3187 0 -1 1077944320 142658 12692 0 0 17724 128 5 2 20 0 15 0 7665748 14407233536 229022 18446744073709551615 4194304 4196468 140723089267328 140723089249872 140672776875767 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
/proc/19564/statm: 3517391 229022 3477 1 0 3506013 0
[pid=19564/tid=19614] ppid=19561 vsize=14069564 CPUtime=160.64 cores=1,3,5,7
/proc/19564/task/19614/stat : 19614 (java) R 19561 19564 3187 0 -1 4202560 59363 12692 0 0 16035 22 5 2 20 0 15 0 7665770 14407233536 229022 18446744073709551615 4194304 4196468 140723089267328 140672781101088 140672424728579 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19615] ppid=19561 vsize=14069564 CPUtime=1.27 cores=1,3,5,7
/proc/19564/task/19615/stat : 19615 (java) S 19561 19564 3187 0 -1 1077944384 2250 12692 0 0 98 22 5 2 20 0 15 0 7665770 14407233536 229022 18446744073709551615 4194304 4196468 140723089267328 140672733842064 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19616] ppid=19561 vsize=14069564 CPUtime=1.27 cores=1,3,5,7
/proc/19564/task/19616/stat : 19616 (java) S 19561 19564 3187 0 -1 1077944384 3072 12692 0 0 98 22 5 2 20 0 15 0 7665770 14407233536 229022 18446744073709551615 4194304 4196468 140723089267328 140672732789264 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19617] ppid=19561 vsize=14069564 CPUtime=1.26 cores=1,3,5,7
/proc/19564/task/19617/stat : 19617 (java) S 19561 19564 3187 0 -1 1077944384 2974 12692 0 0 97 22 5 2 20 0 15 0 7665770 14407233536 229022 18446744073709551615 4194304 4196468 140723089267328 140672731736464 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19618] ppid=19561 vsize=14069564 CPUtime=1.25 cores=1,3,5,7
/proc/19564/task/19618/stat : 19618 (java) S 19561 19564 3187 0 -1 1077944384 2331 12692 0 0 96 22 5 2 20 0 15 0 7665770 14407233536 229022 18446744073709551615 4194304 4196468 140723089267328 140672730683664 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19619] ppid=19561 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/19564/task/19619/stat : 19619 (java) S 19561 19564 3187 0 -1 1077944384 4137 12692 0 0 20 1 5 2 20 0 15 0 7665772 14407233536 229022 18446744073709551615 4194304 4196468 140723089267328 140672255376240 140672776886914 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19620] ppid=19561 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19620/stat : 19620 (java) S 19561 19564 3187 0 -1 1077944384 82 12692 0 0 0 0 5 2 20 0 15 0 7665772 14407233536 229022 18446744073709551615 4194304 4196468 140723089267328 140672254322272 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19621] ppid=19561 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19621/stat : 19621 (java) S 19561 19564 3187 0 -1 1077944384 58 12692 0 0 0 0 5 2 20 0 15 0 7665772 14407233536 229022 18446744073709551615 4194304 4196468 140723089267328 140672253269376 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19622] ppid=19561 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19622/stat : 19622 (java) S 19561 19564 3187 0 -1 1077944384 3 12692 0 0 0 0 5 2 20 0 15 0 7665775 14407233536 229022 18446744073709551615 4194304 4196468 140723089267328 140672252217680 140672776894363 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19623] ppid=19561 vsize=14069564 CPUtime=5.1 cores=1,3,5,7
/proc/19564/task/19623/stat : 19623 (java) S 19561 19564 3187 0 -1 1077944384 18271 12692 0 0 500 3 5 2 20 0 15 0 7665775 14407233536 229022 18446744073709551615 4194304 4196468 140723089267328 140672251165040 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19624] ppid=19561 vsize=14069564 CPUtime=5.49 cores=1,3,5,7
/proc/19564/task/19624/stat : 19624 (java) S 19561 19564 3187 0 -1 1077944384 22618 12692 0 0 538 4 5 2 20 0 15 0 7665775 14407233536 229022 18446744073709551615 4194304 4196468 140723089267328 140672250112240 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19625] ppid=19561 vsize=14069564 CPUtime=2.41 cores=1,3,5,7
/proc/19564/task/19625/stat : 19625 (java) S 19561 19564 3187 0 -1 1077944384 22989 12692 0 0 230 4 5 2 20 0 15 0 7665775 14407233536 229022 18446744073709551615 4194304 4196468 140723089267328 140672249059440 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19626] ppid=19561 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19626/stat : 19626 (java) S 19561 19564 3187 0 -1 1077944384 3 12692 0 0 0 0 5 2 20 0 15 0 7665775 14407233536 229022 18446744073709551615 4194304 4196468 140723089267328 140672248006880 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19627] ppid=19561 vsize=14069564 CPUtime=0.14 cores=1,3,5,7
/proc/19564/task/19627/stat : 19627 (java) S 19561 19564 3187 0 -1 1077944384 2355 12692 0 0 3 4 5 2 20 0 15 0 7665777 14407233536 229022 18446744073709551615 4194304 4196468 140723089267328 140672246955184 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
Current children cumulated CPU time (s) 178.59
Current children cumulated vsize (KiB) 14069564

[startup+222.307 s]
/proc/loadavg: 1.28 1.45 1.54 3/215 19762
/proc/meminfo: memFree=29387492/32770624 swapFree=0/254148
[pid=19564] ppid=19561 vsize=14069564 CPUtime=240.34 cores=1,3,5,7
/proc/19564/stat : 19564 (java) S 19561 19564 3187 0 -1 1077944320 149231 12692 0 0 23844 183 5 2 20 0 15 0 7665748 14407233536 321865 18446744073709551615 4194304 4196468 140723089267328 140723089249872 140672776875767 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
/proc/19564/statm: 3517391 321865 3477 1 0 3506013 0
[pid=19564/tid=19614] ppid=19561 vsize=14069564 CPUtime=220.18 cores=1,3,5,7
/proc/19564/task/19614/stat : 19614 (java) R 19561 19564 3187 0 -1 4202560 61654 12692 0 0 21984 27 5 2 20 0 15 0 7665770 14407233536 321865 18446744073709551615 4194304 4196468 140723089267328 140672781101432 140672419151168 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19615] ppid=19561 vsize=14069564 CPUtime=1.67 cores=1,3,5,7
/proc/19564/task/19615/stat : 19615 (java) S 19561 19564 3187 0 -1 1077944384 2459 12692 0 0 126 34 5 2 20 0 15 0 7665770 14407233536 321865 18446744073709551615 4194304 4196468 140723089267328 140672733842064 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19616] ppid=19561 vsize=14069564 CPUtime=1.67 cores=1,3,5,7
/proc/19564/task/19616/stat : 19616 (java) S 19561 19564 3187 0 -1 1077944384 3285 12692 0 0 126 34 5 2 20 0 15 0 7665770 14407233536 321865 18446744073709551615 4194304 4196468 140723089267328 140672732789264 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19617] ppid=19561 vsize=14069564 CPUtime=1.66 cores=1,3,5,7
/proc/19564/task/19617/stat : 19617 (java) S 19561 19564 3187 0 -1 1077944384 3218 12692 0 0 125 34 5 2 20 0 15 0 7665770 14407233536 321865 18446744073709551615 4194304 4196468 140723089267328 140672731736464 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19618] ppid=19561 vsize=14069564 CPUtime=1.65 cores=1,3,5,7
/proc/19564/task/19618/stat : 19618 (java) S 19561 19564 3187 0 -1 1077944384 2546 12692 0 0 124 34 5 2 20 0 15 0 7665770 14407233536 321865 18446744073709551615 4194304 4196468 140723089267328 140672730683664 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19619] ppid=19561 vsize=14069564 CPUtime=0.33 cores=1,3,5,7
/proc/19564/task/19619/stat : 19619 (java) S 19561 19564 3187 0 -1 1077944384 4561 12692 0 0 24 2 5 2 20 0 15 0 7665772 14407233536 321865 18446744073709551615 4194304 4196468 140723089267328 140672255376240 140672776886914 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19620] ppid=19561 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19620/stat : 19620 (java) S 19561 19564 3187 0 -1 1077944384 82 12692 0 0 0 0 5 2 20 0 15 0 7665772 14407233536 321865 18446744073709551615 4194304 4196468 140723089267328 140672254322272 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19621] ppid=19561 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19621/stat : 19621 (java) S 19561 19564 3187 0 -1 1077944384 58 12692 0 0 0 0 5 2 20 0 15 0 7665772 14407233536 321865 18446744073709551615 4194304 4196468 140723089267328 140672253269376 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19622] ppid=19561 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19622/stat : 19622 (java) S 19561 19564 3187 0 -1 1077944384 3 12692 0 0 0 0 5 2 20 0 15 0 7665775 14407233536 321865 18446744073709551615 4194304 4196468 140723089267328 140672252217680 140672776894363 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19623] ppid=19561 vsize=14069564 CPUtime=5.34 cores=1,3,5,7
/proc/19564/task/19623/stat : 19623 (java) S 19561 19564 3187 0 -1 1077944384 19037 12692 0 0 524 3 5 2 20 0 15 0 7665775 14407233536 321865 18446744073709551615 4194304 4196468 140723089267328 140672251165040 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19624] ppid=19561 vsize=14069564 CPUtime=5.72 cores=1,3,5,7
/proc/19564/task/19624/stat : 19624 (java) S 19561 19564 3187 0 -1 1077944384 23452 12692 0 0 561 4 5 2 20 0 15 0 7665775 14407233536 321865 18446744073709551615 4194304 4196468 140723089267328 140672250112240 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19625] ppid=19561 vsize=14069564 CPUtime=2.47 cores=1,3,5,7
/proc/19564/task/19625/stat : 19625 (java) S 19561 19564 3187 0 -1 1077944384 24353 12692 0 0 235 5 5 2 20 0 15 0 7665775 14407233536 321865 18446744073709551615 4194304 4196468 140723089267328 140672249059440 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19626] ppid=19561 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19626/stat : 19626 (java) S 19561 19564 3187 0 -1 1077944384 3 12692 0 0 0 0 5 2 20 0 15 0 7665775 14407233536 321865 18446744073709551615 4194304 4196468 140723089267328 140672248006880 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19627] ppid=19561 vsize=14069564 CPUtime=0.17 cores=1,3,5,7
/proc/19564/task/19627/stat : 19627 (java) S 19561 19564 3187 0 -1 1077944384 2368 12692 0 0 4 6 5 2 20 0 15 0 7665777 14407233536 321865 18446744073709551615 4194304 4196468 140723089267328 140672246955184 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
Current children cumulated CPU time (s) 240.34
Current children cumulated vsize (KiB) 14069564



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.20 1.42 1.53 6/215 19887
/proc/meminfo: memFree=30398792/32770624 swapFree=0/254136
[pid=19564] ppid=19561 vsize=14069564 CPUtime=258.53 cores=1,3,5,7
/proc/19564/stat : 19564 (java) S 19561 19564 3187 0 -1 1077944320 154376 12692 0 0 25660 186 5 2 20 0 15 0 7665748 14407233536 282561 18446744073709551615 4194304 4196468 140723089267328 140723089249872 140672776875767 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
/proc/19564/statm: 3517391 282561 3477 1 0 3506013 0
[pid=19564/tid=19614] ppid=19561 vsize=14069564 CPUtime=237.71 cores=1,3,5,7
/proc/19564/task/19614/stat : 19614 (java) R 19561 19564 3187 0 -1 4202560 62246 12692 0 0 23737 27 5 2 20 0 15 0 7665770 14407233536 282561 18446744073709551615 4194304 4196468 140723089267328 140672781101088 140672424728716 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19615] ppid=19561 vsize=14069564 CPUtime=1.77 cores=1,3,5,7
/proc/19564/task/19615/stat : 19615 (java) S 19561 19564 3187 0 -1 1077944384 2506 12692 0 0 136 34 5 2 20 0 15 0 7665770 14407233536 282561 18446744073709551615 4194304 4196468 140723089267328 140672733842064 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19616] ppid=19561 vsize=14069564 CPUtime=1.78 cores=1,3,5,7
/proc/19564/task/19616/stat : 19616 (java) S 19561 19564 3187 0 -1 1077944384 3494 12692 0 0 137 34 5 2 20 0 15 0 7665770 14407233536 282561 18446744073709551615 4194304 4196468 140723089267328 140672732789264 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19617] ppid=19561 vsize=14069564 CPUtime=1.77 cores=1,3,5,7
/proc/19564/task/19617/stat : 19617 (java) S 19561 19564 3187 0 -1 1077944384 3276 12692 0 0 136 34 5 2 20 0 15 0 7665770 14407233536 282561 18446744073709551615 4194304 4196468 140723089267328 140672731736464 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19618] ppid=19561 vsize=14069564 CPUtime=1.76 cores=1,3,5,7
/proc/19564/task/19618/stat : 19618 (java) S 19561 19564 3187 0 -1 1077944384 3978 12692 0 0 135 34 5 2 20 0 15 0 7665770 14407233536 282561 18446744073709551615 4194304 4196468 140723089267328 140672730683664 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19619] ppid=19561 vsize=14069564 CPUtime=0.37 cores=1,3,5,7
/proc/19564/task/19619/stat : 19619 (java) S 19561 19564 3187 0 -1 1077944384 4695 12692 0 0 27 3 5 2 20 0 15 0 7665772 14407233536 282561 18446744073709551615 4194304 4196468 140723089267328 140672255376240 140672776886914 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19620] ppid=19561 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19620/stat : 19620 (java) S 19561 19564 3187 0 -1 1077944384 82 12692 0 0 0 0 5 2 20 0 15 0 7665772 14407233536 282561 18446744073709551615 4194304 4196468 140723089267328 140672254322272 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19621] ppid=19561 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19621/stat : 19621 (java) S 19561 19564 3187 0 -1 1077944384 58 12692 0 0 0 0 5 2 20 0 15 0 7665772 14407233536 282561 18446744073709551615 4194304 4196468 140723089267328 140672253269376 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19622] ppid=19561 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19622/stat : 19622 (java) S 19561 19564 3187 0 -1 1077944384 3 12692 0 0 0 0 5 2 20 0 15 0 7665775 14407233536 282561 18446744073709551615 4194304 4196468 140723089267328 140672252217680 140672776894363 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19623] ppid=19561 vsize=14069564 CPUtime=5.42 cores=1,3,5,7
/proc/19564/task/19623/stat : 19623 (java) S 19561 19564 3187 0 -1 1077944384 20587 12692 0 0 531 4 5 2 20 0 15 0 7665775 14407233536 282561 18446744073709551615 4194304 4196468 140723089267328 140672251165040 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19624] ppid=19561 vsize=14069564 CPUtime=5.79 cores=1,3,5,7
/proc/19564/task/19624/stat : 19624 (java) S 19561 19564 3187 0 -1 1077944384 23822 12692 0 0 568 4 5 2 20 0 15 0 7665775 14407233536 282561 18446744073709551615 4194304 4196468 140723089267328 140672250112240 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19625] ppid=19561 vsize=14069564 CPUtime=2.49 cores=1,3,5,7
/proc/19564/task/19625/stat : 19625 (java) S 19561 19564 3187 0 -1 1077944384 25099 12692 0 0 237 5 5 2 20 0 15 0 7665775 14407233536 282561 18446744073709551615 4194304 4196468 140723089267328 140672249059440 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19626] ppid=19561 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19564/task/19626/stat : 19626 (java) S 19561 19564 3187 0 -1 1077944384 3 12692 0 0 0 0 5 2 20 0 15 0 7665775 14407233536 282561 18446744073709551615 4194304 4196468 140723089267328 140672248006880 140672776885973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
[pid=19564/tid=19627] ppid=19561 vsize=14069564 CPUtime=0.17 cores=1,3,5,7
/proc/19564/task/19627/stat : 19627 (java) S 19561 19564 3187 0 -1 1077944384 2375 12692 0 0 4 6 5 2 20 0 15 0 7665777 14407233536 282561 18446744073709551615 4194304 4196468 140723089267328 140672246955184 140672776886914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34017280 140723089270734 140723089273519 140723089273519 140723089276879 0
Current children cumulated CPU time (s) 258.53
Current children cumulated vsize (KiB) 14069564

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19564 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.034
CPU time (s): 258.589
CPU user time (s): 256.68
CPU system time (s): 1.90848
CPU usage (%): 107.73
Max. virtual memory (cumulated for all children) (KiB): 14070036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 256.68
system time used= 1.90848
maximum resident set size= 1474236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168946
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19128
involuntary context switches= 526

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.16652 second user time and 1.52292 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-02 08:51:51
IDJOB=4259646
IDBENCH=135252
IDSOLVER=2646
FILE ID=node135/4259646-1501657551
RUNJOBID= node135-1501639717-27967
PBS_JOBID= 
Free space on /tmp= 61816 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-vtxcov/Pb-vtxcov-v2000-e4000-05.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259646-1501657551/watcher-4259646-1501657551 -o /tmp/evaluation-result-4259646-1501657551/solver-4259646-1501657551 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27967 --watchdog 300  bin/concrete HOME/instance-4259646-1501657551.xml

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

MD5SUM BENCH= 31e85661316b8aad2d1246d7b0a73c1b
RANDOM SEED=1388581180

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31456368 kB
MemAvailable:   31739780 kB
Buffers:          133888 kB
Cached:           426324 kB
SwapCached:            0 kB
Active:           634872 kB
Inactive:         262372 kB
Active(anon):     337652 kB
Inactive(anon):     8592 kB
Active(file):     297220 kB
Inactive(file):   253780 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24136 kB
Writeback:           312 kB
AnonPages:        309700 kB
Mapped:            42472 kB
Shmem:              8960 kB
Slab:             123452 kB
SReclaimable:      96492 kB
SUnreclaim:        26960 kB
KernelStack:        3760 kB
PageTables:         4828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1361032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61792 MiB
End job on node135 at 2017-08-02 08:55:51