Trace number 4409515

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
cosoco 2.0 parallelSAT (TO)1015 20118.6 2520.03

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-opt-dimacs/
Pb-par16-3.xml
MD5SUMad8b9cd5515c3ce9f06e2b183513350f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1015
Best CPU time to get the best result obtained on this benchmark54.0493
Satisfiable
(Un)Satisfiability was proved
Number of variables2030
Number of constraints4359
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2030}]
Minimum variable degree3
Maximum variable degree44
Distribution of variable degrees[{"degree":3,"count":20},{"degree":4,"count":308},{"degree":5,"count":526},{"degree":6,"count":414},{"degree":7,"count":358},{"degree":8,"count":372},{"degree":26,"count":2},{"degree":28,"count":4},{"degree":30,"count":4},{"degree":32,"count":2},{"degree":34,"count":8},{"degree":36,"count":2},{"degree":38,"count":4},{"degree":40,"count":2},{"degree":42,"count":2},{"degree":44,"count":2}]
Minimum constraint arity1
Maximum constraint arity3
Distribution of constraint arities[{"arity":1,"count":76},{"arity":2,"count":1971},{"arity":3,"count":2312}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":4359}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

1764.33/221.58	c
1764.33/221.58	c This is cosoco 2.00 --  
1764.33/221.58	c
1764.33/221.58	c command line: cosoco -model -nbcores=8 HOME/instance-4409515-1569831746.xml 
1764.33/221.58	c enable optimization
1764.33/221.58	c ========================================[ Problem Statistics ]===========================================
1764.33/221.58	c |                                                                                                       
1764.33/221.58	c |  Parse time        :         0.47 s 
1764.33/221.58	c |
1764.33/221.58	c |               Variables: 2030
1764.33/221.58	c |            Domain Sizes: 2..2
1764.33/221.58	c |
1764.33/221.58	c |             Constraints: 4360
1764.33/221.58	c |                   Arity: 1..2030  -- Unary: 76  -- Binary: 1971  -- Ternary: 2312
1764.33/221.58	c | 
1764.33/221.58	c |                   Types: 
1764.33/221.58	c |                          Sum: 4360
1764.33/221.58	c |                          
1764.33/221.58	c |               Objective: Minimize Sum
1764.33/221.58	
1764.33/221.58	c =========================================================================================================
1764.33/221.58	c Parallel mode: Portfolio
1764.33/221.58	c [pFactory][Group N°0] created (threads:8).
1764.33/221.58	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
1764.33/221.58	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
1764.33/221.58	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
1764.33/221.58	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
1764.33/221.58	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
1764.33/221.58	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
1764.33/221.58	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
1764.33/221.58	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
1764.33/221.58	c [pFactory][Group N°0] concurrent mode: enabled.
1764.33/221.58	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
1764.33/221.58	c [pFactory][Group N°0] task 7 launched on thread 0.
1764.33/221.58	c [pFactory][Group N°0] task 6 launched on thread 1.
1764.33/221.58	c [pFactory][Group N°0] task 5 launched on thread 2.
1764.33/221.58	c [pFactory][Group N°0] task 4 launched on thread 6.
1764.33/221.58	c [pFactory][Group N°0] task 3 launched on thread 3.
1764.33/221.58	c [pFactory][Group N°0] task 2 launched on thread 7.
1764.33/221.58	c [pFactory][Group N°0] task 1 launched on thread 4.
1764.33/221.58	c [pFactory][Group N°0] task 0 launched on thread 5.
1764.33/221.58	o 1015
20118.48/2520.02	
20118.48/2520.02	c *** INTERRUPTED ***
20118.48/2520.02	c call to solver        : 1
20118.48/2520.02	c
20118.48/2520.02	c restarts              : 9213        
20118.48/2520.02	c conflicts             : 77601        (4 /sec)
20118.48/2520.02	c decisions             : 3652592      (182 /sec)
20118.48/2520.02	c propagations          : 46795381    (2326 /sec)
20118.48/2520.02	c root propagations     : 790         
20118.48/2520.02	c filter calls          : 224370339      (11153 /sec)
20118.48/2520.02	c useless filter calls  : 183707633      (81 %)
20118.48/2520.02	c Memory used           : 899.48 MB
20118.48/2520.02	c Best bound time (wc)  : 221.581 s
20118.48/2520.02	c CPU time              : 20117.4 s
20118.48/2520.02	c real time             : 2520.02 s
20118.48/2520.02	
20118.48/2520.02	s SATISFIABLE
20118.48/2520.02	c Best value found: 1015
20118.48/2520.02	
20118.48/2520.02	
20118.48/2520.02	v <instantiation type='solution' cost='1015'>
20118.48/2520.02	v <list>x[0] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[100] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[101] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[102] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[103] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[104] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[105] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[106] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[107] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[108] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[109] x[10] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[110] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[111] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[112] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[113] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[114] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[115] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[116] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[117] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[118] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[119] x[11] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[120] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[121] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[122] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[123] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[124] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[125] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[126] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[127] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[128] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[129] x[12] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[130] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[131] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[132] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[133] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[134] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[135] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[136] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[137] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[138] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[139] x[13] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[140] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[141] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[142] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[143] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[144] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[145] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[146] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[147] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[148] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[149] x[14] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[150] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[151] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[152] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[153] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[154] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[155] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[156] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[157] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[158] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[159] x[15] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[160] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[161] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[162] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[163] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[164] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[165] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[166] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[167] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[168] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[169] x[16] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[170] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[171] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[172] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[173] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[174] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[175] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[176] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[177] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[178] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[179] x[17] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[180] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[181] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[182] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[183] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[184] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[185] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[186] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[187] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[188] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[189] x[18] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[190] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[191] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[192] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[193] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[194] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[195] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[196] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[197] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[198] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[199] x[19] x[1] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[200] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[201] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[20] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[21] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[22] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[23] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[24] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[25] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[26] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[27] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[28] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[29] x[2] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[30] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[31] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[32] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[33] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[34] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[35] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[36] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[37] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[38] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[39] x[3] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[40] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[41] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[42] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[43] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[44] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[45] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[46] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[47] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[48] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[49] x[4] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[50] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[51] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[52] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[53] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[54] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[55] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[56] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[57] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[58] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[59] x[5] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[60] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[61] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[62] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[63] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[64] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[65] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[66] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[67] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[68] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[69] x[6] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[70] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[71] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[72] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[73] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[74] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[75] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[76] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[77] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[78] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[79] x[7] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[80] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[81] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[82] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[83] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[84] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[85] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[86] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[87] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[88] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[89] x[8] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[90] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[91] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[92] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[93] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[94] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[95] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[96] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[97] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[98] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[99] x[9] </list>
20118.48/2520.02	v <values>1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 1 1 0 1 1 0 0 1 0 1 1 0 0 0 1 1 0 1 0 0 1 0 1 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 </values>
20118.48/2520.02	v </instantiation>
20118.48/2520.02

Verifier Data 

OK	1015

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15191 MiB free)
  memory of node 1: 16384 MiB (15038 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409515-1569831746/watcher-4409515-1569831746 -o /tmp/evaluation-result-4409515-1569831746/solver-4409515-1569831746 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1569829573-11921 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409515-1569831746.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12582, runsolver pid=12579
Current StackSize limit: 8192 KiB


[startup+0.100162 s]*
/proc/loadavg: 7.63 8.01 7.79 2/192 12583
/proc/meminfo: memFree=30926544/32770624 swapFree=66997268/67108860
[pid=12582] ppid=12579 vsize=62948 memory=39356 CPUtime=0.1 cores=0-7
/proc/12582/stat : 12582 (cosoco) R 12579 12582 11894 0 -1 4202496 10015 0 0 0 9 1 0 0 20 0 1 0 559112875 64458752 9839 33554432000 4194304 6211132 140728088308624 140728088305896 140089125215205 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
/proc/12582/statm: 15737 9839 837 493 0 9042 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 62948 KiB
Current children cumulated memory: 39356 KiB

[startup+0.209453 s]*
/proc/loadavg: 7.63 8.01 7.79 2/192 12583
/proc/meminfo: memFree=30846936/32770624 swapFree=66997268/67108860
[pid=12582] ppid=12579 vsize=142548 memory=118820 CPUtime=0.21 cores=0-7
/proc/12582/stat : 12582 (cosoco) R 12579 12582 11894 0 -1 4202496 29917 0 0 0 17 4 0 0 20 0 1 0 559112875 145969152 29705 33554432000 4194304 6211132 140728088308624 140728088305896 140089125215205 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
/proc/12582/statm: 35637 29705 837 493 0 28942 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 142548 KiB
Current children cumulated memory: 118820 KiB

[startup+0.309446 s]*
/proc/loadavg: 7.63 8.01 7.79 2/192 12583
/proc/meminfo: memFree=30774768/32770624 swapFree=66997268/67108860
[pid=12582] ppid=12579 vsize=214628 memory=190892 CPUtime=0.3 cores=0-7
/proc/12582/stat : 12582 (cosoco) R 12579 12582 11894 0 -1 4202496 47919 0 0 0 24 6 0 0 20 0 1 0 559112875 219779072 47723 33554432000 4194304 6211132 140728088308624 140728088302648 140089125215205 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
/proc/12582/statm: 53657 47723 837 493 0 46962 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 214628 KiB
Current children cumulated memory: 190892 KiB

[startup+0.701144 s]
/proc/loadavg: 7.63 8.01 7.79 2/192 12583
/proc/meminfo: memFree=30653868/32770624 swapFree=66997268/67108860
[pid=12582] ppid=12579 vsize=921064 memory=309924 CPUtime=1.52 cores=0-7
/proc/12582/stat : 12582 (cosoco) S 12579 12582 11894 0 -1 1077944320 77879 0 0 0 141 11 0 0 20 0 9 0 559112875 943169536 77481 33554432000 4194304 6211132 140728088308624 140728088306880 140089141255927 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
/proc/12582/statm: 230266 77481 882 493 0 223571 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 921064 KiB
Current children cumulated memory: 309924 KiB

[startup+1.50058 s]
/proc/loadavg: 7.63 8.01 7.79 9/200 12591
/proc/meminfo: memFree=30587372/32770624 swapFree=66997268/67108860
[pid=12582] ppid=12579 vsize=921064 memory=380412 CPUtime=7.88 cores=0-7
/proc/12582/stat : 12582 (cosoco) S 12579 12582 11894 0 -1 1077944320 95561 0 0 0 771 17 0 0 20 0 9 0 559112875 943169536 95103 33554432000 4194304 6211132 140728088308624 140728088306880 140089141255927 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
/proc/12582/statm: 230266 95103 883 493 0 223571 0
[pid=12582/tid=12584] ppid=12579 vsize=921064 memory=-6221781267475802396 CPUtime=0.91 cores=0-7
/proc/12582/task/12584/stat : 12584 (cosoco) R 12579 12582 11894 0 -1 4202560 2079 0 0 0 90 1 0 0 20 0 9 0 559112933 943169536 95103 33554432000 4194304 6211132 140728088308624 140089118112360 5155832 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12585] ppid=12579 vsize=921064 memory=0 CPUtime=0.9 cores=0-7
/proc/12582/task/12585/stat : 12585 (cosoco) R 12579 12582 11894 0 -1 4202560 2218 0 0 0 90 0 0 0 20 0 9 0 559112933 943169536 95103 33554432000 4194304 6211132 140728088308624 140089109719496 5155836 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12586] ppid=12579 vsize=921064 memory=0 CPUtime=0.9 cores=0-7
/proc/12582/task/12586/stat : 12586 (cosoco) R 12579 12582 11894 0 -1 4202560 1861 0 0 0 90 0 0 0 20 0 9 0 559112933 943169536 95103 33554432000 4194304 6211132 140728088308624 140089101326952 5250304 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12587] ppid=12579 vsize=921064 memory=280289968591184 CPUtime=0.9 cores=0-7
/proc/12582/task/12587/stat : 12587 (cosoco) R 12579 12582 11894 0 -1 4202560 2648 0 0 0 89 1 0 0 20 0 9 0 559112933 943169536 95103 33554432000 4194304 6211132 140728088308624 140089092934088 5155832 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12588] ppid=12579 vsize=921064 memory=288230621789322196 CPUtime=0.9 cores=0-7
/proc/12582/task/12588/stat : 12588 (cosoco) R 12579 12582 11894 0 -1 4202560 2352 0 0 0 90 0 0 0 20 0 9 0 559112933 943169536 95103 33554432000 4194304 6211132 140728088308624 140089084541544 5250311 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12589] ppid=12579 vsize=921064 memory=13572608580953139 CPUtime=0.9 cores=0-7
/proc/12582/task/12589/stat : 12589 (cosoco) R 12579 12582 11894 0 -1 4202560 2346 0 0 0 90 0 0 0 20 0 9 0 559112933 943169536 95103 33554432000 4194304 6211132 140728088308624 140089076148840 5250256 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12590] ppid=12579 vsize=921064 memory=0 CPUtime=0.9 cores=0-7
/proc/12582/task/12590/stat : 12590 (cosoco) R 12579 12582 11894 0 -1 4202560 2241 0 0 0 90 0 0 0 20 0 9 0 559112933 943169536 95103 33554432000 4194304 6211132 140728088308624 140089067755976 5250330 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12591] ppid=12579 vsize=921064 memory=0 CPUtime=0.9 cores=0-7
/proc/12582/task/12591/stat : 12591 (cosoco) R 12579 12582 11894 0 -1 4202560 2670 0 0 0 90 0 0 0 20 0 9 0 559112933 943169536 95103 33554432000 4194304 6211132 140728088308624 140089059363272 5250266 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
Current children cumulated CPU time: 7.88 s
Current children cumulated vsize: 921064 KiB
Current children cumulated memory: 380412 KiB

