Trace number 4398757

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.O parallelSAT (TO)14 2010.39 252.034

General information on the benchmark

NameBusScheduling/BusScheduling-cnt-s1/
BusScheduling-cnt-r2.xml
MD5SUM1feceec156c21411e87c939d9e284415
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark2003.34
Satisfiable
(Un)Satisfiability was proved
Number of variables3001
Number of constraints54
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":3001}]
Minimum variable degree2
Maximum variable degree9
Distribution of variable degrees[{"degree":2,"count":11},{"degree":3,"count":68},{"degree":4,"count":284},{"degree":5,"count":1134},{"degree":6,"count":908},{"degree":7,"count":436},{"degree":8,"count":123},{"degree":9,"count":37}]
Minimum constraint arity139
Maximum constraint arity479
Distribution of constraint arities[{"arity":139,"count":1},{"arity":140,"count":1},{"arity":143,"count":1},{"arity":153,"count":3},{"arity":159,"count":1},{"arity":161,"count":1},{"arity":162,"count":2},{"arity":171,"count":1},{"arity":172,"count":1},{"arity":176,"count":1},{"arity":178,"count":1},{"arity":182,"count":1},{"arity":183,"count":1},{"arity":184,"count":2},{"arity":185,"count":1},{"arity":188,"count":1},{"arity":189,"count":2},{"arity":191,"count":2},{"arity":192,"count":1},{"arity":195,"count":2},{"arity":199,"count":1},{"arity":211,"count":2},{"arity":217,"count":1},{"arity":232,"count":1},{"arity":254,"count":1},{"arity":260,"count":1},{"arity":261,"count":1},{"arity":269,"count":1},{"arity":276,"count":1},{"arity":282,"count":1},{"arity":292,"count":1},{"arity":312,"count":1},{"arity":315,"count":1},{"arity":386,"count":1},{"arity":390,"count":1},{"arity":405,"count":1},{"arity":416,"count":2},{"arity":425,"count":1},{"arity":431,"count":1},{"arity":434,"count":1},{"arity":436,"count":1},{"arity":439,"count":1},{"arity":458,"count":1},{"arity":472,"count":1},{"arity":479,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"count","count":54}]
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 

