Trace number 4249069

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
R1: Concrete 3.4SAT (TO)1222 2400.09 2281.13

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.53/2.18	c Concrete v3.4 running
24.96/7.32	o 1957
25.66/7.69	o 1956
26.57/8.00	o 1955
27.54/8.33	o 1954
28.19/8.61	o 1953
28.46/8.87	o 1952
28.79/9.18	o 1951
29.32/9.45	o 1950
29.62/9.72	o 1949
29.85/9.99	o 1948
30.18/10.26	o 1947
30.49/10.51	o 1946
30.95/10.80	o 1945
31.17/11.06	o 1944
31.48/11.32	o 1943
31.68/11.58	o 1942
31.99/11.84	o 1941
32.20/12.10	o 1940
32.50/12.36	o 1939
32.99/12.65	o 1938
33.31/12.91	o 1937
33.51/13.16	o 1936
33.82/13.42	o 1935
34.02/13.68	o 1934
34.33/13.93	o 1933
34.54/14.19	o 1932
34.86/14.45	o 1931
35.40/14.76	o 1930
35.77/15.01	o 1929
35.97/15.27	o 1928
36.30/15.52	o 1927
36.50/15.78	o 1926
36.81/16.04	o 1925
37.02/16.29	o 1924
37.33/16.54	o 1923
37.52/16.79	o 1922
38.05/17.07	o 1921
38.35/17.32	o 1920
38.55/17.58	o 1919
38.86/17.82	o 1918
39.06/18.07	o 1917
39.38/18.32	o 1916
39.58/18.57	o 1915
39.88/18.82	o 1914
40.34/19.11	o 1913
40.54/19.35	o 1912
40.83/19.60	o 1911
41.27/19.87	o 1910
41.57/20.12	o 1909
41.77/20.36	o 1908
42.07/20.61	o 1907
42.27/20.84	o 1906
42.53/21.09	o 1905
42.86/21.33	o 1904
43.08/21.57	o 1903
43.39/21.82	o 1902
43.60/22.06	o 1901
43.89/22.31	o 1900
44.16/22.58	o 1899
44.65/22.86	o 1898
44.85/23.09	o 1897
45.16/23.33	o 1896
45.37/23.57	o 1895
45.67/23.81	o 1894
45.89/24.05	o 1893
46.10/24.29	o 1892
46.39/24.53	o 1891
46.61/24.77	o 1890
46.91/25.01	o 1889
47.11/25.25	o 1888
47.34/25.48	o 1887
47.63/25.72	o 1886
47.85/25.97	o 1885
48.20/26.24	o 1884
48.41/26.48	o 1883
48.72/26.75	o 1882
48.92/26.98	o 1881
49.22/27.21	o 1880
49.43/27.44	o 1879
49.64/27.67	o 1878
49.94/27.90	o 1877
50.15/28.13	o 1876
50.36/28.37	o 1875
50.56/28.60	o 1874
50.87/28.83	o 1873
51.07/29.06	o 1872
51.51/29.34	o 1871
51.95/29.58	o 1870
52.26/29.81	o 1869
52.45/30.04	o 1868
52.67/30.27	o 1867
52.97/30.51	o 1866
53.17/30.74	o 1865
53.40/30.97	o 1864
53.69/31.20	o 1863
53.89/31.43	o 1862
54.11/31.66	o 1861
54.31/31.89	o 1860
54.61/32.12	o 1859
54.82/32.35	o 1858
55.02/32.58	o 1857
55.33/32.80	o 1856
55.54/33.03	o 1855
56.05/33.30	o 1854
56.25/33.53	o 1853
56.47/33.76	o 1852
56.67/33.98	o 1851
57.00/34.21	o 1850
57.19/34.43	o 1849
57.39/34.66	o 1848
57.59/34.88	o 1847
57.91/35.11	o 1846
58.11/35.32	o 1845
58.31/35.55	o 1844
58.53/35.77	o 1843
58.83/36.00	o 1842
59.03/36.22	o 1841
59.26/36.45	o 1840
59.45/36.66	o 1839
59.65/36.89	o 1838
60.19/37.15	o 1837
60.39/37.37	o 1836
60.60/37.59	o 1835
60.91/37.81	o 1834
61.11/38.03	o 1833
61.31/38.26	o 1832
61.52/38.48	o 1831
61.83/38.71	o 1830
62.03/38.92	o 1829
62.25/39.14	o 1828
62.45/39.35	o 1827
62.65/39.57	o 1826
62.88/39.78	o 1825
63.17/40.00	o 1824
63.37/40.23	o 1823
63.58/40.44	o 1822
63.78/40.66	o 1821
63.99/40.87	o 1820
64.18/41.08	o 1819
64.40/41.30	o 1818
64.70/41.53	o 1817
65.03/41.74	o 1816
65.26/41.96	o 1815
65.46/42.18	o 1814
65.66/42.39	o 1813
65.97/42.61	o 1812
66.17/42.82	o 1811
66.38/43.04	o 1810
66.59/43.25	o 1809
66.79/43.47	o 1808
66.99/43.68	o 1807
67.21/43.89	o 1806
67.52/44.11	o 1805
67.71/44.32	o 1804
67.93/44.52	o 1803
68.13/44.74	o 1802
68.33/44.94	o 1801
68.53/45.16	o 1800
68.74/45.36	o 1799
68.94/45.58	o 1798
69.14/45.79	o 1797
69.58/46.05	o 1796
69.96/46.26	o 1795
70.15/46.47	o 1794
70.37/46.67	o 1793
70.57/46.88	o 1792
70.77/47.08	o 1791
70.98/47.29	o 1790
71.29/47.50	o 1789
71.49/47.71	o 1788
71.71/47.92	o 1787
71.91/48.12	o 1786
72.11/48.33	o 1785
72.32/48.53	o 1784
72.51/48.75	o 1783
72.71/48.96	o 1782
72.91/49.16	o 1781
73.13/49.36	o 1780
73.34/49.57	o 1779
73.53/49.77	o 1778
73.73/49.97	o 1777
73.95/50.18	o 1776
74.15/50.39	o 1775
74.35/50.60	o 1774
74.66/50.81	o 1773
75.11/51.05	o 1772
75.31/51.25	o 1771
75.51/51.45	o 1770
75.72/51.65	o 1769
75.93/51.85	o 1768
76.13/52.05	o 1767
76.34/52.25	o 1766
76.54/52.45	o 1765
76.74/52.64	o 1764
76.95/52.84	o 1763
77.14/53.05	o 1762
77.34/53.24	o 1761
77.55/53.44	o 1760
77.75/53.63	o 1759
77.95/53.82	o 1758
78.17/54.02	o 1757
78.38/54.22	o 1756
78.58/54.41	o 1755
78.78/54.62	o 1754
79.04/54.82	o 1753
79.32/55.01	o 1752
79.51/55.20	o 1751
79.73/55.40	o 1750
79.93/55.60	o 1749
80.03/55.79	o 1748
80.58/56.01	o 1747
80.80/56.21	o 1746
80.99/56.40	o 1745
81.09/56.59	o 1744
81.29/56.78	o 1743
81.50/56.97	o 1742
81.70/57.16	o 1741
81.90/57.35	o 1740
82.10/57.54	o 1739
82.30/57.72	o 1738
82.50/57.91	o 1737
82.70/58.10	o 1736
82.81/58.29	o 1735
83.02/58.47	o 1734
83.21/58.66	o 1733
83.41/58.85	o 1732
83.63/59.04	o 1731
83.83/59.23	o 1730
84.03/59.41	o 1729
84.14/59.59	o 1728
84.33/59.78	o 1727
84.53/59.97	o 1726
84.73/60.16	o 1725
84.94/60.35	o 1724
85.15/60.54	o 1723
85.34/60.73	o 1722
85.55/60.92	o 1721
85.75/61.11	o 1720
86.01/61.30	o 1719
86.11/61.49	o 1718
86.33/61.67	o 1717
86.52/61.86	o 1716
86.72/62.05	o 1715
86.92/62.24	o 1714
87.13/62.43	o 1713
87.33/62.62	o 1712
87.54/62.80	o 1711
87.63/63.00	o 1710
87.84/63.18	o 1709
88.04/63.37	o 1708
88.25/63.56	o 1707
88.45/63.74	o 1706
88.66/63.93	o 1705
88.85/64.11	o 1704
88.96/64.29	o 1703
89.18/64.47	o 1702
89.38/64.65	o 1701
89.58/64.84	o 1700
89.80/65.02	o 1699
89.99/65.21	o 1698
90.09/65.38	o 1697
90.29/65.57	o 1696
90.50/65.76	o 1695
90.70/65.93	o 1694
90.91/66.11	o 1693
91.00/66.29	o 1692
91.49/66.51	o 1691
91.59/66.69	o 1690
91.79/66.87	o 1689
92.00/67.06	o 1688
92.21/67.23	o 1687
92.40/67.41	o 1686
92.50/67.58	o 1685
92.71/67.76	o 1684
92.91/67.93	o 1683
93.11/68.11	o 1682
93.22/68.29	o 1681
93.42/68.47	o 1680
93.62/68.65	o 1679
93.82/68.83	o 1678
94.03/69.00	o 1677
94.13/69.19	o 1676
94.34/69.36	o 1675
94.53/69.54	o 1674
94.74/69.71	o 1673
94.84/69.89	o 1672
95.04/70.06	o 1671
95.24/70.24	o 1670
95.45/70.42	o 1669
95.55/70.59	o 1668
95.75/70.77	o 1667
95.95/70.93	o 1666
96.15/71.11	o 1665
96.25/71.28	o 1664
96.45/71.46	o 1663
96.66/71.64	o 1662
97.26/72.03	o 1661
97.47/72.20	o 1660
97.57/72.36	o 1659
97.78/72.53	o 1658
97.89/72.70	o 1657
98.08/72.86	o 1656
98.28/73.02	o 1655
98.39/73.19	o 1654
98.59/73.36	o 1653
98.79/73.53	o 1652
99.00/73.71	o 1651
99.11/73.87	o 1650
99.30/74.04	o 1649
99.50/74.21	o 1648
99.60/74.37	o 1647
99.81/74.54	o 1646
100.01/74.70	o 1645
100.12/74.87	o 1644
100.31/75.04	o 1643
100.52/75.21	o 1642
100.62/75.38	o 1641
100.82/75.54	o 1640
101.02/75.70	o 1639
101.13/75.87	o 1638
101.33/76.03	o 1637
101.43/76.19	o 1636
101.63/76.35	o 1635
101.83/76.51	o 1634
101.93/76.68	o 1633
102.13/76.85	o 1632
102.34/77.01	o 1631
102.44/77.18	o 1630
102.79/77.36	o 1629
102.98/77.53	o 1628
103.08/77.69	o 1627
103.28/77.85	o 1626
103.49/78.01	o 1625
103.60/78.17	o 1624
103.79/78.33	o 1623
103.89/78.49	o 1622
104.10/78.65	o 1621
104.30/78.80	o 1620
104.40/78.97	o 1619
104.60/79.13	o 1618
104.71/79.29	o 1617
104.90/79.46	o 1616
105.11/79.62	o 1615
105.21/79.78	o 1614
105.41/79.94	o 1613
105.51/80.09	o 1612
105.71/80.25	o 1611
105.82/80.40	o 1610
106.02/80.56	o 1609
106.22/80.72	o 1608
106.33/80.87	o 1607
106.53/81.03	o 1606
106.63/81.18	o 1605
106.83/81.34	o 1604
106.94/81.49	o 1603
107.13/81.64	o 1602
107.33/81.80	o 1601
107.43/81.95	o 1600
107.64/82.11	o 1599
107.74/82.26	o 1598
107.94/82.42	o 1597
108.05/82.57	o 1596
108.25/82.72	o 1595
108.35/82.89	o 1594
108.63/83.05	o 1593
108.83/83.21	o 1592
108.93/83.36	o 1591
109.14/83.52	o 1590
109.25/83.67	o 1589
109.44/83.82	o 1588
109.54/83.97	o 1587
109.75/84.12	o 1586
109.85/84.27	o 1585
110.05/84.42	o 1584
110.15/84.57	o 1583
110.37/84.72	o 1582
110.47/84.87	o 1581
110.66/85.03	o 1580
110.77/85.18	o 1579
110.97/85.32	o 1578
111.28/85.63	o 1577
111.80/86.11	o 1576
112.28/86.57	o 1575
112.50/86.71	o 1574
112.60/86.85	o 1573
112.71/87.00	o 1572
112.90/87.15	o 1571
113.10/87.30	o 1570
113.21/87.44	o 1569
113.31/87.58	o 1568
113.51/87.71	o 1567
113.61/87.86	o 1566
113.82/88.00	o 1565
113.92/88.17	o 1564
114.23/88.35	o 1563
114.33/88.49	o 1562
114.53/88.63	o 1561
114.63/88.77	o 1560
114.84/88.90	o 1559
114.94/89.04	o 1558
115.04/89.18	o 1557
115.25/89.32	o 1556
115.35/89.46	o 1555
115.55/89.60	o 1554
115.65/89.74	o 1553
115.75/89.88	o 1552
115.95/90.01	o 1551
116.05/90.15	o 1550
116.17/90.29	o 1549
116.36/90.43	o 1548
116.46/90.57	o 1547
116.66/90.70	o 1546
116.76/90.84	o 1545
116.87/90.97	o 1544
117.07/91.11	o 1543
117.17/91.24	o 1542
117.28/91.38	o 1541
117.47/91.51	o 1540
117.58/91.65	o 1539
117.68/91.79	o 1538
117.88/91.92	o 1537
117.98/92.05	o 1536
118.08/92.19	o 1535
118.29/92.34	o 1534
118.46/92.47	o 1533
118.68/92.61	o 1532
118.78/92.74	o 1531
118.88/92.87	o 1530
119.09/93.01	o 1529
119.19/93.14	o 1528
119.29/93.28	o 1527
119.49/93.41	o 1526
119.59/93.55	o 1525
119.90/93.71	o 1524
120.00/93.84	o 1523
120.10/93.97	o 1522
120.30/94.11	o 1521
120.40/94.24	o 1520
120.50/94.37	o 1519
120.71/94.51	o 1518
120.82/94.64	o 1517
120.92/94.77	o 1516
121.11/94.90	o 1515
121.21/95.04	o 1514
121.32/95.18	o 1513
121.52/95.31	o 1512
121.62/95.45	o 1511
121.72/95.57	o 1510
121.83/95.70	o 1509
122.04/95.85	o 1508
122.14/95.97	o 1507
122.34/96.11	o 1506
122.44/96.24	o 1505
122.54/96.37	o 1504
122.74/96.50	o 1503
122.84/96.63	o 1502
122.94/96.76	o 1501
123.05/96.88	o 1500
123.24/97.01	o 1499
123.35/97.15	o 1498
123.45/97.27	o 1497
123.65/97.40	o 1496
123.75/97.53	o 1495
123.85/97.66	o 1494
124.06/97.80	o 1493
124.17/97.93	o 1492
124.27/98.06	o 1491
124.36/98.19	o 1490
124.56/98.32	o 1489
124.66/98.44	o 1488
124.77/98.57	o 1487
124.97/98.70	o 1486
125.07/98.83	o 1485
125.44/99.02	o 1484
125.54/99.17	o 1483
125.62/99.29	o 1482
125.83/99.42	o 1481
125.93/99.55	o 1480
126.03/99.68	o 1479
126.23/99.81	o 1478
126.33/99.93	o 1477
126.44/100.06	o 1476
126.55/100.18	o 1475
126.74/100.34	o 1474
126.84/100.47	o 1473
127.67/101.21	o 1472
128.08/101.61	o 1471
128.80/102.32	o 1470
128.90/102.45	o 1469
128.99/102.57	o 1468
129.63/103.10	o 1467
129.73/103.22	o 1466
129.84/103.35	o 1465
129.95/103.47	o 1464
130.05/103.59	o 1463
130.24/103.73	o 1462
130.34/103.85	o 1461
130.44/103.99	o 1460
130.72/104.10	o 1459
130.82/104.23	o 1458
130.92/104.36	o 1457
131.02/104.47	o 1456
131.13/104.59	o 1455
131.44/104.87	o 1454
131.54/104.98	o 1453
131.64/105.09	o 1452
131.84/105.21	o 1451
131.94/105.32	o 1450
132.04/105.44	o 1449
132.15/105.55	o 1448
132.26/105.66	o 1447
132.36/105.77	o 1446
132.46/105.89	o 1445
132.66/106.01	o 1444
132.76/106.13	o 1443
132.87/106.25	o 1442
132.97/106.36	o 1441
133.07/106.48	o 1440
133.17/106.60	o 1439
133.38/106.71	o 1438
133.48/106.82	o 1437
133.58/106.93	o 1436
133.68/107.05	o 1435
133.78/107.16	o 1434
133.88/107.27	o 1433
133.98/107.38	o 1432
134.08/107.49	o 1431
134.29/107.60	o 1430
134.39/107.71	o 1429
134.50/107.82	o 1428
134.60/107.93	o 1427
134.69/108.04	o 1426
134.79/108.16	o 1425
134.89/108.27	o 1424
135.00/108.39	o 1423
135.20/108.50	o 1422
135.30/108.61	o 1421
135.40/108.74	o 1420
135.55/108.89	o 1419
135.77/109.01	o 1418
135.86/109.12	o 1417
135.96/109.24	o 1416
136.06/109.35	o 1415
136.16/109.46	o 1414
136.26/109.56	o 1413
136.36/109.68	o 1412
136.46/109.79	o 1411
136.69/109.90	o 1410
136.80/110.02	o 1409
136.90/110.13	o 1408
136.99/110.24	o 1407
137.09/110.35	o 1406
137.19/110.46	o 1405
137.29/110.57	o 1404
137.39/110.68	o 1403
137.49/110.79	o 1402
137.69/110.90	o 1401
137.79/111.01	o 1400
138.01/111.25	o 1399
138.10/111.36	o 1398
138.20/111.47	o 1397
138.30/111.57	o 1396
138.40/111.68	o 1395
138.50/111.79	o 1394
138.81/112.02	o 1393
138.91/112.12	o 1392
139.02/112.23	o 1391
139.12/112.34	o 1390
139.21/112.45	o 1389
139.31/112.57	o 1388
139.41/112.68	o 1387
139.51/112.78	o 1386
139.61/112.89	o 1385
139.81/113.00	o 1384
140.01/113.23	o 1383
140.29/113.47	o 1382
140.89/114.09	o 1381
141.19/114.34	o 1380
141.31/114.44	o 1379
142.43/115.52	o 1378
142.62/115.76	o 1377
142.72/115.85	o 1376
142.82/115.95	o 1375
143.03/116.16	o 1374
143.13/116.26	o 1373
143.23/116.35	o 1372
143.33/116.45	o 1371
143.65/116.77	o 1370
143.98/117.02	o 1369
144.18/117.23	o 1368
144.28/117.34	o 1367
144.38/117.43	o 1366
144.48/117.55	o 1365
144.59/117.65	o 1364
144.70/117.76	o 1363
144.89/117.97	o 1362
144.99/118.06	o 1361
145.09/118.15	o 1360
145.19/118.25	o 1359
145.29/118.34	o 1358
145.39/118.45	o 1357
145.59/118.66	o 1356
145.69/118.75	o 1355
145.80/118.87	o 1354
145.91/118.99	o 1353
146.00/119.09	o 1352
146.10/119.18	o 1351
146.20/119.27	o 1350
146.30/119.37	o 1349
146.40/119.47	o 1348
146.60/119.67	o 1347
146.81/119.89	o 1346
146.92/119.99	o 1345
147.02/120.08	o 1344
147.11/120.18	o 1343
147.21/120.28	o 1342
147.31/120.37	o 1341
147.41/120.46	o 1340
147.51/120.55	o 1339
147.64/120.70	o 1338
147.84/120.80	o 1337
147.94/120.92	o 1336
148.04/121.02	o 1335
148.25/121.23	o 1334
148.35/121.32	o 1333
148.45/121.41	o 1332
148.55/121.50	o 1331
148.55/121.59	o 1330
148.75/121.79	o 1329
148.96/121.91	o 1328
149.06/122.00	o 1327
149.06/122.09	o 1326
149.17/122.19	o 1325
149.27/122.28	o 1324
149.36/122.37	o 1323
149.56/122.57	o 1322
149.67/122.66	o 1321
149.77/122.75	o 1320
149.87/122.83	o 1319
149.97/122.92	o 1318
150.07/123.01	o 1317
150.17/123.10	o 1316
150.28/123.21	o 1315
150.28/123.30	o 1314
150.39/123.39	o 1313
150.48/123.48	o 1312
150.78/123.70	o 1311
150.78/123.79	o 1310
150.98/123.90	o 1309
151.10/124.01	o 1308
151.31/124.20	o 1307
151.71/124.62	o 1306
151.81/124.72	o 1305
152.02/124.92	o 1304
152.32/125.22	o 1303
153.23/126.19	o 1302
153.33/126.28	o 1301
153.94/126.82	o 1300
159.47/132.13	o 1299
160.17/132.83	o 1298
160.37/133.00	o 1297
160.67/133.40	o 1296
160.80/133.47	o 1295
161.50/134.14	o 1294
161.91/134.52	o 1293
162.11/134.70	o 1292
162.31/134.97	o 1291
162.41/135.05	o 1290
162.62/135.23	o 1289
162.82/135.41	o 1288
166.14/138.63	o 1287
166.24/138.71	o 1286
166.34/138.80	o 1285
168.50/140.99	o 1284
169.94/142.30	o 1283
170.04/142.49	o 1282
171.00/143.33	o 1281
171.10/143.41	o 1280
171.61/143.91	o 1279
171.61/143.99	o 1278
171.71/144.08	o 1277
171.82/144.16	o 1276
171.92/144.24	o 1275
174.50/146.70	o 1274
174.50/146.79	o 1273
174.60/146.88	o 1272
174.70/146.97	o 1271
174.80/147.05	o 1270
175.54/147.74	o 1269
176.58/148.75	o 1268
177.39/149.56	o 1267
178.14/150.24	o 1266
178.24/150.32	o 1265
178.76/150.84	o 1264
178.95/151.01	o 1263
181.98/153.94	o 1262
182.52/154.46	o 1261
185.67/157.41	o 1260
185.77/157.50	o 1259
185.77/157.58	o 1258
185.87/157.68	o 1257
186.94/158.68	o 1256
187.04/158.76	o 1255
202.36/173.31	o 1254
202.66/173.62	o 1253
202.77/173.70	o 1252
202.87/173.89	o 1251
203.18/174.01	o 1250
214.41/184.44	o 1249
214.51/184.52	o 1248
215.32/185.23	o 1247
215.43/185.31	o 1246
218.45/188.26	o 1245
218.65/188.45	o 1244
219.05/188.85	o 1243
219.15/188.93	o 1242
222.82/192.38	o 1241
224.44/193.98	o 1240
226.28/195.61	o 1239
226.28/195.69	o 1238
227.08/196.40	o 1237
298.91/265.33	o 1236
299.01/265.42	o 1235
299.11/265.50	o 1234
303.31/269.57	o 1233
303.42/269.65	o 1232
304.86/271.06	o 1231
304.96/271.14	o 1230
378.32/341.31	o 1229
378.86/341.87	o 1228
441.21/401.33	o 1227
448.43/408.00	o 1226
466.88/425.59	o 1225
466.98/425.70	o 1224
471.46/429.83	o 1223
471.56/429.92	o 1222
2400.04/2281.10	java.util.concurrent.TimeoutException
2400.04/2281.10		at concrete.MAC.mac(MAC.scala:74)
2400.04/2281.10		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.04/2281.10		at scala.util.Try$.apply(Try.scala:209)
2400.04/2281.10		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.04/2281.10		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.04/2281.10		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.04/2281.10		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.04/2281.10		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.04/2281.10		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.04/2281.10		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.04/2281.10		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.04/2281.10		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.04/2281.10		at concrete.MAC.oneRun(MAC.scala:146)
2400.04/2281.10		at concrete.MAC.nextSolution(MAC.scala:166)
2400.04/2281.10		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.04/2281.10		at concrete.ProblemState.map(ProblemState.scala:203)
2400.04/2281.10		at concrete.ProblemState.map(ProblemState.scala:188)
2400.04/2281.10		at concrete.MAC.nextSolution(MAC.scala:195)
2400.04/2281.10		at concrete.Solver.hasNext(Solver.scala:202)
2400.04/2281.10		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.04/2281.10		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.04/2281.10		at concrete.Solver.toStream(Solver.scala:73)
2400.04/2281.10		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.04/2281.10		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.04/2281.10		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.04/2281.10		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.04/2281.10		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.04/2281.10		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.04/2281.10		at scala.util.Success.map(Try.scala:209)
2400.04/2281.10		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.04/2281.10		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.04/2281.10		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.04/2281.10		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.04/2281.10		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.04/2281.10		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.04/2281.10		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.04/2281.10		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.04/2281.10		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.04/2281.10		at scala.collection.immutable.List.foreach(List.scala:389)
2400.04/2281.10		at scala.App.main(App.scala:76)
2400.04/2281.10		at scala.App.main$(App.scala:74)
2400.04/2281.10		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.04/2281.10		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.04/2281.11	v <instantiation cost="1222">
2400.04/2281.11	v       <list>
2400.04/2281.11	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]
2400.04/2281.11	v       </list>
2400.04/2281.11	v       <values>
2400.04/2281.11	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
2400.04/2281.11	v       </values>
2400.04/2281.11	v     </instantiation>
2400.04/2281.11	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-4249069-1500755167/watcher-4249069-1500755167 -o /tmp/evaluation-result-4249069-1500755167/solver-4249069-1500755167 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500750445-27392 --watchdog 2560 bin/concrete HOME/instance-4249069-1500755167.xml 

