Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.O parallel | SAT (TO) | 14 | 2010.39 | 252.034 |
Name | BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml |
MD5SUM | 1feceec156c21411e87c939d9e284415 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 14 |
Best CPU time to get the best result obtained on this benchmark | 2003.34 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3001 |
Number of constraints | 54 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":3001}] |
Minimum variable degree | 2 |
Maximum variable degree | 9 |
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 arity | 139 |
Maximum constraint arity | 479 |
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 constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"count","count":54}] |
Optimization problem | YES |
Type of objective | min SUM |
7.73/1.22 c 7.73/1.22 c This is cosoco 2.00 -- 7.73/1.22 c 7.73/1.22 c command line: cosoco -model -nbcores=8 HOME/instance-4398757-1568609281.xml 7.73/1.22 c enable optimization 7.73/1.22 c ========================================[ Problem Statistics ]=========================================== 7.73/1.22 c | 7.73/1.22 c | Parse time : 0.24 s 7.73/1.22 c | 7.73/1.22 c | Variables: 3001 7.73/1.22 c | Domain Sizes: 2..2 7.73/1.22 c | 7.73/1.22 c | Constraints: 55 7.73/1.22 c | Arity: 139..3001 7.73/1.22 c | 7.73/1.22 c | Types: 7.73/1.22 c | Exactly K: 54 7.73/1.22 c | Sum: 1 7.73/1.22 c | 7.73/1.22 c | Objective: Minimize Sum 7.73/1.22 7.73/1.22 c ========================================================================================================= 7.73/1.22 c Parallel mode: Portfolio 7.73/1.22 c [pFactory][Group N°0] created (threads:8). 7.73/1.22 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 7.73/1.22 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 7.73/1.22 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 7.73/1.22 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 7.73/1.22 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 7.73/1.22 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 7.73/1.22 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 7.73/1.22 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 7.73/1.22 c [pFactory][Group N°0] concurrent mode: enabled. 7.73/1.22 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 7.73/1.22 c [pFactory][Group N°0] task 7 launched on thread 0. 7.73/1.22 c [pFactory][Group N°0] task 6 launched on thread 2. 7.73/1.22 c [pFactory][Group N°0] task 5 launched on thread 6. 7.73/1.22 c [pFactory][Group N°0] task 4 launched on thread 7. 7.73/1.22 c [pFactory][Group N°0] task 3 launched on thread 1. 7.73/1.22 c [pFactory][Group N°0] task 2 launched on thread 4. 7.73/1.22 c [pFactory][Group N°0] task 1 launched on thread 3. 7.73/1.22 c [pFactory][Group N°0] task 0 launched on thread 5. 7.73/1.22 o 19 8.48/1.36 o 18 20.39/2.84 o 17 39.54/5.25 o 16 76.28/9.82 o 15 203.24/25.72 o 14 2010.26/252.02 2010.26/252.02 c *** INTERRUPTED *** 2010.26/252.02 c call to solver : 4 2010.26/252.02 c 2010.26/252.02 c restarts : 252 2010.26/252.02 c conflicts : 2139 (1 /sec) 2010.26/252.02 c decisions : 765277 (381 /sec) 2010.26/252.02 c propagations : 1611500 (802 /sec) 2010.26/252.02 c root propagations : 6011 2010.26/252.02 c filter calls : 4400317 (2190 /sec) 2010.26/252.02 c useless filter calls : 4368371 (99 %) 2010.26/252.02 c Memory used : 626.20 MB 2010.26/252.02 c Best bound time (wc) : 25.7212 s 2010.26/252.02 c CPU time : 2009.45 s 2010.26/252.02 c real time : 252.02 s 2010.26/252.02 2010.26/252.02 s SATISFIABLE 2010.26/252.02 c Best value found: 14 2010.26/252.02 2010.26/252.02 2010.26/252.02 v <instantiation type='solution' cost='14'> 2010.26/252.02 v <list>x[0] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[100] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[101] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[102] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[103] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[104] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[105] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[106] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[107] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[108] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[109] x[10] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[110] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[111] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[112] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[113] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[114] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[115] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[116] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[117] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[118] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[119] x[11] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[120] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[121] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[122] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[123] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[124] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[125] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[126] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[127] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[128] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[129] x[12] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[130] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[131] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[132] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[133] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[134] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[135] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[136] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[137] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[138] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[139] x[13] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[140] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[141] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[142] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[143] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[144] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[145] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[146] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[147] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[148] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[149] x[14] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[150] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[151] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[152] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[153] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[154] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[155] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[156] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[157] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[158] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[159] x[15] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[160] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[161] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[162] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[163] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[164] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[165] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[166] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[167] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[168] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[169] x[16] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[170] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[171] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[172] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[173] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[174] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[175] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[176] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[177] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[178] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[179] x[17] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[180] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[181] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[182] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[183] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[184] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[185] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[186] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[187] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[188] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[189] x[18] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[190] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[191] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[192] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[193] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[194] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[195] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[196] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[197] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[198] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[199] x[19] x[1] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[200] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[201] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[202] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[203] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[204] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[205] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[206] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[207] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[208] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[209] x[20] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[210] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[211] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[212] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[213] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[214] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[215] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[216] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[217] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[218] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[219] x[21] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[220] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[221] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[222] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[223] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[224] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[225] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[226] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[227] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[228] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[229] x[22] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[230] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[231] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[232] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[233] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[234] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[235] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] x[2368] x[2369] x[236] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[237] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[238] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[239] x[23] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[240] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[241] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[242] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[243] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[244] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[245] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[246] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[247] x[2480] x[2481] x[2482] x[2483] x[2484] x[2485] x[2486] x[2487] x[2488] x[2489] x[248] x[2490] x[2491] x[2492] x[2493] x[2494] x[2495] x[2496] x[2497] x[2498] x[2499] x[249] x[24] x[2500] x[2501] x[2502] x[2503] x[2504] x[2505] x[2506] x[2507] x[2508] x[2509] x[250] x[2510] x[2511] x[2512] x[2513] x[2514] x[2515] x[2516] x[2517] x[2518] x[2519] x[251] x[2520] x[2521] x[2522] x[2523] x[2524] x[2525] x[2526] x[2527] x[2528] x[2529] x[252] x[2530] x[2531] x[2532] x[2533] x[2534] x[2535] x[2536] x[2537] x[2538] x[2539] x[253] x[2540] x[2541] x[2542] x[2543] x[2544] x[2545] x[2546] x[2547] x[2548] x[2549] x[254] x[2550] x[2551] x[2552] x[2553] x[2554] x[2555] x[2556] x[2557] x[2558] x[2559] x[255] x[2560] x[2561] x[2562] x[2563] x[2564] x[2565] x[2566] x[2567] x[2568] x[2569] x[256] x[2570] x[2571] x[2572] x[2573] x[2574] x[2575] x[2576] x[2577] x[2578] x[2579] x[257] x[2580] x[2581] x[2582] x[2583] x[2584] x[2585] x[2586] x[2587] x[2588] x[2589] x[258] x[2590] x[2591] x[2592] x[2593] x[2594] x[2595] x[2596] x[2597] x[2598] x[2599] x[259] x[25] x[2600] x[2601] x[2602] x[2603] x[2604] x[2605] x[2606] x[2607] x[2608] x[2609] x[260] x[2610] x[2611] x[2612] x[2613] x[2614] x[2615] x[2616] x[2617] x[2618] x[2619] x[261] x[2620] x[2621] x[2622] x[2623] x[2624] x[2625] x[2626] x[2627] x[2628] x[2629] x[262] x[2630] x[2631] x[2632] x[2633] x[2634] x[2635] x[2636] x[2637] x[2638] x[2639] x[263] x[2640] x[2641] x[2642] x[2643] x[2644] x[2645] x[2646] x[2647] x[2648] x[2649] x[264] x[2650] x[2651] x[2652] x[2653] x[2654] x[2655] x[2656] x[2657] x[2658] x[2659] x[265] x[2660] x[2661] x[2662] x[2663] x[2664] x[2665] x[2666] x[2667] x[2668] x[2669] x[266] x[2670] x[2671] x[2672] x[2673] x[2674] x[2675] x[2676] x[2677] x[2678] x[2679] x[267] x[2680] x[2681] x[2682] x[2683] x[2684] x[2685] x[2686] x[2687] x[2688] x[2689] x[268] x[2690] x[2691] x[2692] x[2693] x[2694] x[2695] x[2696] x[2697] x[2698] x[2699] x[269] x[26] x[2700] x[2701] x[2702] x[2703] x[2704] x[2705] x[2706] x[2707] x[2708] x[2709] x[270] x[2710] x[2711] x[2712] x[2713] x[2714] x[2715] x[2716] x[2717] x[2718] x[2719] x[271] x[2720] x[2721] x[2722] x[2723] x[2724] x[2725] x[2726] x[2727] x[2728] x[2729] x[272] x[2730] x[2731] x[2732] x[2733] x[2734] x[2735] x[2736] x[2737] x[2738] x[2739] x[273] x[2740] x[2741] x[2742] x[2743] x[2744] x[2745] x[2746] x[2747] x[2748] x[2749] x[274] x[2750] x[2751] x[2752] x[2753] x[2754] x[2755] x[2756] x[2757] x[2758] x[2759] x[275] x[2760] x[2761] x[2762] x[2763] x[2764] x[2765] x[2766] x[2767] x[2768] x[2769] x[276] x[2770] x[2771] x[2772] x[2773] x[2774] x[2775] x[2776] x[2777] x[2778] x[2779] x[277] x[2780] x[2781] x[2782] x[2783] x[2784] x[2785] x[2786] x[2787] x[2788] x[2789] x[278] x[2790] x[2791] x[2792] x[2793] x[2794] x[2795] x[2796] x[2797] x[2798] x[2799] x[279] x[27] x[2800] x[2801] x[2802] x[2803] x[2804] x[2805] x[2806] x[2807] x[2808] x[2809] x[280] x[2810] x[2811] x[2812] x[2813] x[2814] x[2815] x[2816] x[2817] x[2818] x[2819] x[281] x[2820] x[2821] x[2822] x[2823] x[2824] x[2825] x[2826] x[2827] x[2828] x[2829] x[282] x[2830] x[2831] x[2832] x[2833] x[2834] x[2835] x[2836] x[2837] x[2838] x[2839] x[283] x[2840] x[2841] x[2842] x[2843] x[2844] x[2845] x[2846] x[2847] x[2848] x[2849] x[284] x[2850] x[2851] x[2852] x[2853] x[2854] x[2855] x[2856] x[2857] x[2858] x[2859] x[285] x[2860] x[2861] x[2862] x[2863] x[2864] x[2865] x[2866] x[2867] x[2868] x[2869] x[286] x[2870] x[2871] x[2872] x[2873] x[2874] x[2875] x[2876] x[2877] x[2878] x[2879] x[287] x[2880] x[2881] x[2882] x[2883] x[2884] x[2885] x[2886] x[2887] x[2888] x[2889] x[288] x[2890] x[2891] x[2892] x[2893] x[2894] x[2895] x[2896] x[2897] x[2898] x[2899] x[289] x[28] x[2900] x[2901] x[2902] x[2903] x[2904] x[2905] x[2906] x[2907] x[2908] x[2909] x[290] x[2910] x[2911] x[2912] x[2913] x[2914] x[2915] x[2916] x[2917] x[2918] x[2919] x[291] x[2920] x[2921] x[2922] x[2923] x[2924] x[2925] x[2926] x[2927] x[2928] x[2929] x[292] x[2930] x[2931] x[2932] x[2933] x[2934] x[2935] x[2936] x[2937] x[2938] x[2939] x[293] x[2940] x[2941] x[2942] x[2943] x[2944] x[2945] x[2946] x[2947] x[2948] x[2949] x[294] x[2950] x[2951] x[2952] x[2953] x[2954] x[2955] x[2956] x[2957] x[2958] x[2959] x[295] x[2960] x[2961] x[2962] x[2963] x[2964] x[2965] x[2966] x[2967] x[2968] x[2969] x[296] x[2970] x[2971] x[2972] x[2973] x[2974] x[2975] x[2976] x[2977] x[2978] x[2979] x[297] x[2980] x[2981] x[2982] x[2983] x[2984] x[2985] x[2986] x[2987] x[2988] x[2989] x[298] x[2990] x[2991] x[2992] x[2993] x[2994] x[2995] x[2996] x[2997] x[2998] x[2999] x[299] x[29] x[2] x[3000] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[30] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[31] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[32] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[33] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[34] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[35] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[36] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[37] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[38] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[39] x[3] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[40] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[41] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[42] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[43] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[44] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[45] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[46] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[47] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[48] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[49] x[4] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[50] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[51] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[52] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[53] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[54] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[55] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[56] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[57] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[58] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[59] x[5] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[60] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[61] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[62] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[63] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[64] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[65] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[66] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[67] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[68] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[69] x[6] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[70] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[71] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[72] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[73] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[74] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[75] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[76] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[77] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[78] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[79] x[7] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[80] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[81] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[82] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[83] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[84] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[85] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[86] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[87] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[88] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[89] x[8] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[90] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[91] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[92] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[93] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[94] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[95] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[96] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[97] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[98] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[99] x[9] </list> 2010.26/252.02 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 2010.26/252.02 v </instantiation> 2010.26/252.02
OK 14
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15314 MiB free) memory of node 1: 16384 MiB (15424 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398757-1568609281/watcher-4398757-1568609281 -o /tmp/evaluation-result-4398757-1568609281/solver-4398757-1568609281 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568597211-7653 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398757-1568609281.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=9819, runsolver pid=9816 Current StackSize limit: 8192 KiB [startup+0.100161 s]* /proc/loadavg: 8.09 6.82 6.43 2/192 9820 /proc/meminfo: memFree=31455196/32770624 swapFree=66998868/67108860 [pid=9819] ppid=9816 vsize=48280 memory=24592 CPUtime=0.1 cores=0-7 /proc/9819/stat : 9819 (cosoco) R 9816 9819 7626 0 -1 4202496 6333 0 0 0 10 0 0 0 20 0 1 0 437179518 49438720 6148 33554432000 4194304 6211092 140722396289184 140722396285720 5519020 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 /proc/9819/statm: 12070 6148 835 493 0 5375 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 48280 KiB Current children cumulated memory: 24592 KiB [startup+0.209235 s]* /proc/loadavg: 8.09 6.82 6.43 2/192 9820 /proc/meminfo: memFree=31454540/32770624 swapFree=66998868/67108860 [pid=9819] ppid=9816 vsize=48692 memory=25120 CPUtime=0.21 cores=0-7 /proc/9819/stat : 9819 (cosoco) R 9816 9819 7626 0 -1 4202496 6449 0 0 0 21 0 0 0 20 0 1 0 437179518 49860608 6280 33554432000 4194304 6211092 140722396289184 140722396285720 5188671 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 /proc/9819/statm: 12173 6280 841 493 0 5478 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 48692 KiB Current children cumulated memory: 25120 KiB [startup+0.309081 s]* /proc/loadavg: 8.09 6.82 6.43 9/200 9828 /proc/meminfo: memFree=31451268/32770624 swapFree=66998868/67108860 [pid=9819] ppid=9816 vsize=641228 memory=28024 CPUtime=0.73 cores=0-7 /proc/9819/stat : 9819 (cosoco) S 9816 9819 7626 0 -1 1077944320 7234 0 0 0 73 0 0 0 20 0 9 0 437179518 656617472 7006 33554432000 4194304 6211092 140722396289184 140722396287440 140597221736183 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 /proc/9819/statm: 160307 7006 876 493 0 153612 0 [pid=9819/tid=9821] ppid=9816 vsize=641228 memory=8317482817917895235 CPUtime=0.06 cores=0-7 /proc/9819/task/9821/stat : 9821 (cosoco) R 9816 9819 7626 0 -1 4202560 7 0 0 0 6 0 0 0 20 0 9 0 437179543 656617472 7006 33554432000 4194304 6211092 140722396289184 140597198593632 5250272 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9822] ppid=9816 vsize=641228 memory=4126316290023845779 CPUtime=0.06 cores=0-7 /proc/9819/task/9822/stat : 9822 (cosoco) R 9816 9819 7626 0 -1 4202560 4 0 0 0 6 0 0 0 20 0 9 0 437179543 656617472 7006 33554432000 4194304 6211092 140722396289184 140597190200832 5155804 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9823] ppid=9816 vsize=641228 memory=0 CPUtime=0.06 cores=0-7 /proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 7 0 0 0 6 0 0 0 20 0 9 0 437179543 656617472 7006 33554432000 4194304 6211092 140722396289184 140597181808224 5250289 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9824] ppid=9816 vsize=641228 memory=6944656592455097440 CPUtime=0.05 cores=0-7 /proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 13 0 0 0 5 0 0 0 20 0 9 0 437179543 656617472 7006 33554432000 4194304 6211092 140722396289184 140597173415096 5397223 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9825] ppid=9816 vsize=641228 memory=6656426216303648864 CPUtime=0.06 cores=0-7 /proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 4 0 0 0 6 0 0 0 20 0 9 0 437179543 656617472 7006 33554432000 4194304 6211092 140722396289184 140597165022392 5250272 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9826] ppid=9816 vsize=641228 memory=0 CPUtime=0.06 cores=0-7 /proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 5 0 0 0 6 0 0 0 20 0 9 0 437179543 656617472 7006 33554432000 4194304 6211092 140722396289184 140597156630112 5136311 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9827] ppid=9816 vsize=641228 memory=0 CPUtime=0.06 cores=0-7 /proc/9819/task/9827/stat : 9827 (cosoco) R 9816 9819 7626 0 -1 4202560 8 0 0 0 6 0 0 0 20 0 9 0 437179543 656617472 7006 33554432000 4194304 6211092 140722396289184 140597148237408 5250224 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9828] ppid=9816 vsize=641228 memory=0 CPUtime=0.06 cores=0-7 /proc/9819/task/9828/stat : 9828 (cosoco) R 9816 9819 7626 0 -1 4202560 13 0 0 0 6 0 0 0 20 0 9 0 437179543 656617472 7006 33554432000 4194304 6211092 140722396289184 140597139844280 5155800 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 Current children cumulated CPU time: 0.73 s Current children cumulated vsize: 641228 KiB Current children cumulated memory: 28024 KiB [startup+0.702184 s] /proc/loadavg: 8.09 6.82 6.43 10/200 9828 /proc/meminfo: memFree=31445272/32770624 swapFree=66998868/67108860 [pid=9819] ppid=9816 vsize=641228 memory=58880 CPUtime=3.76 cores=0-7 /proc/9819/stat : 9819 (cosoco) S 9816 9819 7626 0 -1 1077944320 15077 0 0 0 373 3 0 0 20 0 9 0 437179518 656617472 14720 33554432000 4194304 6211092 140722396289184 140722396287440 140597221736183 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 /proc/9819/statm: 160307 14720 883 493 0 153612 0 [pid=9819/tid=9821] ppid=9816 vsize=641228 memory=1764 CPUtime=0.44 cores=0-7 /proc/9819/task/9821/stat : 9821 (cosoco) R 9816 9819 7626 0 -1 4202560 795 0 0 0 44 0 0 0 20 0 9 0 437179543 656617472 14720 33554432000 4194304 6211092 140722396289184 140597198592776 5185143 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9822] ppid=9816 vsize=641228 memory=111632 CPUtime=0.43 cores=0-7 /proc/9819/task/9822/stat : 9822 (cosoco) D 9816 9819 7626 0 -1 4202560 1142 0 0 0 43 0 0 0 20 0 9 0 437179543 656617472 14720 33554432000 4194304 6211092 140722396289184 140597190199912 140597206171223 0 0 4096 8405026 18446744071582151463 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9823] ppid=9816 vsize=641228 memory=808 CPUtime=0.43 cores=0-7 /proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 805 0 0 0 43 0 0 0 20 0 9 0 437179543 656617472 14720 33554432000 4194304 6211092 140722396289184 140597181807368 5185143 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9824] ppid=9816 vsize=641228 memory=1804 CPUtime=0.42 cores=0-7 /proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 818 0 0 0 42 0 0 0 20 0 9 0 437179543 656617472 14720 33554432000 4194304 6211092 140722396289184 140597173414504 140597205764651 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9825] ppid=9816 vsize=641228 memory=916 CPUtime=0.43 cores=0-7 /proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 1142 0 0 0 43 0 0 0 20 0 9 0 437179543 656617472 14720 33554432000 4194304 6211092 140722396289184 140597165021800 140597206171223 0 0 4096 8405026 18446744071582151463 0 0 -1 1 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9826] ppid=9816 vsize=641228 memory=-7175204567652784766 CPUtime=0.43 cores=0-7 /proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 1282 0 0 0 43 0 0 0 20 0 9 0 437179543 656617472 14720 33554432000 4194304 6211092 140722396289184 140597156629096 140597205691198 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9827] ppid=9816 vsize=641228 memory=3054156605268465310 CPUtime=0.43 cores=0-7 /proc/9819/task/9827/stat : 9827 (cosoco) D 9816 9819 7626 0 -1 4202560 1229 0 0 0 43 0 0 0 20 0 9 0 437179543 656617472 14720 33554432000 4194304 6211092 140722396289184 140597148236392 140597206171223 0 0 4096 8405026 18446744071582151463 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9828] ppid=9816 vsize=641228 memory=1408 CPUtime=0.43 cores=0-7 /proc/9819/task/9828/stat : 9828 (cosoco) R 9816 9819 7626 0 -1 4202560 691 0 0 0 43 0 0 0 20 0 9 0 437179543 656617472 14720 33554432000 4194304 6211092 140722396289184 140597139843688 5155804 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 Current children cumulated CPU time: 3.76 s Current children cumulated vsize: 641228 KiB Current children cumulated memory: 58880 KiB [startup+1.50109 s] /proc/loadavg: 8.09 6.82 6.43 7/200 9828 /proc/meminfo: memFree=31357744/32770624 swapFree=66998868/67108860 [pid=9819] ppid=9816 vsize=641228 memory=204280 CPUtime=10.08 cores=0-7 /proc/9819/stat : 9819 (cosoco) S 9816 9819 7626 0 -1 1077944320 69840 0 0 0 992 16 0 0 20 0 9 0 437179518 656617472 51070 33554432000 4194304 6211092 140722396289184 140722396287440 140597221736183 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 /proc/9819/statm: 160307 51070 886 493 0 153612 0 [pid=9819/tid=9821] ppid=9816 vsize=641228 memory=292576655 CPUtime=1.22 cores=0-7 /proc/9819/task/9821/stat : 9821 (cosoco) R 9816 9819 7626 0 -1 4202560 5600 0 0 0 121 1 0 0 20 0 9 0 437179543 656617472 51070 33554432000 4194304 6211092 140722396289184 140597198592488 5155800 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9822] ppid=9816 vsize=641228 memory=0 CPUtime=1.22 cores=0-7 /proc/9819/task/9822/stat : 9822 (cosoco) R 9816 9819 7626 0 -1 4202560 6202 0 0 0 121 1 0 0 20 0 9 0 437179543 656617472 51070 33554432000 4194304 6211092 140722396289184 140597190199784 5397226 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9823] ppid=9816 vsize=641228 memory=0 CPUtime=1.22 cores=0-7 /proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 5642 0 0 0 121 1 0 0 20 0 9 0 437179543 656617472 51070 33554432000 4194304 6211092 140722396289184 140597181807208 5156144 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9824] ppid=9816 vsize=641228 memory=182548995001530 CPUtime=1.21 cores=0-7 /proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 11636 0 0 0 120 1 0 0 20 0 9 0 437179543 656617472 51070 33554432000 4194304 6211092 140722396289184 140597173414376 5136311 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9825] ppid=9816 vsize=641228 memory=280779460924448 CPUtime=1.22 cores=0-7 /proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 6275 0 0 0 121 1 0 0 20 0 9 0 437179543 656617472 51070 33554432000 4194304 6211092 140722396289184 140597165021800 5156232 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9826] ppid=9816 vsize=641228 memory=182549129212177 CPUtime=1.21 cores=0-7 /proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 7565 0 0 0 120 1 0 0 20 0 9 0 437179543 656617472 51070 33554432000 4194304 6211092 140722396289184 140597156629776 5155804 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9827] ppid=9816 vsize=641228 memory=182548995001533 CPUtime=1.23 cores=0-7 /proc/9819/task/9827/stat : 9827 (cosoco) R 9816 9819 7626 0 -1 4202560 9851 0 0 0 120 3 0 0 20 0 9 0 437179543 656617472 51070 33554432000 4194304 6211092 140722396289184 140597148237072 5250450 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9828] ppid=9816 vsize=641228 memory=182548995001534 CPUtime=1.23 cores=0-7 /proc/9819/task/9828/stat : 9828 (cosoco) R 9816 9819 7626 0 -1 4202560 9896 0 0 0 121 2 0 0 20 0 9 0 437179543 656617472 51070 33554432000 4194304 6211092 140722396289184 140597139843720 5155800 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 Current children cumulated CPU time: 10.08 s Current children cumulated vsize: 641228 KiB Current children cumulated memory: 204280 KiB [startup+3.11008 s] /proc/loadavg: 8.09 6.82 6.43 9/200 9828 /proc/meminfo: memFree=31221656/32770624 swapFree=66998868/67108860 [pid=9819] ppid=9816 vsize=641228 memory=262228 CPUtime=22.85 cores=0-7 /proc/9819/stat : 9819 (cosoco) S 9816 9819 7626 0 -1 1077944320 104685 0 0 0 2261 24 0 0 20 0 9 0 437179518 656617472 65557 33554432000 4194304 6211092 140722396289184 140722396287440 140597221736183 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 /proc/9819/statm: 160307 65557 886 493 0 153612 0 [pid=9819/tid=9821] ppid=9816 vsize=641228 memory=33 CPUtime=2.83 cores=0-7 /proc/9819/task/9821/stat : 9821 (cosoco) R 9816 9819 7626 0 -1 4202560 8594 0 0 0 280 3 0 0 20 0 9 0 437179543 656617472 65557 33554432000 4194304 6211092 140722396289184 140597198592616 140597205691198 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9822] ppid=9816 vsize=641228 memory=0 CPUtime=2.8 cores=0-7 /proc/9819/task/9822/stat : 9822 (cosoco) R 9816 9819 7626 0 -1 4202560 11900 0 0 0 278 2 0 0 20 0 9 0 437179543 656617472 65557 33554432000 4194304 6211092 140722396289184 140597190199912 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9823] ppid=9816 vsize=641228 memory=7451609539861307712 CPUtime=2.83 cores=0-7 /proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 9253 0 0 0 281 2 0 0 20 0 9 0 437179543 656617472 65557 33554432000 4194304 6211092 140722396289184 140597181807208 140597205764651 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9824] ppid=9816 vsize=641228 memory=78416 CPUtime=2.8 cores=0-7 /proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 15400 0 0 0 278 2 0 0 20 0 9 0 437179543 656617472 65557 33554432000 4194304 6211092 140722396289184 140597173414376 5155800 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9825] ppid=9816 vsize=641228 memory=28024 CPUtime=2.8 cores=0-7 /proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 12164 0 0 0 278 2 0 0 20 0 9 0 437179543 656617472 65557 33554432000 4194304 6211092 140722396289184 140597165021800 5250260 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9826] ppid=9816 vsize=641228 memory=55 CPUtime=2.8 cores=0-7 /proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 13742 0 0 0 278 2 0 0 20 0 9 0 437179543 656617472 65557 33554432000 4194304 6211092 140722396289184 140597156628968 5155804 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9827] ppid=9816 vsize=641228 memory=0 CPUtime=2.82 cores=0-7 /proc/9819/task/9827/stat : 9827 (cosoco) R 9816 9819 7626 0 -1 4202560 13062 0 0 0 279 3 0 0 20 0 9 0 437179543 656617472 65557 33554432000 4194304 6211092 140722396289184 140597148237072 5155804 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9828] ppid=9816 vsize=641228 memory=3539886705949093937 CPUtime=2.81 cores=0-7 /proc/9819/task/9828/stat : 9828 (cosoco) R 9816 9819 7626 0 -1 4202560 13400 0 0 0 279 2 0 0 20 0 9 0 437179543 656617472 65557 33554432000 4194304 6211092 140722396289184 140597139843560 5155800 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 Current children cumulated CPU time: 22.85 s Current children cumulated vsize: 641228 KiB Current children cumulated memory: 262228 KiB [startup+6.30108 s] /proc/loadavg: 8.16 6.86 6.44 9/199 9829 /proc/meminfo: memFree=31174692/32770624 swapFree=66998868/67108860 [pid=9819] ppid=9816 vsize=641228 memory=306960 CPUtime=48.32 cores=0-7 /proc/9819/stat : 9819 (cosoco) S 9816 9819 7626 0 -1 1077944320 200572 0 0 0 4795 37 0 0 20 0 9 0 437179518 656617472 76740 33554432000 4194304 6211092 140722396289184 140722396287440 140597221736183 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 /proc/9819/statm: 160307 76740 886 493 0 153612 0 [pid=9819/tid=9821] ppid=9816 vsize=641228 memory=0 CPUtime=6.02 cores=0-7 /proc/9819/task/9821/stat : 9821 (cosoco) R 9816 9819 7626 0 -1 4202560 19003 0 0 0 596 6 0 0 20 0 9 0 437179543 656617472 76740 33554432000 4194304 6211092 140722396289184 140597198592488 5186224 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9822] ppid=9816 vsize=641228 memory=164 CPUtime=5.99 cores=0-7 /proc/9819/task/9822/stat : 9822 (cosoco) R 9816 9819 7626 0 -1 4202560 21651 0 0 0 594 5 0 0 20 0 9 0 437179543 656617472 76740 33554432000 4194304 6211092 140722396289184 140597190199784 5250224 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9823] ppid=9816 vsize=641228 memory=140394141656703 CPUtime=6.01 cores=0-7 /proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 18983 0 0 0 598 3 0 0 20 0 9 0 437179543 656617472 76740 33554432000 4194304 6211092 140722396289184 140597181807208 5250289 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9824] ppid=9816 vsize=641228 memory=304572 CPUtime=6 cores=0-7 /proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 29424 0 0 0 597 3 0 0 20 0 9 0 437179543 656617472 76740 33554432000 4194304 6211092 140722396289184 140597173414376 5250272 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9825] ppid=9816 vsize=641228 memory=7013340846366745708 CPUtime=5.99 cores=0-7 /proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 21868 0 0 0 596 3 0 0 20 0 9 0 437179543 656617472 76740 33554432000 4194304 6211092 140722396289184 140597165021800 5250272 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9826] ppid=9816 vsize=641228 memory=148 CPUtime=5.95 cores=0-7 /proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 28643 0 0 0 591 4 0 0 20 0 9 0 437179543 656617472 76740 33554432000 4194304 6211092 140722396289184 140597156628968 5155800 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9827] ppid=9816 vsize=641228 memory=2809143 CPUtime=6.01 cores=0-7 /proc/9819/task/9827/stat : 9827 (cosoco) R 9816 9819 7626 0 -1 4202560 27873 0 0 0 597 4 0 0 20 0 9 0 437179543 656617472 76740 33554432000 4194304 6211092 140722396289184 140597148236392 5250450 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9828] ppid=9816 vsize=641228 memory=280779460514432 CPUtime=6.01 cores=0-7 /proc/9819/task/9828/stat : 9828 (cosoco) R 9816 9819 7626 0 -1 4202560 25957 0 0 0 597 4 0 0 20 0 9 0 437179543 656617472 76740 33554432000 4194304 6211092 140722396289184 140597139844368 5250289 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 Current children cumulated CPU time: 48.32 s Current children cumulated vsize: 641228 KiB Current children cumulated memory: 306960 KiB [startup+12.7011 s] /proc/loadavg: 8.31 6.91 6.46 9/199 9829 /proc/meminfo: memFree=31159932/32770624 swapFree=66998868/67108860 [pid=9819] ppid=9816 vsize=641228 memory=322500 CPUtime=99.43 cores=0-7 /proc/9819/stat : 9819 (cosoco) S 9816 9819 7626 0 -1 1077944320 263466 0 0 0 9897 46 0 0 20 0 9 0 437179518 656617472 80625 33554432000 4194304 6211092 140722396289184 140722396287440 140597221736183 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 /proc/9819/statm: 160307 80625 886 493 0 153612 0 [pid=9819/tid=9821] ppid=9816 vsize=641228 memory=322400 CPUtime=12.43 cores=0-7 /proc/9819/task/9821/stat : 9821 (cosoco) R 9816 9819 7626 0 -1 4202560 22296 0 0 0 1236 7 0 0 20 0 9 0 437179543 656617472 80625 33554432000 4194304 6211092 140722396289184 140597198592456 5155804 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9822] ppid=9816 vsize=641228 memory=320512 CPUtime=12.38 cores=0-7 /proc/9819/task/9822/stat : 9822 (cosoco) R 9816 9819 7626 0 -1 4202560 28277 0 0 0 1232 6 0 0 20 0 9 0 437179543 656617472 80625 33554432000 4194304 6211092 140722396289184 140597190199784 5409453 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9823] ppid=9816 vsize=641228 memory=1384 CPUtime=12.41 cores=0-7 /proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 25404 0 0 0 1237 4 0 0 20 0 9 0 437179543 656617472 80625 33554432000 4194304 6211092 140722396289184 140597181807208 5157544 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9824] ppid=9816 vsize=641228 memory=776 CPUtime=12.39 cores=0-7 /proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 38316 0 0 0 1235 4 0 0 20 0 9 0 437179543 656617472 80625 33554432000 4194304 6211092 140722396289184 140597173414504 5250272 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9825] ppid=9816 vsize=641228 memory=1564 CPUtime=12.4 cores=0-7 /proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 26464 0 0 0 1236 4 0 0 20 0 9 0 437179543 656617472 80625 33554432000 4194304 6211092 140722396289184 140597165021672 5136256 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9826] ppid=9816 vsize=641228 memory=8556 CPUtime=12.27 cores=0-7 /proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 38072 0 0 0 1221 6 0 0 20 0 9 0 437179543 656617472 80625 33554432000 4194304 6211092 140722396289184 140597156628968 5155800 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9827] ppid=9816 vsize=641228 memory=266688 CPUtime=12.41 cores=0-7 /proc/9819/task/9827/stat : 9827 (cosoco) R 9816 9819 7626 0 -1 4202560 38053 0 0 0 1236 5 0 0 20 0 9 0 437179543 656617472 80625 33554432000 4194304 6211092 140722396289184 140597148236264 5250284 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 ################ # More data... # ################ /proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 44793 0 0 0 2515 6 0 0 20 0 9 0 437179543 656617472 85600 33554432000 4194304 6211092 140722396289184 140597181807208 5157544 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9824] ppid=9816 vsize=641228 memory=3632 CPUtime=25.19 cores=0-7 /proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 63282 0 0 0 2513 6 0 0 20 0 9 0 437179543 656617472 85600 33554432000 4194304 6211092 140722396289184 140597173414376 5250458 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9825] ppid=9816 vsize=641228 memory=335800 CPUtime=25.19 cores=0-7 /proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 43979 0 0 0 2514 5 0 0 20 0 9 0 437179543 656617472 85600 33554432000 4194304 6211092 140722396289184 140597165021672 5250289 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9826] ppid=9816 vsize=641228 memory=55 CPUtime=24.9 cores=0-7 /proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 61562 0 0 0 2482 8 0 0 20 0 9 0 437179543 656617472 85600 33554432000 4194304 6211092 140722396289184 140597156629096 5157540 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9827] ppid=9816 vsize=641228 memory=0 CPUtime=25.21 cores=0-7 /proc/9819/task/9827/stat : 9827 (cosoco) R 9816 9819 7626 0 -1 4202560 63512 0 0 0 2513 8 0 0 20 0 9 0 437179543 656617472 85600 33554432000 4194304 6211092 140722396289184 140597148236392 140597205688264 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9828] ppid=9816 vsize=641228 memory=2016 CPUtime=25.21 cores=0-7 /proc/9819/task/9828/stat : 9828 (cosoco) R 9816 9819 7626 0 -1 4202560 65047 0 0 0 2513 8 0 0 20 0 9 0 437179543 656617472 85600 33554432000 4194304 6211092 140722396289184 140597139843560 5250272 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 Current children cumulated CPU time: 201.64 s Current children cumulated vsize: 641228 KiB Current children cumulated memory: 342400 KiB [startup+51.1101 s] /proc/loadavg: 8.91 7.24 6.59 9/199 9831 /proc/meminfo: memFree=31133832/32770624 swapFree=66998868/67108860 [pid=9819] ppid=9816 vsize=641228 memory=348284 CPUtime=406.15 cores=0-7 /proc/9819/stat : 9819 (cosoco) S 9816 9819 7626 0 -1 1077944320 551526 0 0 0 40540 75 0 0 20 0 9 0 437179518 656617472 87071 33554432000 4194304 6211092 140722396289184 140722396287440 140597221736183 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 /proc/9819/statm: 160307 87071 890 493 0 153612 0 [pid=9819/tid=9821] ppid=9816 vsize=641228 memory=348000 CPUtime=50.84 cores=0-7 /proc/9819/task/9821/stat : 9821 (cosoco) R 9816 9819 7626 0 -1 4202560 50293 0 0 0 5074 10 0 0 20 0 9 0 437179543 656617472 87071 33554432000 4194304 6211092 140722396289184 140597198592488 5155800 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9822] ppid=9816 vsize=641228 memory=348284 CPUtime=50.78 cores=0-7 /proc/9819/task/9822/stat : 9822 (cosoco) R 9816 9819 7626 0 -1 4202560 48245 0 0 0 5068 10 0 0 20 0 9 0 437179543 656617472 87071 33554432000 4194304 6211092 140722396289184 140597190199912 5155800 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9823] ppid=9816 vsize=641228 memory=5063 CPUtime=50.82 cores=0-7 /proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 56453 0 0 0 5074 8 0 0 20 0 9 0 437179543 656617472 87071 33554432000 4194304 6211092 140722396289184 140597181807080 5250241 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9824] ppid=9816 vsize=641228 memory=348284 CPUtime=50.79 cores=0-7 /proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 82143 0 0 0 5072 7 0 0 20 0 9 0 437179543 656617472 87071 33554432000 4194304 6211092 140722396289184 140597173414504 5155804 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9825] ppid=9816 vsize=641228 memory=280779460755488 CPUtime=50.79 cores=0-7 /proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 52756 0 0 0 5073 6 0 0 20 0 9 0 437179543 656617472 87071 33554432000 4194304 6211092 140722396289184 140597165021800 5157540 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9826] ppid=9816 vsize=641228 memory=347916 CPUtime=50.16 cores=0-7 /proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 84777 0 0 0 5006 10 0 0 20 0 9 0 437179543 656617472 87071 33554432000 4194304 6211092 140722396289184 140597156628968 5155804 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9827] ppid=9816 vsize=641228 memory=280779461350592 CPUtime=50.82 cores=0-7 /proc/9819/task/9827/stat : 9827 (cosoco) R 9816 9819 7626 0 -1 4202560 84756 0 0 0 5072 10 0 0 20 0 9 0 437179543 656617472 87071 33554432000 4194304 6211092 140722396289184 140597148236392 5250272 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9828] ppid=9816 vsize=641228 memory=33 CPUtime=50.82 cores=0-7 /proc/9819/task/9828/stat : 9828 (cosoco) R 9816 9819 7626 0 -1 4202560 84930 0 0 0 5073 9 0 0 20 0 9 0 437179543 656617472 87071 33554432000 4194304 6211092 140722396289184 140597139843560 5155804 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 Current children cumulated CPU time: 406.15 s Current children cumulated vsize: 641228 KiB Current children cumulated memory: 348284 KiB [startup+102.301 s] /proc/loadavg: 8.99 7.51 6.71 9/199 9834 /proc/meminfo: memFree=31123488/32770624 swapFree=66998868/67108860 [pid=9819] ppid=9816 vsize=641228 memory=357244 CPUtime=814.85 cores=0-7 /proc/9819/stat : 9819 (cosoco) S 9816 9819 7626 0 -1 1077944320 637077 0 0 0 81399 86 0 0 20 0 9 0 437179518 656617472 89311 33554432000 4194304 6211092 140722396289184 140722396287440 140597221736183 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 /proc/9819/statm: 160307 89311 890 493 0 153612 0 [pid=9819/tid=9821] ppid=9816 vsize=641228 memory=356136 CPUtime=102.02 cores=0-7 /proc/9819/task/9821/stat : 9821 (cosoco) R 9816 9819 7626 0 -1 4202560 56928 0 0 0 10191 11 0 0 20 0 9 0 437179543 656617472 89311 33554432000 4194304 6211092 140722396289184 140597198592488 5156232 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9822] ppid=9816 vsize=641228 memory=164 CPUtime=101.96 cores=0-7 /proc/9819/task/9822/stat : 9822 (cosoco) R 9816 9819 7626 0 -1 4202560 54808 0 0 0 10184 12 0 0 20 0 9 0 437179543 656617472 89311 33554432000 4194304 6211092 140722396289184 140597190199784 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9823] ppid=9816 vsize=641228 memory=3632 CPUtime=101.99 cores=0-7 /proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 66220 0 0 0 10190 9 0 0 20 0 9 0 437179543 656617472 89311 33554432000 4194304 6211092 140722396289184 140597181807080 5250234 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9824] ppid=9816 vsize=641228 memory=29120 CPUtime=101.5 cores=0-7 /proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 95475 0 0 0 10141 9 0 0 20 0 9 0 437179543 656617472 89311 33554432000 4194304 6211092 140722396289184 140597173414376 5158000 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9825] ppid=9816 vsize=641228 memory=356052 CPUtime=101.84 cores=0-7 /proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 64332 0 0 0 10176 8 0 0 20 0 9 0 437179543 656617472 89311 33554432000 4194304 6211092 140722396289184 140597165021672 5157562 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9826] ppid=9816 vsize=641228 memory=0 CPUtime=101.25 cores=0-7 /proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 96687 0 0 0 10113 12 0 0 20 0 9 0 437179543 656617472 89311 33554432000 4194304 6211092 140722396289184 140597156628968 5409424 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9827] ppid=9816 vsize=641228 memory=4481 CPUtime=101.97 cores=0-7 /proc/9819/task/9827/stat : 9827 (cosoco) R 9816 9819 7626 0 -1 4202560 98344 0 0 0 10185 12 0 0 20 0 9 0 437179543 656617472 89311 33554432000 4194304 6211092 140722396289184 140597148236392 5157544 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9828] ppid=9816 vsize=641228 memory=4420 CPUtime=101.99 cores=0-7 /proc/9819/task/9828/stat : 9828 (cosoco) R 9816 9819 7626 0 -1 4202560 97110 0 0 0 10189 10 0 0 20 0 9 0 437179543 656617472 89311 33554432000 4194304 6211092 140722396289184 140597139843688 5156232 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 Current children cumulated CPU time: 814.85 s Current children cumulated vsize: 641228 KiB Current children cumulated memory: 357244 KiB [startup+162.301 s] /proc/loadavg: 8.93 7.77 6.85 9/199 9837 /proc/meminfo: memFree=31120308/32770624 swapFree=66998868/67108860 [pid=9819] ppid=9816 vsize=641228 memory=360724 CPUtime=1293.95 cores=0-7 /proc/9819/stat : 9819 (cosoco) S 9816 9819 7626 0 -1 1077944320 672630 0 0 0 129306 89 0 0 20 0 9 0 437179518 656617472 90181 33554432000 4194304 6211092 140722396289184 140722396287440 140597221736183 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 /proc/9819/statm: 160307 90181 890 493 0 153612 0 [pid=9819/tid=9821] ppid=9816 vsize=641228 memory=8556 CPUtime=162.02 cores=0-7 /proc/9819/task/9821/stat : 9821 (cosoco) R 9816 9819 7626 0 -1 4202560 61259 0 0 0 16191 11 0 0 20 0 9 0 437179543 656617472 90181 33554432000 4194304 6211092 140722396289184 140597198592616 5250224 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9822] ppid=9816 vsize=641228 memory=360564 CPUtime=161.96 cores=0-7 /proc/9819/task/9822/stat : 9822 (cosoco) R 9816 9819 7626 0 -1 4202560 58876 0 0 0 16184 12 0 0 20 0 9 0 437179543 656617472 90181 33554432000 4194304 6211092 140722396289184 140597190199784 5155944 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9823] ppid=9816 vsize=641228 memory=280779461372960 CPUtime=161.96 cores=0-7 /proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 70038 0 0 0 16187 9 0 0 20 0 9 0 437179543 656617472 90181 33554432000 4194304 6211092 140722396289184 140597181807080 5157540 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9824] ppid=9816 vsize=641228 memory=360564 CPUtime=160.68 cores=0-7 /proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 101968 0 0 0 16059 9 0 0 20 0 9 0 437179543 656617472 90181 33554432000 4194304 6211092 140722396289184 140597173414504 5155800 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9825] ppid=9816 vsize=641228 memory=360672 CPUtime=161.83 cores=0-7 /proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 70964 0 0 0 16175 8 0 0 20 0 9 0 437179543 656617472 90181 33554432000 4194304 6211092 140722396289184 140597165021800 5155800 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9826] ppid=9816 vsize=641228 memory=360564 CPUtime=161.23 cores=0-7 /proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 97419 0 0 0 16111 12 0 0 20 0 9 0 437179543 656617472 90181 33554432000 4194304 6211092 140722396289184 140597156629096 5155800 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9827] ppid=9816 vsize=641228 memory=360676 CPUtime=161.96 cores=0-7 /proc/9819/task/9827/stat : 9827 (cosoco) R 9816 9819 7626 0 -1 4202560 98816 0 0 0 16184 12 0 0 20 0 9 0 437179543 656617472 90181 33554432000 4194304 6211092 140722396289184 140597148236232 5156144 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9828] ppid=9816 vsize=641228 memory=4068 CPUtime=161.98 cores=0-7 /proc/9819/task/9828/stat : 9828 (cosoco) R 9816 9819 7626 0 -1 4202560 106117 0 0 0 16187 11 0 0 20 0 9 0 437179543 656617472 90181 33554432000 4194304 6211092 140722396289184 140597139843560 5155804 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 Current children cumulated CPU time: 1293.95 s Current children cumulated vsize: 641228 KiB Current children cumulated memory: 360724 KiB [startup+222.301 s] /proc/loadavg: 8.93 7.97 6.98 9/200 9848 /proc/meminfo: memFree=31117740/32770624 swapFree=66998876/67108860 [pid=9819] ppid=9816 vsize=641228 memory=363352 CPUtime=1773.04 cores=0-7 /proc/9819/stat : 9819 (cosoco) S 9816 9819 7626 0 -1 1077944320 689779 0 0 0 177213 91 0 0 20 0 9 0 437179518 656617472 90838 33554432000 4194304 6211092 140722396289184 140722396287440 140597221736183 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 /proc/9819/statm: 160307 90838 890 493 0 153612 0 [pid=9819/tid=9821] ppid=9816 vsize=641228 memory=363352 CPUtime=222 cores=0-7 /proc/9819/task/9821/stat : 9821 (cosoco) R 9816 9819 7626 0 -1 4202560 62408 0 0 0 22189 11 0 0 20 0 9 0 437179543 656617472 90838 33554432000 4194304 6211092 140722396289184 140597198592488 5155804 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9822] ppid=9816 vsize=641228 memory=363272 CPUtime=221.92 cores=0-7 /proc/9819/task/9822/stat : 9822 (cosoco) R 9816 9819 7626 0 -1 4202560 60956 0 0 0 22180 12 0 0 20 0 9 0 437179543 656617472 90838 33554432000 4194304 6211092 140722396289184 140597190199784 5250293 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9823] ppid=9816 vsize=641228 memory=362912 CPUtime=221.97 cores=0-7 /proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 74201 0 0 0 22187 10 0 0 20 0 9 0 437179543 656617472 90838 33554432000 4194304 6211092 140722396289184 140597181807080 5380270 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9824] ppid=9816 vsize=641228 memory=363212 CPUtime=219.87 cores=0-7 /proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 102214 0 0 0 21977 10 0 0 20 0 9 0 437179543 656617472 90838 33554432000 4194304 6211092 140722396289184 140597173414504 5157540 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9825] ppid=9816 vsize=641228 memory=363212 CPUtime=221.83 cores=0-7 /proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 72256 0 0 0 22174 9 0 0 20 0 9 0 437179543 656617472 90838 33554432000 4194304 6211092 140722396289184 140597165021672 5250450 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9826] ppid=9816 vsize=641228 memory=280779460971280 CPUtime=221.23 cores=0-7 /proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 98280 0 0 0 22111 12 0 0 20 0 9 0 437179543 656617472 90838 33554432000 4194304 6211092 140722396289184 140597156628968 5155800 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9827] ppid=9816 vsize=641228 memory=363352 CPUtime=221.95 cores=0-7 /proc/9819/task/9827/stat : 9827 (cosoco) R 9816 9819 7626 0 -1 4202560 99054 0 0 0 22183 12 0 0 20 0 9 0 437179543 656617472 90838 33554432000 4194304 6211092 140722396289184 140597148236264 5155804 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9828] ppid=9816 vsize=641228 memory=29148 CPUtime=221.95 cores=0-7 /proc/9819/task/9828/stat : 9828 (cosoco) R 9816 9819 7626 0 -1 4202560 113237 0 0 0 22184 11 0 0 20 0 9 0 437179543 656617472 90838 33554432000 4194304 6211092 140722396289184 140597139843688 5156232 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 Current children cumulated CPU time: 1773.04 s Current children cumulated vsize: 641228 KiB Current children cumulated memory: 363352 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.74 8.02 7.03 9/200 9851 /proc/meminfo: memFree=31115824/32770624 swapFree=66998876/67108860 [pid=9819] ppid=9816 vsize=641228 memory=364608 CPUtime=2010.26 cores=0-7 /proc/9819/stat : 9819 (cosoco) S 9816 9819 7626 0 -1 1077944320 699054 0 0 0 200934 92 0 0 20 0 9 0 437179518 656617472 91152 33554432000 4194304 6211092 140722396289184 140722396287440 140597221736183 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 /proc/9819/statm: 160307 91152 890 493 0 153612 0 [pid=9819/tid=9821] ppid=9816 vsize=641228 memory=4104 CPUtime=251.7 cores=0-7 /proc/9819/task/9821/stat : 9821 (cosoco) R 9816 9819 7626 0 -1 4202560 62518 0 0 0 25159 11 0 0 20 0 9 0 437179543 656617472 91152 33554432000 4194304 6211092 140722396289184 140597198592488 5155804 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9822] ppid=9816 vsize=641228 memory=1408 CPUtime=251.64 cores=0-7 /proc/9819/task/9822/stat : 9822 (cosoco) R 9816 9819 7626 0 -1 4202560 61478 0 0 0 25152 12 0 0 20 0 9 0 437179543 656617472 91152 33554432000 4194304 6211092 140722396289184 140597190199912 5186452 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9823] ppid=9816 vsize=641228 memory=2752 CPUtime=251.67 cores=0-7 /proc/9819/task/9823/stat : 9823 (cosoco) R 9816 9819 7626 0 -1 4202560 76987 0 0 0 25157 10 0 0 20 0 9 0 437179543 656617472 91152 33554432000 4194304 6211092 140722396289184 140597181807080 5136256 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9824] ppid=9816 vsize=641228 memory=4126316290023845779 CPUtime=249.17 cores=0-7 /proc/9819/task/9824/stat : 9824 (cosoco) R 9816 9819 7626 0 -1 4202560 102353 0 0 0 24907 10 0 0 20 0 9 0 437179543 656617472 91152 33554432000 4194304 6211092 140722396289184 140597173414504 5157544 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9825] ppid=9816 vsize=641228 memory=1616 CPUtime=251.52 cores=0-7 /proc/9819/task/9825/stat : 9825 (cosoco) R 9816 9819 7626 0 -1 4202560 76864 0 0 0 25143 9 0 0 20 0 9 0 437179543 656617472 91152 33554432000 4194304 6211092 140722396289184 140597165021672 5155807 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9826] ppid=9816 vsize=641228 memory=8317482817917895235 CPUtime=250.93 cores=0-7 /proc/9819/task/9826/stat : 9826 (cosoco) R 9816 9819 7626 0 -1 4202560 98731 0 0 0 25081 12 0 0 20 0 9 0 437179543 656617472 91152 33554432000 4194304 6211092 140722396289184 140597156628968 5155800 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9827] ppid=9816 vsize=641228 memory=4126316290023845779 CPUtime=251.65 cores=0-7 /proc/9819/task/9827/stat : 9827 (cosoco) R 9816 9819 7626 0 -1 4202560 99119 0 0 0 25153 12 0 0 20 0 9 0 437179543 656617472 91152 33554432000 4194304 6211092 140722396289184 140597148236264 5250224 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 [pid=9819/tid=9828] ppid=9816 vsize=641228 memory=12040 CPUtime=251.65 cores=0-7 /proc/9819/task/9828/stat : 9828 (cosoco) R 9816 9819 7626 0 -1 4202560 113832 0 0 0 25154 11 0 0 20 0 9 0 437179543 656617472 91152 33554432000 4194304 6211092 140722396289184 140597139843528 5156232 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32714752 140722396292118 140722396292210 140722396292210 140722396295118 0 Current children cumulated CPU time: 2010.26 s Current children cumulated vsize: 641228 KiB Current children cumulated memory: 364608 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.034 s] # the end of solver process 9819 was just reported to runsolver # cumulated CPU time of all completed processes: user=2009.46 s, system=0.930459 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.034 CPU time (s): 2010.39 CPU user time (s): 2009.46 CPU system time (s): 0.930459 CPU usage (%): 797.665 Max. virtual memory (cumulated for all children) (KiB): 641228 Max. memory (cumulated for all children) (KiB): 364608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2009.46 system time used= 0.930459 maximum resident set size= 364776 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 699116 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5036 involuntary context switches= 17770 # summary of solver processes directly reported to runsolver: # pid: 9819 # total CPU time (s): 2010.39 # total CPU user time (s): 2009.46 # total CPU system time (s): 0.930459 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.17343 second user time and 2.26694 second system time The end
Begin job on node102 at 2019-09-16 06:47:15 IDJOB=4398757 IDBENCH=133715 IDSOLVER=2852 FILE ID=node102/4398757-1568609281 RUNJOBID= node102-1568597211-7653 PBS_JOBID= 21703406 Free space on /tmp= 59328 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-r2.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398757-1568609281/watcher-4398757-1568609281 -o /tmp/evaluation-result-4398757-1568609281/solver-4398757-1568609281 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568597211-7653 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398757-1568609281.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1feceec156c21411e87c939d9e284415 RANDOM SEED=2080652388 node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31475808 kB MemAvailable: 31905228 kB Buffers: 131996 kB Cached: 596072 kB SwapCached: 7656 kB Active: 377148 kB Inactive: 361268 kB Active(anon): 5884 kB Inactive(anon): 46540 kB Active(file): 371264 kB Inactive(file): 314728 kB Unevictable: 110384 kB Mlocked: 110384 kB SwapTotal: 67108860 kB SwapFree: 66998868 kB Dirty: 2804 kB Writeback: 0 kB AnonPages: 114136 kB Mapped: 40548 kB Shmem: 33460 kB Slab: 147628 kB SReclaimable: 118524 kB SUnreclaim: 29104 kB KernelStack: 3408 kB PageTables: 5136 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507464 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 59324 MiB End job on node102 at 2019-09-16 06:51:28