Trace number 4410017

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cosoco 2.0 parallelSAT (TO)14 2010.34 252.039

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 

8.40/1.34	c
8.40/1.34	c This is cosoco 2.00 --  
8.40/1.34	c
8.40/1.34	c command line: cosoco -model -nbcores=8 HOME/instance-4410017-1569829611.xml 
8.40/1.34	c enable optimization
8.40/1.34	c ========================================[ Problem Statistics ]===========================================
8.40/1.34	c |                                                                                                       
8.40/1.34	c |  Parse time        :         0.25 s 
8.40/1.34	c |
8.40/1.34	c |               Variables: 3001
8.40/1.34	c |            Domain Sizes: 2..2
8.40/1.34	c |
8.40/1.34	c |             Constraints: 55
8.40/1.34	c |                   Arity: 139..3001
8.40/1.34	c | 
8.40/1.34	c |                   Types: 
8.40/1.34	c |                          Exactly K: 54
8.40/1.34	c |                          Sum: 1
8.40/1.34	c |                          
8.40/1.34	c |               Objective: Minimize Sum
8.40/1.34	
8.40/1.34	c =========================================================================================================
8.40/1.34	c Parallel mode: Portfolio
8.40/1.34	c [pFactory][Group N°0] created (threads:8).
8.40/1.34	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
8.40/1.34	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
8.40/1.34	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
8.40/1.34	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
8.40/1.34	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
8.40/1.34	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
8.40/1.34	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
8.40/1.34	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
8.40/1.34	c [pFactory][Group N°0] concurrent mode: enabled.
8.40/1.34	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
8.40/1.34	c [pFactory][Group N°0] task 7 launched on thread 0.
8.40/1.34	c [pFactory][Group N°0] task 6 launched on thread 1.
8.40/1.34	c [pFactory][Group N°0] task 5 launched on thread 2.
8.40/1.34	c [pFactory][Group N°0] task 4 launched on thread 6.
8.40/1.34	c [pFactory][Group N°0] task 3 launched on thread 7.
8.40/1.34	c [pFactory][Group N°0] task 2 launched on thread 4.
8.40/1.34	c [pFactory][Group N°0] task 1 launched on thread 5.
8.40/1.34	c [pFactory][Group N°0] task 0 launched on thread 3.
8.40/1.34	o 18
18.78/2.70	o 17
42.81/5.68	o 16
61.96/8.02	o 15
106.68/13.64	o 14
2010.21/252.02	
2010.21/252.02	c *** INTERRUPTED ***
2010.21/252.02	c call to solver        : 5
2010.21/252.02	c
2010.21/252.02	c restarts              : 169         
2010.21/252.02	c conflicts             : 2073         (1 /sec)
2010.21/252.02	c decisions             : 523884       (261 /sec)
2010.21/252.02	c propagations          : 1132199     (563 /sec)
2010.21/252.02	c root propagations     : 5983        
2010.21/252.02	c filter calls          : 3015817        (1501 /sec)
2010.21/252.02	c useless filter calls  : 2988777        (99 %)
2010.21/252.02	c Memory used           : 626.20 MB
2010.21/252.02	c Best bound time (wc)  : 13.6407 s
2010.21/252.02	c CPU time              : 2009.42 s
2010.21/252.02	c real time             : 252.018 s
2010.21/252.02	
2010.21/252.02	s SATISFIABLE
2010.21/252.02	c Best value found: 14
2010.21/252.02	
2010.21/252.02	
2010.21/252.02	v <instantiation type='solution' cost='14'>
2010.21/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.21/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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 </values>
2010.21/252.02	v </instantiation>
2010.21/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 (15267 MiB free)
  memory of node 1: 16384 MiB (15674 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4410017-1569829611/watcher-4410017-1569829611 -o /tmp/evaluation-result-4410017-1569829611/solver-4410017-1569829611 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569817883-23708 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4410017-1569829611.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=26213, runsolver pid=26210
Current StackSize limit: 8192 KiB


[startup+0.100155 s]*
/proc/loadavg: 7.60 7.85 7.55 2/191 26214
/proc/meminfo: memFree=31663528/32770624 swapFree=66975632/67108860
[pid=26213] ppid=26210 vsize=48280 memory=24592 CPUtime=0.1 cores=0-7
/proc/26213/stat : 26213 (cosoco) R 26210 26213 23681 0 -1 4202496 6333 0 0 0 10 0 0 0 20 0 1 0 559227851 49438720 6148 33554432000 4194304 6211132 140732271363472 140732271360008 5753489 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
/proc/26213/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.209106 s]*
/proc/loadavg: 7.60 7.85 7.55 2/191 26214
/proc/meminfo: memFree=31663624/32770624 swapFree=66975632/67108860
[pid=26213] ppid=26210 vsize=48692 memory=25120 CPUtime=0.2 cores=0-7
/proc/26213/stat : 26213 (cosoco) R 26210 26213 23681 0 -1 4202496 6449 0 0 0 20 0 0 0 20 0 1 0 559227851 49860608 6280 33554432000 4194304 6211132 140732271363472 140732271359096 5188694 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
/proc/26213/statm: 12173 6280 841 493 0 5478 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48692 KiB
Current children cumulated memory: 25120 KiB