pid=28937
running on 8 cores: 1,3,5,7,9,11,13,15

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


[startup+0 s]
/proc/loadavg: 1.90 1.57 1.50 3/261 28940
/proc/meminfo: memFree=29810596/32770624 swapFree=5896/228464
[pid=28940] ppid=28937 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28940/stat : 28940 (bash) S 28937 28940 27360 0 -1 4202496 686 1532 0 0 0 0 0 0 20 0 1 0 10786412 9736192 351 33554432000 4194304 5098028 140735770261120 140735770258760 140486343707648 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 15097856 140735770264846 140735770264931 140735770264931 140735770267630 0
/proc/28940/statm: 2377 351 278 221 0 86 0

[startup+0.100098 s]
/proc/loadavg: 1.90 1.57 1.50 3/261 28940
/proc/meminfo: memFree=29810596/32770624 swapFree=5896/228464
[pid=28940] ppid=28937 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/28940/stat : 28940 (bash) S 28937 28940 27360 0 -1 4202496 884 6414 0 0 0 0 0 1 20 0 1 0 10786412 9871360 378 33554432000 4194304 5098028 140735770261120 140735770255128 140486343707648 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 15097856 140735770264846 140735770264931 140735770264931 140735770267630 0
/proc/28940/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200299 s]
/proc/loadavg: 1.90 1.57 1.50 3/261 28940
/proc/meminfo: memFree=29810596/32770624 swapFree=5896/228464
[pid=28940] ppid=28937 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/28940/stat : 28940 (java) S 28937 28940 27360 0 -1 1077944320 4844 12417 0 0 5 1 9 3 20 0 13 0 10786412 10686320640 5181 33554432000 4194304 4196468 140734098145536 140734098128080 140531444629239 0 0 0 16800971 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
/proc/28940/statm: 2608965 5181 2138 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860

