Trace number 4262037

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)1222 2520.1299 2461.26

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 benchmark1128
Best CPU time to get the best result obtained on this benchmark2400.05
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.42/2.22	c Concrete v3.4 running
16.58/6.77	o 1957
17.47/7.14	o 1956
17.97/7.47	o 1955
19.12/7.82	o 1954
19.85/8.14	o 1953
20.26/8.44	o 1952
20.60/8.73	o 1951
21.01/9.04	o 1950
21.40/9.33	o 1949
21.71/9.61	o 1948
21.97/9.90	o 1947
22.27/10.17	o 1946
22.66/10.46	o 1945
23.02/10.76	o 1944
23.33/11.04	o 1943
23.64/11.31	o 1942
23.84/11.59	o 1941
24.15/11.87	o 1940
24.46/12.15	o 1939
24.84/12.46	o 1938
25.14/12.73	o 1937
25.46/13.01	o 1936
25.67/13.28	o 1935
25.97/13.56	o 1934
26.27/13.83	o 1933
26.58/14.11	o 1932
26.80/14.38	o 1931
27.10/14.67	o 1930
27.45/14.96	o 1929
27.77/15.23	o 1928
27.97/15.50	o 1927
28.28/15.78	o 1926
28.60/16.05	o 1925
28.90/16.32	o 1924
29.11/16.59	o 1923
29.41/16.86	o 1922
29.71/17.14	o 1921
30.08/17.42	o 1920
30.28/17.69	o 1919
30.58/17.95	o 1918
30.88/18.22	o 1917
31.09/18.49	o 1916
31.39/18.76	o 1915
31.71/19.03	o 1914
32.13/19.33	o 1913
32.43/19.60	o 1912
32.64/19.87	o 1911
33.04/20.16	o 1910
33.36/20.43	o 1909
33.66/20.70	o 1908
33.87/20.96	o 1907
34.17/21.22	o 1906
34.42/21.48	o 1905
34.73/21.75	o 1904
35.10/22.01	o 1903
35.29/22.27	o 1902
35.59/22.53	o 1901
35.90/22.80	o 1900
36.15/23.06	o 1899
36.54/23.34	o 1898
36.74/23.59	o 1897
37.04/23.85	o 1896
37.35/24.10	o 1895
37.55/24.36	o 1894
37.85/24.62	o 1893
38.07/24.87	o 1892
38.37/25.13	o 1891
38.57/25.38	o 1890
38.89/25.63	o 1889
39.09/25.88	o 1888
39.39/26.13	o 1887
39.60/26.39	o 1886
39.90/26.65	o 1885
40.23/26.90	o 1884
40.45/27.16	o 1883
40.75/27.40	o 1882
40.96/27.65	o 1881
41.17/27.89	o 1880
41.47/28.14	o 1879
41.67/28.39	o 1878
41.99/28.64	o 1877
42.18/28.88	o 1876
42.50/29.13	o 1875
42.70/29.38	o 1874
43.00/29.63	o 1873
43.22/29.88	o 1872
43.59/30.15	o 1871
43.89/30.40	o 1870
44.11/30.65	o 1869
44.31/30.90	o 1868
44.61/31.14	o 1867
44.82/31.39	o 1866
45.13/31.64	o 1865
45.33/31.89	o 1864
45.66/32.14	o 1863
45.86/32.38	o 1862
46.16/32.63	o 1861
46.37/32.88	o 1860
46.68/33.13	o 1859
46.88/33.37	o 1858
47.19/33.61	o 1857
47.39/33.85	o 1856
47.76/34.12	o 1855
47.98/34.37	o 1854
48.28/34.61	o 1853
48.48/34.86	o 1852
48.70/35.10	o 1851
49.00/35.34	o 1850
49.20/35.57	o 1849
49.51/35.82	o 1848
49.72/36.05	o 1847
49.92/36.29	o 1846
50.23/36.52	o 1845
50.43/36.77	o 1844
50.73/37.00	o 1843
50.95/37.24	o 1842
51.15/37.48	o 1841
51.45/37.72	o 1840
51.66/37.97	o 1839
52.02/38.22	o 1838
52.21/38.45	o 1837
52.45/38.70	o 1836
52.75/38.93	o 1835
52.95/39.17	o 1834
53.26/39.40	o 1833
53.47/39.64	o 1832
53.67/39.88	o 1831
53.99/40.12	o 1830
54.19/40.35	o 1829
54.39/40.58	o 1828
54.72/40.80	o 1827
54.91/41.04	o 1826
55.11/41.27	o 1825
55.43/41.50	o 1824
55.63/41.74	o 1823
55.83/41.97	o 1822
56.14/42.20	o 1821
56.34/42.43	o 1820
56.60/42.68	o 1819
56.91/42.91	o 1818
57.12/43.13	o 1817
57.32/43.36	o 1816
57.52/43.59	o 1815
57.83/43.83	o 1814
58.04/44.06	o 1813
58.23/44.28	o 1812
58.55/44.51	o 1811
58.76/44.75	o 1810
58.96/44.97	o 1809
59.28/45.21	o 1808
59.48/45.44	o 1807
59.68/45.66	o 1806
59.88/45.89	o 1805
60.19/46.12	o 1804
60.40/46.34	o 1803
60.59/46.56	o 1802
60.80/46.79	o 1801
61.10/47.01	o 1800
61.34/47.26	o 1799
61.56/47.49	o 1798
61.86/47.71	o 1797
62.06/47.94	o 1796
62.27/48.16	o 1795
62.47/48.39	o 1794
62.77/48.61	o 1793
62.99/48.83	o 1792
63.19/49.05	o 1791
63.39/49.28	o 1790
63.59/49.49	o 1789
63.90/49.72	o 1788
64.10/49.94	o 1787
64.30/50.16	o 1786
64.51/50.38	o 1785
64.71/50.60	o 1784
65.01/50.83	o 1783
65.23/51.06	o 1782
65.43/51.28	o 1781
65.63/51.49	o 1780
65.95/51.71	o 1779
66.15/51.94	o 1778
66.39/52.17	o 1777
66.59/52.39	o 1776
66.90/52.61	o 1775
67.11/52.84	o 1774
67.30/53.06	o 1773
67.51/53.28	o 1772
67.81/53.50	o 1771
68.01/53.71	o 1770
68.23/53.93	o 1769
68.43/54.14	o 1768
68.63/54.35	o 1767
68.83/54.56	o 1766
69.04/54.78	o 1765
69.24/54.99	o 1764
69.54/55.21	o 1763
69.75/55.43	o 1762
69.95/55.64	o 1761
70.15/55.85	o 1760
70.35/56.06	o 1759
70.56/56.26	o 1758
70.75/56.48	o 1757
70.96/56.69	o 1756
71.28/56.91	o 1755
71.52/57.14	o 1754
71.76/57.36	o 1753
72.06/57.56	o 1752
72.26/57.77	o 1751
72.46/57.99	o 1750
72.76/58.20	o 1749
72.98/58.40	o 1748
73.17/58.61	o 1747
73.37/58.82	o 1746
73.57/59.02	o 1745
73.78/59.22	o 1744
73.98/59.43	o 1743
74.18/59.64	o 1742
74.39/59.84	o 1741
74.59/60.05	o 1740
74.79/60.26	o 1739
74.99/60.45	o 1738
75.21/60.66	o 1737
75.40/60.86	o 1736
75.60/61.06	o 1735
75.80/61.26	o 1734
76.01/61.46	o 1733
76.22/61.66	o 1732
76.41/61.87	o 1731
76.62/62.08	o 1730
76.86/62.29	o 1729
77.06/62.49	o 1728
77.26/62.70	o 1727
77.57/62.90	o 1726
77.77/63.10	o 1725
77.97/63.31	o 1724
78.19/63.51	o 1723
78.39/63.72	o 1722
78.60/63.92	o 1721
78.80/64.12	o 1720
79.00/64.32	o 1719
79.21/64.52	o 1718
79.41/64.72	o 1717
79.62/64.92	o 1716
79.82/65.13	o 1715
80.02/65.33	o 1714
80.22/65.53	o 1713
80.44/65.73	o 1712
80.64/65.93	o 1711
80.84/66.14	o 1710
81.04/66.34	o 1709
81.25/66.54	o 1708
81.45/66.74	o 1707
81.66/66.94	o 1706
81.88/67.13	o 1705
82.07/67.36	o 1704
82.34/67.55	o 1703
82.55/67.75	o 1702
82.76/67.94	o 1701
82.96/68.14	o 1700
83.17/68.34	o 1699
83.36/68.54	o 1698
83.57/68.73	o 1697
83.77/68.93	o 1696
83.97/69.13	o 1695
84.24/69.33	o 1694
84.44/69.52	o 1693
84.64/69.72	o 1692
84.84/69.92	o 1691
85.05/70.11	o 1690
85.25/70.31	o 1689
85.46/70.51	o 1688
85.55/70.69	o 1687
85.77/70.89	o 1686
85.97/71.07	o 1685
86.17/71.27	o 1684
86.37/71.45	o 1683
86.59/71.64	o 1682
86.78/71.83	o 1681
86.98/72.03	o 1680
87.20/72.22	o 1679
87.40/72.42	o 1678
87.61/72.61	o 1677
87.85/72.82	o 1676
88.05/73.01	o 1675
88.25/73.20	o 1674
88.35/73.39	o 1673
88.55/73.58	o 1672
88.77/73.77	o 1671
88.96/73.96	o 1670
89.16/74.15	o 1669
89.36/74.33	o 1668
89.57/74.52	o 1667
89.77/74.70	o 1666
89.87/74.89	o 1665
90.07/75.08	o 1664
90.28/75.27	o 1663
90.48/75.46	o 1662
90.88/75.85	o 1661
91.11/76.03	o 1660
91.30/76.21	o 1659
91.40/76.39	o 1658
91.60/76.56	o 1657
91.81/76.74	o 1656
92.01/76.91	o 1655
92.12/77.10	o 1654
92.31/77.28	o 1653
92.53/77.46	o 1652
92.73/77.65	o 1651
92.98/77.84	o 1650
93.18/78.03	o 1649
93.40/78.20	o 1648
93.49/78.38	o 1647
93.69/78.56	o 1646
93.89/78.74	o 1645
94.11/78.92	o 1644
94.21/79.09	o 1643
94.41/79.28	o 1642
94.61/79.46	o 1641
94.82/79.63	o 1640
95.02/79.81	o 1639
95.12/79.99	o 1638
95.33/80.16	o 1637
95.55/80.33	o 1636
95.74/80.51	o 1635
95.84/80.68	o 1634
96.04/80.86	o 1633
96.26/81.04	o 1632
96.46/81.22	o 1631
96.56/81.39	o 1630
96.76/81.57	o 1629
96.96/81.75	o 1628
97.17/81.92	o 1627
97.37/82.10	o 1626
97.47/82.27	o 1625
97.67/82.46	o 1624
97.91/82.62	o 1623
98.01/82.79	o 1622
98.21/82.96	o 1621
98.41/83.13	o 1620
98.62/83.31	o 1619
98.72/83.48	o 1618
98.93/83.66	o 1617
99.12/83.84	o 1616
99.34/84.01	o 1615
99.44/84.18	o 1614
99.64/84.35	o 1613
99.84/84.52	o 1612
99.94/84.68	o 1611
100.16/84.85	o 1610
100.36/85.02	o 1609
100.46/85.19	o 1608
100.66/85.36	o 1607
100.87/85.52	o 1606
100.97/85.69	o 1605
101.18/85.85	o 1604
101.37/86.02	o 1603
101.49/86.18	o 1602
101.69/86.35	o 1601
101.89/86.52	o 1600
101.99/86.68	o 1599
102.19/86.84	o 1598
102.43/87.02	o 1597
102.52/87.18	o 1596
102.73/87.34	o 1595
102.93/87.51	o 1594
103.04/87.68	o 1593
103.24/87.84	o 1592
103.45/88.01	o 1591
103.55/88.17	o 1590
103.76/88.34	o 1589
103.96/88.50	o 1588
104.06/88.66	o 1587
104.26/88.82	o 1586
104.36/88.98	o 1585
104.58/89.14	o 1584
104.78/89.30	o 1583
104.88/89.46	o 1582
105.08/89.62	o 1581
105.18/89.79	o 1580
105.40/89.95	o 1579
105.60/90.11	o 1578
105.90/90.44	o 1577
106.43/90.95	o 1576
107.05/91.46	o 1575
107.25/91.61	o 1574
107.36/91.76	o 1573
107.57/91.92	o 1572
107.68/92.08	o 1571
107.88/92.23	o 1570
107.98/92.38	o 1569
108.18/92.53	o 1568
108.28/92.68	o 1567
108.49/92.83	o 1566
108.59/92.99	o 1565
108.79/93.14	o 1564
108.89/93.29	o 1563
109.11/93.43	o 1562
109.21/93.58	o 1561
109.41/93.73	o 1560
109.51/93.88	o 1559
109.71/94.02	o 1558
109.81/94.17	o 1557
110.02/94.32	o 1556
110.12/94.47	o 1555
110.33/94.62	o 1554
110.43/94.76	o 1553
110.65/94.92	o 1552
110.75/95.06	o 1551
110.95/95.21	o 1550
111.05/95.36	o 1549
111.25/95.52	o 1548
111.37/95.66	o 1547
111.57/95.81	o 1546
111.67/95.96	o 1545
111.87/96.10	o 1544
112.05/96.25	o 1543
112.16/96.39	o 1542
112.37/96.54	o 1541
112.47/96.68	o 1540
112.68/96.83	o 1539
112.78/96.97	o 1538
112.99/97.11	o 1537
113.09/97.26	o 1536
113.29/97.40	o 1535
113.39/97.56	o 1534
113.59/97.71	o 1533
113.72/97.85	o 1532
113.82/97.99	o 1531
114.02/98.13	o 1530
114.12/98.27	o 1529
114.32/98.42	o 1528
114.43/98.57	o 1527
114.65/98.72	o 1526
114.75/98.86	o 1525
114.95/99.01	o 1524
115.05/99.15	o 1523
115.15/99.29	o 1522
115.36/99.44	o 1521
115.46/99.58	o 1520
115.66/99.72	o 1519
115.76/99.87	o 1518
115.96/100.01	o 1517
116.08/100.15	o 1516
116.18/100.29	o 1515
116.38/100.43	o 1514
116.48/100.58	o 1513
116.68/100.72	o 1512
116.79/100.87	o 1511
116.99/101.01	o 1510
117.09/101.14	o 1509
117.20/101.29	o 1508
117.39/101.43	o 1507
117.50/101.57	o 1506
117.71/101.71	o 1505
117.81/101.85	o 1504
118.04/102.00	o 1503
118.14/102.14	o 1502
118.24/102.28	o 1501
118.46/102.41	o 1500
118.56/102.55	o 1499
118.66/102.69	o 1498
118.86/102.83	o 1497
118.96/102.96	o 1496
119.17/103.10	o 1495
119.27/103.24	o 1494
119.37/103.39	o 1493
119.58/103.53	o 1492
119.67/103.66	o 1491
119.89/103.80	o 1490
119.99/103.94	o 1489
120.09/104.07	o 1488
120.29/104.21	o 1487
120.39/104.35	o 1486
120.49/104.49	o 1485
120.71/104.62	o 1484
120.80/104.76	o 1483
120.90/104.89	o 1482
121.10/105.03	o 1481
121.20/105.17	o 1480
121.44/105.31	o 1479
121.54/105.45	o 1478
121.64/105.58	o 1477
121.84/105.72	o 1476
121.94/105.85	o 1475
122.15/106.01	o 1474
122.25/106.15	o 1473
123.08/106.93	o 1472
123.49/107.37	o 1471
124.35/108.12	o 1470
124.45/108.26	o 1469
124.55/108.39	o 1468
125.19/108.95	o 1467
125.29/109.08	o 1466
125.49/109.21	o 1465
125.59/109.34	o 1464
125.69/109.47	o 1463
125.90/109.62	o 1462
126.00/109.75	o 1461
126.10/109.87	o 1460
126.20/109.99	o 1459
126.41/110.14	o 1458
126.50/110.28	o 1457
126.63/110.40	o 1456
126.83/110.52	o 1455
127.16/110.82	o 1454
127.26/110.94	o 1453
127.37/111.06	o 1452
127.48/111.19	o 1451
127.67/111.31	o 1450
127.77/111.44	o 1449
127.87/111.56	o 1448
127.97/111.67	o 1447
128.20/111.80	o 1446
128.30/111.92	o 1445
128.40/112.05	o 1444
128.50/112.18	o 1443
128.61/112.30	o 1442
128.80/112.42	o 1441
128.91/112.55	o 1440
129.02/112.68	o 1439
129.22/112.80	o 1438
129.32/112.92	o 1437
129.42/113.04	o 1436
129.52/113.16	o 1435
129.62/113.28	o 1434
129.74/113.40	o 1433
129.95/113.52	o 1432
130.05/113.64	o 1431
130.15/113.76	o 1430
130.25/113.88	o 1429
130.35/113.99	o 1428
130.56/114.11	o 1427
130.66/114.23	o 1426
130.76/114.35	o 1425
130.87/114.47	o 1424
130.97/114.59	o 1423
131.16/114.72	o 1422
131.28/114.83	o 1421
131.38/114.95	o 1420
131.48/115.07	o 1419
131.58/115.19	o 1418
131.78/115.31	o 1417
131.88/115.43	o 1416
131.99/115.54	o 1415
132.10/115.66	o 1414
132.20/115.78	o 1413
132.30/115.89	o 1412
132.50/116.02	o 1411
132.64/116.14	o 1410
132.74/116.26	o 1409
132.85/116.38	o 1408
133.05/116.50	o 1407
133.16/116.62	o 1406
133.26/116.73	o 1405
133.35/116.85	o 1404
133.45/116.97	o 1403
133.55/117.09	o 1402
133.77/117.20	o 1401
133.87/117.32	o 1400
134.07/117.57	o 1399
134.17/117.68	o 1398
134.28/117.80	o 1397
134.49/117.91	o 1396
134.59/118.03	o 1395
134.69/118.14	o 1394
134.89/118.38	o 1393
135.09/118.50	o 1392
135.22/118.62	o 1391
135.32/118.73	o 1390
135.43/118.85	o 1389
135.53/118.98	o 1388
135.62/119.09	o 1387
135.82/119.20	o 1386
135.94/119.32	o 1385
136.04/119.44	o 1384
136.24/119.68	o 1383
136.57/119.92	o 1382
137.19/120.58	o 1381
137.52/120.85	o 1380
137.62/120.95	o 1379
138.76/122.07	o 1378
139.07/122.32	o 1377
139.17/122.42	o 1376
139.27/122.52	o 1375
139.49/122.75	o 1374
139.59/122.86	o 1373
139.69/122.96	o 1372
139.80/123.06	o 1371
140.20/123.40	o 1370
140.40/123.66	o 1369
140.62/123.88	o 1368
140.72/123.99	o 1367
140.82/124.09	o 1366
141.02/124.22	o 1365
141.13/124.32	o 1364
141.23/124.43	o 1363
141.47/124.66	o 1362
141.57/124.76	o 1361
141.67/124.86	o 1360
141.77/124.96	o 1359
141.87/125.06	o 1358
141.97/125.18	o 1357
142.17/125.40	o 1356
142.28/125.50	o 1355
142.47/125.62	o 1354
142.57/125.75	o 1353
142.67/125.85	o 1352
142.77/125.94	o 1351
142.89/126.05	o 1350
142.99/126.15	o 1349
143.09/126.25	o 1348
143.29/126.47	o 1347
143.60/126.71	o 1346
143.72/126.81	o 1345
143.82/126.90	o 1344
143.92/127.02	o 1343
144.02/127.12	o 1342
144.12/127.21	o 1341
144.22/127.31	o 1340
144.32/127.41	o 1339
144.43/127.51	o 1338
144.55/127.62	o 1337
144.65/127.74	o 1336
144.74/127.85	o 1335
144.94/128.07	o 1334
145.04/128.17	o 1333
145.15/128.27	o 1332
145.27/128.37	o 1331
145.37/128.47	o 1330
145.57/128.68	o 1329
145.78/128.80	o 1328
145.87/128.90	o 1327
145.87/129.00	o 1326
146.08/129.10	o 1325
146.18/129.20	o 1324
146.28/129.30	o 1323
146.49/129.51	o 1322
146.59/129.60	o 1321
146.68/129.70	o 1320
146.68/129.79	o 1319
146.79/129.89	o 1318
146.92/129.99	o 1317
147.02/130.08	o 1316
147.22/130.20	o 1315
147.32/130.30	o 1314
147.32/130.40	o 1313
147.42/130.49	o 1312
147.73/130.72	o 1311
147.83/130.82	o 1310
147.94/130.94	o 1309
148.04/131.04	o 1308
148.23/131.25	o 1307
148.66/131.69	o 1306
148.86/131.80	o 1305
149.06/132.01	o 1304
149.36/132.32	o 1303
150.38/133.34	o 1302
150.48/133.43	o 1301
150.99/133.98	o 1300
156.47/139.29	o 1299
157.30/140.02	o 1298
157.50/140.21	o 1297
157.90/140.62	o 1296
158.00/140.70	o 1295
158.73/141.40	o 1294
159.13/141.81	o 1293
159.24/141.99	o 1292
159.57/142.29	o 1291
159.67/142.37	o 1290
159.87/142.56	o 1289
160.07/142.75	o 1288
163.52/146.02	o 1287
163.62/146.11	o 1286
163.72/146.21	o 1285
166.02/148.45	o 1284
167.47/149.81	o 1283
167.67/150.00	o 1282
168.51/150.83	o 1281
168.60/150.91	o 1280
169.12/151.43	o 1279
169.22/151.52	o 1278
169.34/151.62	o 1277
169.44/151.70	o 1276
169.44/151.78	o 1275
172.04/154.27	o 1274
172.14/154.37	o 1273
172.24/154.47	o 1272
172.37/154.55	o 1271
172.47/154.64	o 1270
173.23/155.32	o 1269
174.25/156.31	o 1268
175.08/157.14	o 1267
175.82/157.81	o 1266
175.82/157.89	o 1265
176.45/158.43	o 1264
176.64/158.62	o 1263
179.68/161.55	o 1262
180.32/162.11	o 1261
183.35/165.08	o 1260
183.48/165.17	o 1259
183.58/165.26	o 1258
183.68/165.36	o 1257
184.71/166.35	o 1256
184.81/166.43	o 1255
199.64/180.65	o 1254
199.97/180.98	o 1253
200.07/181.06	o 1252
200.27/181.26	o 1251
200.37/181.36	o 1250
210.98/191.66	o 1249
211.08/191.74	o 1248
211.78/192.45	o 1247
211.91/192.54	o 1246
214.97/195.54	o 1245
215.17/195.74	o 1244
215.60/196.16	o 1243
215.70/196.25	o 1242
219.28/199.72	o 1241
220.92/201.36	o 1240
222.65/203.02	o 1239
222.75/203.11	o 1238
223.46/203.84	o 1237
292.91/271.44	o 1236
293.01/271.54	o 1235
293.11/271.63	o 1234
297.40/275.71	o 1233
297.49/275.80	o 1232
298.96/277.26	o 1231
299.06/277.34	o 1230
369.56/345.15	o 1229
370.22/345.73	o 1228
429.46/402.63	o 1227
436.35/409.25	o 1226
454.14/426.29	o 1225
454.34/426.40	o 1224
458.61/430.51	o 1223
458.71/430.61	o 1222
2520.05/2461.20	java.util.concurrent.TimeoutException
2520.05/2461.20		at concrete.MAC.mac(MAC.scala:74)
2520.05/2461.20		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.05/2461.20		at scala.util.Try$.apply(Try.scala:209)
2520.05/2461.20		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.05/2461.20		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.05/2461.20		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.05/2461.20		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.05/2461.20		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.05/2461.20		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.05/2461.20		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.05/2461.20		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.05/2461.20		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.05/2461.20		at concrete.MAC.oneRun(MAC.scala:146)
2520.05/2461.20		at concrete.MAC.nextSolution(MAC.scala:166)
2520.05/2461.20		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.05/2461.20		at concrete.ProblemState.map(ProblemState.scala:203)
2520.05/2461.20		at concrete.ProblemState.map(ProblemState.scala:188)
2520.05/2461.20		at concrete.MAC.nextSolution(MAC.scala:195)
2520.05/2461.20		at concrete.Solver.hasNext(Solver.scala:202)
2520.05/2461.20		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.05/2461.20		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.05/2461.20		at concrete.Solver.toStream(Solver.scala:73)
2520.05/2461.20		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.05/2461.20		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.05/2461.20		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.05/2461.20		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.05/2461.20		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.05/2461.20		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.05/2461.20		at scala.util.Success.map(Try.scala:209)
2520.05/2461.20		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.05/2461.20		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.05/2461.20		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.05/2461.20		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.05/2461.20		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.05/2461.20		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.05/2461.20		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.05/2461.20		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.05/2461.20		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.05/2461.20		at scala.collection.immutable.List.foreach(List.scala:389)
2520.05/2461.20		at scala.App.main(App.scala:76)
2520.05/2461.20		at scala.App.main$(App.scala:74)
2520.05/2461.20		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.05/2461.20		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.05/2461.21	v <instantiation cost="1222">
2520.05/2461.21	v       <list>
2520.05/2461.21	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]
2520.05/2461.21	v       </list>
2520.05/2461.21	v       <values>
2520.05/2461.21	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 0 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 1 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 0 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 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 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 0 1 1 0 1 1 1 0 0 0 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 0 1 0 0 0 1 1 1 0 1 1 0 1 1 1 1 0 1 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 0 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 0 0 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 0 1 0 0 0 0 1 1 1 0 1 0 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 0 0 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 1 1 1 1 0 1 1 0 0 0 0 1 0 0 1 0 1 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 0 1 1 1 1 0 1 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 1 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 1 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 0 1 0 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 0 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 0 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 0 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 1 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 1 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 0 0 1 1 1 1 1 0 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 0 1 1 0 0 1 1 1 1 1 0 1 0 0 1 1 1 1 1 0 0 1 1 0 1 0 1 1 1 0 1 1 0 0 1 1 1 1 1 0 1 0 0 1 0 1 0 1 1 1 1 0 1 1 0 1 0 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 1 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
2520.05/2461.21	v       </values>
2520.05/2461.21	v     </instantiation>
2520.05/2461.21	s SATISFIABLE