7.73/1.22	c
7.73/1.22	c This is cosoco 2.00 --  
7.73/1.22	c
7.73/1.22	c command line: cosoco -model -nbcores=8 HOME/instance-4398757-1568609281.xml 
7.73/1.22	c enable optimization
7.73/1.22	c ========================================[ Problem Statistics ]===========================================
7.73/1.22	c |                                                                                                       
7.73/1.22	c |  Parse time        :         0.24 s 
7.73/1.22	c |
7.73/1.22	c |               Variables: 3001
7.73/1.22	c |            Domain Sizes: 2..2
7.73/1.22	c |
7.73/1.22	c |             Constraints: 55
7.73/1.22	c |                   Arity: 139..3001
7.73/1.22	c | 
7.73/1.22	c |                   Types: 
7.73/1.22	c |                          Exactly K: 54
7.73/1.22	c |                          Sum: 1
7.73/1.22	c |                          
7.73/1.22	c |               Objective: Minimize Sum
7.73/1.22	
7.73/1.22	c =========================================================================================================
7.73/1.22	c Parallel mode: Portfolio
7.73/1.22	c [pFactory][Group N°0] created (threads:8).
7.73/1.22	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
7.73/1.22	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
7.73/1.22	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
7.73/1.22	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
7.73/1.22	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
7.73/1.22	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
7.73/1.22	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
7.73/1.22	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
7.73/1.22	c [pFactory][Group N°0] concurrent mode: enabled.
7.73/1.22	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
7.73/1.22	c [pFactory][Group N°0] task 7 launched on thread 0.
7.73/1.22	c [pFactory][Group N°0] task 6 launched on thread 2.
7.73/1.22	c [pFactory][Group N°0] task 5 launched on thread 6.
7.73/1.22	c [pFactory][Group N°0] task 4 launched on thread 7.
7.73/1.22	c [pFactory][Group N°0] task 3 launched on thread 1.
7.73/1.22	c [pFactory][Group N°0] task 2 launched on thread 4.
7.73/1.22	c [pFactory][Group N°0] task 1 launched on thread 3.
7.73/1.22	c [pFactory][Group N°0] task 0 launched on thread 5.
7.73/1.22	o 19
8.48/1.36	o 18
20.39/2.84	o 17
39.54/5.25	o 16
76.28/9.82	o 15
203.24/25.72	o 14
2010.26/252.02	
2010.26/252.02	c *** INTERRUPTED ***
2010.26/252.02	c call to solver        : 4
2010.26/252.02	c
2010.26/252.02	c restarts              : 252         
2010.26/252.02	c conflicts             : 2139         (1 /sec)
2010.26/252.02	c decisions             : 765277       (381 /sec)
2010.26/252.02	c propagations          : 1611500     (802 /sec)
2010.26/252.02	c root propagations     : 6011        
2010.26/252.02	c filter calls          : 4400317        (2190 /sec)
2010.26/252.02	c useless filter calls  : 4368371        (99 %)
2010.26/252.02	c Memory used           : 626.20 MB
2010.26/252.02	c Best bound time (wc)  : 25.7212 s
2010.26/252.02	c CPU time              : 2009.45 s
2010.26/252.02	c real time             : 252.02 s
2010.26/252.02	
2010.26/252.02	s SATISFIABLE
2010.26/252.02	c Best value found: 14
2010.26/252.02	
2010.26/252.02	
2010.26/252.02	v <instantiation type='solution' cost='14'>
2010.26/252.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[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[203] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[204] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[205] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[206] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[207] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[208] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[209] x[20] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[210] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[211] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[212] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[213] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[214] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[215] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[216] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[217] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[218] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[219] x[21] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[220] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[221] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[222] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[223] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[224] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[225] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[226] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[227] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[228] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[229] x[22] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[230] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[231] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[232] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[233] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[234] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[235] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] x[2368] x[2369] x[236] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[237] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[238] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[239] x[23] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[240] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[241] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[242] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[243] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[244] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[245] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[246] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[247] x[2480] x[2481] x[2482] x[2483] x[2484] x[2485] x[2486] x[2487] x[2488] x[2489] x[248] x[2490] x[2491] x[2492] x[2493] x[2494] x[2495] x[2496] x[2497] x[2498] x[2499] x[249] x[24] x[2500] x[2501] x[2502] x[2503] x[2504] x[2505] x[2506] x[2507] x[2508] x[2509] x[250] x[2510] x[2511] x[2512] x[2513] x[2514] x[2515] x[2516] x[2517] x[2518] x[2519] x[251] x[2520] x[2521] x[2522] x[2523] x[2524] x[2525] x[2526] x[2527] x[2528] x[2529] x[252] x[2530] x[2531] x[2532] x[2533] x[2534] x[2535] x[2536] x[2537] x[2538] x[2539] x[253] x[2540] x[2541] x[2542] x[2543] x[2544] x[2545] x[2546] x[2547] x[2548] x[2549] x[254] x[2550] x[2551] x[2552] x[2553] x[2554] x[2555] x[2556] x[2557] x[2558] x[2559] x[255] x[2560] x[2561] x[2562] x[2563] x[2564] x[2565] x[2566] x[2567] x[2568] x[2569] x[256] x[2570] x[2571] x[2572] x[2573] x[2574] x[2575] x[2576] x[2577] x[2578] x[2579] x[257] x[2580] x[2581] x[2582] x[2583] x[2584] x[2585] x[2586] x[2587] x[2588] x[2589] x[258] x[2590] x[2591] x[2592] x[2593] x[2594] x[2595] x[2596] x[2597] x[2598] x[2599] x[259] x[25] x[2600] x[2601] x[2602] x[2603] x[2604] x[2605] x[2606] x[2607] x[2608] x[2609] x[260] x[2610] x[2611] x[2612] x[2613] x[2614] x[2615] x[2616] x[2617] x[2618] x[2619] x[261] x[2620] x[2621] x[2622] x[2623] x[2624] x[2625] x[2626] x[2627] x[2628] x[2629] x[262] x[2630] x[2631] x[2632] x[2633] x[2634] x[2635] x[2636] x[2637] x[2638] x[2639] x[263] x[2640] x[2641] x[2642] x[2643] x[2644] x[2645] x[2646] x[2647] x[2648] x[2649] x[264] x[2650] x[2651] x[2652] x[2653] x[2654] x[2655] x[2656] x[2657] x[2658] x[2659] x[265] x[2660] x[2661] x[2662] x[2663] x[2664] x[2665] x[2666] x[2667] x[2668] x[2669] x[266] x[2670] x[2671] x[2672] x[2673] x[2674] x[2675] x[2676] x[2677] x[2678] x[2679] x[267] x[2680] x[2681] x[2682] x[2683] x[2684] x[2685] x[2686] x[2687] x[2688] x[2689] x[268] x[2690] x[2691] x[2692] x[2693] x[2694] x[2695] x[2696] x[2697] x[2698] x[2699] x[269] x[26] x[2700] x[2701] x[2702] x[2703] x[2704] x[2705] x[2706] x[2707] x[2708] x[2709] x[270] x[2710] x[2711] x[2712] x[2713] x[2714] x[2715] x[2716] x[2717] x[2718] x[2719] x[271] x[2720] x[2721] x[2722] x[2723] x[2724] x[2725] x[2726] x[2727] x[2728] x[2729] x[272] x[2730] x[2731] x[2732] x[2733] x[2734] x[2735] x[2736] x[2737] x[2738] x[2739] x[273] x[2740] x[2741] x[2742] x[2743] x[2744] x[2745] x[2746] x[2747] x[2748] x[2749] x[274] x[2750] x[2751] x[2752] x[2753] x[2754] x[2755] x[2756] x[2757] x[2758] x[2759] x[275] x[2760] x[2761] x[2762] x[2763] x[2764] x[2765] x[2766] x[2767] x[2768] x[2769] x[276] x[2770] x[2771] x[2772] x[2773] x[2774] x[2775] x[2776] x[2777] x[2778] x[2779] x[277] x[2780] x[2781] x[2782] x[2783] x[2784] x[2785] x[2786] x[2787] x[2788] x[2789] x[278] x[2790] x[2791] x[2792] x[2793] x[2794] x[2795] x[2796] x[2797] x[2798] x[2799] x[279] x[27] x[2800] x[2801] x[2802] x[2803] x[2804] x[2805] x[2806] x[2807] x[2808] x[2809] x[280] x[2810] x[2811] x[2812] x[2813] x[2814] x[2815] x[2816] x[2817] x[2818] x[2819] x[281] x[2820] x[2821] x[2822] x[2823] x[2824] x[2825] x[2826] x[2827] x[2828] x[2829] x[282] x[2830] x[2831] x[2832] x[2833] x[2834] x[2835] x[2836] x[2837] x[2838] x[2839] x[283] x[2840] x[2841] x[2842] x[2843] x[2844] x[2845] x[2846] x[2847] x[2848] x[2849] x[284] x[2850] x[2851] x[2852] x[2853] x[2854] x[2855] x[2856] x[2857] x[2858] x[2859] x[285] x[2860] x[2861] x[2862] x[2863] x[2864] x[2865] x[2866] x[2867] x[2868] x[2869] x[286] x[2870] x[2871] x[2872] x[2873] x[2874] x[2875] x[2876] x[2877] x[2878] x[2879] x[287] x[2880] x[2881] x[2882] x[2883] x[2884] x[2885] x[2886] x[2887] x[2888] x[2889] x[288] x[2890] x[2891] x[2892] x[2893] x[2894] x[2895] x[2896] x[2897] x[2898] x[2899] x[289] x[28] x[2900] x[2901] x[2902] x[2903] x[2904] x[2905] x[2906] x[2907] x[2908] x[2909] x[290] x[2910] x[2911] x[2912] x[2913] x[2914] x[2915] x[2916] x[2917] x[2918] x[2919] x[291] x[2920] x[2921] x[2922] x[2923] x[2924] x[2925] x[2926] x[2927] x[2928] x[2929] x[292] x[2930] x[2931] x[2932] x[2933] x[2934] x[2935] x[2936] x[2937] x[2938] x[2939] x[293] x[2940] x[2941] x[2942] x[2943] x[2944] x[2945] x[2946] x[2947] x[2948] x[2949] x[294] x[2950] x[2951] x[2952] x[2953] x[2954] x[2955] x[2956] x[2957] x[2958] x[2959] x[295] x[2960] x[2961] x[2962] x[2963] x[2964] x[2965] x[2966] x[2967] x[2968] x[2969] x[296] x[2970] x[2971] x[2972] x[2973] x[2974] x[2975] x[2976] x[2977] x[2978] x[2979] x[297] x[2980] x[2981] x[2982] x[2983] x[2984] x[2985] x[2986] x[2987] x[2988] x[2989] x[298] x[2990] x[2991] x[2992] x[2993] x[2994] x[2995] x[2996] x[2997] x[2998] x[2999] x[299] x[29] x[2] x[3000] 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>
2010.26/252.02	v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
2010.26/252.02	v </instantiation>
2010.26/252.02

Verifier Data 