[startup+0.300261 s]
/proc/loadavg: 1.90 1.57 1.50 3/261 28940
/proc/meminfo: memFree=29810596/32770624 swapFree=5896/228464
[pid=28940] ppid=28937 vsize=10902324 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/28940/stat : 28940 (java) S 28937 28940 27360 0 -1 1077944320 8103 12417 0 0 21 3 9 3 20 0 20 0 10786412 11163979776 9219 33554432000 4194304 4196468 140734098145536 140734098128080 140531444629239 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
/proc/28940/statm: 2725581 9219 2935 1 0 2713898 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902324

[startup+0.700172 s]
/proc/loadavg: 1.90 1.57 1.50 3/261 28940
/proc/meminfo: memFree=29810596/32770624 swapFree=5896/228464
[pid=28940] ppid=28937 vsize=10902720 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/28940/stat : 28940 (java) S 28937 28940 27360 0 -1 1077944320 12423 12417 0 0 74 4 9 3 20 0 20 0 10786412 11164385280 15749 33554432000 4194304 4196468 140734098145536 140734098128080 140531444629239 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
/proc/28940/statm: 2725680 15749 3175 1 0 2713890 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 10902720

[startup+1.50109 s]
/proc/loadavg: 1.90 1.57 1.50 3/281 29013
/proc/meminfo: memFree=29704012/32770624 swapFree=5896/228468
[pid=28940] ppid=28937 vsize=10913344 CPUtime=2.21 cores=1,3,5,7,9,11,13,15
/proc/28940/stat : 28940 (java) S 28937 28940 27360 0 -1 1077944320 27588 12417 0 0 196 13 9 3 20 0 20 0 10786412 11175264256 44503 33554432000 4194304 4196468 140734098145536 140734098128080 140531444629239 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
/proc/28940/statm: 2728336 44503 3407 1 0 2716450 0
[pid=28940/tid=28995] ppid=28937 vsize=10913344 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28995/stat : 28995 (java) R 28937 28940 27360 0 -1 4202560 19906 12417 0 0 124 6 9 3 20 0 20 0 10786425 11175264256 44503 33554432000 4194304 4196468 140734098145536 140531448855632 140531428672869 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28996] ppid=28937 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28996/stat : 28996 (java) S 28937 28940 27360 0 -1 1077944384 21 12417 0 0 0 0 9 3 20 0 20 0 10786426 11175264256 44503 33554432000 4194304 4196468 140734098145536 140531051715216 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28997] ppid=28937 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28997/stat : 28997 (java) S 28937 28940 27360 0 -1 1077944384 12 12417 0 0 0 0 9 3 20 0 20 0 10786426 11175264256 44503 33554432000 4194304 4196468 140734098145536 140531050662416 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28998] ppid=28937 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28998/stat : 28998 (java) S 28937 28940 27360 0 -1 1077944384 22 12417 0 0 1 0 9 3 20 0 20 0 10786426 11175264256 44503 33554432000 4194304 4196468 140734098145536 140531049609616 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28999] ppid=28937 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28999/stat : 28999 (java) S 28937 28940 27360 0 -1 1077944384 44 12417 0 0 0 0 9 3 20 0 20 0 10786426 11175264256 44503 33554432000 4194304 4196468 140734098145536 140531048556816 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29000] ppid=28937 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29000/stat : 29000 (java) S 28937 28940 27360 0 -1 1077944384 13 12417 0 0 1 0 9 3 20 0 20 0 10786426 11175264256 44503 33554432000 4194304 4196468 140734098145536 140531047505040 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29001] ppid=28937 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29001/stat : 29001 (java) S 28937 28940 27360 0 -1 1077944384 147 12417 0 0 1 0 9 3 20 0 20 0 10786426 11175264256 44503 33554432000 4194304 4196468 140734098145536 140531046452240 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29002] ppid=28937 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29002/stat : 29002 (java) S 28937 28940 27360 0 -1 1077944384 19 12417 0 0 0 0 9 3 20 0 20 0 10786426 11175264256 44503 33554432000 4194304 4196468 140734098145536 140531045399440 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29003] ppid=28937 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29003/stat : 29003 (java) S 28937 28940 27360 0 -1 1077944384 56 12417 0 0 1 0 9 3 20 0 20 0 10786426 11175264256 44503 33554432000 4194304 4196468 140734098145536 140531044346640 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29004] ppid=28937 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29004/stat : 29004 (java) S 28937 28940 27360 0 -1 1077944384 1556 12417 0 0 1 0 9 3 20 0 20 0 10786429 11175264256 44503 33554432000 4194304 4196468 140734098145536 140530650409328 140531444640386 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29005] ppid=28937 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29005/stat : 29005 (java) S 28937 28940 27360 0 -1 1077944384 55 12417 0 0 0 0 9 3 20 0 20 0 10786430 11175264256 44503 33554432000 4194304 4196468 140734098145536 140530649355360 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29006] ppid=28937 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29006/stat : 29006 (java) S 28937 28940 27360 0 -1 1077944384 44 12417 0 0 0 0 9 3 20 0 20 0 10786430 11175264256 44503 33554432000 4194304 4196468 140734098145536 140530648302464 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29007] ppid=28937 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29007/stat : 29007 (java) S 28937 28940 27360 0 -1 1077944384 1 12417 0 0 0 0 9 3 20 0 20 0 10786434 11175264256 44503 33554432000 4194304 4196468 140734098145536 140530647250768 140531444647835 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29008] ppid=28937 vsize=10913344 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29008/stat : 29008 (java) S 28937 28940 27360 0 -1 1077944384 757 12417 0 0 9 0 9 3 20 0 20 0 10786434 11175264256 44503 33554432000 4194304 4196468 140734098145536 140530646199152 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29009] ppid=28937 vsize=10913344 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29009/stat : 29009 (java) S 28937 28940 27360 0 -1 1077944384 1222 12417 0 0 14 0 9 3 20 0 20 0 10786434 11175264256 44503 33554432000 4194304 4196468 140734098145536 140530645146352 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29010] ppid=28937 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29010/stat : 29010 (java) S 28937 28940 27360 0 -1 1077944384 595 12417 0 0 11 0 9 3 20 0 20 0 10786434 11175264256 44503 33554432000 4194304 4196468 140734098145536 140530644093552 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29011] ppid=28937 vsize=10913344 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29011/stat : 29011 (java) R 28937 28940 27360 0 -1 4202560 982 12417 0 0 25 0 9 3 20 0 20 0 10786434 11175264256 44503 33554432000 4194304 4196468 140734098145536 140530643036624 140531444650586 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29012] ppid=28937 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29012/stat : 29012 (java) S 28937 28940 27360 0 -1 1077944384 3 12417 0 0 0 0 9 3 20 0 20 0 10786435 11175264256 44503 33554432000 4194304 4196468 140734098145536 140530641988192 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29013] ppid=28937 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29013/stat : 29013 (java) S 28937 28940 27360 0 -1 1077944384 3 12417 0 0 0 0 9 3 20 0 20 0 10786435 11175264256 44503 33554432000 4194304 4196468 140734098145536 140530640935472 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 10913344