[startup+0.308524 s]*
/proc/loadavg: 7.60 7.85 7.55 9/199 26222
/proc/meminfo: memFree=31660696/32770624 swapFree=66975632/67108860
[pid=26213] ppid=26210 vsize=641228 memory=28024 CPUtime=0.7 cores=0-7
/proc/26213/stat : 26213 (cosoco) S 26210 26213 23681 0 -1 1077944320 7229 0 0 0 70 0 0 0 20 0 9 0 559227851 656617472 7006 33554432000 4194304 6211132 140732271363472 140732271361728 140018599448311 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
/proc/26213/statm: 160307 7006 876 493 0 153612 0
[pid=26213/tid=26215] ppid=26210 vsize=641228 memory=1398722017469774279 CPUtime=0.06 cores=0-7
/proc/26213/task/26215/stat : 26215 (cosoco) R 26210 26213 23681 0 -1 4202560 7 0 0 0 6 0 0 0 20 0 9 0 559227876 656617472 7006 33554432000 4194304 6211132 140732271363472 140018576305760 5250321 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26216] ppid=26210 vsize=641228 memory=4872558044660077418 CPUtime=0.06 cores=0-7
/proc/26213/task/26216/stat : 26216 (cosoco) R 26210 26213 23681 0 -1 4202560 7 0 0 0 6 0 0 0 20 0 9 0 559227876 656617472 7006 33554432000 4194304 6211132 140732271363472 140018567913056 5409485 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26217] ppid=26210 vsize=641228 memory=0 CPUtime=0.06 cores=0-7
/proc/26213/task/26217/stat : 26217 (cosoco) R 26210 26213 23681 0 -1 4202560 8 0 0 0 6 0 0 0 20 0 9 0 559227876 656617472 7006 33554432000 4194304 6211132 140732271363472 140018559520352 5250283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26218] ppid=26210 vsize=641228 memory=0 CPUtime=0.05 cores=0-7
/proc/26213/task/26218/stat : 26218 (cosoco) R 26210 26213 23681 0 -1 4202560 3 0 0 0 5 0 0 0 20 0 9 0 559227876 656617472 7006 33554432000 4194304 6211132 140732271363472 140018551127648 5409485 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26219] ppid=26210 vsize=641228 memory=6656426216303648864 CPUtime=0.05 cores=0-7
/proc/26213/task/26219/stat : 26219 (cosoco) R 26210 26213 23681 0 -1 4202560 2 0 0 0 5 0 0 0 20 0 9 0 559227876 656617472 7006 33554432000 4194304 6211132 140732271363472 140018542734520 5250485 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26220] ppid=26210 vsize=641228 memory=0 CPUtime=0.05 cores=0-7
/proc/26213/task/26220/stat : 26220 (cosoco) R 26210 26213 23681 0 -1 4202560 13 0 0 0 5 0 0 0 20 0 9 0 559227876 656617472 7006 33554432000 4194304 6211132 140732271363472 140018534342240 5397258 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26221] ppid=26210 vsize=641228 memory=0 CPUtime=0.05 cores=0-7
/proc/26213/task/26221/stat : 26221 (cosoco) R 26210 26213 23681 0 -1 4202560 13 0 0 0 5 0 0 0 20 0 9 0 559227876 656617472 7006 33554432000 4194304 6211132 140732271363472 140018525949112 5155836 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26222] ppid=26210 vsize=641228 memory=0 CPUtime=0.06 cores=0-7
/proc/26213/task/26222/stat : 26222 (cosoco) R 26210 26213 23681 0 -1 4202560 3 0 0 0 6 0 0 0 20 0 9 0 559227876 656617472 7006 33554432000 4194304 6211132 140732271363472 140018517556832 5155836 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 641228 KiB
Current children cumulated memory: 28024 KiB

[startup+0.701267 s]
/proc/loadavg: 7.60 7.85 7.55 5/199 26222
/proc/meminfo: memFree=31656976/32770624 swapFree=66975632/67108860
[pid=26213] ppid=26210 vsize=641228 memory=55448 CPUtime=3.69 cores=0-7
/proc/26213/stat : 26213 (cosoco) S 26210 26213 23681 0 -1 1077944320 14329 0 0 0 365 4 0 0 20 0 9 0 559227851 656617472 13862 33554432000 4194304 6211132 140732271363472 140732271361728 140018599448311 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
/proc/26213/statm: 160307 13862 883 493 0 153612 0
[pid=26213/tid=26215] ppid=26210 vsize=641228 memory=1764 CPUtime=0.42 cores=0-7
/proc/26213/task/26215/stat : 26215 (cosoco) D 26210 26213 23681 0 -1 4202560 679 0 0 0 42 0 0 0 20 0 9 0 559227876 656617472 13862 33554432000 4194304 6211132 140732271363472 140018576304904 140018583403326 0 0 4096 8405026 18446744071582151416 0 0 -1 3 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26216] ppid=26210 vsize=641228 memory=111632 CPUtime=0.42 cores=0-7
/proc/26213/task/26216/stat : 26216 (cosoco) D 26210 26213 23681 0 -1 4202560 1023 0 0 0 42 0 0 0 20 0 9 0 559227876 656617472 13862 33554432000 4194304 6211132 140732271363472 140018567912072 140018583403326 0 0 4096 8405026 18446744071582151416 0 0 -1 4 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26217] ppid=26210 vsize=641228 memory=804 CPUtime=0.43 cores=0-7
/proc/26213/task/26217/stat : 26217 (cosoco) D 26210 26213 23681 0 -1 4202560 1230 0 0 0 43 0 0 0 20 0 9 0 559227876 656617472 13862 33554432000 4194304 6211132 140732271363472 140018559519336 140018583403326 0 0 4096 8405026 18446744071582151416 0 0 -1 1 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26218] ppid=26210 vsize=641228 memory=1808 CPUtime=0.42 cores=0-7
/proc/26213/task/26218/stat : 26218 (cosoco) D 26210 26213 23681 0 -1 4202560 1216 0 0 0 42 0 0 0 20 0 9 0 559227876 656617472 13862 33554432000 4194304 6211132 140732271363472 140018551126632 140018583403326 0 0 4096 8405026 18446744071582151416 0 0 -1 5 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26219] ppid=26210 vsize=641228 memory=924 CPUtime=0.42 cores=0-7
/proc/26213/task/26219/stat : 26219 (cosoco) D 26210 26213 23681 0 -1 4202560 871 0 0 0 42 0 0 0 20 0 9 0 559227876 656617472 13862 33554432000 4194304 6211132 140732271363472 140018542734088 140018583403326 0 0 4096 8405026 18446744071582151416 0 0 -1 0 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26220] ppid=26210 vsize=641228 memory=-7175204567652784766 CPUtime=0.42 cores=0-7
/proc/26213/task/26220/stat : 26220 (cosoco) D 26210 26213 23681 0 -1 4202560 785 0 0 0 42 0 0 0 20 0 9 0 559227876 656617472 13862 33554432000 4194304 6211132 140732271363472 140018534341224 140018583403326 0 0 4096 8405026 18446744071582151416 0 0 -1 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26221] ppid=26210 vsize=641228 memory=3054156605268465310 CPUtime=0.41 cores=0-7
/proc/26213/task/26221/stat : 26221 (cosoco) R 26210 26213 23681 0 -1 4202560 514 0 0 0 41 0 0 0 20 0 9 0 559227876 656617472 13862 33554432000 4194304 6211132 140732271363472 140018525948520 140018583883351 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26222] ppid=26210 vsize=641228 memory=1408 CPUtime=0.42 cores=0-7
/proc/26213/task/26222/stat : 26222 (cosoco) D 26210 26213 23681 0 -1 4202560 838 0 0 0 42 0 0 0 20 0 9 0 559227876 656617472 13862 33554432000 4194304 6211132 140732271363472 140018517555976 140018583403326 0 0 4096 8405026 18446744071582151416 0 0 -1 6 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
Current children cumulated CPU time: 3.69 s
Current children cumulated vsize: 641228 KiB
Current children cumulated memory: 55448 KiB