[startup+3.11057 s]
/proc/loadavg: 7.63 8.01 7.79 9/200 12591
/proc/meminfo: memFree=30558976/32770624 swapFree=66997268/67108860
[pid=12582] ppid=12579 vsize=921064 memory=403408 CPUtime=20.73 cores=0-7
/proc/12582/stat : 12582 (cosoco) S 12579 12582 11894 0 -1 1077944320 156633 0 0 0 2037 36 0 0 20 0 9 0 559112875 943169536 100852 33554432000 4194304 6211132 140728088308624 140728088306880 140089141255927 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
/proc/12582/statm: 230266 100852 883 493 0 223571 0
[pid=12582/tid=12584] ppid=12579 vsize=921064 memory=6944656425123094137 CPUtime=2.51 cores=0-7
/proc/12582/task/12584/stat : 12584 (cosoco) R 12579 12582 11894 0 -1 4202560 7926 0 0 0 248 3 0 0 20 0 9 0 559112933 943169536 100852 33554432000 4194304 6211132 140728088308624 140089118112200 5250304 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12585] ppid=12579 vsize=921064 memory=0 CPUtime=2.51 cores=0-7
/proc/12582/task/12585/stat : 12585 (cosoco) R 12579 12582 11894 0 -1 4202560 13043 0 0 0 250 1 0 0 20 0 9 0 559112933 943169536 100852 33554432000 4194304 6211132 140728088308624 140089109719496 5250321 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12586] ppid=12579 vsize=921064 memory=378564 CPUtime=2.51 cores=0-7
/proc/12582/task/12586/stat : 12586 (cosoco) R 12579 12582 11894 0 -1 4202560 9102 0 0 0 247 4 0 0 20 0 9 0 559112933 943169536 100852 33554432000 4194304 6211132 140728088308624 140089101326792 5009258 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12587] ppid=12579 vsize=921064 memory=8330969454845486047 CPUtime=2.48 cores=0-7
/proc/12582/task/12587/stat : 12587 (cosoco) R 12579 12582 11894 0 -1 4202560 12520 0 0 0 247 1 0 0 20 0 9 0 559112933 943169536 100852 33554432000 4194304 6211132 140728088308624 140089092934088 5250491 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12588] ppid=12579 vsize=921064 memory=6656426216303648864 CPUtime=2.52 cores=0-7
/proc/12582/task/12588/stat : 12588 (cosoco) R 12579 12582 11894 0 -1 4202560 9894 0 0 0 251 1 0 0 20 0 9 0 559112933 943169536 100852 33554432000 4194304 6211132 140728088308624 140089084541384 5250256 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12589] ppid=12579 vsize=921064 memory=386500 CPUtime=2.51 cores=0-7
/proc/12582/task/12589/stat : 12589 (cosoco) R 12579 12582 11894 0 -1 4202560 6515 0 0 0 250 1 0 0 20 0 9 0 559112933 943169536 100852 33554432000 4194304 6211132 140728088308624 140089076148680 5250311 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12590] ppid=12579 vsize=921064 memory=-7749696028082845524 CPUtime=2.52 cores=0-7
/proc/12582/task/12590/stat : 12590 (cosoco) R 12579 12582 11894 0 -1 4202560 8852 0 0 0 248 4 0 0 20 0 9 0 559112933 943169536 100852 33554432000 4194304 6211132 140728088308624 140089067755976 5250304 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12591] ppid=12579 vsize=921064 memory=140144984195273 CPUtime=2.51 cores=0-7
/proc/12582/task/12591/stat : 12591 (cosoco) R 12579 12582 11894 0 -1 4202560 11635 0 0 0 245 6 0 0 20 0 9 0 559112933 943169536 100852 33554432000 4194304 6211132 140728088308624 140089059363272 5155832 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
Current children cumulated CPU time: 20.73 s
Current children cumulated vsize: 921064 KiB
Current children cumulated memory: 403408 KiB