Verifier Data 

OK	1222

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-4262037-1502465695/watcher-4262037-1502465695 -o /tmp/evaluation-result-4262037-1502465695/solver-4262037-1502465695 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4884 --watchdog 2580 bin/concrete HOME/instance-4262037-1502465695.xml 

pid=21156
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.93 1.52 1.43 3/201 21159
/proc/meminfo: memFree=30295420/32770624 swapFree=0/437880
[pid=21159] ppid=21156 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/21159/stat : 21159 (runsolver) D 21156 21159 4821 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 94384767 24240128 108 18446744073709551615 4194304 4338465 140734985436544 140734985434184 140373974512343 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 38072320 140734985445585 140734985445961 140734985445961 140734985449418 0
/proc/21159/statm: 5918 108 54 36 0 2156 0

[startup+0.100084 s]
/proc/loadavg: 1.93 1.52 1.43 3/201 21159
/proc/meminfo: memFree=30295420/32770624 swapFree=0/437880
[pid=21159] ppid=21156 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/21159/stat : 21159 (bash) R 21156 21159 4821 0 -1 4202496 682 1544 0 0 0 0 0 0 20 0 1 0 94384767 9736192 351 18446744073709551615 4194304 5098028 140732529295232 140732529292872 139972927081472 0 0 5 65536 0 0 0 17 4 0 0 8 0 0 7196144 7232144 25673728 140732529299988 140732529300073 140732529300073 140732529303530 0
/proc/21159/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200374 s]
/proc/loadavg: 1.93 1.52 1.43 3/201 21159
/proc/meminfo: memFree=30295420/32770624 swapFree=0/437880
[pid=21159] ppid=21156 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/21159/stat : 21159 (bash) S 21156 21159 4821 0 -1 4202496 891 6486 0 0 0 0 0 1 20 0 1 0 94384767 9867264 377 18446744073709551615 4194304 5098028 140732529295232 140732529289240 139972927081472 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 8 0 0 7196144 7232144 25673728 140732529299988 140732529300073 140732529300073 140732529303530 0
/proc/21159/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300332 s]
/proc/loadavg: 1.93 1.52 1.43 3/201 21159
/proc/meminfo: memFree=30295420/32770624 swapFree=0/437880
[pid=21159] ppid=21156 vsize=13907308 CPUtime=0.13 cores=0,2,4,6
/proc/21159/stat : 21159 (java) S 21156 21159 4821 0 -1 1077944320 5960 12372 0 0 6 0 5 2 20 0 14 0 94384767 14241083392 5603 18446744073709551615 4194304 4196468 140728383235568 140728383218112 140102771306231 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
/proc/21159/statm: 3476827 5603 2559 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.700227 s]
/proc/loadavg: 1.93 1.52 1.43 3/201 21159
/proc/meminfo: memFree=30295420/32770624 swapFree=0/437880
[pid=21159] ppid=21156 vsize=13974784 CPUtime=0.64 cores=0,2,4,6
/proc/21159/stat : 21159 (java) S 21156 21159 4821 0 -1 1077944320 13915 12372 0 0 53 4 5 2 20 0 15 0 94384767 14310178816 14309 18446744073709551615 4194304 4196468 140728383235568 140728383218112 140102771306231 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
/proc/21159/statm: 3493696 14309 3096 1 0 3482965 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 13974784