[startup+1.50052 s]
/proc/loadavg: 7.60 7.85 7.55 8/199 26222
/proc/meminfo: memFree=31571912/32770624 swapFree=66975632/67108860
[pid=26213] ppid=26210 vsize=641228 memory=203852 CPUtime=9.99 cores=0-7
/proc/26213/stat : 26213 (cosoco) S 26210 26213 23681 0 -1 1077944320 72233 0 0 0 985 14 0 0 20 0 9 0 559227851 656617472 50963 33554432000 4194304 6211132 140732271363472 140732271361728 140018599448311 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
/proc/26213/statm: 160307 50963 886 493 0 153612 0
[pid=26213/tid=26215] ppid=26210 vsize=641228 memory=287753339 CPUtime=1.21 cores=0-7
/proc/26213/task/26215/stat : 26215 (cosoco) R 26210 26213 23681 0 -1 4202560 5422 0 0 0 120 1 0 0 20 0 9 0 559227876 656617472 50963 33554432000 4194304 6211132 140732271363472 140018576304616 5250499 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26216] ppid=26210 vsize=641228 memory=0 CPUtime=1.21 cores=0-7
/proc/26213/task/26216/stat : 26216 (cosoco) R 26210 26213 23681 0 -1 4202560 6288 0 0 0 120 1 0 0 20 0 9 0 559227876 656617472 50963 33554432000 4194304 6211132 140732271363472 140018567911912 5250304 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26217] ppid=26210 vsize=641228 memory=0 CPUtime=1.22 cores=0-7
/proc/26213/task/26217/stat : 26217 (cosoco) R 26210 26213 23681 0 -1 4202560 10093 0 0 0 120 2 0 0 20 0 9 0 559227876 656617472 50963 33554432000 4194304 6211132 140732271363472 140018559520016 5250304 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26218] ppid=26210 vsize=641228 memory=252617091501262 CPUtime=1.21 cores=0-7
/proc/26213/task/26218/stat : 26218 (cosoco) R 26210 26213 23681 0 -1 4202560 9670 0 0 0 119 2 0 0 20 0 9 0 559227876 656617472 50963 33554432000 4194304 6211132 140732271363472 140018551126648 5155836 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26219] ppid=26210 vsize=641228 memory=280100453438496 CPUtime=1.2 cores=0-7
/proc/26213/task/26219/stat : 26219 (cosoco) R 26210 26213 23681 0 -1 4202560 6309 0 0 0 119 1 0 0 20 0 9 0 559227876 656617472 50963 33554432000 4194304 6211132 140732271363472 140018542733928 5250256 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26220] ppid=26210 vsize=641228 memory=252621319336219 CPUtime=1.2 cores=0-7
/proc/26213/task/26220/stat : 26220 (cosoco) R 26210 26213 23681 0 -1 4202560 11379 0 0 0 119 1 0 0 20 0 9 0 559227876 656617472 50963 33554432000 4194304 6211132 140732271363472 140018534341096 5186484 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26221] ppid=26210 vsize=641228 memory=252617091501265 CPUtime=1.2 cores=0-7
/proc/26213/task/26221/stat : 26221 (cosoco) R 26210 26213 23681 0 -1 4202560 9725 0 0 0 119 1 0 0 20 0 9 0 559227876 656617472 50963 33554432000 4194304 6211132 140732271363472 140018525948552 5155832 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26222] ppid=26210 vsize=641228 memory=252617091501266 CPUtime=1.21 cores=0-7
/proc/26213/task/26222/stat : 26222 (cosoco) R 26210 26213 23681 0 -1 4202560 6200 0 0 0 120 1 0 0 20 0 9 0 559227876 656617472 50963 33554432000 4194304 6211132 140732271363472 140018517555688 140018583476779 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
Current children cumulated CPU time: 9.99 s
Current children cumulated vsize: 641228 KiB
Current children cumulated memory: 203852 KiB

[startup+3.11052 s]
/proc/loadavg: 7.60 7.85 7.55 9/199 26222
/proc/meminfo: memFree=31425976/32770624 swapFree=66975632/67108860
[pid=26213] ppid=26210 vsize=641228 memory=268084 CPUtime=22.85 cores=0-7
/proc/26213/stat : 26213 (cosoco) S 26210 26213 23681 0 -1 1077944320 106299 0 0 0 2264 21 0 0 20 0 9 0 559227851 656617472 67021 33554432000 4194304 6211132 140732271363472 140732271361728 140018599448311 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
/proc/26213/statm: 160307 67021 886 493 0 153612 0
[pid=26213/tid=26215] ppid=26210 vsize=641228 memory=33 CPUtime=2.82 cores=0-7
/proc/26213/task/26215/stat : 26215 (cosoco) R 26210 26213 23681 0 -1 4202560 8545 0 0 0 281 1 0 0 20 0 9 0 559227876 656617472 67021 33554432000 4194304 6211132 140732271363472 140018576304744 5155832 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26216] ppid=26210 vsize=641228 memory=0 CPUtime=2.82 cores=0-7
/proc/26213/task/26216/stat : 26216 (cosoco) R 26210 26213 23681 0 -1 4202560 11273 0 0 0 280 2 0 0 20 0 9 0 559227876 656617472 67021 33554432000 4194304 6211132 140732271363472 140018567912040 5155832 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26217] ppid=26210 vsize=641228 memory=5795117241467496816 CPUtime=2.82 cores=0-7
/proc/26213/task/26217/stat : 26217 (cosoco) R 26210 26213 23681 0 -1 4202560 13474 0 0 0 280 2 0 0 20 0 9 0 559227876 656617472 67021 33554432000 4194304 6211132 140732271363472 140018559519208 5158052 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26218] ppid=26210 vsize=641228 memory=74192 CPUtime=2.79 cores=0-7
/proc/26213/task/26218/stat : 26218 (cosoco) R 26210 26213 23681 0 -1 4202560 13021 0 0 0 276 3 0 0 20 0 9 0 559227876 656617472 67021 33554432000 4194304 6211132 140732271363472 140018551126504 5157576 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26219] ppid=26210 vsize=641228 memory=28024 CPUtime=2.81 cores=0-7
/proc/26213/task/26219/stat : 26219 (cosoco) R 26210 26213 23681 0 -1 4202560 12238 0 0 0 279 2 0 0 20 0 9 0 559227876 656617472 67021 33554432000 4194304 6211132 140732271363472 140018542733928 5136319 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26220] ppid=26210 vsize=641228 memory=56 CPUtime=2.82 cores=0-7
/proc/26213/task/26220/stat : 26220 (cosoco) R 26210 26213 23681 0 -1 4202560 15192 0 0 0 279 3 0 0 20 0 9 0 559227876 656617472 67021 33554432000 4194304 6211132 140732271363472 140018534341096 5250321 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26221] ppid=26210 vsize=641228 memory=0 CPUtime=2.81 cores=0-7
/proc/26213/task/26221/stat : 26221 (cosoco) R 26210 26213 23681 0 -1 4202560 13371 0 0 0 279 2 0 0 20 0 9 0 559227876 656617472 67021 33554432000 4194304 6211132 140732271363472 140018525949200 5250330 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26222] ppid=26210 vsize=641228 memory=3545796495099047990 CPUtime=2.82 cores=0-7
/proc/26213/task/26222/stat : 26222 (cosoco) R 26210 26213 23681 0 -1 4202560 12012 0 0 0 280 2 0 0 20 0 9 0 559227876 656617472 67021 33554432000 4194304 6211132 140732271363472 140018517555688 5409476 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
Current children cumulated CPU time: 22.85 s
Current children cumulated vsize: 641228 KiB
Current children cumulated memory: 268084 KiB