[startup+6.30057 s]
/proc/loadavg: 7.66 8.01 7.79 9/200 12591
/proc/meminfo: memFree=30558244/32770624 swapFree=66997268/67108860
[pid=12582] ppid=12579 vsize=921064 memory=403664 CPUtime=46.2 cores=0-7
/proc/12582/stat : 12582 (cosoco) S 12579 12582 11894 0 -1 1077944320 230803 0 0 0 4574 46 0 0 20 0 9 0 559112875 943169536 100916 33554432000 4194304 6211132 140728088308624 140728088306880 140089141255927 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
/proc/12582/statm: 230266 100916 887 493 0 223571 0
[pid=12582/tid=12584] ppid=12579 vsize=921064 memory=381836 CPUtime=5.71 cores=0-7
/proc/12582/task/12584/stat : 12584 (cosoco) R 12579 12582 11894 0 -1 4202560 15701 0 0 0 566 5 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089118112200 5250304 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12585] ppid=12579 vsize=921064 memory=378564 CPUtime=5.7 cores=0-7
/proc/12582/task/12585/stat : 12585 (cosoco) R 12579 12582 11894 0 -1 4202560 21719 0 0 0 568 2 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089109719496 5155849 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12586] ppid=12579 vsize=921064 memory=8330969454845486047 CPUtime=5.71 cores=0-7
/proc/12582/task/12586/stat : 12586 (cosoco) R 12579 12582 11894 0 -1 4202560 21061 0 0 0 565 6 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089101326792 5409476 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12587] ppid=12579 vsize=921064 memory=403664 CPUtime=5.62 cores=0-7
/proc/12582/task/12587/stat : 12587 (cosoco) R 12579 12582 11894 0 -1 4202560 24678 0 0 0 560 2 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089092934088 5155832 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12588] ppid=12579 vsize=921064 memory=1540 CPUtime=5.7 cores=0-7
/proc/12582/task/12588/stat : 12588 (cosoco) R 12579 12582 11894 0 -1 4202560 17140 0 0 0 569 1 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089084541384 5409485 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12589] ppid=12579 vsize=921064 memory=772 CPUtime=5.7 cores=0-7
/proc/12582/task/12589/stat : 12589 (cosoco) R 12579 12582 11894 0 -1 4202560 12364 0 0 0 569 1 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089076148680 5250482 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12590] ppid=12579 vsize=921064 memory=403664 CPUtime=5.7 cores=0-7
/proc/12582/task/12590/stat : 12590 (cosoco) R 12579 12582 11894 0 -1 4202560 19450 0 0 0 565 5 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089067755976 5155836 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12591] ppid=12579 vsize=921064 memory=3624 CPUtime=5.7 cores=0-7
/proc/12582/task/12591/stat : 12591 (cosoco) R 12579 12582 11894 0 -1 4202560 21544 0 0 0 562 8 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089059363272 5155832 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
Current children cumulated CPU time: 46.2 s
Current children cumulated vsize: 921064 KiB
Current children cumulated memory: 403664 KiB