OK	14

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 (15314 MiB free)
  memory of node 1: 16384 MiB (15424 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398757-1568609281/watcher-4398757-1568609281 -o /tmp/evaluation-result-4398757-1568609281/solver-4398757-1568609281 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568597211-7653 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398757-1568609281.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=9819, runsolver pid=9816
Current StackSize limit: 8192 KiB


[startup+0.100161 s]*
/proc/loadavg: 8.09 6.82 6.43 2/192 9820
/proc/meminfo: memFree=31455196/32770624 swapFree=66998868/67108860
[pid=9819] ppid=9816 vsize=48280 memory=24592 CPUtime=0.1 cores=0-7
/proc/9819/stat : 9819 (cosoco) R 9816 9819 7626 0 -1 4202496 6333 0 0 0 10 0 0 0 20 0 1 0 437179518 49438720 6148 33554432000 4194304 6211092 140722396289184 140722396285720 5519020 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
/proc/9819/statm: 12070 6148 835 493 0 5375 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48280 KiB
Current children cumulated memory: 24592 KiB

[startup+0.209235 s]*
/proc/loadavg: 8.09 6.82 6.43 2/192 9820
/proc/meminfo: memFree=31454540/32770624 swapFree=66998868/67108860
[pid=9819] ppid=9816 vsize=48692 memory=25120 CPUtime=0.21 cores=0-7
/proc/9819/stat : 9819 (cosoco) R 9816 9819 7626 0 -1 4202496 6449 0 0 0 21 0 0 0 20 0 1 0 437179518 49860608 6280 33554432000 4194304 6211092 140722396289184 140722396285720 5188671 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
/proc/9819/statm: 12173 6280 841 493 0 5478 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 48692 KiB
Current children cumulated memory: 25120 KiB

[startup+0.309081 s]*
/proc/loadavg: 8.09 6.82 6.43 9/200 9828
/proc/meminfo: memFree=31451268/32770624 swapFree=66998868/67108860
[pid=9819] ppid=9816 vsize=641228 memory=28024 CPUtime=0.73 cores=0-7
/proc/9819/stat : 9819 (cosoco) S 9816 9819 7626 0 -1 1077944320 7234 0 0 0 73 0 0 0 20 0 9 0 437179518 656617472 7006 33554432000 4194304 6211092 140722396289184 140722396287440 140597221736183 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
/proc/9819/statm: 160307 7006 876 493 0 153612 0
[pid=9819/tid=9821] ppid=9816 vsize=641228 memory=8317482817917895235 CPUtime=0.06 cores=0-7
/proc/9819/task/9821/stat : 9821 (cosoco) R 9816 9819 7626 0 -1 4202560 7 0 0 0 6 0 0 0 20 0 9 0 437179543 656617472 7006 33554432000 4194304 6211092 140722396289184 140597198593632 5250272 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9822] ppid=9816 vsize=641228 memory=4126316290023845779 CPUtime=0.06 cores=0-7
/proc/9819/task/9822/stat : 9822 (cosoco) R 9816 9819 7626 0 -1 4202560 4 0 0 0 6 0 0 0 20 0 9 0 437179543 656617472 7006 33554432000 4194304 6211092 140722396289184 140597190200832 5155804 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9823] ppid=9816 vsize=641228 memory=0 CPUtime=0.06 cores=0-7
/proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 7 0 0 0 6 0 0 0 20 0 9 0 437179543 656617472 7006 33554432000 4194304 6211092 140722396289184 140597181808224 5250289 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9824] ppid=9816 vsize=641228 memory=6944656592455097440 CPUtime=0.05 cores=0-7
/proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 13 0 0 0 5 0 0 0 20 0 9 0 437179543 656617472 7006 33554432000 4194304 6211092 140722396289184 140597173415096 5397223 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9825] ppid=9816 vsize=641228 memory=6656426216303648864 CPUtime=0.06 cores=0-7
/proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 4 0 0 0 6 0 0 0 20 0 9 0 437179543 656617472 7006 33554432000 4194304 6211092 140722396289184 140597165022392 5250272 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9826] ppid=9816 vsize=641228 memory=0 CPUtime=0.06 cores=0-7
/proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 5 0 0 0 6 0 0 0 20 0 9 0 437179543 656617472 7006 33554432000 4194304 6211092 140722396289184 140597156630112 5136311 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9827] ppid=9816 vsize=641228 memory=0 CPUtime=0.06 cores=0-7
/proc/9819/task/9827/stat : 9827 (cosoco) R 9816 9819 7626 0 -1 4202560 8 0 0 0 6 0 0 0 20 0 9 0 437179543 656617472 7006 33554432000 4194304 6211092 140722396289184 140597148237408 5250224 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9828] ppid=9816 vsize=641228 memory=0 CPUtime=0.06 cores=0-7
/proc/9819/task/9828/stat : 9828 (cosoco) R 9816 9819 7626 0 -1 4202560 13 0 0 0 6 0 0 0 20 0 9 0 437179543 656617472 7006 33554432000 4194304 6211092 140722396289184 140597139844280 5155800 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
Current children cumulated CPU time: 0.73 s
Current children cumulated vsize: 641228 KiB
Current children cumulated memory: 28024 KiB

[startup+0.702184 s]
/proc/loadavg: 8.09 6.82 6.43 10/200 9828
/proc/meminfo: memFree=31445272/32770624 swapFree=66998868/67108860
[pid=9819] ppid=9816 vsize=641228 memory=58880 CPUtime=3.76 cores=0-7
/proc/9819/stat : 9819 (cosoco) S 9816 9819 7626 0 -1 1077944320 15077 0 0 0 373 3 0 0 20 0 9 0 437179518 656617472 14720 33554432000 4194304 6211092 140722396289184 140722396287440 140597221736183 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
/proc/9819/statm: 160307 14720 883 493 0 153612 0
[pid=9819/tid=9821] ppid=9816 vsize=641228 memory=1764 CPUtime=0.44 cores=0-7
/proc/9819/task/9821/stat : 9821 (cosoco) R 9816 9819 7626 0 -1 4202560 795 0 0 0 44 0 0 0 20 0 9 0 437179543 656617472 14720 33554432000 4194304 6211092 140722396289184 140597198592776 5185143 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9822] ppid=9816 vsize=641228 memory=111632 CPUtime=0.43 cores=0-7
/proc/9819/task/9822/stat : 9822 (cosoco) D 9816 9819 7626 0 -1 4202560 1142 0 0 0 43 0 0 0 20 0 9 0 437179543 656617472 14720 33554432000 4194304 6211092 140722396289184 140597190199912 140597206171223 0 0 4096 8405026 18446744071582151463 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9823] ppid=9816 vsize=641228 memory=808 CPUtime=0.43 cores=0-7
/proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 805 0 0 0 43 0 0 0 20 0 9 0 437179543 656617472 14720 33554432000 4194304 6211092 140722396289184 140597181807368 5185143 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9824] ppid=9816 vsize=641228 memory=1804 CPUtime=0.42 cores=0-7
/proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 818 0 0 0 42 0 0 0 20 0 9 0 437179543 656617472 14720 33554432000 4194304 6211092 140722396289184 140597173414504 140597205764651 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9825] ppid=9816 vsize=641228 memory=916 CPUtime=0.43 cores=0-7
/proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 1142 0 0 0 43 0 0 0 20 0 9 0 437179543 656617472 14720 33554432000 4194304 6211092 140722396289184 140597165021800 140597206171223 0 0 4096 8405026 18446744071582151463 0 0 -1 1 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9826] ppid=9816 vsize=641228 memory=-7175204567652784766 CPUtime=0.43 cores=0-7
/proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 1282 0 0 0 43 0 0 0 20 0 9 0 437179543 656617472 14720 33554432000 4194304 6211092 140722396289184 140597156629096 140597205691198 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9827] ppid=9816 vsize=641228 memory=3054156605268465310 CPUtime=0.43 cores=0-7
/proc/9819/task/9827/stat : 9827 (cosoco) D 9816 9819 7626 0 -1 4202560 1229 0 0 0 43 0 0 0 20 0 9 0 437179543 656617472 14720 33554432000 4194304 6211092 140722396289184 140597148236392 140597206171223 0 0 4096 8405026 18446744071582151463 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9828] ppid=9816 vsize=641228 memory=1408 CPUtime=0.43 cores=0-7
/proc/9819/task/9828/stat : 9828 (cosoco) R 9816 9819 7626 0 -1 4202560 691 0 0 0 43 0 0 0 20 0 9 0 437179543 656617472 14720 33554432000 4194304 6211092 140722396289184 140597139843688 5155804 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
Current children cumulated CPU time: 3.76 s
Current children cumulated vsize: 641228 KiB
Current children cumulated memory: 58880 KiB