[startup+1.50192 s]
/proc/loadavg: 1.86 1.51 1.43 3/216 21222
/proc/meminfo: memFree=30197432/32770624 swapFree=0/438356
[pid=21159] ppid=21156 vsize=13985408 CPUtime=1.84 cores=0,2,4,6
/proc/21159/stat : 21159 (java) S 21156 21159 4821 0 -1 1077944320 25447 12372 0 0 167 10 5 2 20 0 15 0 94384767 14321057792 34804 18446744073709551615 4194304 4196468 140728383235568 140728383218112 140102771306231 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
/proc/21159/statm: 3496352 34804 3335 1 0 3485525 0
[pid=21159/tid=21209] ppid=21156 vsize=13985408 CPUtime=1.29 cores=0,2,4,6
/proc/21159/task/21209/stat : 21209 (java) R 21156 21159 4821 0 -1 4202560 20274 12372 0 0 114 8 5 2 20 0 15 0 94384789 14321057792 34804 18446744073709551615 4194304 4196468 140728383235568 140102775527680 140102752868144 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21210] ppid=21156 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21210/stat : 21210 (java) S 21156 21159 4821 0 -1 1077944384 1 12372 0 0 0 0 5 2 20 0 15 0 94384790 14321057792 34804 18446744073709551615 4194304 4196468 140728383235568 140102371817744 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21211] ppid=21156 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21211/stat : 21211 (java) S 21156 21159 4821 0 -1 1077944384 1 12372 0 0 0 0 5 2 20 0 15 0 94384790 14321057792 34804 18446744073709551615 4194304 4196468 140728383235568 140102370765200 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21212] ppid=21156 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21212/stat : 21212 (java) S 21156 21159 4821 0 -1 1077944384 1 12372 0 0 0 0 5 2 20 0 15 0 94384790 14321057792 34804 18446744073709551615 4194304 4196468 140728383235568 140102369712656 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21213] ppid=21156 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21213/stat : 21213 (java) S 21156 21159 4821 0 -1 1077944384 2 12372 0 0 0 0 5 2 20 0 15 0 94384790 14321057792 34804 18446744073709551615 4194304 4196468 140728383235568 140102368660112 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21214] ppid=21156 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21214/stat : 21214 (java) S 21156 21159 4821 0 -1 1077944384 5 12372 0 0 0 0 5 2 20 0 15 0 94384791 14321057792 34804 18446744073709551615 4194304 4196468 140728383235568 140102317079024 140102771317378 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21215] ppid=21156 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21215/stat : 21215 (java) S 21156 21159 4821 0 -1 1077944384 33 12372 0 0 0 0 5 2 20 0 15 0 94384792 14321057792 34804 18446744073709551615 4194304 4196468 140728383235568 140102316025248 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21216] ppid=21156 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21216/stat : 21216 (java) S 21156 21159 4821 0 -1 1077944384 21 12372 0 0 0 0 5 2 20 0 15 0 94384792 14321057792 34804 18446744073709551615 4194304 4196468 140728383235568 140102314972656 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21217] ppid=21156 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21217/stat : 21217 (java) S 21156 21159 4821 0 -1 1077944384 3 12372 0 0 0 0 5 2 20 0 15 0 94384795 14321057792 34804 18446744073709551615 4194304 4196468 140728383235568 140102313921232 140102771324827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21218] ppid=21156 vsize=13985408 CPUtime=0.24 cores=0,2,4,6
/proc/21159/task/21218/stat : 21218 (java) S 21156 21159 4821 0 -1 1077944384 1124 12372 0 0 17 0 5 2 20 0 15 0 94384795 14321057792 34804 18446744073709551615 4194304 4196468 140728383235568 140102312867824 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21219] ppid=21156 vsize=13985408 CPUtime=0.19 cores=0,2,4,6
/proc/21159/task/21219/stat : 21219 (java) S 21156 21159 4821 0 -1 1077944384 603 12372 0 0 12 0 5 2 20 0 15 0 94384795 14321057792 34804 18446744073709551615 4194304 4196468 140728383235568 140102311815280 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21220] ppid=21156 vsize=13985408 CPUtime=0.29 cores=0,2,4,6
/proc/21159/task/21220/stat : 21220 (java) R 21156 21159 4821 0 -1 4202560 1231 12372 0 0 22 0 5 2 20 0 15 0 94384795 14321057792 34804 18446744073709551615 4194304 4196468 140728383235568 140102310758496 140102757374316 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21221] ppid=21156 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21221/stat : 21221 (java) S 21156 21159 4821 0 -1 1077944384 3 12372 0 0 0 0 5 2 20 0 15 0 94384795 14321057792 34804 18446744073709551615 4194304 4196468 140728383235568 140102309710432 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21222] ppid=21156 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21222/stat : 21222 (java) S 21156 21159 4821 0 -1 1077944384 1 12372 0 0 0 0 5 2 20 0 15 0 94384800 14321057792 34856 18446744073709551615 4194304 4196468 140728383235568 140102308657968 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 13985408