[startup+6.30052 s]
/proc/loadavg: 7.71 7.87 7.56 9/199 26222
/proc/meminfo: memFree=31383964/32770624 swapFree=66975632/67108860
[pid=26213] ppid=26210 vsize=641228 memory=308096 CPUtime=48.32 cores=0-7
/proc/26213/stat : 26213 (cosoco) S 26210 26213 23681 0 -1 1077944320 203376 0 0 0 4799 33 0 0 20 0 9 0 559227851 656617472 77024 33554432000 4194304 6211132 140732271363472 140732271361728 140018599448311 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
/proc/26213/statm: 160307 77024 886 493 0 153612 0
[pid=26213/tid=26215] ppid=26210 vsize=641228 memory=0 CPUtime=6.01 cores=0-7
/proc/26213/task/26215/stat : 26215 (cosoco) R 26210 26213 23681 0 -1 4202560 18378 0 0 0 598 3 0 0 20 0 9 0 559227876 656617472 77024 33554432000 4194304 6211132 140732271363472 140018576304616 5136319 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26216] ppid=26210 vsize=641228 memory=164 CPUtime=6.02 cores=0-7
/proc/26213/task/26216/stat : 26216 (cosoco) R 26210 26213 23681 0 -1 4202560 20350 0 0 0 599 3 0 0 20 0 9 0 559227876 656617472 77024 33554432000 4194304 6211132 140732271363472 140018567912040 5155836 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26217] ppid=26210 vsize=641228 memory=140054643365503 CPUtime=6.02 cores=0-7
/proc/26213/task/26217/stat : 26217 (cosoco) R 26210 26213 23681 0 -1 4202560 28885 0 0 0 598 4 0 0 20 0 9 0 559227876 656617472 77024 33554432000 4194304 6211132 140732271363472 140018559519208 5136288 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26218] ppid=26210 vsize=641228 memory=305696 CPUtime=5.94 cores=0-7
/proc/26213/task/26218/stat : 26218 (cosoco) R 26210 26213 23681 0 -1 4202560 28104 0 0 0 590 4 0 0 20 0 9 0 559227876 656617472 77024 33554432000 4194304 6211132 140732271363472 140018551126504 5155836 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26219] ppid=26210 vsize=641228 memory=6081081520060394577 CPUtime=6 cores=0-7
/proc/26213/task/26219/stat : 26219 (cosoco) R 26210 26213 23681 0 -1 4202560 20720 0 0 0 597 3 0 0 20 0 9 0 559227876 656617472 77024 33554432000 4194304 6211132 140732271363472 140018542733928 5186484 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26220] ppid=26210 vsize=641228 memory=148 CPUtime=6 cores=0-7
/proc/26213/task/26220/stat : 26220 (cosoco) R 26210 26213 23681 0 -1 4202560 29436 0 0 0 596 4 0 0 20 0 9 0 559227876 656617472 77024 33554432000 4194304 6211132 140732271363472 140018534341096 5136288 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26221] ppid=26210 vsize=641228 memory=9276 CPUtime=6 cores=0-7
/proc/26213/task/26221/stat : 26221 (cosoco) R 26210 26213 23681 0 -1 4202560 28976 0 0 0 596 4 0 0 20 0 9 0 559227876 656617472 77024 33554432000 4194304 6211132 140732271363472 140018525949200 5186484 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26222] ppid=26210 vsize=641228 memory=280100453028480 CPUtime=6.01 cores=0-7
/proc/26213/task/26222/stat : 26222 (cosoco) R 26210 26213 23681 0 -1 4202560 21355 0 0 0 598 3 0 0 20 0 9 0 559227876 656617472 77024 33554432000 4194304 6211132 140732271363472 140018517555688 5156264 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
Current children cumulated CPU time: 48.32 s
Current children cumulated vsize: 641228 KiB
Current children cumulated memory: 308096 KiB