[startup+1.50109 s]
/proc/loadavg: 8.09 6.82 6.43 7/200 9828
/proc/meminfo: memFree=31357744/32770624 swapFree=66998868/67108860
[pid=9819] ppid=9816 vsize=641228 memory=204280 CPUtime=10.08 cores=0-7
/proc/9819/stat : 9819 (cosoco) S 9816 9819 7626 0 -1 1077944320 69840 0 0 0 992 16 0 0 20 0 9 0 437179518 656617472 51070 33554432000 4194304 6211092 140722396289184 140722396287440 140597221736183 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
/proc/9819/statm: 160307 51070 886 493 0 153612 0
[pid=9819/tid=9821] ppid=9816 vsize=641228 memory=292576655 CPUtime=1.22 cores=0-7
/proc/9819/task/9821/stat : 9821 (cosoco) R 9816 9819 7626 0 -1 4202560 5600 0 0 0 121 1 0 0 20 0 9 0 437179543 656617472 51070 33554432000 4194304 6211092 140722396289184 140597198592488 5155800 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9822] ppid=9816 vsize=641228 memory=0 CPUtime=1.22 cores=0-7
/proc/9819/task/9822/stat : 9822 (cosoco) R 9816 9819 7626 0 -1 4202560 6202 0 0 0 121 1 0 0 20 0 9 0 437179543 656617472 51070 33554432000 4194304 6211092 140722396289184 140597190199784 5397226 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9823] ppid=9816 vsize=641228 memory=0 CPUtime=1.22 cores=0-7
/proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 5642 0 0 0 121 1 0 0 20 0 9 0 437179543 656617472 51070 33554432000 4194304 6211092 140722396289184 140597181807208 5156144 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9824] ppid=9816 vsize=641228 memory=182548995001530 CPUtime=1.21 cores=0-7
/proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 11636 0 0 0 120 1 0 0 20 0 9 0 437179543 656617472 51070 33554432000 4194304 6211092 140722396289184 140597173414376 5136311 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9825] ppid=9816 vsize=641228 memory=280779460924448 CPUtime=1.22 cores=0-7
/proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 6275 0 0 0 121 1 0 0 20 0 9 0 437179543 656617472 51070 33554432000 4194304 6211092 140722396289184 140597165021800 5156232 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9826] ppid=9816 vsize=641228 memory=182549129212177 CPUtime=1.21 cores=0-7
/proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 7565 0 0 0 120 1 0 0 20 0 9 0 437179543 656617472 51070 33554432000 4194304 6211092 140722396289184 140597156629776 5155804 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9827] ppid=9816 vsize=641228 memory=182548995001533 CPUtime=1.23 cores=0-7
/proc/9819/task/9827/stat : 9827 (cosoco) R 9816 9819 7626 0 -1 4202560 9851 0 0 0 120 3 0 0 20 0 9 0 437179543 656617472 51070 33554432000 4194304 6211092 140722396289184 140597148237072 5250450 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9828] ppid=9816 vsize=641228 memory=182548995001534 CPUtime=1.23 cores=0-7
/proc/9819/task/9828/stat : 9828 (cosoco) R 9816 9819 7626 0 -1 4202560 9896 0 0 0 121 2 0 0 20 0 9 0 437179543 656617472 51070 33554432000 4194304 6211092 140722396289184 140597139843720 5155800 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
Current children cumulated CPU time: 10.08 s
Current children cumulated vsize: 641228 KiB
Current children cumulated memory: 204280 KiB

[startup+3.11008 s]
/proc/loadavg: 8.09 6.82 6.43 9/200 9828
/proc/meminfo: memFree=31221656/32770624 swapFree=66998868/67108860
[pid=9819] ppid=9816 vsize=641228 memory=262228 CPUtime=22.85 cores=0-7
/proc/9819/stat : 9819 (cosoco) S 9816 9819 7626 0 -1 1077944320 104685 0 0 0 2261 24 0 0 20 0 9 0 437179518 656617472 65557 33554432000 4194304 6211092 140722396289184 140722396287440 140597221736183 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
/proc/9819/statm: 160307 65557 886 493 0 153612 0
[pid=9819/tid=9821] ppid=9816 vsize=641228 memory=33 CPUtime=2.83 cores=0-7
/proc/9819/task/9821/stat : 9821 (cosoco) R 9816 9819 7626 0 -1 4202560 8594 0 0 0 280 3 0 0 20 0 9 0 437179543 656617472 65557 33554432000 4194304 6211092 140722396289184 140597198592616 140597205691198 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9822] ppid=9816 vsize=641228 memory=0 CPUtime=2.8 cores=0-7
/proc/9819/task/9822/stat : 9822 (cosoco) R 9816 9819 7626 0 -1 4202560 11900 0 0 0 278 2 0 0 20 0 9 0 437179543 656617472 65557 33554432000 4194304 6211092 140722396289184 140597190199912 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9823] ppid=9816 vsize=641228 memory=7451609539861307712 CPUtime=2.83 cores=0-7
/proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 9253 0 0 0 281 2 0 0 20 0 9 0 437179543 656617472 65557 33554432000 4194304 6211092 140722396289184 140597181807208 140597205764651 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9824] ppid=9816 vsize=641228 memory=78416 CPUtime=2.8 cores=0-7
/proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 15400 0 0 0 278 2 0 0 20 0 9 0 437179543 656617472 65557 33554432000 4194304 6211092 140722396289184 140597173414376 5155800 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9825] ppid=9816 vsize=641228 memory=28024 CPUtime=2.8 cores=0-7
/proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 12164 0 0 0 278 2 0 0 20 0 9 0 437179543 656617472 65557 33554432000 4194304 6211092 140722396289184 140597165021800 5250260 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9826] ppid=9816 vsize=641228 memory=55 CPUtime=2.8 cores=0-7
/proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 13742 0 0 0 278 2 0 0 20 0 9 0 437179543 656617472 65557 33554432000 4194304 6211092 140722396289184 140597156628968 5155804 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9827] ppid=9816 vsize=641228 memory=0 CPUtime=2.82 cores=0-7
/proc/9819/task/9827/stat : 9827 (cosoco) R 9816 9819 7626 0 -1 4202560 13062 0 0 0 279 3 0 0 20 0 9 0 437179543 656617472 65557 33554432000 4194304 6211092 140722396289184 140597148237072 5155804 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9828] ppid=9816 vsize=641228 memory=3539886705949093937 CPUtime=2.81 cores=0-7
/proc/9819/task/9828/stat : 9828 (cosoco) R 9816 9819 7626 0 -1 4202560 13400 0 0 0 279 2 0 0 20 0 9 0 437179543 656617472 65557 33554432000 4194304 6211092 140722396289184 140597139843560 5155800 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
Current children cumulated CPU time: 22.85 s
Current children cumulated vsize: 641228 KiB
Current children cumulated memory: 262228 KiB