[startup+3.10076 s]
/proc/loadavg: 1.86 1.51 1.43 5/216 21222
/proc/meminfo: memFree=30120188/32770624 swapFree=0/438356
[pid=21159] ppid=21156 vsize=13995836 CPUtime=5.94 cores=0,2,4,6
/proc/21159/stat : 21159 (java) S 21156 21159 4821 0 -1 1077944320 33773 12372 0 0 572 15 5 2 20 0 15 0 94384767 14331736064 55966 18446744073709551615 4194304 4196468 140728383235568 140728383218112 140102771306231 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
/proc/21159/statm: 3498959 55966 3442 1 0 3487573 0
[pid=21159/tid=21209] ppid=21156 vsize=13995836 CPUtime=2.84 cores=0,2,4,6
/proc/21159/task/21209/stat : 21209 (java) R 21156 21159 4821 0 -1 4202560 23411 12372 0 0 268 9 5 2 20 0 15 0 94384789 14331736064 55966 18446744073709551615 4194304 4196468 140728383235568 140102775534480 140102395325599 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21210] ppid=21156 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/21159/task/21210/stat : 21210 (java) S 21156 21159 4821 0 -1 1077944384 42 12372 0 0 1 0 5 2 20 0 15 0 94384790 14331736064 55966 18446744073709551615 4194304 4196468 140728383235568 140102371817744 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21211] ppid=21156 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/21159/task/21211/stat : 21211 (java) S 21156 21159 4821 0 -1 1077944384 40 12372 0 0 1 0 5 2 20 0 15 0 94384790 14331736064 55966 18446744073709551615 4194304 4196468 140728383235568 140102370765200 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21212] ppid=21156 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/21159/task/21212/stat : 21212 (java) S 21156 21159 4821 0 -1 1077944384 176 12372 0 0 1 0 5 2 20 0 15 0 94384790 14331736064 55966 18446744073709551615 4194304 4196468 140728383235568 140102369712656 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21213] ppid=21156 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/21159/task/21213/stat : 21213 (java) S 21156 21159 4821 0 -1 1077944384 36 12372 0 0 1 0 5 2 20 0 15 0 94384790 14331736064 55966 18446744073709551615 4194304 4196468 140728383235568 140102368660112 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21214] ppid=21156 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/21159/task/21214/stat : 21214 (java) S 21156 21159 4821 0 -1 1077944384 252 12372 0 0 1 0 5 2 20 0 15 0 94384791 14331736064 55966 18446744073709551615 4194304 4196468 140728383235568 140102317079024 140102771317378 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21215] ppid=21156 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21215/stat : 21215 (java) S 21156 21159 4821 0 -1 1077944384 35 12372 0 0 0 0 5 2 20 0 15 0 94384792 14331736064 55966 18446744073709551615 4194304 4196468 140728383235568 140102316025312 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21216] ppid=21156 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21216/stat : 21216 (java) S 21156 21159 4821 0 -1 1077944384 22 12372 0 0 0 0 5 2 20 0 15 0 94384792 14331736064 55966 18446744073709551615 4194304 4196468 140728383235568 140102314972672 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21217] ppid=21156 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21217/stat : 21217 (java) S 21156 21159 4821 0 -1 1077944384 3 12372 0 0 0 0 5 2 20 0 15 0 94384795 14331736064 55966 18446744073709551615 4194304 4196468 140728383235568 140102313921232 140102771324827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21218] ppid=21156 vsize=13995836 CPUtime=0.98 cores=0,2,4,6
/proc/21159/task/21218/stat : 21218 (java) S 21156 21159 4821 0 -1 1077944384 2012 12372 0 0 91 0 5 2 20 0 15 0 94384795 14331736064 55966 18446744073709551615 4194304 4196468 140728383235568 140102312867824 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21219] ppid=21156 vsize=13995836 CPUtime=1.1 cores=0,2,4,6
/proc/21159/task/21219/stat : 21219 (java) S 21156 21159 4821 0 -1 1077944384 2449 12372 0 0 102 1 5 2 20 0 15 0 94384795 14331736064 55966 18446744073709551615 4194304 4196468 140728383235568 140102311815280 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21220] ppid=21156 vsize=13995836 CPUtime=1.1 cores=0,2,4,6
/proc/21159/task/21220/stat : 21220 (java) S 21156 21159 4821 0 -1 1077944384 3140 12372 0 0 102 1 5 2 20 0 15 0 94384795 14331736064 55966 18446744073709551615 4194304 4196468 140728383235568 140102310762736 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21221] ppid=21156 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21221/stat : 21221 (java) S 21156 21159 4821 0 -1 1077944384 3 12372 0 0 0 0 5 2 20 0 15 0 94384795 14331736064 55966 18446744073709551615 4194304 4196468 140728383235568 140102309710432 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21222] ppid=21156 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21222/stat : 21222 (java) S 21156 21159 4821 0 -1 1077944384 1 12372 0 0 0 0 5 2 20 0 15 0 94384800 14331736064 55966 18446744073709551615 4194304 4196468 140728383235568 140102308657968 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 13995836