[startup+12.7006 s]
/proc/loadavg: 7.68 8.01 7.79 10/201 12593
/proc/meminfo: memFree=30557292/32770624 swapFree=66997268/67108860
[pid=12582] ppid=12579 vsize=921064 memory=403664 CPUtime=97.27 cores=0-7
/proc/12582/stat : 12582 (cosoco) S 12579 12582 11894 0 -1 1077944320 318954 0 0 0 9669 58 0 0 20 0 9 0 559112875 943169536 100916 33554432000 4194304 6211132 140728088308624 140728088306880 140089141255927 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
/proc/12582/statm: 230266 100916 887 493 0 223571 0
[pid=12582/tid=12584] ppid=12579 vsize=921064 memory=56 CPUtime=12.1 cores=0-7
/proc/12582/task/12584/stat : 12584 (cosoco) R 12579 12582 11894 0 -1 4202560 26840 0 0 0 1204 6 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089118112200 5155836 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12585] ppid=12579 vsize=921064 memory=403664 CPUtime=12.1 cores=0-7
/proc/12582/task/12585/stat : 12585 (cosoco) R 12579 12582 11894 0 -1 4202560 33866 0 0 0 1205 5 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089109719496 5155836 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12586] ppid=12579 vsize=921064 memory=403664 CPUtime=12.09 cores=0-7
/proc/12582/task/12586/stat : 12586 (cosoco) R 12579 12582 11894 0 -1 4202560 33029 0 0 0 1202 7 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089101326792 5250316 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12587] ppid=12579 vsize=921064 memory=3624 CPUtime=11.94 cores=0-7
/proc/12582/task/12587/stat : 12587 (cosoco) R 12579 12582 11894 0 -1 4202560 38705 0 0 0 1189 5 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089092934088 5250256 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12588] ppid=12579 vsize=921064 memory=3605477179624786513 CPUtime=12.09 cores=0-7
/proc/12582/task/12588/stat : 12588 (cosoco) R 12579 12582 11894 0 -1 4202560 25814 0 0 0 1207 2 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089084541384 5155836 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12589] ppid=12579 vsize=921064 memory=6935054825532540783 CPUtime=12.09 cores=0-7
/proc/12582/task/12589/stat : 12589 (cosoco) R 12579 12582 11894 0 -1 4202560 18184 0 0 0 1207 2 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089076148680 5155992 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12590] ppid=12579 vsize=921064 memory=772 CPUtime=12.1 cores=0-7
/proc/12582/task/12590/stat : 12590 (cosoco) R 12579 12582 11894 0 -1 4202560 30352 0 0 0 1203 7 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089067755976 5155836 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12591] ppid=12579 vsize=921064 memory=10596 CPUtime=12.09 cores=0-7
/proc/12582/task/12591/stat : 12591 (cosoco) R 12579 12582 11894 0 -1 4202560 35018 0 0 0 1200 9 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089059363272 5155836 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
Current children cumulated CPU time: 97.27 s
Current children cumulated vsize: 921064 KiB
Current children cumulated memory: 403664 KiB