[startup+6.30108 s]
/proc/loadavg: 8.16 6.86 6.44 9/199 9829
/proc/meminfo: memFree=31174692/32770624 swapFree=66998868/67108860
[pid=9819] ppid=9816 vsize=641228 memory=306960 CPUtime=48.32 cores=0-7
/proc/9819/stat : 9819 (cosoco) S 9816 9819 7626 0 -1 1077944320 200572 0 0 0 4795 37 0 0 20 0 9 0 437179518 656617472 76740 33554432000 4194304 6211092 140722396289184 140722396287440 140597221736183 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
/proc/9819/statm: 160307 76740 886 493 0 153612 0
[pid=9819/tid=9821] ppid=9816 vsize=641228 memory=0 CPUtime=6.02 cores=0-7
/proc/9819/task/9821/stat : 9821 (cosoco) R 9816 9819 7626 0 -1 4202560 19003 0 0 0 596 6 0 0 20 0 9 0 437179543 656617472 76740 33554432000 4194304 6211092 140722396289184 140597198592488 5186224 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9822] ppid=9816 vsize=641228 memory=164 CPUtime=5.99 cores=0-7
/proc/9819/task/9822/stat : 9822 (cosoco) R 9816 9819 7626 0 -1 4202560 21651 0 0 0 594 5 0 0 20 0 9 0 437179543 656617472 76740 33554432000 4194304 6211092 140722396289184 140597190199784 5250224 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9823] ppid=9816 vsize=641228 memory=140394141656703 CPUtime=6.01 cores=0-7
/proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 18983 0 0 0 598 3 0 0 20 0 9 0 437179543 656617472 76740 33554432000 4194304 6211092 140722396289184 140597181807208 5250289 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9824] ppid=9816 vsize=641228 memory=304572 CPUtime=6 cores=0-7
/proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 29424 0 0 0 597 3 0 0 20 0 9 0 437179543 656617472 76740 33554432000 4194304 6211092 140722396289184 140597173414376 5250272 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9825] ppid=9816 vsize=641228 memory=7013340846366745708 CPUtime=5.99 cores=0-7
/proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 21868 0 0 0 596 3 0 0 20 0 9 0 437179543 656617472 76740 33554432000 4194304 6211092 140722396289184 140597165021800 5250272 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9826] ppid=9816 vsize=641228 memory=148 CPUtime=5.95 cores=0-7
/proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 28643 0 0 0 591 4 0 0 20 0 9 0 437179543 656617472 76740 33554432000 4194304 6211092 140722396289184 140597156628968 5155800 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9827] ppid=9816 vsize=641228 memory=2809143 CPUtime=6.01 cores=0-7
/proc/9819/task/9827/stat : 9827 (cosoco) R 9816 9819 7626 0 -1 4202560 27873 0 0 0 597 4 0 0 20 0 9 0 437179543 656617472 76740 33554432000 4194304 6211092 140722396289184 140597148236392 5250450 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9828] ppid=9816 vsize=641228 memory=280779460514432 CPUtime=6.01 cores=0-7
/proc/9819/task/9828/stat : 9828 (cosoco) R 9816 9819 7626 0 -1 4202560 25957 0 0 0 597 4 0 0 20 0 9 0 437179543 656617472 76740 33554432000 4194304 6211092 140722396289184 140597139844368 5250289 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
Current children cumulated CPU time: 48.32 s
Current children cumulated vsize: 641228 KiB
Current children cumulated memory: 306960 KiB

[startup+12.7011 s]
/proc/loadavg: 8.31 6.91 6.46 9/199 9829
/proc/meminfo: memFree=31159932/32770624 swapFree=66998868/67108860
[pid=9819] ppid=9816 vsize=641228 memory=322500 CPUtime=99.43 cores=0-7
/proc/9819/stat : 9819 (cosoco) S 9816 9819 7626 0 -1 1077944320 263466 0 0 0 9897 46 0 0 20 0 9 0 437179518 656617472 80625 33554432000 4194304 6211092 140722396289184 140722396287440 140597221736183 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
/proc/9819/statm: 160307 80625 886 493 0 153612 0
[pid=9819/tid=9821] ppid=9816 vsize=641228 memory=322400 CPUtime=12.43 cores=0-7
/proc/9819/task/9821/stat : 9821 (cosoco) R 9816 9819 7626 0 -1 4202560 22296 0 0 0 1236 7 0 0 20 0 9 0 437179543 656617472 80625 33554432000 4194304 6211092 140722396289184 140597198592456 5155804 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9822] ppid=9816 vsize=641228 memory=320512 CPUtime=12.38 cores=0-7
/proc/9819/task/9822/stat : 9822 (cosoco) R 9816 9819 7626 0 -1 4202560 28277 0 0 0 1232 6 0 0 20 0 9 0 437179543 656617472 80625 33554432000 4194304 6211092 140722396289184 140597190199784 5409453 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9823] ppid=9816 vsize=641228 memory=1384 CPUtime=12.41 cores=0-7
/proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 25404 0 0 0 1237 4 0 0 20 0 9 0 437179543 656617472 80625 33554432000 4194304 6211092 140722396289184 140597181807208 5157544 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9824] ppid=9816 vsize=641228 memory=776 CPUtime=12.39 cores=0-7
/proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 38316 0 0 0 1235 4 0 0 20 0 9 0 437179543 656617472 80625 33554432000 4194304 6211092 140722396289184 140597173414504 5250272 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9825] ppid=9816 vsize=641228 memory=1564 CPUtime=12.4 cores=0-7
/proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 26464 0 0 0 1236 4 0 0 20 0 9 0 437179543 656617472 80625 33554432000 4194304 6211092 140722396289184 140597165021672 5136256 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9826] ppid=9816 vsize=641228 memory=8556 CPUtime=12.27 cores=0-7
/proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 38072 0 0 0 1221 6 0 0 20 0 9 0 437179543 656617472 80625 33554432000 4194304 6211092 140722396289184 140597156628968 5155800 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9827] ppid=9816 vsize=641228 memory=266688 CPUtime=12.41 cores=0-7
/proc/9819/task/9827/stat : 9827 (cosoco) R 9816 9819 7626 0 -1 4202560 38053 0 0 0 1236 5 0 0 20 0 9 0 437179543 656617472 80625 33554432000 4194304 6211092 140722396289184 140597148236264 5250284 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0

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

/proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 44793 0 0 0 2515 6 0 0 20 0 9 0 437179543 656617472 85600 33554432000 4194304 6211092 140722396289184 140597181807208 5157544 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9824] ppid=9816 vsize=641228 memory=3632 CPUtime=25.19 cores=0-7
/proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 63282 0 0 0 2513 6 0 0 20 0 9 0 437179543 656617472 85600 33554432000 4194304 6211092 140722396289184 140597173414376 5250458 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9825] ppid=9816 vsize=641228 memory=335800 CPUtime=25.19 cores=0-7
/proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 43979 0 0 0 2514 5 0 0 20 0 9 0 437179543 656617472 85600 33554432000 4194304 6211092 140722396289184 140597165021672 5250289 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9826] ppid=9816 vsize=641228 memory=55 CPUtime=24.9 cores=0-7
/proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 61562 0 0 0 2482 8 0 0 20 0 9 0 437179543 656617472 85600 33554432000 4194304 6211092 140722396289184 140597156629096 5157540 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9827] ppid=9816 vsize=641228 memory=0 CPUtime=25.21 cores=0-7
/proc/9819/task/9827/stat : 9827 (cosoco) R 9816 9819 7626 0 -1 4202560 63512 0 0 0 2513 8 0 0 20 0 9 0 437179543 656617472 85600 33554432000 4194304 6211092 140722396289184 140597148236392 140597205688264 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9828] ppid=9816 vsize=641228 memory=2016 CPUtime=25.21 cores=0-7
/proc/9819/task/9828/stat : 9828 (cosoco) R 9816 9819 7626 0 -1 4202560 65047 0 0 0 2513 8 0 0 20 0 9 0 437179543 656617472 85600 33554432000 4194304 6211092 140722396289184 140597139843560 5250272 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
Current children cumulated CPU time: 201.64 s
Current children cumulated vsize: 641228 KiB
Current children cumulated memory: 342400 KiB

[startup+51.1101 s]
/proc/loadavg: 8.91 7.24 6.59 9/199 9831
/proc/meminfo: memFree=31133832/32770624 swapFree=66998868/67108860
[pid=9819] ppid=9816 vsize=641228 memory=348284 CPUtime=406.15 cores=0-7
/proc/9819/stat : 9819 (cosoco) S 9816 9819 7626 0 -1 1077944320 551526 0 0 0 40540 75 0 0 20 0 9 0 437179518 656617472 87071 33554432000 4194304 6211092 140722396289184 140722396287440 140597221736183 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
/proc/9819/statm: 160307 87071 890 493 0 153612 0
[pid=9819/tid=9821] ppid=9816 vsize=641228 memory=348000 CPUtime=50.84 cores=0-7
/proc/9819/task/9821/stat : 9821 (cosoco) R 9816 9819 7626 0 -1 4202560 50293 0 0 0 5074 10 0 0 20 0 9 0 437179543 656617472 87071 33554432000 4194304 6211092 140722396289184 140597198592488 5155800 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9822] ppid=9816 vsize=641228 memory=348284 CPUtime=50.78 cores=0-7
/proc/9819/task/9822/stat : 9822 (cosoco) R 9816 9819 7626 0 -1 4202560 48245 0 0 0 5068 10 0 0 20 0 9 0 437179543 656617472 87071 33554432000 4194304 6211092 140722396289184 140597190199912 5155800 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9823] ppid=9816 vsize=641228 memory=5063 CPUtime=50.82 cores=0-7
/proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 56453 0 0 0 5074 8 0 0 20 0 9 0 437179543 656617472 87071 33554432000 4194304 6211092 140722396289184 140597181807080 5250241 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9824] ppid=9816 vsize=641228 memory=348284 CPUtime=50.79 cores=0-7
/proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 82143 0 0 0 5072 7 0 0 20 0 9 0 437179543 656617472 87071 33554432000 4194304 6211092 140722396289184 140597173414504 5155804 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9825] ppid=9816 vsize=641228 memory=280779460755488 CPUtime=50.79 cores=0-7
/proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 52756 0 0 0 5073 6 0 0 20 0 9 0 437179543 656617472 87071 33554432000 4194304 6211092 140722396289184 140597165021800 5157540 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9826] ppid=9816 vsize=641228 memory=347916 CPUtime=50.16 cores=0-7
/proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 84777 0 0 0 5006 10 0 0 20 0 9 0 437179543 656617472 87071 33554432000 4194304 6211092 140722396289184 140597156628968 5155804 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9827] ppid=9816 vsize=641228 memory=280779461350592 CPUtime=50.82 cores=0-7
/proc/9819/task/9827/stat : 9827 (cosoco) R 9816 9819 7626 0 -1 4202560 84756 0 0 0 5072 10 0 0 20 0 9 0 437179543 656617472 87071 33554432000 4194304 6211092 140722396289184 140597148236392 5250272 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9828] ppid=9816 vsize=641228 memory=33 CPUtime=50.82 cores=0-7
/proc/9819/task/9828/stat : 9828 (cosoco) R 9816 9819 7626 0 -1 4202560 84930 0 0 0 5073 9 0 0 20 0 9 0 437179543 656617472 87071 33554432000 4194304 6211092 140722396289184 140597139843560 5155804 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
Current children cumulated CPU time: 406.15 s
Current children cumulated vsize: 641228 KiB
Current children cumulated memory: 348284 KiB

[startup+102.301 s]
/proc/loadavg: 8.99 7.51 6.71 9/199 9834
/proc/meminfo: memFree=31123488/32770624 swapFree=66998868/67108860
[pid=9819] ppid=9816 vsize=641228 memory=357244 CPUtime=814.85 cores=0-7
/proc/9819/stat : 9819 (cosoco) S 9816 9819 7626 0 -1 1077944320 637077 0 0 0 81399 86 0 0 20 0 9 0 437179518 656617472 89311 33554432000 4194304 6211092 140722396289184 140722396287440 140597221736183 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
/proc/9819/statm: 160307 89311 890 493 0 153612 0
[pid=9819/tid=9821] ppid=9816 vsize=641228 memory=356136 CPUtime=102.02 cores=0-7
/proc/9819/task/9821/stat : 9821 (cosoco) R 9816 9819 7626 0 -1 4202560 56928 0 0 0 10191 11 0 0 20 0 9 0 437179543 656617472 89311 33554432000 4194304 6211092 140722396289184 140597198592488 5156232 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9822] ppid=9816 vsize=641228 memory=164 CPUtime=101.96 cores=0-7
/proc/9819/task/9822/stat : 9822 (cosoco) R 9816 9819 7626 0 -1 4202560 54808 0 0 0 10184 12 0 0 20 0 9 0 437179543 656617472 89311 33554432000 4194304 6211092 140722396289184 140597190199784 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9823] ppid=9816 vsize=641228 memory=3632 CPUtime=101.99 cores=0-7
/proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 66220 0 0 0 10190 9 0 0 20 0 9 0 437179543 656617472 89311 33554432000 4194304 6211092 140722396289184 140597181807080 5250234 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9824] ppid=9816 vsize=641228 memory=29120 CPUtime=101.5 cores=0-7
/proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 95475 0 0 0 10141 9 0 0 20 0 9 0 437179543 656617472 89311 33554432000 4194304 6211092 140722396289184 140597173414376 5158000 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9825] ppid=9816 vsize=641228 memory=356052 CPUtime=101.84 cores=0-7
/proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 64332 0 0 0 10176 8 0 0 20 0 9 0 437179543 656617472 89311 33554432000 4194304 6211092 140722396289184 140597165021672 5157562 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9826] ppid=9816 vsize=641228 memory=0 CPUtime=101.25 cores=0-7
/proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 96687 0 0 0 10113 12 0 0 20 0 9 0 437179543 656617472 89311 33554432000 4194304 6211092 140722396289184 140597156628968 5409424 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9827] ppid=9816 vsize=641228 memory=4481 CPUtime=101.97 cores=0-7
/proc/9819/task/9827/stat : 9827 (cosoco) R 9816 9819 7626 0 -1 4202560 98344 0 0 0 10185 12 0 0 20 0 9 0 437179543 656617472 89311 33554432000 4194304 6211092 140722396289184 140597148236392 5157544 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9828] ppid=9816 vsize=641228 memory=4420 CPUtime=101.99 cores=0-7
/proc/9819/task/9828/stat : 9828 (cosoco) R 9816 9819 7626 0 -1 4202560 97110 0 0 0 10189 10 0 0 20 0 9 0 437179543 656617472 89311 33554432000 4194304 6211092 140722396289184 140597139843688 5156232 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
Current children cumulated CPU time: 814.85 s
Current children cumulated vsize: 641228 KiB
Current children cumulated memory: 357244 KiB