[startup+6.30157 s]
/proc/loadavg: 1.86 1.51 1.43 4/216 21222
/proc/meminfo: memFree=29918144/32770624 swapFree=0/438352
[pid=21159] ppid=21156 vsize=14067516 CPUtime=15.22 cores=0,2,4,6
/proc/21159/stat : 21159 (java) S 21156 21159 4821 0 -1 1077944320 69188 12372 0 0 1486 29 5 2 20 0 15 0 94384767 14405136384 105880 18446744073709551615 4194304 4196468 140728383235568 140728383218112 140102771306231 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
/proc/21159/statm: 3516879 105880 3472 1 0 3505493 0
[pid=21159/tid=21209] ppid=21156 vsize=14067516 CPUtime=5.82 cores=0,2,4,6
/proc/21159/task/21209/stat : 21209 (java) S 21156 21159 4821 0 -1 1077944384 40629 12372 0 0 562 13 5 2 20 0 15 0 94384789 14405136384 105880 18446744073709551615 4194304 4196468 140728383235568 140102775543776 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21210] ppid=21156 vsize=14067516 CPUtime=0.23 cores=0,2,4,6
/proc/21159/task/21210/stat : 21210 (java) R 21156 21159 4821 0 -1 4202560 184 12372 0 0 15 1 5 2 20 0 15 0 94384790 14405136384 105880 18446744073709551615 4194304 4196468 140728383235568 140102371817632 140102756006919 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21211] ppid=21156 vsize=14067516 CPUtime=0.21 cores=0,2,4,6
/proc/21159/task/21211/stat : 21211 (java) R 21156 21159 4821 0 -1 4202560 81 12372 0 0 13 1 5 2 20 0 15 0 94384790 14405136384 105880 18446744073709551615 4194304 4196468 140728383235568 140102370765200 140102756007232 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21212] ppid=21156 vsize=14067516 CPUtime=0.23 cores=0,2,4,6
/proc/21159/task/21212/stat : 21212 (java) R 21156 21159 4821 0 -1 4202560 356 12372 0 0 15 1 5 2 20 0 15 0 94384790 14405136384 105880 18446744073709551615 4194304 4196468 140728383235568 140102369712656 140102756006864 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21213] ppid=21156 vsize=14067516 CPUtime=0.24 cores=0,2,4,6
/proc/21159/task/21213/stat : 21213 (java) R 21156 21159 4821 0 -1 4202560 118 12372 0 0 15 2 5 2 20 0 15 0 94384790 14405136384 105880 18446744073709551615 4194304 4196468 140728383235568 140102368660112 140102756006864 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21214] ppid=21156 vsize=14067516 CPUtime=0.13 cores=0,2,4,6
/proc/21159/task/21214/stat : 21214 (java) S 21156 21159 4821 0 -1 1077944384 2184 12372 0 0 6 0 5 2 20 0 15 0 94384791 14405136384 105880 18446744073709551615 4194304 4196468 140728383235568 140102317077648 140102771316437 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21215] ppid=21156 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21215/stat : 21215 (java) S 21156 21159 4821 0 -1 1077944384 39 12372 0 0 0 0 5 2 20 0 15 0 94384792 14405136384 105880 18446744073709551615 4194304 4196468 140728383235568 140102316025312 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21216] ppid=21156 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21216/stat : 21216 (java) S 21156 21159 4821 0 -1 1077944384 48 12372 0 0 0 0 5 2 20 0 15 0 94384792 14405136384 105880 18446744073709551615 4194304 4196468 140728383235568 140102314972672 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21217] ppid=21156 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21217/stat : 21217 (java) S 21156 21159 4821 0 -1 1077944384 3 12372 0 0 0 0 5 2 20 0 15 0 94384795 14405136384 105880 18446744073709551615 4194304 4196468 140728383235568 140102313921232 140102771324827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21218] ppid=21156 vsize=14067516 CPUtime=3.44 cores=0,2,4,6
/proc/21159/task/21218/stat : 21218 (java) S 21156 21159 4821 0 -1 1077944384 9151 12372 0 0 335 2 5 2 20 0 15 0 94384795 14405136384 105880 18446744073709551615 4194304 4196468 140728383235568 140102312852816 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21219] ppid=21156 vsize=14067516 CPUtime=3.35 cores=0,2,4,6
/proc/21159/task/21219/stat : 21219 (java) S 21156 21159 4821 0 -1 1077944384 5328 12372 0 0 327 1 5 2 20 0 15 0 94384795 14405136384 105880 18446744073709551615 4194304 4196468 140728383235568 140102311801264 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21220] ppid=21156 vsize=14067516 CPUtime=2.02 cores=0,2,4,6
/proc/21159/task/21220/stat : 21220 (java) S 21156 21159 4821 0 -1 1077944384 8774 12372 0 0 192 3 5 2 20 0 15 0 94384795 14405136384 105880 18446744073709551615 4194304 4196468 140728383235568 140102310762736 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21221] ppid=21156 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21221/stat : 21221 (java) S 21156 21159 4821 0 -1 1077944384 3 12372 0 0 0 0 5 2 20 0 15 0 94384795 14405136384 105880 18446744073709551615 4194304 4196468 140728383235568 140102309710432 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21222] ppid=21156 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21222/stat : 21222 (java) S 21156 21159 4821 0 -1 1077944384 139 12372 0 0 0 0 5 2 20 0 15 0 94384800 14405136384 105880 18446744073709551615 4194304 4196468 140728383235568 140102308657968 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
Current children cumulated CPU time (s) 15.22
Current children cumulated vsize (KiB) 14067516