[startup+3.10119 s]
/proc/loadavg: 1.90 1.57 1.50 5/281 29013
/proc/meminfo: memFree=29627792/32770624 swapFree=5896/228476
[pid=28940] ppid=28937 vsize=10923772 CPUtime=7.1 cores=1,3,5,7,9,11,13,15
/proc/28940/stat : 28940 (java) S 28937 28940 27360 0 -1 1077944320 43450 12417 0 0 679 19 9 3 20 0 20 0 10786412 11185942528 57801 33554432000 4194304 4196468 140734098145536 140734098128080 140531444629239 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
/proc/28940/statm: 2730943 57801 3481 1 0 2718498 0
[pid=28940/tid=28995] ppid=28937 vsize=10923772 CPUtime=3.02 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28995/stat : 28995 (java) R 28937 28940 27360 0 -1 4202560 25218 12417 0 0 282 8 9 3 20 0 20 0 10786425 11185942528 57801 33554432000 4194304 4196468 140734098145536 140531448860952 140531430345270 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28996] ppid=28937 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28996/stat : 28996 (java) S 28937 28940 27360 0 -1 1077944384 21 12417 0 0 0 0 9 3 20 0 20 0 10786426 11185942528 57801 33554432000 4194304 4196468 140734098145536 140531051715216 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28997] ppid=28937 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28997/stat : 28997 (java) S 28937 28940 27360 0 -1 1077944384 12 12417 0 0 0 0 9 3 20 0 20 0 10786426 11185942528 57801 33554432000 4194304 4196468 140734098145536 140531050662416 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28998] ppid=28937 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28998/stat : 28998 (java) S 28937 28940 27360 0 -1 1077944384 22 12417 0 0 1 0 9 3 20 0 20 0 10786426 11185942528 57801 33554432000 4194304 4196468 140734098145536 140531049609616 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28999] ppid=28937 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28999/stat : 28999 (java) S 28937 28940 27360 0 -1 1077944384 44 12417 0 0 0 0 9 3 20 0 20 0 10786426 11185942528 57801 33554432000 4194304 4196468 140734098145536 140531048556816 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29000] ppid=28937 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29000/stat : 29000 (java) S 28937 28940 27360 0 -1 1077944384 13 12417 0 0 1 0 9 3 20 0 20 0 10786426 11185942528 57801 33554432000 4194304 4196468 140734098145536 140531047505040 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29001] ppid=28937 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29001/stat : 29001 (java) S 28937 28940 27360 0 -1 1077944384 147 12417 0 0 1 0 9 3 20 0 20 0 10786426 11185942528 57801 33554432000 4194304 4196468 140734098145536 140531046452240 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29002] ppid=28937 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29002/stat : 29002 (java) S 28937 28940 27360 0 -1 1077944384 19 12417 0 0 0 0 9 3 20 0 20 0 10786426 11185942528 57801 33554432000 4194304 4196468 140734098145536 140531045399440 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29003] ppid=28937 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29003/stat : 29003 (java) S 28937 28940 27360 0 -1 1077944384 56 12417 0 0 1 0 9 3 20 0 20 0 10786426 11185942528 57801 33554432000 4194304 4196468 140734098145536 140531044346640 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29004] ppid=28937 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29004/stat : 29004 (java) S 28937 28940 27360 0 -1 1077944384 1929 12417 0 0 1 0 9 3 20 0 20 0 10786429 11185942528 57801 33554432000 4194304 4196468 140734098145536 140530650409328 140531444640386 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29005] ppid=28937 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29005/stat : 29005 (java) S 28937 28940 27360 0 -1 1077944384 55 12417 0 0 0 0 9 3 20 0 20 0 10786430 11185942528 57801 33554432000 4194304 4196468 140734098145536 140530649355360 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29006] ppid=28937 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29006/stat : 29006 (java) S 28937 28940 27360 0 -1 1077944384 44 12417 0 0 0 0 9 3 20 0 20 0 10786430 11185942528 57801 33554432000 4194304 4196468 140734098145536 140530648302464 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29007] ppid=28937 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29007/stat : 29007 (java) S 28937 28940 27360 0 -1 1077944384 1 12417 0 0 0 0 9 3 20 0 20 0 10786434 11185942528 57801 33554432000 4194304 4196468 140734098145536 140530647250768 140531444647835 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29008] ppid=28937 vsize=10923772 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29008/stat : 29008 (java) S 28937 28940 27360 0 -1 1077944384 1871 12417 0 0 76 0 9 3 20 0 20 0 10786434 11185942528 57801 33554432000 4194304 4196468 140734098145536 140530646199152 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29009] ppid=28937 vsize=10923772 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29009/stat : 29009 (java) R 28937 28940 27360 0 -1 4202560 6142 12417 0 0 120 1 9 3 20 0 20 0 10786434 11185942528 57801 33554432000 4194304 4196468 140734098145536 140530645146352 140531437732856 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29010] ppid=28937 vsize=10923772 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29010/stat : 29010 (java) S 28937 28940 27360 0 -1 1077944384 1537 12417 0 0 81 0 9 3 20 0 20 0 10786434 11185942528 57801 33554432000 4194304 4196468 140734098145536 140530644093552 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29011] ppid=28937 vsize=10923772 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29011/stat : 29011 (java) S 28937 28940 27360 0 -1 1077944384 4179 12417 0 0 108 1 9 3 20 0 20 0 10786434 11185942528 57801 33554432000 4194304 4196468 140734098145536 140530643040752 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29012] ppid=28937 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29012/stat : 29012 (java) S 28937 28940 27360 0 -1 1077944384 3 12417 0 0 0 0 9 3 20 0 20 0 10786435 11185942528 57801 33554432000 4194304 4196468 140734098145536 140530641988192 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29013] ppid=28937 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29013/stat : 29013 (java) S 28937 28940 27360 0 -1 1077944384 5 12417 0 0 0 0 9 3 20 0 20 0 10786435 11185942528 57801 33554432000 4194304 4196468 140734098145536 140530640935472 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 10923772