[startup+25.5006 s]
/proc/loadavg: 7.75 8.01 7.79 9/200 12593
/proc/meminfo: memFree=30557268/32770624 swapFree=66997268/67108860
[pid=12582] ppid=12579 vsize=921064 memory=403664 CPUtime=199.46 cores=0-7
/proc/12582/stat : 12582 (cosoco) S 12579 12582 11894 0 -1 1077944320 380741 0 0 0 19879 67 0 0 20 0 9 0 559112875 943169536 100916 33554432000 4194304 6211132 140728088308624 140728088306880 140089141255927 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
/proc/12582/statm: 230266 100916 887 493 0 223571 0
[pid=12582/tid=12584] ppid=12579 vsize=921064 memory=403664 CPUtime=24.9 cores=0-7
/proc/12582/task/12584/stat : 12584 (cosoco) R 12579 12582 11894 0 -1 4202560 34815 0 0 0 2482 8 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089118112200 5250304 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12585] ppid=12579 vsize=921064 memory=403664 CPUtime=24.9 cores=0-7
/proc/12582/task/12585/stat : 12585 (cosoco) R 12579 12582 11894 0 -1 4202560 42291 0 0 0 2484 6 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089109719496 5155832 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12586] ppid=12579 vsize=921064 memory=280289968625600 CPUtime=24.88 cores=0-7
/proc/12582/task/12586/stat : 12586 (cosoco) R 12579 12582 11894 0 -1 4202560 40593 0 0 0 2479 9 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089101326792 5250273 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12587] ppid=12579 vsize=921064 memory=56212733298922 CPUtime=24.56 cores=0-7
/proc/12582/task/12587/stat : 12587 (cosoco) R 12579 12582 11894 0 -1 4202560 48221 0 0 0 2450 6 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089092934088 5155832 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12588] ppid=12579 vsize=921064 memory=280289968745808 CPUtime=24.89 cores=0-7
/proc/12582/task/12588/stat : 12588 (cosoco) R 12579 12582 11894 0 -1 4202560 31838 0 0 0 2486 3 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089084541384 5155832 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12589] ppid=12579 vsize=921064 memory=1786907723265 CPUtime=24.89 cores=0-7
/proc/12582/task/12589/stat : 12589 (cosoco) R 12579 12582 11894 0 -1 4202560 23208 0 0 0 2486 3 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089076148680 5155839 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12590] ppid=12579 vsize=921064 memory=0 CPUtime=24.9 cores=0-7
/proc/12582/task/12590/stat : 12590 (cosoco) R 12579 12582 11894 0 -1 4202560 38797 0 0 0 2482 8 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089067755976 5155832 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12591] ppid=12579 vsize=921064 memory=0 CPUtime=24.89 cores=0-7
/proc/12582/task/12591/stat : 12591 (cosoco) R 12579 12582 11894 0 -1 4202560 43832 0 0 0 2479 10 0 0 20 0 9 0 559112933 943169536 100916 33554432000 4194304 6211132 140728088308624 140089059363272 5155248 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
Current children cumulated CPU time: 199.46 s
Current children cumulated vsize: 921064 KiB
Current children cumulated memory: 403664 KiB


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

/proc/12582/task/12586/stat : 12586 (cosoco) R 12579 12582 11894 0 -1 4202560 65955 0 0 0 226112 14 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089101326792 5155836 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12587] ppid=12579 vsize=921064 memory=410276 CPUtime=2251.09 cores=0-7
/proc/12582/task/12587/stat : 12587 (cosoco) R 12579 12582 11894 0 -1 4202560 77104 0 0 0 225096 13 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089092934088 5157589 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12588] ppid=12579 vsize=921064 memory=772 CPUtime=2242.19 cores=0-7
/proc/12582/task/12588/stat : 12588 (cosoco) R 12579 12582 11894 0 -1 4202560 59003 0 0 0 224210 9 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089084542224 5409508 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12589] ppid=12579 vsize=921064 memory=410276 CPUtime=2261.24 cores=0-7
/proc/12582/task/12589/stat : 12589 (cosoco) R 12579 12582 11894 0 -1 4202560 42456 0 0 0 226116 8 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089076148840 5250321 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12590] ppid=12579 vsize=921064 memory=410276 CPUtime=2260.15 cores=0-7
/proc/12582/task/12590/stat : 12590 (cosoco) R 12579 12582 11894 0 -1 4202560 70486 0 0 0 225998 17 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089067755976 5155836 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12591] ppid=12579 vsize=921064 memory=2540 CPUtime=2261.45 cores=0-7
/proc/12582/task/12591/stat : 12591 (cosoco) R 12579 12582 11894 0 -1 4202560 72530 0 0 0 226127 18 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089059363272 5155832 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
Current children cumulated CPU time: 18060.7 s
Current children cumulated vsize: 921064 KiB
Current children cumulated memory: 410276 KiB