[startup+12.7005 s]
/proc/loadavg: 7.81 7.89 7.57 10/200 26224
/proc/meminfo: memFree=31370216/32770624 swapFree=66975632/67108860
[pid=26213] ppid=26210 vsize=641228 memory=320896 CPUtime=99.42 cores=0-7
/proc/26213/stat : 26213 (cosoco) S 26210 26213 23681 0 -1 1077944320 274766 0 0 0 9903 39 0 0 20 0 9 0 559227851 656617472 80224 33554432000 4194304 6211132 140732271363472 140732271361728 140018599448311 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
/proc/26213/statm: 160307 80224 890 493 0 153612 0
[pid=26213/tid=26215] ppid=26210 vsize=641228 memory=320468 CPUtime=12.4 cores=0-7
/proc/26213/task/26215/stat : 26215 (cosoco) R 26210 26213 23681 0 -1 4202560 23592 0 0 0 1236 4 0 0 20 0 9 0 559227876 656617472 80224 33554432000 4194304 6211132 140732271363472 140018576304744 5155836 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26216] ppid=26210 vsize=641228 memory=319240 CPUtime=12.41 cores=0-7
/proc/26213/task/26216/stat : 26216 (cosoco) R 26210 26213 23681 0 -1 4202560 30569 0 0 0 1238 3 0 0 20 0 9 0 559227876 656617472 80224 33554432000 4194304 6211132 140732271363472 140018567912040 5155836 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26217] ppid=26210 vsize=641228 memory=1436 CPUtime=12.42 cores=0-7
/proc/26213/task/26217/stat : 26217 (cosoco) R 26210 26213 23681 0 -1 4202560 39702 0 0 0 1237 5 0 0 20 0 9 0 559227876 656617472 80224 33554432000 4194304 6211132 140732271363472 140018559519208 5155832 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26218] ppid=26210 vsize=641228 memory=1060 CPUtime=12.26 cores=0-7
/proc/26213/task/26218/stat : 26218 (cosoco) R 26210 26213 23681 0 -1 4202560 37573 0 0 0 1221 5 0 0 20 0 9 0 559227876 656617472 80224 33554432000 4194304 6211132 140732271363472 140018551126504 5250499 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26219] ppid=26210 vsize=641228 memory=4004 CPUtime=12.4 cores=0-7
/proc/26213/task/26219/stat : 26219 (cosoco) R 26210 26213 23681 0 -1 4202560 28312 0 0 0 1236 4 0 0 20 0 9 0 559227876 656617472 80224 33554432000 4194304 6211132 140732271363472 140018542733800 5155836 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26220] ppid=26210 vsize=641228 memory=1724 CPUtime=12.41 cores=0-7
/proc/26213/task/26220/stat : 26220 (cosoco) R 26210 26213 23681 0 -1 4202560 38704 0 0 0 1235 6 0 0 20 0 9 0 559227876 656617472 80224 33554432000 4194304 6211132 140732271363472 140018534341224 5155832 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26221] ppid=26210 vsize=641228 memory=273768 CPUtime=12.4 cores=0-7
/proc/26213/task/26221/stat : 26221 (cosoco) R 26210 26213 23681 0 -1 4202560 40706 0 0 0 1235 5 0 0 20 0 9 0 559227876 656617472 80224 33554432000 4194304 6211132 140732271363472 140018525948392 5250256 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0

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

/proc/26213/task/26217/stat : 26217 (cosoco) R 26210 26213 23681 0 -1 4202560 58340 0 0 0 2515 6 0 0 20 0 9 0 559227876 656617472 85507 33554432000 4194304 6211132 140732271363472 140018559519208 5250321 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26218] ppid=26210 vsize=641228 memory=3620 CPUtime=24.87 cores=0-7
/proc/26213/task/26218/stat : 26218 (cosoco) R 26210 26213 23681 0 -1 4202560 56718 0 0 0 2480 7 0 0 20 0 9 0 559227876 656617472 85507 33554432000 4194304 6211132 140732271363472 140018551126632 5157572 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26219] ppid=26210 vsize=641228 memory=334976 CPUtime=25.19 cores=0-7
/proc/26213/task/26219/stat : 26219 (cosoco) R 26210 26213 23681 0 -1 4202560 41557 0 0 0 2514 5 0 0 20 0 9 0 559227876 656617472 85507 33554432000 4194304 6211132 140732271363472 140018542733800 5156165 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26220] ppid=26210 vsize=641228 memory=56 CPUtime=25.2 cores=0-7
/proc/26213/task/26220/stat : 26220 (cosoco) R 26210 26213 23681 0 -1 4202560 55944 0 0 0 2513 7 0 0 20 0 9 0 559227876 656617472 85507 33554432000 4194304 6211132 140732271363472 140018534341096 5186484 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26221] ppid=26210 vsize=641228 memory=0 CPUtime=25.2 cores=0-7
/proc/26213/task/26221/stat : 26221 (cosoco) R 26210 26213 23681 0 -1 4202560 57335 0 0 0 2513 7 0 0 20 0 9 0 559227876 656617472 85507 33554432000 4194304 6211132 140732271363472 140018525948392 5250256 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26222] ppid=26210 vsize=641228 memory=2004 CPUtime=25.21 cores=0-7
/proc/26213/task/26222/stat : 26222 (cosoco) R 26210 26213 23681 0 -1 4202560 39127 0 0 0 2516 5 0 0 20 0 9 0 559227876 656617472 85507 33554432000 4194304 6211132 140732271363472 140018517555816 5155836 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
Current children cumulated CPU time: 201.63 s
Current children cumulated vsize: 641228 KiB
Current children cumulated memory: 342028 KiB

[startup+51.1105 s]
/proc/loadavg: 8.20 7.98 7.61 9/199 26225
/proc/meminfo: memFree=31346640/32770624 swapFree=66975632/67108860
[pid=26213] ppid=26210 vsize=641228 memory=349544 CPUtime=406.15 cores=0-7
/proc/26213/stat : 26213 (cosoco) S 26210 26213 23681 0 -1 1077944320 478120 0 0 0 40552 63 0 0 20 0 9 0 559227851 656617472 87386 33554432000 4194304 6211132 140732271363472 140732271361728 140018599448311 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
/proc/26213/statm: 160307 87386 890 493 0 153612 0
[pid=26213/tid=26215] ppid=26210 vsize=641228 memory=349144 CPUtime=50.71 cores=0-7
/proc/26213/task/26215/stat : 26215 (cosoco) R 26210 26213 23681 0 -1 4202560 42749 0 0 0 5065 6 0 0 20 0 9 0 559227876 656617472 87386 33554432000 4194304 6211132 140732271363472 140018576304616 5155836 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26216] ppid=26210 vsize=641228 memory=349308 CPUtime=50.82 cores=0-7
/proc/26213/task/26216/stat : 26216 (cosoco) R 26210 26213 23681 0 -1 4202560 50620 0 0 0 5077 5 0 0 20 0 9 0 559227876 656617472 87386 33554432000 4194304 6211132 140732271363472 140018567911912 5157572 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26217] ppid=26210 vsize=641228 memory=348008 CPUtime=50.82 cores=0-7
/proc/26213/task/26217/stat : 26217 (cosoco) R 26210 26213 23681 0 -1 4202560 72237 0 0 0 5074 8 0 0 20 0 9 0 559227876 656617472 87386 33554432000 4194304 6211132 140732271363472 140018559519208 5155836 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26218] ppid=26210 vsize=641228 memory=0 CPUtime=50.23 cores=0-7
/proc/26213/task/26218/stat : 26218 (cosoco) R 26210 26213 23681 0 -1 4202560 70802 0 0 0 5013 10 0 0 20 0 9 0 559227876 656617472 87386 33554432000 4194304 6211132 140732271363472 140018551126632 5136288 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26219] ppid=26210 vsize=641228 memory=349544 CPUtime=50.8 cores=0-7
/proc/26213/task/26219/stat : 26219 (cosoco) R 26210 26213 23681 0 -1 4202560 46937 0 0 0 5074 6 0 0 20 0 9 0 559227876 656617472 87386 33554432000 4194304 6211132 140732271363472 140018542733928 5409463 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26220] ppid=26210 vsize=641228 memory=3620 CPUtime=50.82 cores=0-7
/proc/26213/task/26220/stat : 26220 (cosoco) R 26210 26213 23681 0 -1 4202560 68736 0 0 0 5073 9 0 0 20 0 9 0 559227876 656617472 87386 33554432000 4194304 6211132 140732271363472 140018534341224 5157576 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26221] ppid=26210 vsize=641228 memory=0 CPUtime=50.8 cores=0-7
/proc/26213/task/26221/stat : 26221 (cosoco) R 26210 26213 23681 0 -1 4202560 73245 0 0 0 5072 8 0 0 20 0 9 0 559227876 656617472 87386 33554432000 4194304 6211132 140732271363472 140018525948392 5136319 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26222] ppid=26210 vsize=641228 memory=-8253362664378451600 CPUtime=50.82 cores=0-7
/proc/26213/task/26222/stat : 26222 (cosoco) R 26210 26213 23681 0 -1 4202560 45621 0 0 0 5076 6 0 0 20 0 9 0 559227876 656617472 87386 33554432000 4194304 6211132 140732271363472 140018517555816 5250304 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
Current children cumulated CPU time: 406.15 s
Current children cumulated vsize: 641228 KiB
Current children cumulated memory: 349544 KiB