[startup+6.30115 s]
/proc/loadavg: 2.14 1.62 1.52 5/281 29013
/proc/meminfo: memFree=29421708/32770624 swapFree=5896/228484
[pid=28940] ppid=28937 vsize=10998328 CPUtime=18.08 cores=1,3,5,7,9,11,13,15
/proc/28940/stat : 28940 (java) S 28937 28940 27360 0 -1 1077944320 92004 12417 0 0 1744 52 9 3 20 0 20 0 10786412 11262287872 109302 33554432000 4194304 4196468 140734098145536 140734098128080 140531444629239 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
/proc/28940/statm: 2749582 109302 3516 1 0 2737137 0
[pid=28940/tid=28995] ppid=28937 vsize=10998328 CPUtime=5.94 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28995/stat : 28995 (java) S 28937 28940 27360 0 -1 1077944384 41941 12417 0 0 571 11 9 3 20 0 20 0 10786425 11262287872 109302 33554432000 4194304 4196468 140734098145536 140531448866960 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28996] ppid=28937 vsize=10998328 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28996/stat : 28996 (java) R 28937 28940 27360 0 -1 4202560 343 12417 0 0 14 3 9 3 20 0 20 0 10786426 11262287872 109302 33554432000 4194304 4196468 140734098145536 140531051715416 140531429329879 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28997] ppid=28937 vsize=10998328 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28997/stat : 28997 (java) R 28937 28940 27360 0 -1 4202560 241 12417 0 0 14 2 9 3 20 0 20 0 10786426 11262287872 109302 33554432000 4194304 4196468 140734098145536 140531050662616 140531429329927 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28998] ppid=28937 vsize=10998328 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28998/stat : 28998 (java) R 28937 28940 27360 0 -1 4202560 153 12417 0 0 15 3 9 3 20 0 20 0 10786426 11262287872 109302 33554432000 4194304 4196468 140734098145536 140531049609504 140531429329854 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28999] ppid=28937 vsize=10998328 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28999/stat : 28999 (java) R 28937 28940 27360 0 -1 4202560 142 12417 0 0 14 3 9 3 20 0 20 0 10786426 11262287872 109302 33554432000 4194304 4196468 140734098145536 140531048557016 140531429329872 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29000] ppid=28937 vsize=10998328 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29000/stat : 29000 (java) R 28937 28940 27360 0 -1 4202560 90 12417 0 0 13 3 9 3 20 0 20 0 10786426 11262287872 109302 33554432000 4194304 4196468 140734098145536 140531047505240 140531429329875 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29001] ppid=28937 vsize=10998328 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29001/stat : 29001 (java) R 28937 28940 27360 0 -1 4202560 255 12417 0 0 15 4 9 3 20 0 20 0 10786426 11262287872 109302 33554432000 4194304 4196468 140734098145536 140531046452440 140531429329850 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29002] ppid=28937 vsize=10998328 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29002/stat : 29002 (java) R 28937 28940 27360 0 -1 4202560 305 12417 0 0 14 4 9 3 20 0 20 0 10786426 11262287872 109302 33554432000 4194304 4196468 140734098145536 140531045399640 140531429329927 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29003] ppid=28937 vsize=10998328 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29003/stat : 29003 (java) R 28937 28940 27360 0 -1 4202560 136 12417 0 0 16 4 9 3 20 0 20 0 10786426 11262287872 109302 33554432000 4194304 4196468 140734098145536 140531044346840 140531429329872 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29004] ppid=28937 vsize=10998328 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29004/stat : 29004 (java) S 28937 28940 27360 0 -1 1077944384 11520 12417 0 0 9 0 9 3 20 0 20 0 10786429 11262287872 109302 33554432000 4194304 4196468 140734098145536 140530650407952 140531444639445 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29005] ppid=28937 vsize=10998328 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29005/stat : 29005 (java) S 28937 28940 27360 0 -1 1077944384 56 12417 0 0 0 0 9 3 20 0 20 0 10786430 11262287872 109302 33554432000 4194304 4196468 140734098145536 140530649355360 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29006] ppid=28937 vsize=10998328 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29006/stat : 29006 (java) S 28937 28940 27360 0 -1 1077944384 44 12417 0 0 0 0 9 3 20 0 20 0 10786430 11262287872 109302 33554432000 4194304 4196468 140734098145536 140530648302464 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29007] ppid=28937 vsize=10998328 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29007/stat : 29007 (java) S 28937 28940 27360 0 -1 1077944384 1 12417 0 0 0 0 9 3 20 0 20 0 10786434 11262287872 109302 33554432000 4194304 4196468 140734098145536 140530647250768 140531444647835 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29008] ppid=28937 vsize=10998328 CPUtime=3.13 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29008/stat : 29008 (java) R 28937 28940 27360 0 -1 4202560 11952 12417 0 0 299 2 9 3 20 0 20 0 10786434 11262287872 109302 33554432000 4194304 4196468 140734098145536 140530646185312 140531423885814 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29009] ppid=28937 vsize=10998328 CPUtime=2.94 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29009/stat : 29009 (java) S 28937 28940 27360 0 -1 1077944384 8573 12417 0 0 280 2 9 3 20 0 20 0 10786434 11262287872 109302 33554432000 4194304 4196468 140734098145536 140530645146352 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29010] ppid=28937 vsize=10998328 CPUtime=2.66 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29010/stat : 29010 (java) S 28937 28940 27360 0 -1 1077944384 5290 12417 0 0 253 1 9 3 20 0 20 0 10786434 11262287872 109302 33554432000 4194304 4196468 140734098145536 140530644093552 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29011] ppid=28937 vsize=10998328 CPUtime=2.26 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29011/stat : 29011 (java) S 28937 28940 27360 0 -1 1077944384 8582 12417 0 0 210 4 9 3 20 0 20 0 10786434 11262287872 109302 33554432000 4194304 4196468 140734098145536 140530643040752 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29012] ppid=28937 vsize=10998328 CPUtime=0.12 cores=1,3,5,7,9,11,13,15

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

