Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2 | SAT (TO) | 1015 | 2400.04 | 2400.11 |
Name | PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-par16-3.xml |
MD5SUM | ad8b9cd5515c3ce9f06e2b183513350f |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1015 |
Best CPU time to get the best result obtained on this benchmark | 53.822 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2030 |
Number of constraints | 4359 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":2030}] |
Minimum variable degree | 3 |
Maximum variable degree | 44 |
Distribution of variable degrees | [{"degree":3,"count":20},{"degree":4,"count":308},{"degree":5,"count":526},{"degree":6,"count":414},{"degree":7,"count":358},{"degree":8,"count":372},{"degree":26,"count":2},{"degree":28,"count":4},{"degree":30,"count":4},{"degree":32,"count":2},{"degree":34,"count":8},{"degree":36,"count":2},{"degree":38,"count":4},{"degree":40,"count":2},{"degree":42,"count":2},{"degree":44,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":1,"count":76},{"arity":2,"count":1971},{"arity":3,"count":2312}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":4359}] |
Optimization problem | YES |
Type of objective | min SUM |
119.47/119.51 c 119.47/119.51 c This is cosoco 2.00 -- 119.47/119.51 c 119.47/119.51 c command line: cosoco -lc -model -restarts -stick HOME/instance-4390195-1568349114.xml 119.47/119.51 c enable optimization 119.47/119.51 c ========================================[ Problem Statistics ]=========================================== 119.47/119.51 c | 119.47/119.51 c | Parse time : 0.36 s 119.47/119.51 c | 119.47/119.51 c | Variables: 2030 119.47/119.51 c | Domain Sizes: 2..2 119.47/119.51 c | 119.47/119.51 c | Constraints: 4360 119.47/119.51 c | Arity: 1..2030 -- Unary: 76 -- Binary: 1971 -- Ternary: 2312 119.47/119.51 c | 119.47/119.51 c | Types: 119.47/119.51 c | Sum: 4360 119.47/119.51 c | 119.47/119.51 c | Objective: Minimize Sum 119.47/119.51 119.47/119.51 c ========================================================================================================= 119.47/119.51 o 1015 119.47/119.51 c 1 calls to solver(id=0): best=1015 lower=0 upper=1014 2400.03/2400.10 2400.03/2400.10 c *** INTERRUPTED *** 2400.03/2400.10 c call to solver : 1 2400.03/2400.10 c 2400.03/2400.10 c restarts : 74 2400.03/2400.10 c conflicts : 119792 (50 /sec) 2400.03/2400.10 c decisions : 5120342 (2133 /sec) 2400.03/2400.10 c propagations : 69824361 (29093 /sec) 2400.03/2400.10 c root propagations : 790 2400.03/2400.10 c filter calls : 329071034 (137113 /sec) 2400.03/2400.10 c useless filter calls : 269336248 (81 %) 2400.03/2400.10 c Memory used : 77.67 MB 2400.03/2400.10 c Best bound time (wc) : 119.51 s 2400.03/2400.10 c CPU time : 2400 s 2400.03/2400.10 c real time : 2400.1 s 2400.03/2400.10 2400.03/2400.10 c nb Solutions = 1 2400.03/2400.10 s SATISFIABLE 2400.03/2400.10 c Best value found: 1015 2400.03/2400.10 2400.03/2400.10 2400.03/2400.10 v <instantiation type='solution' cost='1015'> 2400.03/2400.10 v <list>x[0] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[100] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[101] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[102] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[103] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[104] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[105] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[106] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[107] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[108] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[109] x[10] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[110] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[111] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[112] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[113] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[114] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[115] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[116] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[117] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[118] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[119] x[11] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[120] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[121] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[122] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[123] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[124] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[125] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[126] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[127] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[128] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[129] x[12] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[130] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[131] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[132] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[133] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[134] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[135] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[136] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[137] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[138] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[139] x[13] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[140] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[141] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[142] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[143] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[144] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[145] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[146] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[147] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[148] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[149] x[14] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[150] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[151] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[152] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[153] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[154] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[155] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[156] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[157] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[158] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[159] x[15] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[160] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[161] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[162] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[163] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[164] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[165] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[166] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[167] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[168] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[169] x[16] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[170] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[171] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[172] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[173] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[174] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[175] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[176] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[177] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[178] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[179] x[17] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[180] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[181] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[182] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[183] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[184] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[185] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[186] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[187] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[188] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[189] x[18] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[190] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[191] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[192] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[193] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[194] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[195] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[196] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[197] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[198] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[199] x[19] x[1] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[200] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[201] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[20] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[21] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[22] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[23] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[24] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[25] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[26] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[27] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[28] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[29] x[2] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[30] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[31] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[32] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[33] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[34] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[35] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[36] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[37] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[38] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[39] x[3] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[40] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[41] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[42] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[43] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[44] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[45] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[46] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[47] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[48] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[49] x[4] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[50] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[51] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[52] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[53] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[54] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[55] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[56] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[57] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[58] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[59] x[5] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[60] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[61] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[62] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[63] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[64] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[65] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[66] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[67] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[68] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[69] x[6] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[70] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[71] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[72] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[73] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[74] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[75] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[76] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[77] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[78] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[79] x[7] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[80] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[81] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[82] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[83] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[84] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[85] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[86] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[87] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[88] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[89] x[8] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[90] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[91] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[92] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[93] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[94] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[95] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[96] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[97] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[98] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[99] x[9] </list> 2400.03/2400.10 v <values>1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 1 1 0 1 1 0 0 1 0 1 1 0 0 0 1 1 0 1 0 0 1 0 1 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 </values> 2400.03/2400.11 v </instantiation> 2400.03/2400.11
OK 1015
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 (15517 MiB free) memory of node 1: 16384 MiB (13316 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390195-1568349114/watcher-4390195-1568349114 -o /tmp/evaluation-result-4390195-1568349114/solver-4390195-1568349114 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568328837-13394 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390195-1568349114.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=16968, runsolver pid=16965 Current StackSize limit: 8192 KiB [startup+0.100202 s]* /proc/loadavg: 2.00 1.99 2.03 3/200 16969 /proc/meminfo: memFree=29519656/32770624 swapFree=66957392/67108860 [pid=16968] ppid=16965 vsize=35448 memory=11832 CPUtime=0.1 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 3148 0 0 0 10 0 0 0 20 0 1 0 410847918 36298752 2958 33554432000 4194304 6210612 140729141815360 140729141811896 139755537857509 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 8862 2958 835 493 0 2167 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 35448 KiB Current children cumulated memory: 11832 KiB [startup+0.209729 s]* /proc/loadavg: 2.00 1.99 2.03 3/200 16969 /proc/meminfo: memFree=29504404/32770624 swapFree=66957392/67108860 [pid=16968] ppid=16965 vsize=50692 memory=27080 CPUtime=0.2 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 6944 0 0 0 20 0 0 0 20 0 1 0 410847918 51908608 6770 33554432000 4194304 6210612 140729141815360 140729141811896 139755537857509 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 12673 6770 835 493 0 5978 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 50692 KiB Current children cumulated memory: 27080 KiB [startup+0.309676 s]* /proc/loadavg: 2.00 1.99 2.03 3/200 16970 /proc/meminfo: memFree=29492500/32770624 swapFree=66957392/67108860 [pid=16968] ppid=16965 vsize=62300 memory=38700 CPUtime=0.31 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 9854 0 0 0 30 1 0 0 20 0 1 0 410847918 63795200 9675 33554432000 4194304 6210612 140729141815360 140729141811896 139755537857509 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 15575 9675 835 493 0 8880 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 62300 KiB Current children cumulated memory: 38700 KiB [startup+0.700397 s] /proc/loadavg: 2.00 1.99 2.03 3/200 16970 /proc/meminfo: memFree=29484788/32770624 swapFree=66957392/67108860 [pid=16968] ppid=16965 vsize=75272 memory=51892 CPUtime=0.69 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 13142 0 0 0 67 2 0 0 20 0 1 0 410847918 77078528 12973 33554432000 4194304 6210612 140729141815360 140729141812760 5155768 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 18818 12973 873 493 0 12123 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 75272 KiB Current children cumulated memory: 51892 KiB [startup+1.50035 s] /proc/loadavg: 2.00 1.99 2.03 3/200 16970 /proc/meminfo: memFree=29478388/32770624 swapFree=66957392/67108860 [pid=16968] ppid=16965 vsize=75404 memory=51892 CPUtime=1.49 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 13153 0 0 0 147 2 0 0 20 0 1 0 410847918 77213696 12973 33554432000 4194304 6210612 140729141815360 140729141812600 5249738 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 18851 12973 873 493 0 12156 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 75404 KiB Current children cumulated memory: 51892 KiB [startup+3.10925 s] /proc/loadavg: 2.00 1.99 2.03 3/200 16970 /proc/meminfo: memFree=29478156/32770624 swapFree=66957392/67108860 [pid=16968] ppid=16965 vsize=75404 memory=51964 CPUtime=3.1 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 17142 0 0 0 308 2 0 0 20 0 1 0 410847918 77213696 12991 33554432000 4194304 6210612 140729141815360 140729141812600 5249729 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 18851 12991 873 493 0 12156 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 75404 KiB Current children cumulated memory: 51964 KiB [startup+6.30034 s] /proc/loadavg: 2.00 1.99 2.03 3/200 16970 /proc/meminfo: memFree=29478188/32770624 swapFree=66957392/67108860 [pid=16968] ppid=16965 vsize=75404 memory=51964 CPUtime=6.29 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 21166 0 0 0 627 2 0 0 20 0 1 0 410847918 77213696 12991 33554432000 4194304 6210612 140729141815360 140729141812600 5185856 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 18851 12991 873 493 0 12156 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 75404 KiB Current children cumulated memory: 51964 KiB [startup+12.7003 s] /proc/loadavg: 2.00 1.99 2.03 3/200 16970 /proc/meminfo: memFree=29478188/32770624 swapFree=66957392/67108860 [pid=16968] ppid=16965 vsize=75404 memory=51964 CPUtime=12.69 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 25238 0 0 0 1267 2 0 0 20 0 1 0 410847918 77213696 12991 33554432000 4194304 6210612 140729141815360 140729141812600 5155432 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 18851 12991 873 493 0 12156 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 75404 KiB Current children cumulated memory: 51964 KiB [startup+25.5004 s] /proc/loadavg: 2.00 1.99 2.03 3/200 16970 /proc/meminfo: memFree=29477920/32770624 swapFree=66957392/67108860 [pid=16968] ppid=16965 vsize=75404 memory=51964 CPUtime=25.48 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 30682 0 0 0 2546 2 0 0 20 0 1 0 410847918 77213696 12991 33554432000 4194304 6210612 140729141815360 140729141812600 5409305 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 18851 12991 873 493 0 12156 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 75404 KiB Current children cumulated memory: 51964 KiB [startup+51.1093 s] /proc/loadavg: 2.00 1.99 2.03 3/200 16972 /proc/meminfo: memFree=29477712/32770624 swapFree=66957392/67108860 [pid=16968] ppid=16965 vsize=75404 memory=51964 CPUtime=51.09 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 31896 0 0 0 5107 2 0 0 20 0 1 0 410847918 77213696 12991 33554432000 4194304 6210612 140729141815360 140729141812600 5154977 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 18851 12991 873 493 0 12156 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 75404 KiB Current children cumulated memory: 51964 KiB [startup+102.3 s] /proc/loadavg: 2.00 1.99 2.03 3/200 16976 /proc/meminfo: memFree=29477532/32770624 swapFree=66957392/67108860 [pid=16968] ppid=16965 vsize=75404 memory=51964 CPUtime=102.28 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 32069 0 0 0 10226 2 0 0 20 0 1 0 410847918 77213696 12991 33554432000 4194304 6210612 140729141815360 140729141812600 5008472 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 18851 12991 873 493 0 12156 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 75404 KiB Current children cumulated memory: 51964 KiB [startup+162.3 s] /proc/loadavg: 2.00 1.99 2.03 3/200 16980 /proc/meminfo: memFree=29473056/32770624 swapFree=66957392/67108860 [pid=16968] ppid=16965 vsize=79528 memory=56108 CPUtime=162.28 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 33373 0 0 0 16225 3 0 0 20 0 1 0 410847918 81436672 14027 33554432000 4194304 6210612 140729141815360 140729141803240 5249907 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 19882 14027 873 493 0 13187 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56108 KiB [startup+222.3 s] /proc/loadavg: 2.00 1.99 2.03 3/200 16986 /proc/meminfo: memFree=29473036/32770624 swapFree=66957392/67108860 [pid=16968] ppid=16965 vsize=79528 memory=56212 CPUtime=222.28 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 33635 0 0 0 22225 3 0 0 20 0 1 0 410847918 81436672 14053 33554432000 4194304 6210612 140729141815360 140729141803240 5155752 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB [startup+282.3 s] /proc/loadavg: 2.00 1.99 2.03 3/199 16990 /proc/meminfo: memFree=29473236/32770624 swapFree=66957392/67108860 [pid=16968] ppid=16965 vsize=79528 memory=56212 CPUtime=282.28 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 33712 0 0 0 28225 3 0 0 20 0 1 0 410847918 81436672 14053 33554432000 4194304 6210612 140729141815360 140729141803240 5249712 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 282.28 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB [startup+342.3 s] /proc/loadavg: 2.00 1.99 2.03 3/199 16994 /proc/meminfo: memFree=29472792/32770624 swapFree=66957392/67108860 [pid=16968] ppid=16965 vsize=79528 memory=56212 CPUtime=342.28 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 33790 0 0 0 34225 3 0 0 20 0 1 0 410847918 81436672 14053 33554432000 4194304 6210612 140729141815360 140729141803240 5249712 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 342.28 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB [startup+402.3 s] /proc/loadavg: 2.00 1.99 2.03 3/199 17064 /proc/meminfo: memFree=29475448/32770624 swapFree=66957392/67108860 [pid=16968] ppid=16965 vsize=79528 memory=56212 CPUtime=402.27 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 33870 0 0 0 40224 3 0 0 20 0 1 0 410847918 81436672 14053 33554432000 4194304 6210612 140729141815360 140729141803240 5249890 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 402.27 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB [startup+462.3 s] /proc/loadavg: 2.00 1.99 2.03 3/199 17068 /proc/meminfo: memFree=29475228/32770624 swapFree=66957392/67108860 [pid=16968] ppid=16965 vsize=79528 memory=56212 CPUtime=462.27 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 33949 0 0 0 46224 3 0 0 20 0 1 0 410847918 81436672 14053 33554432000 4194304 6210612 140729141815360 140729141803240 5249899 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 462.27 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB ################ # More data... # ################ /proc/16968/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 1662.24 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB [startup+1722.3 s] /proc/loadavg: 1.99 1.99 2.03 3/199 17245 /proc/meminfo: memFree=29475464/32770624 swapFree=66957396/67108860 [pid=16968] ppid=16965 vsize=79528 memory=56212 CPUtime=1722.24 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 35595 0 0 0 172221 3 0 0 20 0 1 0 410847918 81436672 14053 33554432000 4194304 6210612 140729141815360 140729141803240 5155864 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 1722.24 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB [startup+1782.3 s] /proc/loadavg: 2.00 1.99 2.03 3/200 17257 /proc/meminfo: memFree=29474752/32770624 swapFree=66957396/67108860 [pid=16968] ppid=16965 vsize=79528 memory=56212 CPUtime=1782.24 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 35672 0 0 0 178221 3 0 0 20 0 1 0 410847918 81436672 14053 33554432000 4194304 6210612 140729141815360 140729141803240 5249664 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 1782.24 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB [startup+1842.3 s] /proc/loadavg: 2.00 1.99 2.03 3/201 17286 /proc/meminfo: memFree=29475016/32770624 swapFree=66957396/67108860 [pid=16968] ppid=16965 vsize=79528 memory=56212 CPUtime=1842.23 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 35752 0 0 0 184220 3 0 0 20 0 1 0 410847918 81436672 14053 33554432000 4194304 6210612 140729141815360 140729141803240 5157194 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 1842.23 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB [startup+1902.3 s] /proc/loadavg: 2.00 1.99 2.03 3/201 17290 /proc/meminfo: memFree=29475212/32770624 swapFree=66957396/67108860 [pid=16968] ppid=16965 vsize=79528 memory=56212 CPUtime=1902.23 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 35831 0 0 0 190220 3 0 0 20 0 1 0 410847918 81436672 14053 33554432000 4194304 6210612 140729141815360 140729141803240 5249712 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 1902.23 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB [startup+1962.3 s] /proc/loadavg: 2.00 1.99 2.03 3/201 17294 /proc/meminfo: memFree=29475040/32770624 swapFree=66957396/67108860 [pid=16968] ppid=16965 vsize=79528 memory=56212 CPUtime=1962.23 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 35910 0 0 0 196220 3 0 0 20 0 1 0 410847918 81436672 14053 33554432000 4194304 6210612 140729141815360 140729141803240 5249664 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 1962.23 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB [startup+2022.3 s] /proc/loadavg: 2.00 1.99 2.03 3/201 17300 /proc/meminfo: memFree=29474804/32770624 swapFree=66957396/67108860 [pid=16968] ppid=16965 vsize=79528 memory=56212 CPUtime=2022.23 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 35988 0 0 0 202220 3 0 0 20 0 1 0 410847918 81436672 14053 33554432000 4194304 6210612 140729141815360 140729141803240 5249719 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 2022.23 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB [startup+2082.3 s] /proc/loadavg: 2.00 1.99 2.03 3/200 17304 /proc/meminfo: memFree=29474612/32770624 swapFree=66957396/67108860 [pid=16968] ppid=16965 vsize=79528 memory=56212 CPUtime=2082.23 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 36068 0 0 0 208220 3 0 0 20 0 1 0 410847918 81436672 14053 33554432000 4194304 6210612 140729141815360 140729141803240 5155752 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 2082.23 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB [startup+2142.3 s] /proc/loadavg: 2.00 1.99 2.03 3/199 17308 /proc/meminfo: memFree=29474304/32770624 swapFree=66957396/67108860 [pid=16968] ppid=16965 vsize=79528 memory=56212 CPUtime=2142.23 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 36145 0 0 0 214220 3 0 0 20 0 1 0 410847918 81436672 14053 33554432000 4194304 6210612 140729141815360 140729141803240 5157176 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 2142.23 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB [startup+2202.3 s] /proc/loadavg: 2.00 1.99 2.03 3/199 17314 /proc/meminfo: memFree=29474756/32770624 swapFree=66957396/67108860 [pid=16968] ppid=16965 vsize=79528 memory=56212 CPUtime=2202.22 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 36225 0 0 0 220219 3 0 0 20 0 1 0 410847918 81436672 14053 33554432000 4194304 6210612 140729141815360 140729141803240 5249664 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 2202.22 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB [startup+2262.3 s] /proc/loadavg: 2.00 1.99 2.03 3/199 17318 /proc/meminfo: memFree=29474780/32770624 swapFree=66957396/67108860 [pid=16968] ppid=16965 vsize=79528 memory=56212 CPUtime=2262.22 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 36304 0 0 0 226219 3 0 0 20 0 1 0 410847918 81436672 14053 33554432000 4194304 6210612 140729141815360 140729141803240 5155623 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 2262.22 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB [startup+2322.3 s] /proc/loadavg: 2.00 1.99 2.03 3/199 17322 /proc/meminfo: memFree=29474476/32770624 swapFree=66957396/67108860 [pid=16968] ppid=16965 vsize=79528 memory=56212 CPUtime=2322.22 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 36382 0 0 0 232219 3 0 0 20 0 1 0 410847918 81436672 14053 33554432000 4194304 6210612 140729141815360 140729141803240 5409293 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 2322.22 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB [startup+2382.3 s] /proc/loadavg: 2.00 1.99 2.03 3/200 17336 /proc/meminfo: memFree=29474168/32770624 swapFree=66957396/67108860 [pid=16968] ppid=16965 vsize=79528 memory=56212 CPUtime=2382.22 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 36457 0 0 0 238219 3 0 0 20 0 1 0 410847918 81436672 14053 33554432000 4194304 6210612 140729141815360 140729141803240 5249890 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 2382.22 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.11 s] /proc/loadavg: 2.00 1.99 2.03 3/200 17336 /proc/meminfo: memFree=29473792/32770624 swapFree=66957396/67108860 [pid=16968] ppid=16965 vsize=79528 memory=56212 CPUtime=2400.03 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 36529 0 0 0 240000 3 0 0 20 0 1 0 410847918 81436672 14053 33554432000 4194304 6210612 140729141815360 140729141803240 5155864 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 2400.03 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.11 s] # the end of solver process 16968 was just reported to runsolver # cumulated CPU time of all completed processes: user=2400 s, system=0.041998 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.11 s] /proc/loadavg: 2.00 1.99 2.03 3/200 17336 /proc/meminfo: memFree=29473792/32770624 swapFree=66957396/67108860 [pid=16968] ppid=16965 vsize=79528 memory=56212 CPUtime=2400.03 cores=0,2,4,6 /proc/16968/stat : 16968 (cosoco) R 16965 16968 13363 0 -1 4202496 36529 0 0 0 240000 3 0 0 20 0 1 0 410847918 81436672 14053 33554432000 4194304 6210612 140729141815360 140729141803240 5155864 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33218560 140729141818379 140729141818481 140729141818481 140729141821390 0 /proc/16968/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 2400.03 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB Child status: 1 Real time (s): 2400.11 CPU time (s): 2400.04 CPU user time (s): 2400 CPU system time (s): 0.041998 CPU usage (%): 99.9972 Max. virtual memory (cumulated for all children) (KiB): 79528 Max. memory (cumulated for all children) (KiB): 56212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400 system time used= 0.041998 maximum resident set size= 56280 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36583 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= 27 involuntary context switches= 3001 # summary of solver processes directly reported to runsolver: # pid: 16968 # total CPU time (s): 2400.04 # total CPU user time (s): 2400 # total CPU system time (s): 0.041998 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.03556 second user time and 15.3586 second system time The end
Begin job on node145 at 2019-09-13 06:31:12 IDJOB=4390195 IDBENCH=134938 IDSOLVER=2831 FILE ID=node145/4390195-1568349114 RUNJOBID= node145-1568328837-13394 PBS_JOBID= 21701155 Free space on /tmp= 55184 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-dimacs/Pb-par16-3.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390195-1568349114/watcher-4390195-1568349114 -o /tmp/evaluation-result-4390195-1568349114/solver-4390195-1568349114 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568328837-13394 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390195-1568349114.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ad8b9cd5515c3ce9f06e2b183513350f RANDOM SEED=1044775294 node145.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.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29526376 kB MemAvailable: 31852924 kB Buffers: 81336 kB Cached: 2522516 kB SwapCached: 41304 kB Active: 1332288 kB Inactive: 1318144 kB Active(anon): 8512 kB Inactive(anon): 78764 kB Active(file): 1323776 kB Inactive(file): 1239380 kB Unevictable: 110276 kB Mlocked: 110276 kB SwapTotal: 67108860 kB SwapFree: 66957392 kB Dirty: 2796 kB Writeback: 0 kB AnonPages: 119776 kB Mapped: 44344 kB Shmem: 32340 kB Slab: 186332 kB SReclaimable: 158452 kB SUnreclaim: 27880 kB KernelStack: 3744 kB PageTables: 5796 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 530636 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 55180 MiB End job on node145 at 2019-09-13 07:11:13