Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2 | SAT (TO) | 1015 | 2400.01 | 2400.3 |
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.8262 |
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 |
123.68/123.74 c 123.68/123.74 c This is cosoco 2.00 -- 123.68/123.74 c 123.68/123.74 c command line: cosoco -lc -model -restarts -stick HOME/instance-4394773-1568347695.xml 123.68/123.74 c enable optimization 123.68/123.74 c ========================================[ Problem Statistics ]=========================================== 123.68/123.74 c | 123.68/123.74 c | Parse time : 0.36 s 123.68/123.74 c | 123.68/123.74 c | Variables: 2030 123.68/123.74 c | Domain Sizes: 2..2 123.68/123.74 c | 123.68/123.74 c | Constraints: 4360 123.68/123.74 c | Arity: 1..2030 -- Unary: 76 -- Binary: 1971 -- Ternary: 2312 123.68/123.74 c | 123.68/123.74 c | Types: 123.68/123.74 c | Sum: 4360 123.68/123.74 c | 123.68/123.74 c | Objective: Minimize Sum 123.68/123.74 123.68/123.74 c ========================================================================================================= 123.68/123.74 o 1015 123.68/123.74 c 1 calls to solver(id=0): best=1015 lower=0 upper=1014 2400.00/2400.30 2400.00/2400.30 c *** INTERRUPTED *** 2400.00/2400.30 c call to solver : 1 2400.00/2400.30 c 2400.00/2400.30 c restarts : 74 2400.00/2400.30 c conflicts : 118702 (49 /sec) 2400.00/2400.30 c decisions : 5081851 (2117 /sec) 2400.00/2400.30 c propagations : 69246457 (28853 /sec) 2400.00/2400.30 c root propagations : 790 2400.00/2400.30 c filter calls : 326252872 (135941 /sec) 2400.00/2400.30 c useless filter calls : 267020250 (81 %) 2400.00/2400.30 c Memory used : 77.67 MB 2400.00/2400.30 c Best bound time (wc) : 123.743 s 2400.00/2400.30 c CPU time : 2399.95 s 2400.00/2400.30 c real time : 2400.3 s 2400.00/2400.30 2400.00/2400.30 c nb Solutions = 1 2400.00/2400.30 s SATISFIABLE 2400.00/2400.30 c Best value found: 1015 2400.00/2400.30 2400.00/2400.30 2400.00/2400.30 v <instantiation type='solution' cost='1015'> 2400.00/2400.30 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.00/2400.30 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.00/2400.30 v </instantiation> 2400.00/2400.30
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 (12846 MiB free) memory of node 1: 16384 MiB (10957 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394773-1568347695/watcher-4394773-1568347695 -o /tmp/evaluation-result-4394773-1568347695/solver-4394773-1568347695 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568323498-21938 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4394773-1568347695.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=27041, runsolver pid=27038 Current StackSize limit: 8192 KiB [startup+0.100203 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 27042 /proc/meminfo: memFree=24368504/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=35824 memory=12212 CPUtime=0.1 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 3245 0 0 0 10 0 0 0 20 0 1 0 411016901 36683776 3053 33554432000 4194304 6210612 140733377832256 140733377828792 140380453309413 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 8989 3053 835 493 0 2294 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 35824 KiB Current children cumulated memory: 12212 KiB [startup+0.209766 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 27042 /proc/meminfo: memFree=24353252/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=51072 memory=27456 CPUtime=0.21 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 7043 0 0 0 21 0 0 0 20 0 1 0 411016901 52297728 6864 33554432000 4194304 6210612 140733377832256 140733377828792 140380453309413 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 12768 6864 835 493 0 6073 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 51072 KiB Current children cumulated memory: 27456 KiB [startup+0.309759 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 27042 /proc/meminfo: memFree=24341596/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=62804 memory=39204 CPUtime=0.31 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 9965 0 0 0 30 1 0 0 20 0 1 0 411016901 64311296 9801 33554432000 4194304 6210612 140733377832256 140733377828792 140380453309413 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 15701 9801 835 493 0 9006 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 62804 KiB Current children cumulated memory: 39204 KiB [startup+0.700382 s] /proc/loadavg: 2.00 2.01 2.05 3/199 27042 /proc/meminfo: memFree=24333536/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=75272 memory=51892 CPUtime=0.69 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 13142 0 0 0 68 1 0 0 20 0 1 0 411016901 77078528 12973 33554432000 4194304 6210612 140733377832256 140733377829496 5155436 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/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.50034 s] /proc/loadavg: 2.00 2.01 2.05 3/199 27042 /proc/meminfo: memFree=24327276/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=75404 memory=51892 CPUtime=1.49 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 13153 0 0 0 148 1 0 0 20 0 1 0 411016901 77213696 12973 33554432000 4194304 6210612 140733377832256 140733377829496 5155864 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/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.10935 s] /proc/loadavg: 2.00 2.01 2.05 3/199 27042 /proc/meminfo: memFree=24327276/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=75404 memory=51964 CPUtime=3.1 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 17142 0 0 0 308 2 0 0 20 0 1 0 411016901 77213696 12991 33554432000 4194304 6210612 140733377832256 140733377829496 5249712 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/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.30033 s] /proc/loadavg: 2.00 2.01 2.05 3/199 27042 /proc/meminfo: memFree=24327448/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=75404 memory=51964 CPUtime=6.29 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 21165 0 0 0 627 2 0 0 20 0 1 0 411016901 77213696 12991 33554432000 4194304 6210612 140733377832256 140733377829496 5249733 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/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 2.01 2.05 3/199 27042 /proc/meminfo: memFree=24327696/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=75404 memory=51964 CPUtime=12.69 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 25238 0 0 0 1267 2 0 0 20 0 1 0 411016901 77213696 12991 33554432000 4194304 6210612 140733377832256 140733377829496 5155752 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/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 2.01 2.05 3/199 27042 /proc/meminfo: memFree=24327372/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=75404 memory=51964 CPUtime=25.49 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 33324 0 0 0 2547 2 0 0 20 0 1 0 411016901 77213696 12991 33554432000 4194304 6210612 140733377832256 140733377829496 5155432 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 18851 12991 873 493 0 12156 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 75404 KiB Current children cumulated memory: 51964 KiB [startup+51.1093 s] /proc/loadavg: 2.00 2.01 2.05 3/199 27044 /proc/meminfo: memFree=24327396/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=75404 memory=51964 CPUtime=51.09 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 37605 0 0 0 5107 2 0 0 20 0 1 0 411016901 77213696 12991 33554432000 4194304 6210612 140733377832256 140733377829496 5249681 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/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 2.01 2.05 3/199 27048 /proc/meminfo: memFree=24327200/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=75404 memory=51964 CPUtime=102.28 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 41763 0 0 0 10226 2 0 0 20 0 1 0 411016901 77213696 12991 33554432000 4194304 6210612 140733377832256 140733377829496 5155436 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/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 2.01 2.05 3/200 27060 /proc/meminfo: memFree=24317148/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=79528 memory=56188 CPUtime=162.27 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 49094 0 0 0 16224 3 0 0 20 0 1 0 411016901 81436672 14047 33554432000 4194304 6210612 140733377832256 140733377820136 5249712 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 19882 14047 873 493 0 13187 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56188 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 27066 /proc/meminfo: memFree=24316024/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=79528 memory=56212 CPUtime=222.26 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 53228 0 0 0 22223 3 0 0 20 0 1 0 411016901 81436672 14053 33554432000 4194304 6210612 140733377832256 140733377820136 5249712 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 222.26 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 27070 /proc/meminfo: memFree=24306988/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=79528 memory=56212 CPUtime=282.25 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 57359 0 0 0 28222 3 0 0 20 0 1 0 411016901 81436672 14053 33554432000 4194304 6210612 140733377832256 140733377820136 5249712 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 282.25 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 27074 /proc/meminfo: memFree=24307008/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=79528 memory=56212 CPUtime=342.25 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 61495 0 0 0 34221 4 0 0 20 0 1 0 411016901 81436672 14053 33554432000 4194304 6210612 140733377832256 140733377820136 5157655 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 342.25 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 27080 /proc/meminfo: memFree=24299140/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=79528 memory=56212 CPUtime=402.24 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 65647 0 0 0 40220 4 0 0 20 0 1 0 411016901 81436672 14053 33554432000 4194304 6210612 140733377832256 140733377820136 5249733 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 402.24 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 27084 /proc/meminfo: memFree=24285200/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=79528 memory=56212 CPUtime=462.24 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 69787 0 0 0 46220 4 0 0 20 0 1 0 411016901 81436672 14053 33554432000 4194304 6210612 140733377832256 140733377820136 5249719 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 19882 14053 874 493 0 13187 0 Current children cumulated CPU time: 462.24 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56212 KiB ################ # More data... # ################ /proc/27041/statm: 19882 14065 874 493 0 13187 0 Current children cumulated CPU time: 1662.08 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56260 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 27261 /proc/meminfo: memFree=26310356/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=79528 memory=56260 CPUtime=1722.07 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 81736 0 0 0 172203 4 0 0 20 0 1 0 411016901 81436672 14065 33554432000 4194304 6210612 140733377832256 140733377820136 5249681 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 19882 14065 874 493 0 13187 0 Current children cumulated CPU time: 1722.07 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56260 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 27265 /proc/meminfo: memFree=26310452/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=79528 memory=56260 CPUtime=1782.07 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 81806 0 0 0 178203 4 0 0 20 0 1 0 411016901 81436672 14065 33554432000 4194304 6210612 140733377832256 140733377820136 5155765 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 19882 14065 874 493 0 13187 0 Current children cumulated CPU time: 1782.07 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56260 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 27271 /proc/meminfo: memFree=26309940/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=79528 memory=56260 CPUtime=1842.06 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 81878 0 0 0 184202 4 0 0 20 0 1 0 411016901 81436672 14065 33554432000 4194304 6210612 140733377832256 140733377820136 5155856 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 19882 14065 874 493 0 13187 0 Current children cumulated CPU time: 1842.06 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56260 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 27275 /proc/meminfo: memFree=26310224/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=79528 memory=56260 CPUtime=1902.06 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 81950 0 0 0 190201 5 0 0 20 0 1 0 411016901 81436672 14065 33554432000 4194304 6210612 140733377832256 140733377820136 5157189 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 19882 14065 874 493 0 13187 0 Current children cumulated CPU time: 1902.06 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56260 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 27286 /proc/meminfo: memFree=26310084/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=79528 memory=56260 CPUtime=1962.05 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 82023 0 0 0 196200 5 0 0 20 0 1 0 411016901 81436672 14065 33554432000 4194304 6210612 140733377832256 140733377820136 5157179 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 19882 14065 874 493 0 13187 0 Current children cumulated CPU time: 1962.05 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56260 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 27292 /proc/meminfo: memFree=26309516/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=79528 memory=56260 CPUtime=2022.05 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 82094 0 0 0 202200 5 0 0 20 0 1 0 411016901 81436672 14065 33554432000 4194304 6210612 140733377832256 140733377820136 5249664 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 19882 14065 874 493 0 13187 0 Current children cumulated CPU time: 2022.05 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56260 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 27296 /proc/meminfo: memFree=26309428/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=79528 memory=56260 CPUtime=2082.04 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 82166 0 0 0 208199 5 0 0 20 0 1 0 411016901 81436672 14065 33554432000 4194304 6210612 140733377832256 140733377820136 5249729 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 19882 14065 874 493 0 13187 0 Current children cumulated CPU time: 2082.04 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56260 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 27300 /proc/meminfo: memFree=26308500/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=79528 memory=56260 CPUtime=2142.03 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 82238 0 0 0 214198 5 0 0 20 0 1 0 411016901 81436672 14065 33554432000 4194304 6210612 140733377832256 140733377820136 5249724 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 19882 14065 874 493 0 13187 0 Current children cumulated CPU time: 2142.03 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56260 KiB [startup+2202.3 s] /proc/loadavg: 2.55 2.17 2.09 3/199 27306 /proc/meminfo: memFree=26308236/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=79528 memory=56260 CPUtime=2202.02 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 82310 0 0 0 220197 5 0 0 20 0 1 0 411016901 81436672 14065 33554432000 4194304 6210612 140733377832256 140733377820136 5249712 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 19882 14065 874 493 0 13187 0 Current children cumulated CPU time: 2202.02 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56260 KiB [startup+2262.3 s] /proc/loadavg: 2.20 2.14 2.09 3/199 27310 /proc/meminfo: memFree=26308852/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=79528 memory=56260 CPUtime=2262.02 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 82382 0 0 0 226197 5 0 0 20 0 1 0 411016901 81436672 14065 33554432000 4194304 6210612 140733377832256 140733377820136 5249724 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 19882 14065 874 493 0 13187 0 Current children cumulated CPU time: 2262.02 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56260 KiB [startup+2322.3 s] /proc/loadavg: 2.08 2.11 2.08 3/199 27314 /proc/meminfo: memFree=26309000/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=79528 memory=56260 CPUtime=2322.01 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 82455 0 0 0 232196 5 0 0 20 0 1 0 411016901 81436672 14065 33554432000 4194304 6210612 140733377832256 140733377820136 5249712 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 19882 14065 874 493 0 13187 0 Current children cumulated CPU time: 2322.01 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56260 KiB [startup+2382.3 s] /proc/loadavg: 2.03 2.09 2.08 3/199 27320 /proc/meminfo: memFree=26308472/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=79528 memory=56260 CPUtime=2382 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 82519 0 0 0 238195 5 0 0 20 0 1 0 411016901 81436672 14065 33554432000 4194304 6210612 140733377832256 140733377820136 5249712 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 19882 14065 874 493 0 13187 0 Current children cumulated CPU time: 2382 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56260 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.3 s] /proc/loadavg: 2.02 2.09 2.08 3/199 27321 /proc/meminfo: memFree=26308564/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=79528 memory=56260 CPUtime=2400 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 82580 0 0 0 239995 5 0 0 20 0 1 0 411016901 81436672 14065 33554432000 4194304 6210612 140733377832256 140733377820136 5249691 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 19882 14065 874 493 0 13187 0 Current children cumulated CPU time: 2400 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56260 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.3 s] # the end of solver process 27041 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.95 s, system=0.051993 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.3 s] /proc/loadavg: 2.02 2.09 2.08 3/199 27321 /proc/meminfo: memFree=26308564/32770624 swapFree=66927180/67108860 [pid=27041] ppid=27038 vsize=79528 memory=56260 CPUtime=2400 cores=0,2,4,6 /proc/27041/stat : 27041 (cosoco) R 27038 27041 21907 0 -1 4202496 82580 0 0 0 239995 5 0 0 20 0 1 0 411016901 81436672 14065 33554432000 4194304 6210612 140733377832256 140733377820136 5249691 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31436800 140733377836043 140733377836145 140733377836145 140733377839054 0 /proc/27041/statm: 19882 14065 874 493 0 13187 0 Current children cumulated CPU time: 2400 s Current children cumulated vsize: 79528 KiB Current children cumulated memory: 56260 KiB Child status: 1 Real time (s): 2400.3 CPU time (s): 2400.01 CPU user time (s): 2399.95 CPU system time (s): 0.051993 CPU usage (%): 99.9876 Max. virtual memory (cumulated for all children) (KiB): 79528 Max. memory (cumulated for all children) (KiB): 56260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.95 system time used= 0.051993 maximum resident set size= 56328 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 82631 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= 22 involuntary context switches= 3006 # summary of solver processes directly reported to runsolver: # pid: 27041 # total CPU time (s): 2400.01 # total CPU user time (s): 2399.95 # total CPU system time (s): 0.051993 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.70416 second user time and 15.9672 second system time The end
Begin job on node137 at 2019-09-13 06:07:33 IDJOB=4394773 IDBENCH=134938 IDSOLVER=2830 FILE ID=node137/4394773-1568347695 RUNJOBID= node137-1568323498-21938 PBS_JOBID= 21701145 Free space on /tmp= 61232 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-4394773-1568347695/watcher-4394773-1568347695 -o /tmp/evaluation-result-4394773-1568347695/solver-4394773-1568347695 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568323498-21938 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4394773-1568347695.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ad8b9cd5515c3ce9f06e2b183513350f RANDOM SEED=1039184763 node137.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 : 5334.00 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 : 5334.00 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 : 5334.00 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 : 5334.00 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: 24374852 kB MemAvailable: 29420316 kB Buffers: 144456 kB Cached: 5165976 kB SwapCached: 77536 kB Active: 3745184 kB Inactive: 4026176 kB Active(anon): 2384724 kB Inactive(anon): 117532 kB Active(file): 1360460 kB Inactive(file): 3908644 kB Unevictable: 108716 kB Mlocked: 108716 kB SwapTotal: 67108860 kB SwapFree: 66927180 kB Dirty: 2912 kB Writeback: 0 kB AnonPages: 2508644 kB Mapped: 45412 kB Shmem: 32712 kB Slab: 213764 kB SReclaimable: 184392 kB SUnreclaim: 29372 kB KernelStack: 3760 kB PageTables: 10464 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2989552 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1550336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61228 MiB End job on node137 at 2019-09-13 06:47:34