[pid=28940/tid=29009] ppid=28937 vsize=10997500 CPUtime=8.55 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29009/stat : 29009 (java) S 28937 28940 27360 0 -1 1077944384 39141 12417 0 0 834 9 9 3 20 0 20 0 10786434 11261440000 251470 33554432000 4194304 4196468 140734098145536 140530645146352 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29010] ppid=28937 vsize=10997500 CPUtime=8.22 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29010/stat : 29010 (java) S 28937 28940 27360 0 -1 1077944384 38128 12417 0 0 803 7 9 3 20 0 20 0 10786434 11261440000 251470 33554432000 4194304 4196468 140734098145536 140530644093552 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29011] ppid=28937 vsize=10997500 CPUtime=4.84 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29011/stat : 29011 (java) S 28937 28940 27360 0 -1 1077944384 64952 12417 0 0 460 12 9 3 20 0 20 0 10786434 11261440000 251470 33554432000 4194304 4196468 140734098145536 140530643040752 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29012] ppid=28937 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29012/stat : 29012 (java) S 28937 28940 27360 0 -1 1077944384 3 12417 0 0 0 0 9 3 20 0 20 0 10786435 11261440000 251470 33554432000 4194304 4196468 140734098145536 140530641988192 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29013] ppid=28937 vsize=10997500 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29013/stat : 29013 (java) S 28937 28940 27360 0 -1 1077944384 2530 12417 0 0 53 61 9 3 20 0 20 0 10786435 11261440000 251470 33554432000 4194304 4196468 140734098145536 140530640935472 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
Current children cumulated CPU time (s) 2318.32
Current children cumulated vsize (KiB) 10997500