[startup+2322.3 s]
/proc/loadavg: 8.24 8.17 8.17 9/200 12767
/proc/meminfo: memFree=30553856/32770624 swapFree=66997268/67108860
[pid=12582] ppid=12579 vsize=921064 memory=410276 CPUtime=18539.8 cores=0-7
/proc/12582/stat : 12582 (cosoco) S 12579 12582 11894 0 -1 1077944320 597921 0 0 0 1853858 119 0 0 20 0 9 0 559112875 943169536 102569 33554432000 4194304 6211132 140728088308624 140728088306880 140089141255927 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
/proc/12582/statm: 230266 102569 888 493 0 223571 0
[pid=12582/tid=12584] ppid=12579 vsize=921064 memory=410276 CPUtime=2321.66 cores=0-7
/proc/12582/task/12584/stat : 12584 (cosoco) R 12579 12582 11894 0 -1 4202560 59885 0 0 0 232154 12 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089118112200 5155836 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12585] ppid=12579 vsize=921064 memory=410276 CPUtime=2321.01 cores=0-7
/proc/12582/task/12585/stat : 12585 (cosoco) R 12579 12582 11894 0 -1 4202560 72387 0 0 0 232087 14 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089109719496 5157576 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12586] ppid=12579 vsize=921064 memory=410276 CPUtime=2321.24 cores=0-7
/proc/12582/task/12586/stat : 12586 (cosoco) R 12579 12582 11894 0 -1 4202560 66098 0 0 0 232110 14 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089101326792 5250273 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12587] ppid=12579 vsize=921064 memory=410276 CPUtime=2311.07 cores=0-7
/proc/12582/task/12587/stat : 12587 (cosoco) R 12579 12582 11894 0 -1 4202560 77294 0 0 0 231094 13 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089092934088 5250321 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12588] ppid=12579 vsize=921064 memory=410276 CPUtime=2301.34 cores=0-7
/proc/12582/task/12588/stat : 12588 (cosoco) R 12579 12582 11894 0 -1 4202560 59092 0 0 0 230125 9 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089084542224 5158226 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12589] ppid=12579 vsize=921064 memory=410276 CPUtime=2321.23 cores=0-7
/proc/12582/task/12589/stat : 12589 (cosoco) R 12579 12582 11894 0 -1 4202560 42524 0 0 0 232115 8 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089076148840 5250316 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12590] ppid=12579 vsize=921064 memory=10616 CPUtime=2320.14 cores=0-7
/proc/12582/task/12590/stat : 12590 (cosoco) R 12579 12582 11894 0 -1 4202560 70755 0 0 0 231997 17 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089067755976 5155836 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12591] ppid=12579 vsize=921064 memory=410276 CPUtime=2321.44 cores=0-7
/proc/12582/task/12591/stat : 12591 (cosoco) R 12579 12582 11894 0 -1 4202560 72740 0 0 0 232126 18 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089059363272 5155839 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
Current children cumulated CPU time: 18539.8 s
Current children cumulated vsize: 921064 KiB
Current children cumulated memory: 410276 KiB

[startup+2382.3 s]
/proc/loadavg: 8.56 8.27 8.21 9/201 12793
/proc/meminfo: memFree=30552492/32770624 swapFree=66997268/67108860
[pid=12582] ppid=12579 vsize=921064 memory=410276 CPUtime=19018.8 cores=0-7
/proc/12582/stat : 12582 (cosoco) S 12579 12582 11894 0 -1 1077944320 599308 0 0 0 1901765 120 0 0 20 0 9 0 559112875 943169536 102569 33554432000 4194304 6211132 140728088308624 140728088306880 140089141255927 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
/proc/12582/statm: 230266 102569 888 493 0 223571 0
[pid=12582/tid=12584] ppid=12579 vsize=921064 memory=410276 CPUtime=2381.65 cores=0-7
/proc/12582/task/12584/stat : 12584 (cosoco) R 12579 12582 11894 0 -1 4202560 60031 0 0 0 238153 12 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089118112200 5157576 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12585] ppid=12579 vsize=921064 memory=410276 CPUtime=2380.99 cores=0-7
/proc/12582/task/12585/stat : 12585 (cosoco) R 12579 12582 11894 0 -1 4202560 72522 0 0 0 238085 14 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089109719496 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12586] ppid=12579 vsize=921064 memory=410276 CPUtime=2381.23 cores=0-7
/proc/12582/task/12586/stat : 12586 (cosoco) R 12579 12582 11894 0 -1 4202560 66255 0 0 0 238109 14 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089101326792 5250316 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12587] ppid=12579 vsize=921064 memory=410276 CPUtime=2371.06 cores=0-7
/proc/12582/task/12587/stat : 12587 (cosoco) R 12579 12582 11894 0 -1 4202560 77494 0 0 0 237093 13 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089092934088 5155836 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12588] ppid=12579 vsize=921064 memory=410276 CPUtime=2360.51 cores=0-7
/proc/12582/task/12588/stat : 12588 (cosoco) R 12579 12582 11894 0 -1 4202560 59228 0 0 0 236042 9 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089084542224 5155836 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12589] ppid=12579 vsize=921064 memory=410276 CPUtime=2381.22 cores=0-7
/proc/12582/task/12589/stat : 12589 (cosoco) R 12579 12582 11894 0 -1 4202560 42602 0 0 0 238114 8 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089076148840 5155832 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12590] ppid=12579 vsize=921064 memory=772 CPUtime=2380.13 cores=0-7
/proc/12582/task/12590/stat : 12590 (cosoco) R 12579 12582 11894 0 -1 4202560 71046 0 0 0 237996 17 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089067755976 5155844 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12591] ppid=12579 vsize=921064 memory=10596 CPUtime=2381.41 cores=0-7
/proc/12582/task/12591/stat : 12591 (cosoco) R 12579 12582 11894 0 -1 4202560 72984 0 0 0 238123 18 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089059363272 5250304 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
Current children cumulated CPU time: 19018.8 s
Current children cumulated vsize: 921064 KiB
Current children cumulated memory: 410276 KiB