[startup+12.7007 s]
/proc/loadavg: 2.03 1.56 1.45 3/216 21222
/proc/meminfo: memFree=29765880/32770624 swapFree=0/438348
[pid=21159] ppid=21156 vsize=14067516 CPUtime=25.14 cores=0,2,4,6
/proc/21159/stat : 21159 (java) S 21156 21159 4821 0 -1 1077944320 76427 12372 0 0 2465 42 5 2 20 0 15 0 94384767 14405136384 144223 18446744073709551615 4194304 4196468 140728383235568 140728383218112 140102771306231 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
/proc/21159/statm: 3516879 144223 3479 1 0 3505493 0
[pid=21159/tid=21209] ppid=21156 vsize=14067516 CPUtime=11.76 cores=0,2,4,6
/proc/21159/task/21209/stat : 21209 (java) R 21156 21159 4821 0 -1 4202560 42046 12372 0 0 1155 14 5 2 20 0 15 0 94384789 14405136384 144223 18446744073709551615 4194304 4196468 140728383235568 140102775539816 140102388283416 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21210] ppid=21156 vsize=14067516 CPUtime=0.61 cores=0,2,4,6
/proc/21159/task/21210/stat : 21210 (java) S 21156 21159 4821 0 -1 1077944384 303 12372 0 0 50 4 5 2 20 0 15 0 94384790 14405136384 144223 18446744073709551615 4194304 4196468 140728383235568 140102371817744 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21211] ppid=21156 vsize=14067516 CPUtime=0.57 cores=0,2,4,6
/proc/21159/task/21211/stat : 21211 (java) S 21156 21159 4821 0 -1 1077944384 308 12372 0 0 47 3 5 2 20 0 15 0 94384790 14405136384 144223 18446744073709551615 4194304 4196468 140728383235568 140102370765200 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21212] ppid=21156 vsize=14067516 CPUtime=0.6 cores=0,2,4,6
/proc/21159/task/21212/stat : 21212 (java) S 21156 21159 4821 0 -1 1077944384 1319 12372 0 0 49 4 5 2 20 0 15 0 94384790 14405136384 144223 18446744073709551615 4194304 4196468 140728383235568 140102369712656 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21213] ppid=21156 vsize=14067516 CPUtime=0.61 cores=0,2,4,6
/proc/21159/task/21213/stat : 21213 (java) S 21156 21159 4821 0 -1 1077944384 251 12372 0 0 49 5 5 2 20 0 15 0 94384790 14405136384 144223 18446744073709551615 4194304 4196468 140728383235568 140102368660112 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21214] ppid=21156 vsize=14067516 CPUtime=0.21 cores=0,2,4,6
/proc/21159/task/21214/stat : 21214 (java) S 21156 21159 4821 0 -1 1077944384 2297 12372 0 0 14 0 5 2 20 0 15 0 94384791 14405136384 144223 18446744073709551615 4194304 4196468 140728383235568 140102317079024 140102771317378 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21215] ppid=21156 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21215/stat : 21215 (java) S 21156 21159 4821 0 -1 1077944384 41 12372 0 0 0 0 5 2 20 0 15 0 94384792 14405136384 144223 18446744073709551615 4194304 4196468 140728383235568 140102316025312 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21216] ppid=21156 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21216/stat : 21216 (java) S 21156 21159 4821 0 -1 1077944384 48 12372 0 0 0 0 5 2 20 0 15 0 94384792 14405136384 144223 18446744073709551615 4194304 4196468 140728383235568 140102314972672 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21217] ppid=21156 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21217/stat : 21217 (java) S 21156 21159 4821 0 -1 1077944384 3 12372 0 0 0 0 5 2 20 0 15 0 94384795 14405136384 144223 18446744073709551615 4194304 4196468 140728383235568 140102313921232 140102771324827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0

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

/proc/21159/task/21221/stat : 21221 (java) S 21156 21159 4821 0 -1 1077944384 3 12372 0 0 0 0 5 2 20 0 15 0 94384795 14407233536 1087460 18446744073709551615 4194304 4196468 140728383235568 140102309710432 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21222] ppid=21156 vsize=14069564 CPUtime=1.39 cores=0,2,4,6
/proc/21159/task/21222/stat : 21222 (java) S 21156 21159 4821 0 -1 1077944384 1879 12372 0 0 64 68 5 2 20 0 15 0 94384800 14407233536 1087460 18446744073709551615 4194304 4196468 140728383235568 140102308657968 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
Current children cumulated CPU time (s) 2320.92
Current children cumulated vsize (KiB) 14069564

[startup+2322.3 s]
/proc/loadavg: 1.85 1.71 1.59 3/213 21736
/proc/meminfo: memFree=22403788/32770624 swapFree=0/438952
[pid=21159] ppid=21156 vsize=14069564 CPUtime=2380.99 cores=0,2,4,6
/proc/21159/stat : 21159 (java) S 21156 21159 4821 0 -1 1077944320 967777 12372 0 0 237486 606 5 2 20 0 15 0 94384767 14407233536 1087717 18446744073709551615 4194304 4196468 140728383235568 140728383218112 140102771306231 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
/proc/21159/statm: 3517391 1087717 3486 1 0 3506005 0
[pid=21159/tid=21209] ppid=21156 vsize=14069564 CPUtime=2306.46 cores=0,2,4,6
/proc/21159/task/21209/stat : 21209 (java) R 21156 21159 4821 0 -1 4202560 701349 12372 0 0 230498 141 5 2 20 0 15 0 94384789 14407233536 1087717 18446744073709551615 4194304 4196468 140728383235568 140102775539584 140102394173298 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21210] ppid=21156 vsize=14069564 CPUtime=10.61 cores=0,2,4,6
/proc/21159/task/21210/stat : 21210 (java) S 21156 21159 4821 0 -1 1077944384 17622 12372 0 0 961 93 5 2 20 0 15 0 94384790 14407233536 1087717 18446744073709551615 4194304 4196468 140728383235568 140102371817744 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21211] ppid=21156 vsize=14069564 CPUtime=10.57 cores=0,2,4,6
/proc/21159/task/21211/stat : 21211 (java) S 21156 21159 4821 0 -1 1077944384 24425 12372 0 0 957 93 5 2 20 0 15 0 94384790 14407233536 1087717 18446744073709551615 4194304 4196468 140728383235568 140102370765200 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21212] ppid=21156 vsize=14069564 CPUtime=10.59 cores=0,2,4,6
/proc/21159/task/21212/stat : 21212 (java) S 21156 21159 4821 0 -1 1077944384 19541 12372 0 0 956 96 5 2 20 0 15 0 94384790 14407233536 1087717 18446744073709551615 4194304 4196468 140728383235568 140102369712656 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21213] ppid=21156 vsize=14069564 CPUtime=10.57 cores=0,2,4,6
/proc/21159/task/21213/stat : 21213 (java) S 21156 21159 4821 0 -1 1077944384 13269 12372 0 0 953 97 5 2 20 0 15 0 94384790 14407233536 1087717 18446744073709551615 4194304 4196468 140728383235568 140102368660112 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21214] ppid=21156 vsize=14069564 CPUtime=3.76 cores=0,2,4,6
/proc/21159/task/21214/stat : 21214 (java) S 21156 21159 4821 0 -1 1077944384 28810 12372 0 0 338 31 5 2 20 0 15 0 94384791 14407233536 1087717 18446744073709551615 4194304 4196468 140728383235568 140102317079024 140102771317378 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21215] ppid=21156 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21215/stat : 21215 (java) S 21156 21159 4821 0 -1 1077944384 86 12372 0 0 0 0 5 2 20 0 15 0 94384792 14407233536 1087717 18446744073709551615 4194304 4196468 140728383235568 140102316025312 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21216] ppid=21156 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21216/stat : 21216 (java) S 21156 21159 4821 0 -1 1077944384 64 12372 0 0 0 0 5 2 20 0 15 0 94384792 14407233536 1087717 18446744073709551615 4194304 4196468 140728383235568 140102314972672 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21217] ppid=21156 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21217/stat : 21217 (java) S 21156 21159 4821 0 -1 1077944384 3 12372 0 0 0 0 5 2 20 0 15 0 94384795 14407233536 1087717 18446744073709551615 4194304 4196468 140728383235568 140102313921232 140102771324827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21218] ppid=21156 vsize=14069564 CPUtime=11.47 cores=0,2,4,6
/proc/21159/task/21218/stat : 21218 (java) S 21156 21159 4821 0 -1 1077944384 49533 12372 0 0 1132 8 5 2 20 0 15 0 94384795 14407233536 1087717 18446744073709551615 4194304 4196468 140728383235568 140102312867824 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21219] ppid=21156 vsize=14069564 CPUtime=11.45 cores=0,2,4,6
/proc/21159/task/21219/stat : 21219 (java) S 21156 21159 4821 0 -1 1077944384 48225 12372 0 0 1129 9 5 2 20 0 15 0 94384795 14407233536 1087717 18446744073709551615 4194304 4196468 140728383235568 140102311815280 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21220] ppid=21156 vsize=14069564 CPUtime=4.58 cores=0,2,4,6
/proc/21159/task/21220/stat : 21220 (java) S 21156 21159 4821 0 -1 1077944384 60797 12372 0 0 440 11 5 2 20 0 15 0 94384795 14407233536 1087717 18446744073709551615 4194304 4196468 140728383235568 140102310762736 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21221] ppid=21156 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21221/stat : 21221 (java) S 21156 21159 4821 0 -1 1077944384 3 12372 0 0 0 0 5 2 20 0 15 0 94384795 14407233536 1087717 18446744073709551615 4194304 4196468 140728383235568 140102309710432 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21222] ppid=21156 vsize=14069564 CPUtime=1.42 cores=0,2,4,6
/proc/21159/task/21222/stat : 21222 (java) S 21156 21159 4821 0 -1 1077944384 1899 12372 0 0 66 69 5 2 20 0 15 0 94384800 14407233536 1087717 18446744073709551615 4194304 4196468 140728383235568 140102308657968 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
Current children cumulated CPU time (s) 2380.99
Current children cumulated vsize (KiB) 14069564