[startup+2262.3 s]
/proc/loadavg: 1.50 1.42 1.44 6/282 29247
/proc/meminfo: memFree=29853440/32770624 swapFree=5896/230448
[pid=28940] ppid=28937 vsize=10997500 CPUtime=2380.48 cores=1,3,5,7,9,11,13,15
/proc/28940/stat : 28940 (java) S 28937 28940 27360 0 -1 1077944320 441180 12417 0 0 236840 1196 9 3 20 0 20 0 10786412 11261440000 251470 33554432000 4194304 4196468 140734098145536 140734098128080 140531444629239 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
/proc/28940/statm: 2749375 251470 3524 1 0 2736930 0
[pid=28940/tid=28995] ppid=28937 vsize=10997500 CPUtime=2239.64 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28995/stat : 28995 (java) R 28937 28940 27360 0 -1 4202560 141228 12417 0 0 223896 56 9 3 20 0 20 0 10786425 11261440000 251470 33554432000 4194304 4196468 140734098145536 140531448862720 140531089974466 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28996] ppid=28937 vsize=10997500 CPUtime=13.05 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28996/stat : 28996 (java) S 28937 28940 27360 0 -1 1077944384 10155 12417 0 0 1164 129 9 3 20 0 20 0 10786426 11261440000 251470 33554432000 4194304 4196468 140734098145536 140531051715216 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28997] ppid=28937 vsize=10997500 CPUtime=12.89 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28997/stat : 28997 (java) S 28937 28940 27360 0 -1 1077944384 13058 12417 0 0 1143 134 9 3 20 0 20 0 10786426 11261440000 251470 33554432000 4194304 4196468 140734098145536 140531050662416 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28998] ppid=28937 vsize=10997500 CPUtime=13.05 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28998/stat : 28998 (java) S 28937 28940 27360 0 -1 1077944384 8894 12417 0 0 1161 132 9 3 20 0 20 0 10786426 11261440000 251470 33554432000 4194304 4196468 140734098145536 140531049609616 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28999] ppid=28937 vsize=10997500 CPUtime=13.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28999/stat : 28999 (java) S 28937 28940 27360 0 -1 1077944384 9537 12417 0 0 1167 133 9 3 20 0 20 0 10786426 11261440000 251470 33554432000 4194304 4196468 140734098145536 140531048556816 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29000] ppid=28937 vsize=10997500 CPUtime=13.06 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29000/stat : 29000 (java) S 28937 28940 27360 0 -1 1077944384 9524 12417 0 0 1161 133 9 3 20 0 20 0 10786426 11261440000 251470 33554432000 4194304 4196468 140734098145536 140531047505040 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29001] ppid=28937 vsize=10997500 CPUtime=12.99 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29001/stat : 29001 (java) S 28937 28940 27360 0 -1 1077944384 8835 12417 0 0 1156 131 9 3 20 0 20 0 10786426 11261440000 251470 33554432000 4194304 4196468 140734098145536 140531046452240 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29002] ppid=28937 vsize=10997500 CPUtime=13.15 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29002/stat : 29002 (java) S 28937 28940 27360 0 -1 1077944384 11915 12417 0 0 1169 134 9 3 20 0 20 0 10786426 11261440000 251470 33554432000 4194304 4196468 140734098145536 140531045399440 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29003] ppid=28937 vsize=10997500 CPUtime=13.26 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29003/stat : 29003 (java) S 28937 28940 27360 0 -1 1077944384 11657 12417 0 0 1178 136 9 3 20 0 20 0 10786426 11261440000 251470 33554432000 4194304 4196468 140734098145536 140531044346640 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29004] ppid=28937 vsize=10997500 CPUtime=5.71 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29004/stat : 29004 (java) S 28937 28940 27360 0 -1 1077944384 24598 12417 0 0 514 45 9 3 20 0 20 0 10786429 11261440000 251470 33554432000 4194304 4196468 140734098145536 140530650409328 140531444640386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29005] ppid=28937 vsize=10997500 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29005/stat : 29005 (java) S 28937 28940 27360 0 -1 1077944384 96 12417 0 0 1 0 9 3 20 0 20 0 10786430 11261440000 251470 33554432000 4194304 4196468 140734098145536 140530649355360 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29006] ppid=28937 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29006/stat : 29006 (java) S 28937 28940 27360 0 -1 1077944384 60 12417 0 0 0 0 9 3 20 0 20 0 10786430 11261440000 251470 33554432000 4194304 4196468 140734098145536 140530648302464 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29007] ppid=28937 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29007/stat : 29007 (java) S 28937 28940 27360 0 -1 1077944384 1 12417 0 0 0 0 9 3 20 0 20 0 10786434 11261440000 251470 33554432000 4194304 4196468 140734098145536 140530647250768 140531444647835 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29008] ppid=28937 vsize=10997500 CPUtime=9.16 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29008/stat : 29008 (java) S 28937 28940 27360 0 -1 1077944384 44712 12417 0 0 897 7 9 3 20 0 20 0 10786434 11261440000 251470 33554432000 4194304 4196468 140734098145536 140530646199152 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29009] ppid=28937 vsize=10997500 CPUtime=8.55 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29009/stat : 29009 (java) S 28937 28940 27360 0 -1 1077944384 39143 12417 0 0 834 9 9 3 20 0 20 0 10786434 11261440000 251470 33554432000 4194304 4196468 140734098145536 140530645146352 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29010] ppid=28937 vsize=10997500 CPUtime=8.22 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29010/stat : 29010 (java) S 28937 28940 27360 0 -1 1077944384 38130 12417 0 0 803 7 9 3 20 0 20 0 10786434 11261440000 251470 33554432000 4194304 4196468 140734098145536 140530644093552 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29011] ppid=28937 vsize=10997500 CPUtime=4.84 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29011/stat : 29011 (java) S 28937 28940 27360 0 -1 1077944384 64954 12417 0 0 460 12 9 3 20 0 20 0 10786434 11261440000 251470 33554432000 4194304 4196468 140734098145536 140530643040752 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29012] ppid=28937 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29012/stat : 29012 (java) S 28937 28940 27360 0 -1 1077944384 3 12417 0 0 0 0 9 3 20 0 20 0 10786435 11261440000 251470 33554432000 4194304 4196468 140734098145536 140530641988192 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29013] ppid=28937 vsize=10997500 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29013/stat : 29013 (java) S 28937 28940 27360 0 -1 1077944384 2548 12417 0 0 54 63 9 3 20 0 20 0 10786435 11261440000 251470 33554432000 4194304 4196468 140734098145536 140530640935472 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
Current children cumulated CPU time (s) 2380.48
Current children cumulated vsize (KiB) 10997500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2281.1 s]
/proc/loadavg: 1.43 1.40 1.44 3/282 29247
/proc/meminfo: memFree=29596180/32770624 swapFree=5896/230464
[pid=28940] ppid=28937 vsize=10997500 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/28940/stat : 28940 (java) S 28937 28940 27360 0 -1 1077944320 441657 12417 0 0 238791 1201 9 3 20 0 20 0 10786412 11261440000 251852 33554432000 4194304 4196468 140734098145536 140734098128080 140531444629239 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
/proc/28940/statm: 2749375 251852 3524 1 0 2736930 0
[pid=28940/tid=28995] ppid=28937 vsize=10997500 CPUtime=2258.24 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28995/stat : 28995 (java) R 28937 28940 27360 0 -1 4202560 141489 12417 0 0 225756 56 9 3 20 0 20 0 10786425 11261440000 251852 33554432000 4194304 4196468 140734098145536 140531448863072 140531086881650 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28996] ppid=28937 vsize=10997500 CPUtime=13.17 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28996/stat : 28996 (java) S 28937 28940 27360 0 -1 1077944384 10207 12417 0 0 1175 130 9 3 20 0 20 0 10786426 11261440000 251852 33554432000 4194304 4196468 140734098145536 140531051715216 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28997] ppid=28937 vsize=10997500 CPUtime=13.01 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28997/stat : 28997 (java) S 28937 28940 27360 0 -1 1077944384 13111 12417 0 0 1154 135 9 3 20 0 20 0 10786426 11261440000 251852 33554432000 4194304 4196468 140734098145536 140531050662416 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28998] ppid=28937 vsize=10997500 CPUtime=13.16 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28998/stat : 28998 (java) S 28937 28940 27360 0 -1 1077944384 8904 12417 0 0 1172 132 9 3 20 0 20 0 10786426 11261440000 251852 33554432000 4194304 4196468 140734098145536 140531049609616 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28999] ppid=28937 vsize=10997500 CPUtime=13.24 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28999/stat : 28999 (java) S 28937 28940 27360 0 -1 1077944384 9598 12417 0 0 1178 134 9 3 20 0 20 0 10786426 11261440000 251852 33554432000 4194304 4196468 140734098145536 140531048556816 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29000] ppid=28937 vsize=10997500 CPUtime=13.17 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29000/stat : 29000 (java) S 28937 28940 27360 0 -1 1077944384 9544 12417 0 0 1172 133 9 3 20 0 20 0 10786426 11261440000 251852 33554432000 4194304 4196468 140734098145536 140531047505040 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29001] ppid=28937 vsize=10997500 CPUtime=13.11 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29001/stat : 29001 (java) S 28937 28940 27360 0 -1 1077944384 8840 12417 0 0 1167 132 9 3 20 0 20 0 10786426 11261440000 251852 33554432000 4194304 4196468 140734098145536 140531046452240 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29002] ppid=28937 vsize=10997500 CPUtime=13.25 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29002/stat : 29002 (java) S 28937 28940 27360 0 -1 1077944384 11919 12417 0 0 1179 134 9 3 20 0 20 0 10786426 11261440000 251852 33554432000 4194304 4196468 140734098145536 140531045399440 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29003] ppid=28937 vsize=10997500 CPUtime=13.39 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29003/stat : 29003 (java) S 28937 28940 27360 0 -1 1077944384 11661 12417 0 0 1190 137 9 3 20 0 20 0 10786426 11261440000 251852 33554432000 4194304 4196468 140734098145536 140531044346640 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29004] ppid=28937 vsize=10997500 CPUtime=5.76 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29004/stat : 29004 (java) S 28937 28940 27360 0 -1 1077944384 24605 12417 0 0 519 45 9 3 20 0 20 0 10786429 11261440000 251852 33554432000 4194304 4196468 140734098145536 140530650409328 140531444640386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29005] ppid=28937 vsize=10997500 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29005/stat : 29005 (java) S 28937 28940 27360 0 -1 1077944384 96 12417 0 0 1 0 9 3 20 0 20 0 10786430 11261440000 251852 33554432000 4194304 4196468 140734098145536 140530649355360 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29006] ppid=28937 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29006/stat : 29006 (java) S 28937 28940 27360 0 -1 1077944384 60 12417 0 0 0 0 9 3 20 0 20 0 10786430 11261440000 251852 33554432000 4194304 4196468 140734098145536 140530648302464 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29007] ppid=28937 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29007/stat : 29007 (java) S 28937 28940 27360 0 -1 1077944384 1 12417 0 0 0 0 9 3 20 0 20 0 10786434 11261440000 251852 33554432000 4194304 4196468 140734098145536 140530647250768 140531444647835 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29008] ppid=28937 vsize=10997500 CPUtime=9.16 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29008/stat : 29008 (java) S 28937 28940 27360 0 -1 1077944384 44712 12417 0 0 897 7 9 3 20 0 20 0 10786434 11261440000 251852 33554432000 4194304 4196468 140734098145536 140530646199152 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29009] ppid=28937 vsize=10997500 CPUtime=8.55 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29009/stat : 29009 (java) S 28937 28940 27360 0 -1 1077944384 39143 12417 0 0 834 9 9 3 20 0 20 0 10786434 11261440000 251852 33554432000 4194304 4196468 140734098145536 140530645146352 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29010] ppid=28937 vsize=10997500 CPUtime=8.22 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29010/stat : 29010 (java) S 28937 28940 27360 0 -1 1077944384 38130 12417 0 0 803 7 9 3 20 0 20 0 10786434 11261440000 251852 33554432000 4194304 4196468 140734098145536 140530644093552 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29011] ppid=28937 vsize=10997500 CPUtime=4.84 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29011/stat : 29011 (java) S 28937 28940 27360 0 -1 1077944384 64954 12417 0 0 460 12 9 3 20 0 20 0 10786434 11261440000 251852 33554432000 4194304 4196468 140734098145536 140530643040752 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29012] ppid=28937 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29012/stat : 29012 (java) S 28937 28940 27360 0 -1 1077944384 3 12417 0 0 0 0 9 3 20 0 20 0 10786435 11261440000 251852 33554432000 4194304 4196468 140734098145536 140530641988192 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29013] ppid=28937 vsize=10997500 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29013/stat : 29013 (java) S 28937 28940 27360 0 -1 1077944384 2548 12417 0 0 55 64 9 3 20 0 20 0 10786435 11261440000 251852 33554432000 4194304 4196468 140734098145536 140530640935472 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 10997500

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 28940 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2281.1 s]
/proc/loadavg: 1.43 1.40 1.44 3/282 29247
/proc/meminfo: memFree=29596180/32770624 swapFree=5896/230464
[pid=28940] ppid=28937 vsize=10997500 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/28940/stat : 28940 (java) S 28937 28940 27360 0 -1 1077944320 441657 12417 0 0 238791 1201 9 3 20 0 20 0 10786412 11261440000 251852 33554432000 4194304 4196468 140734098145536 140734098128080 140531444629239 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
/proc/28940/statm: 2749375 251852 3524 1 0 2736930 0
[pid=28940/tid=28995] ppid=28937 vsize=10997500 CPUtime=2258.24 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28995/stat : 28995 (java) R 28937 28940 27360 0 -1 4202560 141489 12417 0 0 225756 56 9 3 20 0 20 0 10786425 11261440000 251852 33554432000 4194304 4196468 140734098145536 140531448863072 140531086881650 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28996] ppid=28937 vsize=10997500 CPUtime=13.17 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28996/stat : 28996 (java) S 28937 28940 27360 0 -1 1077944384 10207 12417 0 0 1175 130 9 3 20 0 20 0 10786426 11261440000 251852 33554432000 4194304 4196468 140734098145536 140531051715216 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28997] ppid=28937 vsize=10997500 CPUtime=13.01 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28997/stat : 28997 (java) S 28937 28940 27360 0 -1 1077944384 13111 12417 0 0 1154 135 9 3 20 0 20 0 10786426 11261440000 251852 33554432000 4194304 4196468 140734098145536 140531050662416 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28998] ppid=28937 vsize=10997500 CPUtime=13.16 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28998/stat : 28998 (java) S 28937 28940 27360 0 -1 1077944384 8904 12417 0 0 1172 132 9 3 20 0 20 0 10786426 11261440000 251852 33554432000 4194304 4196468 140734098145536 140531049609616 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=28999] ppid=28937 vsize=10997500 CPUtime=13.24 cores=1,3,5,7,9,11,13,15
/proc/28940/task/28999/stat : 28999 (java) S 28937 28940 27360 0 -1 1077944384 9598 12417 0 0 1178 134 9 3 20 0 20 0 10786426 11261440000 251852 33554432000 4194304 4196468 140734098145536 140531048556816 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29000] ppid=28937 vsize=10997500 CPUtime=13.17 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29000/stat : 29000 (java) S 28937 28940 27360 0 -1 1077944384 9544 12417 0 0 1172 133 9 3 20 0 20 0 10786426 11261440000 251852 33554432000 4194304 4196468 140734098145536 140531047505040 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29001] ppid=28937 vsize=10997500 CPUtime=13.11 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29001/stat : 29001 (java) S 28937 28940 27360 0 -1 1077944384 8840 12417 0 0 1167 132 9 3 20 0 20 0 10786426 11261440000 251852 33554432000 4194304 4196468 140734098145536 140531046452240 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29002] ppid=28937 vsize=10997500 CPUtime=13.25 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29002/stat : 29002 (java) S 28937 28940 27360 0 -1 1077944384 11919 12417 0 0 1179 134 9 3 20 0 20 0 10786426 11261440000 251852 33554432000 4194304 4196468 140734098145536 140531045399440 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29003] ppid=28937 vsize=10997500 CPUtime=13.39 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29003/stat : 29003 (java) S 28937 28940 27360 0 -1 1077944384 11661 12417 0 0 1190 137 9 3 20 0 20 0 10786426 11261440000 251852 33554432000 4194304 4196468 140734098145536 140531044346640 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29004] ppid=28937 vsize=10997500 CPUtime=5.76 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29004/stat : 29004 (java) S 28937 28940 27360 0 -1 1077944384 24605 12417 0 0 519 45 9 3 20 0 20 0 10786429 11261440000 251852 33554432000 4194304 4196468 140734098145536 140530650409328 140531444640386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29005] ppid=28937 vsize=10997500 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29005/stat : 29005 (java) S 28937 28940 27360 0 -1 1077944384 96 12417 0 0 1 0 9 3 20 0 20 0 10786430 11261440000 251852 33554432000 4194304 4196468 140734098145536 140530649355360 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29006] ppid=28937 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29006/stat : 29006 (java) S 28937 28940 27360 0 -1 1077944384 60 12417 0 0 0 0 9 3 20 0 20 0 10786430 11261440000 251852 33554432000 4194304 4196468 140734098145536 140530648302464 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29007] ppid=28937 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29007/stat : 29007 (java) S 28937 28940 27360 0 -1 1077944384 1 12417 0 0 0 0 9 3 20 0 20 0 10786434 11261440000 251852 33554432000 4194304 4196468 140734098145536 140530647250768 140531444647835 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29008] ppid=28937 vsize=10997500 CPUtime=9.16 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29008/stat : 29008 (java) S 28937 28940 27360 0 -1 1077944384 44712 12417 0 0 897 7 9 3 20 0 20 0 10786434 11261440000 251852 33554432000 4194304 4196468 140734098145536 140530646199152 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29009] ppid=28937 vsize=10997500 CPUtime=8.55 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29009/stat : 29009 (java) S 28937 28940 27360 0 -1 1077944384 39143 12417 0 0 834 9 9 3 20 0 20 0 10786434 11261440000 251852 33554432000 4194304 4196468 140734098145536 140530645146352 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29010] ppid=28937 vsize=10997500 CPUtime=8.22 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29010/stat : 29010 (java) S 28937 28940 27360 0 -1 1077944384 38130 12417 0 0 803 7 9 3 20 0 20 0 10786434 11261440000 251852 33554432000 4194304 4196468 140734098145536 140530644093552 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29011] ppid=28937 vsize=10997500 CPUtime=4.84 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29011/stat : 29011 (java) S 28937 28940 27360 0 -1 1077944384 64954 12417 0 0 460 12 9 3 20 0 20 0 10786434 11261440000 251852 33554432000 4194304 4196468 140734098145536 140530643040752 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29012] ppid=28937 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29012/stat : 29012 (java) S 28937 28940 27360 0 -1 1077944384 3 12417 0 0 0 0 9 3 20 0 20 0 10786435 11261440000 251852 33554432000 4194304 4196468 140734098145536 140530641988192 140531444639445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
[pid=28940/tid=29013] ppid=28937 vsize=10997500 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/28940/task/29013/stat : 29013 (java) S 28937 28940 27360 0 -1 1077944384 2548 12417 0 0 55 64 9 3 20 0 20 0 10786435 11261440000 251852 33554432000 4194304 4196468 140734098145536 140530640935472 140531444640386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140734098152129 140734098154903 140734098154903 140734098157519 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 10997500