[startup+102.301 s]
/proc/loadavg: 8.14 8.00 7.64 9/200 26229
/proc/meminfo: memFree=31335164/32770624 swapFree=66975632/67108860
[pid=26213] ppid=26210 vsize=641228 memory=358064 CPUtime=814.87 cores=0-7
/proc/26213/stat : 26213 (cosoco) S 26210 26213 23681 0 -1 1077944320 581240 0 0 0 81410 77 0 0 20 0 9 0 559227851 656617472 89516 33554432000 4194304 6211132 140732271363472 140732271361728 140018599448311 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
/proc/26213/statm: 160307 89516 890 493 0 153612 0
[pid=26213/tid=26215] ppid=26210 vsize=641228 memory=357260 CPUtime=101.24 cores=0-7
/proc/26213/task/26215/stat : 26215 (cosoco) R 26210 26213 23681 0 -1 4202560 50351 0 0 0 10117 7 0 0 20 0 9 0 559227876 656617472 89516 33554432000 4194304 6211132 140732271363472 140018576304616 5250256 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26216] ppid=26210 vsize=641228 memory=0 CPUtime=102 cores=0-7
/proc/26213/task/26216/stat : 26216 (cosoco) R 26210 26213 23681 0 -1 4202560 61382 0 0 0 10193 7 0 0 20 0 9 0 559227876 656617472 89516 33554432000 4194304 6211132 140732271363472 140018567912040 5250256 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26217] ppid=26210 vsize=641228 memory=358020 CPUtime=102.01 cores=0-7
/proc/26213/task/26217/stat : 26217 (cosoco) R 26210 26213 23681 0 -1 4202560 90880 0 0 0 10191 10 0 0 20 0 9 0 559227876 656617472 89516 33554432000 4194304 6211132 140732271363472 140018559519336 5156264 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26218] ppid=26210 vsize=641228 memory=3620 CPUtime=101.35 cores=0-7
/proc/26213/task/26218/stat : 26218 (cosoco) R 26210 26213 23681 0 -1 4202560 87672 0 0 0 10124 11 0 0 20 0 9 0 559227876 656617472 89516 33554432000 4194304 6211132 140732271363472 140018551126632 5155836 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26219] ppid=26210 vsize=641228 memory=356848 CPUtime=101.97 cores=0-7
/proc/26213/task/26219/stat : 26219 (cosoco) R 26210 26213 23681 0 -1 4202560 58415 0 0 0 10189 8 0 0 20 0 9 0 559227876 656617472 89516 33554432000 4194304 6211132 140732271363472 140018542733928 5250316 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26220] ppid=26210 vsize=641228 memory=6935054825532540783 CPUtime=102 cores=0-7
/proc/26213/task/26220/stat : 26220 (cosoco) R 26210 26213 23681 0 -1 4202560 84313 0 0 0 10189 11 0 0 20 0 9 0 559227876 656617472 89516 33554432000 4194304 6211132 140732271363472 140018534341096 5157576 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26221] ppid=26210 vsize=641228 memory=4108 CPUtime=101.98 cores=0-7
/proc/26213/task/26221/stat : 26221 (cosoco) R 26210 26213 23681 0 -1 4202560 86237 0 0 0 10187 11 0 0 20 0 9 0 559227876 656617472 89516 33554432000 4194304 6211132 140732271363472 140018525948520 5157576 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26222] ppid=26210 vsize=641228 memory=10608 CPUtime=101.99 cores=0-7
/proc/26213/task/26222/stat : 26222 (cosoco) R 26210 26213 23681 0 -1 4202560 54817 0 0 0 10192 7 0 0 20 0 9 0 559227876 656617472 89516 33554432000 4194304 6211132 140732271363472 140018517555688 5155839 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
Current children cumulated CPU time: 814.87 s
Current children cumulated vsize: 641228 KiB
Current children cumulated memory: 358064 KiB