[startup+2382.3 s]
/proc/loadavg: 1.90 1.74 1.60 3/217 21753
/proc/meminfo: memFree=22399488/32770624 swapFree=0/438964
[pid=21159] ppid=21156 vsize=14069564 CPUtime=2441.05 cores=0,2,4,6
/proc/21159/stat : 21159 (java) S 21156 21159 4821 0 -1 1077944320 1025712 12372 0 0 243488 610 5 2 20 0 15 0 94384767 14407233536 1087774 18446744073709551615 4194304 4196468 140728383235568 140728383218112 140102771306231 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
/proc/21159/statm: 3517391 1087774 3486 1 0 3506005 0
[pid=21159/tid=21209] ppid=21156 vsize=14069564 CPUtime=2366.44 cores=0,2,4,6
/proc/21159/task/21209/stat : 21209 (java) R 21156 21159 4821 0 -1 4202560 758568 12372 0 0 236494 143 5 2 20 0 15 0 94384789 14407233536 1087774 18446744073709551615 4194304 4196468 140728383235568 140102775539536 140102407209440 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21210] ppid=21156 vsize=14069564 CPUtime=10.62 cores=0,2,4,6
/proc/21159/task/21210/stat : 21210 (java) S 21156 21159 4821 0 -1 1077944384 17899 12372 0 0 962 93 5 2 20 0 15 0 94384790 14407233536 1087774 18446744073709551615 4194304 4196468 140728383235568 140102371817744 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21211] ppid=21156 vsize=14069564 CPUtime=10.58 cores=0,2,4,6
/proc/21159/task/21211/stat : 21211 (java) S 21156 21159 4821 0 -1 1077944384 24476 12372 0 0 958 93 5 2 20 0 15 0 94384790 14407233536 1087774 18446744073709551615 4194304 4196468 140728383235568 140102370765200 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21212] ppid=21156 vsize=14069564 CPUtime=10.6 cores=0,2,4,6
/proc/21159/task/21212/stat : 21212 (java) S 21156 21159 4821 0 -1 1077944384 19621 12372 0 0 957 96 5 2 20 0 15 0 94384790 14407233536 1087774 18446744073709551615 4194304 4196468 140728383235568 140102369712656 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21213] ppid=21156 vsize=14069564 CPUtime=10.58 cores=0,2,4,6
/proc/21159/task/21213/stat : 21213 (java) S 21156 21159 4821 0 -1 1077944384 13350 12372 0 0 954 97 5 2 20 0 15 0 94384790 14407233536 1087774 18446744073709551615 4194304 4196468 140728383235568 140102368660112 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21214] ppid=21156 vsize=14069564 CPUtime=3.78 cores=0,2,4,6
/proc/21159/task/21214/stat : 21214 (java) S 21156 21159 4821 0 -1 1077944384 29013 12372 0 0 339 32 5 2 20 0 15 0 94384791 14407233536 1087774 18446744073709551615 4194304 4196468 140728383235568 140102317079024 140102771317378 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21215] ppid=21156 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21215/stat : 21215 (java) S 21156 21159 4821 0 -1 1077944384 86 12372 0 0 0 0 5 2 20 0 15 0 94384792 14407233536 1087774 18446744073709551615 4194304 4196468 140728383235568 140102316025312 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21216] ppid=21156 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21216/stat : 21216 (java) S 21156 21159 4821 0 -1 1077944384 64 12372 0 0 0 0 5 2 20 0 15 0 94384792 14407233536 1087774 18446744073709551615 4194304 4196468 140728383235568 140102314972672 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21217] ppid=21156 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21217/stat : 21217 (java) S 21156 21159 4821 0 -1 1077944384 3 12372 0 0 0 0 5 2 20 0 15 0 94384795 14407233536 1087774 18446744073709551615 4194304 4196468 140728383235568 140102313921232 140102771324827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21218] ppid=21156 vsize=14069564 CPUtime=11.47 cores=0,2,4,6
/proc/21159/task/21218/stat : 21218 (java) S 21156 21159 4821 0 -1 1077944384 49535 12372 0 0 1132 8 5 2 20 0 15 0 94384795 14407233536 1087774 18446744073709551615 4194304 4196468 140728383235568 140102312867824 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21219] ppid=21156 vsize=14069564 CPUtime=11.45 cores=0,2,4,6
/proc/21159/task/21219/stat : 21219 (java) S 21156 21159 4821 0 -1 1077944384 48227 12372 0 0 1129 9 5 2 20 0 15 0 94384795 14407233536 1087774 18446744073709551615 4194304 4196468 140728383235568 140102311815280 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21220] ppid=21156 vsize=14069564 CPUtime=4.58 cores=0,2,4,6
/proc/21159/task/21220/stat : 21220 (java) S 21156 21159 4821 0 -1 1077944384 60799 12372 0 0 440 11 5 2 20 0 15 0 94384795 14407233536 1087774 18446744073709551615 4194304 4196468 140728383235568 140102310762736 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21221] ppid=21156 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21221/stat : 21221 (java) S 21156 21159 4821 0 -1 1077944384 3 12372 0 0 0 0 5 2 20 0 15 0 94384795 14407233536 1087774 18446744073709551615 4194304 4196468 140728383235568 140102309710432 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21222] ppid=21156 vsize=14069564 CPUtime=1.46 cores=0,2,4,6
/proc/21159/task/21222/stat : 21222 (java) S 21156 21159 4821 0 -1 1077944384 1917 12372 0 0 67 72 5 2 20 0 15 0 94384800 14407233536 1087774 18446744073709551615 4194304 4196468 140728383235568 140102308657968 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
Current children cumulated CPU time (s) 2441.05
Current children cumulated vsize (KiB) 14069564