Child status: 143
Real time (s): 2281.13
CPU time (s): 2400.09
CPU user time (s): 2388.03
CPU system time (s): 12.0541
CPU usage (%): 105.215
Max. virtual memory (cumulated for all children) (KiB): 10998328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2388.03
system time used= 12.0541
maximum resident set size= 2208840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 454960
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 242143
involuntary context switches= 163323

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5158 second user time and 19.9667 second system time

The end

Launcher Data 

Begin job on node104 at 2017-07-22 22:26:07
IDJOB=4249069
IDBENCH=135252
IDSOLVER=2630
FILE ID=node104/4249069-1500755167
RUNJOBID= node104-1500750445-27392
PBS_JOBID= 20624574
Free space on /tmp= 61956 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-4249069-1500755167/watcher-4249069-1500755167 -o /tmp/evaluation-result-4249069-1500755167/solver-4249069-1500755167 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500750445-27392 --watchdog 2560  bin/concrete HOME/instance-4249069-1500755167.xml

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

MD5SUM BENCH= 31e85661316b8aad2d1246d7b0a73c1b
RANDOM SEED=115173141

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

/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	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.12
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.57
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.12
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		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.57
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.12
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.57
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.12
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		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 9
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29811380 kB
MemAvailable:   30172748 kB
Buffers:          212608 kB
Cached:           411504 kB
SwapCached:          252 kB
Active:          2203260 kB
Inactive:         284768 kB
Active(anon):    1819088 kB
Inactive(anon):    56304 kB
Active(file):     384172 kB
Inactive(file):   228464 kB
Unevictable:        5896 kB
Mlocked:            5896 kB
SwapTotal:      67108860 kB
SwapFree:       67105472 kB
Dirty:             24632 kB
Writeback:           484 kB
AnonPages:       2011076 kB
Mapped:            44272 kB
Shmem:              8772 kB
Slab:             163452 kB
SReclaimable:     129132 kB
SUnreclaim:        34320 kB
KernelStack:        4800 kB
PageTables:         8556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2692976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1802240 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= 61932 MiB
End job on node104 at 2017-07-22 23:04:09