[startup+2442.3 s]
/proc/loadavg: 8.49 8.32 8.23 9/201 12796
/proc/meminfo: memFree=30552892/32770624 swapFree=66997268/67108860
[pid=12582] ppid=12579 vsize=921064 memory=410276 CPUtime=19498 cores=0-7
/proc/12582/stat : 12582 (cosoco) S 12579 12582 11894 0 -1 1077944320 600484 0 0 0 1949676 121 0 0 20 0 9 0 559112875 943169536 102569 33554432000 4194304 6211132 140728088308624 140728088306880 140089141255927 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
/proc/12582/statm: 230266 102569 888 493 0 223571 0
[pid=12582/tid=12584] ppid=12579 vsize=921064 memory=2016 CPUtime=2441.65 cores=0-7
/proc/12582/task/12584/stat : 12584 (cosoco) R 12579 12582 11894 0 -1 4202560 60137 0 0 0 244153 12 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089118112200 5158104 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12585] ppid=12579 vsize=921064 memory=410276 CPUtime=2440.98 cores=0-7
/proc/12582/task/12585/stat : 12585 (cosoco) R 12579 12582 11894 0 -1 4202560 72616 0 0 0 244084 14 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089109719496 5250256 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12586] ppid=12579 vsize=921064 memory=410276 CPUtime=2441.21 cores=0-7
/proc/12582/task/12586/stat : 12586 (cosoco) R 12579 12582 11894 0 -1 4202560 66351 0 0 0 244107 14 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089101326792 5157576 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12587] ppid=12579 vsize=921064 memory=410276 CPUtime=2431.05 cores=0-7
/proc/12582/task/12587/stat : 12587 (cosoco) R 12579 12582 11894 0 -1 4202560 77676 0 0 0 243092 13 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089092934088 5250256 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12588] ppid=12579 vsize=921064 memory=410276 CPUtime=2419.67 cores=0-7
/proc/12582/task/12588/stat : 12588 (cosoco) R 12579 12582 11894 0 -1 4202560 59331 0 0 0 241957 10 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089084542224 5155832 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12589] ppid=12579 vsize=921064 memory=410276 CPUtime=2441.21 cores=0-7
/proc/12582/task/12589/stat : 12589 (cosoco) R 12579 12582 11894 0 -1 4202560 42719 0 0 0 244113 8 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089076148840 5157594 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12590] ppid=12579 vsize=921064 memory=410276 CPUtime=2440.13 cores=0-7
/proc/12582/task/12590/stat : 12590 (cosoco) R 12579 12582 11894 0 -1 4202560 71266 0 0 0 243996 17 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089067755976 5250304 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12591] ppid=12579 vsize=921064 memory=410276 CPUtime=2441.4 cores=0-7
/proc/12582/task/12591/stat : 12591 (cosoco) R 12579 12582 11894 0 -1 4202560 73242 0 0 0 244122 18 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089059363272 5155836 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
Current children cumulated CPU time: 19498 s
Current children cumulated vsize: 921064 KiB
Current children cumulated memory: 410276 KiB