[startup+162.301 s]
/proc/loadavg: 8.93 7.77 6.85 9/199 9837
/proc/meminfo: memFree=31120308/32770624 swapFree=66998868/67108860
[pid=9819] ppid=9816 vsize=641228 memory=360724 CPUtime=1293.95 cores=0-7
/proc/9819/stat : 9819 (cosoco) S 9816 9819 7626 0 -1 1077944320 672630 0 0 0 129306 89 0 0 20 0 9 0 437179518 656617472 90181 33554432000 4194304 6211092 140722396289184 140722396287440 140597221736183 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
/proc/9819/statm: 160307 90181 890 493 0 153612 0
[pid=9819/tid=9821] ppid=9816 vsize=641228 memory=8556 CPUtime=162.02 cores=0-7
/proc/9819/task/9821/stat : 9821 (cosoco) R 9816 9819 7626 0 -1 4202560 61259 0 0 0 16191 11 0 0 20 0 9 0 437179543 656617472 90181 33554432000 4194304 6211092 140722396289184 140597198592616 5250224 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9822] ppid=9816 vsize=641228 memory=360564 CPUtime=161.96 cores=0-7
/proc/9819/task/9822/stat : 9822 (cosoco) R 9816 9819 7626 0 -1 4202560 58876 0 0 0 16184 12 0 0 20 0 9 0 437179543 656617472 90181 33554432000 4194304 6211092 140722396289184 140597190199784 5155944 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9823] ppid=9816 vsize=641228 memory=280779461372960 CPUtime=161.96 cores=0-7
/proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 70038 0 0 0 16187 9 0 0 20 0 9 0 437179543 656617472 90181 33554432000 4194304 6211092 140722396289184 140597181807080 5157540 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9824] ppid=9816 vsize=641228 memory=360564 CPUtime=160.68 cores=0-7
/proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 101968 0 0 0 16059 9 0 0 20 0 9 0 437179543 656617472 90181 33554432000 4194304 6211092 140722396289184 140597173414504 5155800 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9825] ppid=9816 vsize=641228 memory=360672 CPUtime=161.83 cores=0-7
/proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 70964 0 0 0 16175 8 0 0 20 0 9 0 437179543 656617472 90181 33554432000 4194304 6211092 140722396289184 140597165021800 5155800 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9826] ppid=9816 vsize=641228 memory=360564 CPUtime=161.23 cores=0-7
/proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 97419 0 0 0 16111 12 0 0 20 0 9 0 437179543 656617472 90181 33554432000 4194304 6211092 140722396289184 140597156629096 5155800 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9827] ppid=9816 vsize=641228 memory=360676 CPUtime=161.96 cores=0-7
/proc/9819/task/9827/stat : 9827 (cosoco) R 9816 9819 7626 0 -1 4202560 98816 0 0 0 16184 12 0 0 20 0 9 0 437179543 656617472 90181 33554432000 4194304 6211092 140722396289184 140597148236232 5156144 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9828] ppid=9816 vsize=641228 memory=4068 CPUtime=161.98 cores=0-7
/proc/9819/task/9828/stat : 9828 (cosoco) R 9816 9819 7626 0 -1 4202560 106117 0 0 0 16187 11 0 0 20 0 9 0 437179543 656617472 90181 33554432000 4194304 6211092 140722396289184 140597139843560 5155804 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
Current children cumulated CPU time: 1293.95 s
Current children cumulated vsize: 641228 KiB
Current children cumulated memory: 360724 KiB