[startup+162.301 s]
/proc/loadavg: 8.09 8.01 7.67 9/199 26232
/proc/meminfo: memFree=31331260/32770624 swapFree=66975632/67108860
[pid=26213] ppid=26210 vsize=641228 memory=361260 CPUtime=1293.93 cores=0-7
/proc/26213/stat : 26213 (cosoco) S 26210 26213 23681 0 -1 1077944320 634675 0 0 0 129308 85 0 0 20 0 9 0 559227851 656617472 90315 33554432000 4194304 6211132 140732271363472 140732271361728 140018599448311 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
/proc/26213/statm: 160307 90315 890 493 0 153612 0
[pid=26213/tid=26215] ppid=26210 vsize=641228 memory=361100 CPUtime=160.52 cores=0-7
/proc/26213/task/26215/stat : 26215 (cosoco) R 26210 26213 23681 0 -1 4202560 55021 0 0 0 16044 8 0 0 20 0 9 0 559227876 656617472 90315 33554432000 4194304 6211132 140732271363472 140018576304584 5155836 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26216] ppid=26210 vsize=641228 memory=361100 CPUtime=161.96 cores=0-7
/proc/26213/task/26216/stat : 26216 (cosoco) R 26210 26213 23681 0 -1 4202560 67848 0 0 0 16188 8 0 0 20 0 9 0 559227876 656617472 90315 33554432000 4194304 6211132 140732271363472 140018567912040 5250321 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26217] ppid=26210 vsize=641228 memory=360956 CPUtime=161.97 cores=0-7
/proc/26213/task/26217/stat : 26217 (cosoco) R 26210 26213 23681 0 -1 4202560 98480 0 0 0 16186 11 0 0 20 0 9 0 559227876 656617472 90315 33554432000 4194304 6211132 140732271363472 140018559519336 5155836 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26218] ppid=26210 vsize=641228 memory=359940 CPUtime=161.24 cores=0-7
/proc/26213/task/26218/stat : 26218 (cosoco) R 26210 26213 23681 0 -1 4202560 92069 0 0 0 16111 13 0 0 20 0 9 0 559227876 656617472 90315 33554432000 4194304 6211132 140732271363472 140018551126504 5250304 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26219] ppid=26210 vsize=641228 memory=361100 CPUtime=161.94 cores=0-7
/proc/26213/task/26219/stat : 26219 (cosoco) R 26210 26213 23681 0 -1 4202560 62767 0 0 0 16185 9 0 0 20 0 9 0 559227876 656617472 90315 33554432000 4194304 6211132 140732271363472 140018542733928 5157589 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26220] ppid=26210 vsize=641228 memory=360956 CPUtime=162 cores=0-7
/proc/26213/task/26220/stat : 26220 (cosoco) R 26210 26213 23681 0 -1 4202560 95074 0 0 0 16188 12 0 0 20 0 9 0 559227876 656617472 90315 33554432000 4194304 6211132 140732271363472 140018534341224 5250304 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26221] ppid=26210 vsize=641228 memory=361260 CPUtime=161.98 cores=0-7
/proc/26213/task/26221/stat : 26221 (cosoco) R 26210 26213 23681 0 -1 4202560 97196 0 0 0 16186 12 0 0 20 0 9 0 559227876 656617472 90315 33554432000 4194304 6211132 140732271363472 140018525948520 5250304 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26222] ppid=26210 vsize=641228 memory=361260 CPUtime=162 cores=0-7
/proc/26213/task/26222/stat : 26222 (cosoco) R 26210 26213 23681 0 -1 4202560 59047 0 0 0 16192 8 0 0 20 0 9 0 559227876 656617472 90315 33554432000 4194304 6211132 140732271363472 140018517555688 5157576 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
Current children cumulated CPU time: 1293.93 s
Current children cumulated vsize: 641228 KiB
Current children cumulated memory: 361260 KiB