[startup+2502.3 s]
/proc/loadavg: 8.18 8.27 8.22 9/201 12801
/proc/meminfo: memFree=30553860/32770624 swapFree=66997268/67108860
[pid=12582] ppid=12579 vsize=921064 memory=410276 CPUtime=19977.1 cores=0-7
/proc/12582/stat : 12582 (cosoco) S 12579 12582 11894 0 -1 1077944320 601601 0 0 0 1997586 121 0 0 20 0 9 0 559112875 943169536 102569 33554432000 4194304 6211132 140728088308624 140728088306880 140089141255927 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
/proc/12582/statm: 230266 102569 888 493 0 223571 0
[pid=12582/tid=12584] ppid=12579 vsize=921064 memory=532 CPUtime=2501.66 cores=0-7
/proc/12582/task/12584/stat : 12584 (cosoco) R 12579 12582 11894 0 -1 4202560 60245 0 0 0 250154 12 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089118112200 5155836 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12585] ppid=12579 vsize=921064 memory=410276 CPUtime=2500.96 cores=0-7
/proc/12582/task/12585/stat : 12585 (cosoco) R 12579 12582 11894 0 -1 4202560 72667 0 0 0 250082 14 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089109719496 5250325 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12586] ppid=12579 vsize=921064 memory=410276 CPUtime=2501.21 cores=0-7
/proc/12582/task/12586/stat : 12586 (cosoco) R 12579 12582 11894 0 -1 4202560 66485 0 0 0 250107 14 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089101326792 5157609 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12587] ppid=12579 vsize=921064 memory=410276 CPUtime=2490.91 cores=0-7
/proc/12582/task/12587/stat : 12587 (cosoco) R 12579 12582 11894 0 -1 4202560 77829 0 0 0 249078 13 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089092934088 5158226 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12588] ppid=12579 vsize=921064 memory=410276 CPUtime=2478.98 cores=0-7
/proc/12582/task/12588/stat : 12588 (cosoco) R 12579 12582 11894 0 -1 4202560 59530 0 0 0 247888 10 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089084542224 5250316 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12589] ppid=12579 vsize=921064 memory=410276 CPUtime=2501.19 cores=0-7
/proc/12582/task/12589/stat : 12589 (cosoco) R 12579 12582 11894 0 -1 4202560 42782 0 0 0 250111 8 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089076148840 5250311 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12590] ppid=12579 vsize=921064 memory=410276 CPUtime=2500.12 cores=0-7
/proc/12582/task/12590/stat : 12590 (cosoco) R 12579 12582 11894 0 -1 4202560 71491 0 0 0 249995 17 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089067755976 5155836 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12591] ppid=12579 vsize=921064 memory=410276 CPUtime=2501.39 cores=0-7
/proc/12582/task/12591/stat : 12591 (cosoco) R 12579 12582 11894 0 -1 4202560 73426 0 0 0 250121 18 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089059363272 5157594 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
Current children cumulated CPU time: 19977.1 s
Current children cumulated vsize: 921064 KiB
Current children cumulated memory: 410276 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.13 8.25 8.21 9/201 12801
/proc/meminfo: memFree=30553496/32770624 swapFree=66997268/67108860
[pid=12582] ppid=12579 vsize=921064 memory=410276 CPUtime=20118.5 cores=0-7
/proc/12582/stat : 12582 (cosoco) S 12579 12582 11894 0 -1 1077944320 601620 0 0 0 2011727 121 0 0 20 0 9 0 559112875 943169536 102569 33554432000 4194304 6211132 140728088308624 140728088306880 140089141255927 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
/proc/12582/statm: 230266 102569 888 493 0 223571 0
[pid=12582/tid=12584] ppid=12579 vsize=921064 memory=804 CPUtime=2519.37 cores=0-7
/proc/12582/task/12584/stat : 12584 (cosoco) R 12579 12582 11894 0 -1 4202560 60247 0 0 0 251925 12 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089118112200 5157572 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12585] ppid=12579 vsize=921064 memory=24164 CPUtime=2518.67 cores=0-7
/proc/12582/task/12585/stat : 12585 (cosoco) R 12579 12582 11894 0 -1 4202560 72667 0 0 0 251853 14 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089109719496 5155976 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12586] ppid=12579 vsize=921064 memory=1540 CPUtime=2518.91 cores=0-7
/proc/12582/task/12586/stat : 12586 (cosoco) R 12579 12582 11894 0 -1 4202560 66486 0 0 0 251877 14 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089101326792 5155839 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12587] ppid=12579 vsize=921064 memory=4872558044660077418 CPUtime=2508.36 cores=0-7
/proc/12582/task/12587/stat : 12587 (cosoco) R 12579 12582 11894 0 -1 4202560 77830 0 0 0 250823 13 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089092934088 5155832 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12588] ppid=12579 vsize=921064 memory=288230583166042426 CPUtime=2496.69 cores=0-7
/proc/12582/task/12588/stat : 12588 (cosoco) R 12579 12582 11894 0 -1 4202560 59534 0 0 0 249659 10 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089084542224 5157589 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12589] ppid=12579 vsize=921064 memory=15253748989561522 CPUtime=2518.9 cores=0-7
/proc/12582/task/12589/stat : 12589 (cosoco) R 12579 12582 11894 0 -1 4202560 42784 0 0 0 251882 8 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089076148840 5155836 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12590] ppid=12579 vsize=921064 memory=15253748989561522 CPUtime=2517.83 cores=0-7
/proc/12582/task/12590/stat : 12590 (cosoco) R 12579 12582 11894 0 -1 4202560 71496 0 0 0 251766 17 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089067755976 5156264 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
[pid=12582/tid=12591] ppid=12579 vsize=921064 memory=3680 CPUtime=2519.1 cores=0-7
/proc/12582/task/12591/stat : 12591 (cosoco) R 12579 12582 11894 0 -1 4202560 73430 0 0 0 251892 18 0 0 20 0 9 0 559112933 943169536 102569 33554432000 4194304 6211132 140728088308624 140089059363272 5157576 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20013056 140728088314897 140728088314989 140728088314989 140728088317902 0
Current children cumulated CPU time: 20118.5 s
Current children cumulated vsize: 921064 KiB
Current children cumulated memory: 410276 KiB

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

[startup+2520.03 s]
# the end of solver process 12582 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20117.4 s, system=1.22123 s

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

Child status: 1
Real time (s): 2520.03
CPU time (s): 20118.6
CPU user time (s): 20117.4
CPU system time (s): 1.22123
CPU usage (%): 798.349
Max. virtual memory (cumulated for all children) (KiB): 921064
Max. memory (cumulated for all children) (KiB): 410276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20117.4
system time used= 1.22123
maximum resident set size= 410428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 601671
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4845
involuntary context switches= 176763


# summary of solver processes directly reported to runsolver:
#   pid: 12582
#   total CPU time (s): 20118.6
#   total CPU user time (s): 20117.4
#   total CPU system time (s): 1.22123

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5598 second user time and 22.5668 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-30 10:21:44
IDJOB=4409515
IDBENCH=134938
IDSOLVER=2877
FILE ID=node140/4409515-1569831746
RUNJOBID= node140-1569829573-11921
PBS_JOBID= 21705940
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-dimacs/Pb-par16-3.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409515-1569831746/watcher-4409515-1569831746 -o /tmp/evaluation-result-4409515-1569831746/solver-4409515-1569831746 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1569829573-11921 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4409515-1569831746.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= ad8b9cd5515c3ce9f06e2b183513350f
RANDOM SEED=1990456778

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30956312 kB
MemAvailable:   31871236 kB
Buffers:          121532 kB
Cached:          1130964 kB
SwapCached:         3040 kB
Active:           892984 kB
Inactive:         366680 kB
Active(anon):       3320 kB
Inactive(anon):    83748 kB
Active(file):     889664 kB
Inactive(file):   282932 kB
Unevictable:      107704 kB
Mlocked:          107704 kB
SwapTotal:      67108860 kB
SwapFree:       66997268 kB
Dirty:              2944 kB
Writeback:             0 kB
AnonPages:        112968 kB
Mapped:            26856 kB
Shmem:             71168 kB
Slab:             145220 kB
SReclaimable:     116328 kB
SUnreclaim:        28892 kB
KernelStack:        3376 kB
PageTables:         4964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     539392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 62028 MiB
End job on node140 at 2019-09-30 11:03:44