[startup+222.301 s]
/proc/loadavg: 8.93 7.97 6.98 9/200 9848
/proc/meminfo: memFree=31117740/32770624 swapFree=66998876/67108860
[pid=9819] ppid=9816 vsize=641228 memory=363352 CPUtime=1773.04 cores=0-7
/proc/9819/stat : 9819 (cosoco) S 9816 9819 7626 0 -1 1077944320 689779 0 0 0 177213 91 0 0 20 0 9 0 437179518 656617472 90838 33554432000 4194304 6211092 140722396289184 140722396287440 140597221736183 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
/proc/9819/statm: 160307 90838 890 493 0 153612 0
[pid=9819/tid=9821] ppid=9816 vsize=641228 memory=363352 CPUtime=222 cores=0-7
/proc/9819/task/9821/stat : 9821 (cosoco) R 9816 9819 7626 0 -1 4202560 62408 0 0 0 22189 11 0 0 20 0 9 0 437179543 656617472 90838 33554432000 4194304 6211092 140722396289184 140597198592488 5155804 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9822] ppid=9816 vsize=641228 memory=363272 CPUtime=221.92 cores=0-7
/proc/9819/task/9822/stat : 9822 (cosoco) R 9816 9819 7626 0 -1 4202560 60956 0 0 0 22180 12 0 0 20 0 9 0 437179543 656617472 90838 33554432000 4194304 6211092 140722396289184 140597190199784 5250293 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9823] ppid=9816 vsize=641228 memory=362912 CPUtime=221.97 cores=0-7
/proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 74201 0 0 0 22187 10 0 0 20 0 9 0 437179543 656617472 90838 33554432000 4194304 6211092 140722396289184 140597181807080 5380270 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9824] ppid=9816 vsize=641228 memory=363212 CPUtime=219.87 cores=0-7
/proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 102214 0 0 0 21977 10 0 0 20 0 9 0 437179543 656617472 90838 33554432000 4194304 6211092 140722396289184 140597173414504 5157540 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9825] ppid=9816 vsize=641228 memory=363212 CPUtime=221.83 cores=0-7
/proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 72256 0 0 0 22174 9 0 0 20 0 9 0 437179543 656617472 90838 33554432000 4194304 6211092 140722396289184 140597165021672 5250450 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9826] ppid=9816 vsize=641228 memory=280779460971280 CPUtime=221.23 cores=0-7
/proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 98280 0 0 0 22111 12 0 0 20 0 9 0 437179543 656617472 90838 33554432000 4194304 6211092 140722396289184 140597156628968 5155800 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9827] ppid=9816 vsize=641228 memory=363352 CPUtime=221.95 cores=0-7
/proc/9819/task/9827/stat : 9827 (cosoco) R 9816 9819 7626 0 -1 4202560 99054 0 0 0 22183 12 0 0 20 0 9 0 437179543 656617472 90838 33554432000 4194304 6211092 140722396289184 140597148236264 5155804 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9828] ppid=9816 vsize=641228 memory=29148 CPUtime=221.95 cores=0-7
/proc/9819/task/9828/stat : 9828 (cosoco) R 9816 9819 7626 0 -1 4202560 113237 0 0 0 22184 11 0 0 20 0 9 0 437179543 656617472 90838 33554432000 4194304 6211092 140722396289184 140597139843688 5156232 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
Current children cumulated CPU time: 1773.04 s
Current children cumulated vsize: 641228 KiB
Current children cumulated memory: 363352 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.74 8.02 7.03 9/200 9851
/proc/meminfo: memFree=31115824/32770624 swapFree=66998876/67108860
[pid=9819] ppid=9816 vsize=641228 memory=364608 CPUtime=2010.26 cores=0-7
/proc/9819/stat : 9819 (cosoco) S 9816 9819 7626 0 -1 1077944320 699054 0 0 0 200934 92 0 0 20 0 9 0 437179518 656617472 91152 33554432000 4194304 6211092 140722396289184 140722396287440 140597221736183 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
/proc/9819/statm: 160307 91152 890 493 0 153612 0
[pid=9819/tid=9821] ppid=9816 vsize=641228 memory=4104 CPUtime=251.7 cores=0-7
/proc/9819/task/9821/stat : 9821 (cosoco) R 9816 9819 7626 0 -1 4202560 62518 0 0 0 25159 11 0 0 20 0 9 0 437179543 656617472 91152 33554432000 4194304 6211092 140722396289184 140597198592488 5155804 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9822] ppid=9816 vsize=641228 memory=1408 CPUtime=251.64 cores=0-7
/proc/9819/task/9822/stat : 9822 (cosoco) R 9816 9819 7626 0 -1 4202560 61478 0 0 0 25152 12 0 0 20 0 9 0 437179543 656617472 91152 33554432000 4194304 6211092 140722396289184 140597190199912 5186452 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9823] ppid=9816 vsize=641228 memory=2752 CPUtime=251.67 cores=0-7
/proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 76987 0 0 0 25157 10 0 0 20 0 9 0 437179543 656617472 91152 33554432000 4194304 6211092 140722396289184 140597181807080 5136256 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9824] ppid=9816 vsize=641228 memory=4126316290023845779 CPUtime=249.17 cores=0-7
/proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 102353 0 0 0 24907 10 0 0 20 0 9 0 437179543 656617472 91152 33554432000 4194304 6211092 140722396289184 140597173414504 5157544 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9825] ppid=9816 vsize=641228 memory=1616 CPUtime=251.52 cores=0-7
/proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 76864 0 0 0 25143 9 0 0 20 0 9 0 437179543 656617472 91152 33554432000 4194304 6211092 140722396289184 140597165021672 5155807 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9826] ppid=9816 vsize=641228 memory=8317482817917895235 CPUtime=250.93 cores=0-7
/proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 98731 0 0 0 25081 12 0 0 20 0 9 0 437179543 656617472 91152 33554432000 4194304 6211092 140722396289184 140597156628968 5155800 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9827] ppid=9816 vsize=641228 memory=4126316290023845779 CPUtime=251.65 cores=0-7
/proc/9819/task/9827/stat : 9827 (cosoco) R 9816 9819 7626 0 -1 4202560 99119 0 0 0 25153 12 0 0 20 0 9 0 437179543 656617472 91152 33554432000 4194304 6211092 140722396289184 140597148236264 5250224 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
[pid=9819/tid=9828] ppid=9816 vsize=641228 memory=12040 CPUtime=251.65 cores=0-7
/proc/9819/task/9828/stat : 9828 (cosoco) R 9816 9819 7626 0 -1 4202560 113832 0 0 0 25154 11 0 0 20 0 9 0 437179543 656617472 91152 33554432000 4194304 6211092 140722396289184 140597139843528 5156232 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0
Current children cumulated CPU time: 2010.26 s
Current children cumulated vsize: 641228 KiB
Current children cumulated memory: 364608 KiB

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

[startup+252.034 s]
# the end of solver process 9819 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2009.46 s, system=0.930459 s

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

Child status: 1
Real time (s): 252.034
CPU time (s): 2010.39
CPU user time (s): 2009.46
CPU system time (s): 0.930459
CPU usage (%): 797.665
Max. virtual memory (cumulated for all children) (KiB): 641228
Max. memory (cumulated for all children) (KiB): 364608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2009.46
system time used= 0.930459
maximum resident set size= 364776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 699116
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= 5036
involuntary context switches= 17770


# summary of solver processes directly reported to runsolver:
#   pid: 9819
#   total CPU time (s): 2010.39
#   total CPU user time (s): 2009.46
#   total CPU system time (s): 0.930459

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.17343 second user time and 2.26694 second system time

The end

Launcher Data 

Begin job on node102 at 2019-09-16 06:47:15
IDJOB=4398757
IDBENCH=133715
IDSOLVER=2852
FILE ID=node102/4398757-1568609281
RUNJOBID= node102-1568597211-7653
PBS_JOBID= 21703406
Free space on /tmp= 59328 MiB

SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-r2.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398757-1568609281/watcher-4398757-1568609281 -o /tmp/evaluation-result-4398757-1568609281/solver-4398757-1568609281 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568597211-7653 --watchdog 312  cosoco -model -nbcores=8 HOME/instance-4398757-1568609281.xml

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

MD5SUM BENCH= 1feceec156c21411e87c939d9e284415
RANDOM SEED=2080652388

node102.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.13
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.54
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.13
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.54
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.13
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.54
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.13
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31475808 kB
MemAvailable:   31905228 kB
Buffers:          131996 kB
Cached:           596072 kB
SwapCached:         7656 kB
Active:           377148 kB
Inactive:         361268 kB
Active(anon):       5884 kB
Inactive(anon):    46540 kB
Active(file):     371264 kB
Inactive(file):   314728 kB
Unevictable:      110384 kB
Mlocked:          110384 kB
SwapTotal:      67108860 kB
SwapFree:       66998868 kB
Dirty:              2804 kB
Writeback:             0 kB
AnonPages:        114136 kB
Mapped:            40548 kB
Shmem:             33460 kB
Slab:             147628 kB
SReclaimable:     118524 kB
SUnreclaim:        29104 kB
KernelStack:        3408 kB
PageTables:         5136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     507464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59324 MiB
End job on node102 at 2019-09-16 06:51:28