[startup+222.301 s]
/proc/loadavg: 8.03 8.01 7.69 9/200 26236
/proc/meminfo: memFree=31328608/32770624 swapFree=66975632/67108860
[pid=26213] ppid=26210 vsize=641228 memory=363228 CPUtime=1773.03 cores=0-7
/proc/26213/stat : 26213 (cosoco) S 26210 26213 23681 0 -1 1077944320 663719 0 0 0 177215 88 0 0 20 0 9 0 559227851 656617472 90807 33554432000 4194304 6211132 140732271363472 140732271361728 140018599448311 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
/proc/26213/statm: 160307 90807 890 493 0 153612 0
[pid=26213/tid=26215] ppid=26210 vsize=641228 memory=363228 CPUtime=220.2 cores=0-7
/proc/26213/task/26215/stat : 26215 (cosoco) R 26210 26213 23681 0 -1 4202560 59019 0 0 0 22012 8 0 0 20 0 9 0 559227876 656617472 90807 33554432000 4194304 6211132 140732271363472 140018576304744 5157576 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26216] ppid=26210 vsize=641228 memory=363168 CPUtime=221.94 cores=0-7
/proc/26213/task/26216/stat : 26216 (cosoco) R 26210 26213 23681 0 -1 4202560 71974 0 0 0 22186 8 0 0 20 0 9 0 559227876 656617472 90807 33554432000 4194304 6211132 140732271363472 140018567911912 5250256 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26217] ppid=26210 vsize=641228 memory=362552 CPUtime=221.96 cores=0-7
/proc/26213/task/26217/stat : 26217 (cosoco) R 26210 26213 23681 0 -1 4202560 103485 0 0 0 22184 12 0 0 20 0 9 0 559227876 656617472 90807 33554432000 4194304 6211132 140732271363472 140018559519208 5380299 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26218] ppid=26210 vsize=641228 memory=362288 CPUtime=220.75 cores=0-7
/proc/26213/task/26218/stat : 26218 (cosoco) R 26210 26213 23681 0 -1 4202560 92224 0 0 0 22062 13 0 0 20 0 9 0 559227876 656617472 90807 33554432000 4194304 6211132 140732271363472 140018551126632 5156264 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26219] ppid=26210 vsize=641228 memory=363168 CPUtime=221.94 cores=0-7
/proc/26213/task/26219/stat : 26219 (cosoco) R 26210 26213 23681 0 -1 4202560 62875 0 0 0 22185 9 0 0 20 0 9 0 559227876 656617472 90807 33554432000 4194304 6211132 140732271363472 140018542733800 5250321 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26220] ppid=26210 vsize=641228 memory=363212 CPUtime=221.98 cores=0-7
/proc/26213/task/26220/stat : 26220 (cosoco) R 26210 26213 23681 0 -1 4202560 97469 0 0 0 22185 13 0 0 20 0 9 0 559227876 656617472 90807 33554432000 4194304 6211132 140732271363472 140018534341224 5250273 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26221] ppid=26210 vsize=641228 memory=3620 CPUtime=221.97 cores=0-7
/proc/26213/task/26221/stat : 26221 (cosoco) R 26210 26213 23681 0 -1 4202560 104990 0 0 0 22185 12 0 0 20 0 9 0 559227876 656617472 90807 33554432000 4194304 6211132 140732271363472 140018525948392 5250304 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26222] ppid=26210 vsize=641228 memory=363212 CPUtime=221.97 cores=0-7
/proc/26213/task/26222/stat : 26222 (cosoco) R 26210 26213 23681 0 -1 4202560 64510 0 0 0 22188 9 0 0 20 0 9 0 559227876 656617472 90807 33554432000 4194304 6211132 140732271363472 140018517555688 5250304 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
Current children cumulated CPU time: 1773.03 s
Current children cumulated vsize: 641228 KiB
Current children cumulated memory: 363228 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.09 8.03 7.70 9/201 26247
/proc/meminfo: memFree=31327184/32770624 swapFree=66975632/67108860
[pid=26213] ppid=26210 vsize=641228 memory=363596 CPUtime=2010.21 cores=0-7
/proc/26213/stat : 26213 (cosoco) S 26210 26213 23681 0 -1 1077944320 672116 0 0 0 200932 89 0 0 20 0 9 0 559227851 656617472 90899 33554432000 4194304 6211132 140732271363472 140732271361728 140018599448311 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
/proc/26213/statm: 160307 90899 890 493 0 153612 0
[pid=26213/tid=26215] ppid=26210 vsize=641228 memory=4004 CPUtime=249.91 cores=0-7
/proc/26213/task/26215/stat : 26215 (cosoco) R 26210 26213 23681 0 -1 4202560 62622 0 0 0 24982 9 0 0 20 0 9 0 559227876 656617472 90899 33554432000 4194304 6211132 140732271363472 140018576304616 5157594 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26216] ppid=26210 vsize=641228 memory=1724 CPUtime=251.63 cores=0-7
/proc/26213/task/26216/stat : 26216 (cosoco) R 26210 26213 23681 0 -1 4202560 72699 0 0 0 25155 8 0 0 20 0 9 0 559227876 656617472 90899 33554432000 4194304 6211132 140732271363472 140018567911912 5156264 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26217] ppid=26210 vsize=641228 memory=363596 CPUtime=251.66 cores=0-7
/proc/26213/task/26217/stat : 26217 (cosoco) R 26210 26213 23681 0 -1 4202560 103738 0 0 0 25154 12 0 0 20 0 9 0 559227876 656617472 90899 33554432000 4194304 6211132 140732271363472 140018559519208 5250499 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26218] ppid=26210 vsize=641228 memory=4872558044660077418 CPUtime=250.04 cores=0-7
/proc/26213/task/26218/stat : 26218 (cosoco) R 26210 26213 23681 0 -1 4202560 92235 0 0 0 24991 13 0 0 20 0 9 0 559227876 656617472 90899 33554432000 4194304 6211132 140732271363472 140018551126504 5397258 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26219] ppid=26210 vsize=641228 memory=12040 CPUtime=251.64 cores=0-7
/proc/26213/task/26219/stat : 26219 (cosoco) R 26210 26213 23681 0 -1 4202560 62878 0 0 0 25155 9 0 0 20 0 9 0 559227876 656617472 90899 33554432000 4194304 6211132 140732271363472 140018542733800 5250304 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26220] ppid=26210 vsize=641228 memory=6664 CPUtime=251.68 cores=0-7
/proc/26213/task/26220/stat : 26220 (cosoco) R 26210 26213 23681 0 -1 4202560 97575 0 0 0 25155 13 0 0 20 0 9 0 559227876 656617472 90899 33554432000 4194304 6211132 140732271363472 140018534341224 5155832 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26221] ppid=26210 vsize=641228 memory=2120 CPUtime=251.67 cores=0-7
/proc/26213/task/26221/stat : 26221 (cosoco) R 26210 26213 23681 0 -1 4202560 108654 0 0 0 25154 13 0 0 20 0 9 0 559227876 656617472 90899 33554432000 4194304 6211132 140732271363472 140018525948392 5156006 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
[pid=26213/tid=26222] ppid=26210 vsize=641228 memory=6935054825532540783 CPUtime=251.66 cores=0-7
/proc/26213/task/26222/stat : 26222 (cosoco) R 26210 26213 23681 0 -1 4202560 64542 0 0 0 25157 9 0 0 20 0 9 0 559227876 656617472 90899 33554432000 4194304 6211132 140732271363472 140018517555688 5409493 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36806656 140732271371286 140732271371378 140732271371378 140732271374286 0
Current children cumulated CPU time: 2010.21 s
Current children cumulated vsize: 641228 KiB
Current children cumulated memory: 363596 KiB

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

[startup+252.038 s]
# the end of solver process 26213 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2009.43 s, system=0.912442 s

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

Child status: 1
Real time (s): 252.039
CPU time (s): 2010.34
CPU user time (s): 2009.43
CPU system time (s): 0.912442
CPU usage (%): 797.631
Max. virtual memory (cumulated for all children) (KiB): 641228
Max. memory (cumulated for all children) (KiB): 363596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2009.43
system time used= 0.912442
maximum resident set size= 363764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 672228
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= 5701
involuntary context switches= 16847


# summary of solver processes directly reported to runsolver:
#   pid: 26213
#   total CPU time (s): 2010.34
#   total CPU user time (s): 2009.43
#   total CPU system time (s): 0.912442

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.13796 second user time and 2.2594 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-30 09:46:08
IDJOB=4410017
IDBENCH=133715
IDSOLVER=2878
FILE ID=node125/4410017-1569829611
RUNJOBID= node125-1569817883-23708
PBS_JOBID= 21705920
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0 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-4410017-1569829611/watcher-4410017-1569829611 -o /tmp/evaluation-result-4410017-1569829611/solver-4410017-1569829611 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569817883-23708 --watchdog 312  cosoco -model -nbcores=8 HOME/instance-4410017-1569829611.xml

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

MD5SUM BENCH= 1feceec156c21411e87c939d9e284415
RANDOM SEED=621982690

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31685084 kB
MemAvailable:   31845808 kB
Buffers:          108520 kB
Cached:           391536 kB
SwapCached:        29876 kB
Active:           367048 kB
Inactive:         169712 kB
Active(anon):       6008 kB
Inactive(anon):   111328 kB
Active(file):     361040 kB
Inactive(file):    58384 kB
Unevictable:      106456 kB
Mlocked:          106456 kB
SwapTotal:      67108860 kB
SwapFree:       66975632 kB
Dirty:              2904 kB
Writeback:             0 kB
AnonPages:        114288 kB
Mapped:            26672 kB
Shmem:             72012 kB
Slab:             143668 kB
SReclaimable:     114268 kB
SUnreclaim:        29400 kB
KernelStack:        3552 kB
PageTables:         5040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     539836 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:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 62028 MiB
End job on node125 at 2019-09-30 09:50:20