[startup+2442.3 s]
/proc/loadavg: 1.82 1.75 1.61 3/219 21780
/proc/meminfo: memFree=22396200/32770624 swapFree=0/438932
[pid=21159] ppid=21156 vsize=14069564 CPUtime=2501.12 cores=0,2,4,6
/proc/21159/stat : 21159 (java) S 21156 21159 4821 0 -1 1077944320 1083858 12372 0 0 249491 614 5 2 20 0 15 0 94384767 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140728383218112 140102771306231 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
/proc/21159/statm: 3517391 1087824 3486 1 0 3506005 0
[pid=21159/tid=21209] ppid=21156 vsize=14069564 CPUtime=2426.41 cores=0,2,4,6
/proc/21159/task/21209/stat : 21209 (java) R 21156 21159 4821 0 -1 4202560 815943 12372 0 0 242489 145 5 2 20 0 15 0 94384789 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102775539488 140102397540193 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21210] ppid=21156 vsize=14069564 CPUtime=10.63 cores=0,2,4,6
/proc/21159/task/21210/stat : 21210 (java) S 21156 21159 4821 0 -1 1077944384 17986 12372 0 0 963 93 5 2 20 0 15 0 94384790 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102371817744 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21211] ppid=21156 vsize=14069564 CPUtime=10.59 cores=0,2,4,6
/proc/21159/task/21211/stat : 21211 (java) S 21156 21159 4821 0 -1 1077944384 24527 12372 0 0 959 93 5 2 20 0 15 0 94384790 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102370765200 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21212] ppid=21156 vsize=14069564 CPUtime=10.62 cores=0,2,4,6
/proc/21159/task/21212/stat : 21212 (java) S 21156 21159 4821 0 -1 1077944384 19891 12372 0 0 959 96 5 2 20 0 15 0 94384790 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102369712656 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21213] ppid=21156 vsize=14069564 CPUtime=10.6 cores=0,2,4,6
/proc/21159/task/21213/stat : 21213 (java) S 21156 21159 4821 0 -1 1077944384 13485 12372 0 0 955 98 5 2 20 0 15 0 94384790 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102368660112 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21214] ppid=21156 vsize=14069564 CPUtime=3.79 cores=0,2,4,6
/proc/21159/task/21214/stat : 21214 (java) S 21156 21159 4821 0 -1 1077944384 29217 12372 0 0 340 32 5 2 20 0 15 0 94384791 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102317079024 140102771317378 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21215] ppid=21156 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21215/stat : 21215 (java) S 21156 21159 4821 0 -1 1077944384 86 12372 0 0 0 0 5 2 20 0 15 0 94384792 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102316025312 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21216] ppid=21156 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21216/stat : 21216 (java) S 21156 21159 4821 0 -1 1077944384 64 12372 0 0 0 0 5 2 20 0 15 0 94384792 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102314972672 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21217] ppid=21156 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21217/stat : 21217 (java) S 21156 21159 4821 0 -1 1077944384 3 12372 0 0 0 0 5 2 20 0 15 0 94384795 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102313921232 140102771324827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21218] ppid=21156 vsize=14069564 CPUtime=11.47 cores=0,2,4,6
/proc/21159/task/21218/stat : 21218 (java) S 21156 21159 4821 0 -1 1077944384 49537 12372 0 0 1132 8 5 2 20 0 15 0 94384795 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102312867824 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21219] ppid=21156 vsize=14069564 CPUtime=11.45 cores=0,2,4,6
/proc/21159/task/21219/stat : 21219 (java) S 21156 21159 4821 0 -1 1077944384 48229 12372 0 0 1129 9 5 2 20 0 15 0 94384795 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102311815280 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21220] ppid=21156 vsize=14069564 CPUtime=4.58 cores=0,2,4,6
/proc/21159/task/21220/stat : 21220 (java) S 21156 21159 4821 0 -1 1077944384 60801 12372 0 0 440 11 5 2 20 0 15 0 94384795 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102310762736 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21221] ppid=21156 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21221/stat : 21221 (java) S 21156 21159 4821 0 -1 1077944384 3 12372 0 0 0 0 5 2 20 0 15 0 94384795 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102309710432 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21222] ppid=21156 vsize=14069564 CPUtime=1.49 cores=0,2,4,6
/proc/21159/task/21222/stat : 21222 (java) S 21156 21159 4821 0 -1 1077944384 1935 12372 0 0 68 74 5 2 20 0 15 0 94384800 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102308657968 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
Current children cumulated CPU time (s) 2501.12
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2461.2 s]
/proc/loadavg: 2.00 1.79 1.63 3/218 21781
/proc/meminfo: memFree=22396836/32770624 swapFree=0/438952
[pid=21159] ppid=21156 vsize=14069564 CPUtime=2520.05 cores=0,2,4,6
/proc/21159/stat : 21159 (java) S 21156 21159 4821 0 -1 1077944320 1105590 12372 0 0 251382 616 5 2 20 0 15 0 94384767 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140728383218112 140102771306231 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
/proc/21159/statm: 3517391 1087824 3486 1 0 3506005 0
[pid=21159/tid=21209] ppid=21156 vsize=14069564 CPUtime=2445.31 cores=0,2,4,6
/proc/21159/task/21209/stat : 21209 (java) R 21156 21159 4821 0 -1 4202560 837666 12372 0 0 244378 146 5 2 20 0 15 0 94384789 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102775539536 140102406346752 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21210] ppid=21156 vsize=14069564 CPUtime=10.64 cores=0,2,4,6
/proc/21159/task/21210/stat : 21210 (java) S 21156 21159 4821 0 -1 1077944384 17989 12372 0 0 964 93 5 2 20 0 15 0 94384790 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102371817744 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21211] ppid=21156 vsize=14069564 CPUtime=10.59 cores=0,2,4,6
/proc/21159/task/21211/stat : 21211 (java) S 21156 21159 4821 0 -1 1077944384 24529 12372 0 0 959 93 5 2 20 0 15 0 94384790 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102370765200 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21212] ppid=21156 vsize=14069564 CPUtime=10.62 cores=0,2,4,6
/proc/21159/task/21212/stat : 21212 (java) S 21156 21159 4821 0 -1 1077944384 19891 12372 0 0 959 96 5 2 20 0 15 0 94384790 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102369712656 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21213] ppid=21156 vsize=14069564 CPUtime=10.6 cores=0,2,4,6
/proc/21159/task/21213/stat : 21213 (java) S 21156 21159 4821 0 -1 1077944384 13485 12372 0 0 955 98 5 2 20 0 15 0 94384790 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102368660112 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21214] ppid=21156 vsize=14069564 CPUtime=3.79 cores=0,2,4,6
/proc/21159/task/21214/stat : 21214 (java) S 21156 21159 4821 0 -1 1077944384 29219 12372 0 0 340 32 5 2 20 0 15 0 94384791 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102317079024 140102771317378 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21215] ppid=21156 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21215/stat : 21215 (java) S 21156 21159 4821 0 -1 1077944384 86 12372 0 0 0 0 5 2 20 0 15 0 94384792 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102316025312 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21216] ppid=21156 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21216/stat : 21216 (java) S 21156 21159 4821 0 -1 1077944384 64 12372 0 0 0 0 5 2 20 0 15 0 94384792 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102314972672 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21217] ppid=21156 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21217/stat : 21217 (java) S 21156 21159 4821 0 -1 1077944384 3 12372 0 0 0 0 5 2 20 0 15 0 94384795 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102313921232 140102771324827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21218] ppid=21156 vsize=14069564 CPUtime=11.47 cores=0,2,4,6
/proc/21159/task/21218/stat : 21218 (java) S 21156 21159 4821 0 -1 1077944384 49537 12372 0 0 1132 8 5 2 20 0 15 0 94384795 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102312867824 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21219] ppid=21156 vsize=14069564 CPUtime=11.45 cores=0,2,4,6
/proc/21159/task/21219/stat : 21219 (java) S 21156 21159 4821 0 -1 1077944384 48229 12372 0 0 1129 9 5 2 20 0 15 0 94384795 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102311815280 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21220] ppid=21156 vsize=14069564 CPUtime=4.58 cores=0,2,4,6
/proc/21159/task/21220/stat : 21220 (java) S 21156 21159 4821 0 -1 1077944384 60801 12372 0 0 440 11 5 2 20 0 15 0 94384795 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102310762736 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21221] ppid=21156 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/21159/task/21221/stat : 21221 (java) S 21156 21159 4821 0 -1 1077944384 3 12372 0 0 0 0 5 2 20 0 15 0 94384795 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102309710432 140102771316437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
[pid=21159/tid=21222] ppid=21156 vsize=14069564 CPUtime=1.51 cores=0,2,4,6
/proc/21159/task/21222/stat : 21222 (java) S 21156 21159 4821 0 -1 1077944384 1937 12372 0 0 69 75 5 2 20 0 15 0 94384800 14407233536 1087824 18446744073709551615 4194304 4196468 140728383235568 140102308657968 140102771317378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140728383244240 140728383247025 140728383247025 140728383250383 0
Current children cumulated CPU time (s) 2520.05
Current children cumulated vsize (KiB) 14069564

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

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

Child status: 143
Real time (s): 2461.26
CPU time (s): 2520.13
CPU user time (s): 2513.91
CPU system time (s): 6.2236
CPU usage (%): 102.392
Max. virtual memory (cumulated for all children) (KiB): 14070384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.91
system time used= 6.22359
maximum resident set size= 4351892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1118913
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 141468
involuntary context switches= 7530

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5805 second user time and 16.076 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-11 17:20:48
IDJOB=4262037
IDBENCH=135252
IDSOLVER=2650
FILE ID=node133/4262037-1502465695
RUNJOBID= node133-1502411423-4884
PBS_JOBID= 
Free space on /tmp= 62008 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-4262037-1502465695/watcher-4262037-1502465695 -o /tmp/evaluation-result-4262037-1502465695/solver-4262037-1502465695 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4884 --watchdog 2580  bin/concrete HOME/instance-4262037-1502465695.xml

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

MD5SUM BENCH= 31e85661316b8aad2d1246d7b0a73c1b
RANDOM SEED=2101669654

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
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.17
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.17
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.17
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:        30295684 kB
MemAvailable:   31186212 kB
Buffers:          296072 kB
Cached:           888520 kB
SwapCached:            0 kB
Active:          1567980 kB
Inactive:         470992 kB
Active(anon):     854800 kB
Inactive(anon):    33112 kB
Active(file):     713180 kB
Inactive(file):   437880 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24588 kB
Writeback:             0 kB
AnonPages:        864592 kB
Mapped:            66152 kB
Shmem:             33468 kB
Slab:             138540 kB
SReclaimable:     110608 kB
SUnreclaim:        27932 kB
KernelStack:        3808 kB
PageTables:         7552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1765244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    768000 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61984 MiB
End job on node133 at 2017-08-11 18:01:49