Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | SAT (TO) | 627 | 2519.8301 | 2520 |
Name | PseudoBoolean/ PseudoBoolean-opt-dimacs/Pb-ii8d2.xml |
MD5SUM | f6e5619a9394ff6fb9e35a49c1220c66 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 547 |
Best CPU time to get the best result obtained on this benchmark | 2400.01 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1860 |
Number of constraints | 7477 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":1860}] |
Minimum variable degree | 2 |
Maximum variable degree | 53 |
Distribution of variable degrees | [{"degree":2,"count":20},{"degree":3,"count":770},{"degree":6,"count":10},{"degree":8,"count":10},{"degree":10,"count":790},{"degree":11,"count":10},{"degree":12,"count":10},{"degree":15,"count":10},{"degree":16,"count":10},{"degree":17,"count":20},{"degree":19,"count":10},{"degree":21,"count":10},{"degree":25,"count":20},{"degree":30,"count":10},{"degree":35,"count":20},{"degree":37,"count":10},{"degree":38,"count":10},{"degree":39,"count":10},{"degree":40,"count":10},{"degree":41,"count":10},{"degree":42,"count":10},{"degree":43,"count":10},{"degree":44,"count":10},{"degree":45,"count":10},{"degree":46,"count":10},{"degree":48,"count":20},{"degree":53,"count":10}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":2,"count":7170},{"arity":8,"count":230},{"arity":10,"count":77}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":7477}] |
Optimization problem | YES |
Type of objective | min SUM |
0.24/0.31 c best=?? lower=-1860 upper=0 0.34/0.49 c 0.34/0.49 c This is cosoco 1.12 -- 0.34/0.49 c 0.34/0.49 c command line: cosoco -lc -model -restarts HOME/instance-4267704-1502548219.xml 0.34/0.49 c enable optimization 0.34/0.49 c ========================================[ Problem Statistics ]=========================================== 0.34/0.49 c | 0.34/0.49 c | Parse time : 0.24 s 0.34/0.49 c | 0.34/0.49 c | Variables: 1860 0.34/0.49 c | Domain Sizes: 2..2 0.34/0.49 c | 0.34/0.49 c | Constraints: 7478 0.34/0.49 c | Arity: 2..1860 -- Binary: 7170 0.34/0.49 c | 0.34/0.49 c | Types: 0.34/0.49 c | Sum: 7478 0.34/0.49 c | 0.34/0.49 c ========================================================================================================= 0.34/0.49 o -717 0.34/0.49 c 1 calls to solver: best=-717 lower=-716 upper=0 2.83/2.90 o -715 3.54/3.62 o -634 3.54/3.62 c 3 calls to solver: best=-634 lower=-633 upper=0 12.74/12.83 o -627 2519.82/2520.00 2519.82/2520.00 c *** INTERRUPTED *** 2519.82/2520.00 c restarts : 72 2519.82/2520.00 c conflicts : 960726 (381 /sec) 2519.82/2520.00 c decisions : 14914197 (5919 /sec) 2519.82/2520.00 c propagations : 196435680 (77958 /sec) 2519.82/2520.00 c root propagations : 3304 2519.82/2520.00 c filter calls : 529616421 (210185 /sec) 2519.82/2520.00 c useless filter calls : 439730812 (83 %) 2519.82/2520.00 c Memory used : 100.60 MB 2519.82/2520.00 c CPU time : 2519.76 s 2519.82/2520.00 2519.82/2520.00 c nb Solutions = 4 2519.82/2520.00 s SATISFIABLE 2519.82/2520.00 c Best value found: -627 2519.82/2520.00 2519.82/2520.00 2519.82/2520.00 v <instantiation type='solution' cost='-627'> 2519.82/2520.00 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[186] x[187] x[188] x[189] x[18] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[19] x[1] x[200] x[201] 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> 2519.82/2520.00 v <values>1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 0 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 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 </values> 2519.82/2520.00 v </instantiation> 2519.82/2520.00
OK 627
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267704-1502548219/watcher-4267704-1502548219 -o /tmp/evaluation-result-4267704-1502548219/solver-4267704-1502548219 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502500311-1848 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267704-1502548219.xml pid=10829 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.08 2.03 2.05 2/180 10832 /proc/meminfo: memFree=30794560/32770624 swapFree=0/329528 [pid=10832] ppid=10829 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/10832/stat : 10832 (runsolver) D 10829 10832 1785 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 57017370 24240128 106 18446744073709551615 4194304 4338465 140733991758256 140733991755896 140161774244567 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 28479488 140733991760066 140733991760457 140733991760457 140733991763914 0 /proc/10832/statm: 5918 106 53 36 0 2156 0 [startup+0.100174 s] /proc/loadavg: 2.08 2.03 2.05 2/180 10832 /proc/meminfo: memFree=30794560/32770624 swapFree=0/329528 [pid=10832] ppid=10829 vsize=28612 CPUtime=0.04 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 1348 0 0 0 4 0 0 0 20 0 1 0 57017370 29298688 1139 18446744073709551615 4194304 5972588 140725278123120 140725278119768 140068325817344 0 0 1 0 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 7153 1139 719 435 0 516 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 28612 [startup+0.20036 s] /proc/loadavg: 2.08 2.03 2.05 2/180 10832 /proc/meminfo: memFree=30794560/32770624 swapFree=0/329528 [pid=10832] ppid=10829 vsize=56516 CPUtime=0.14 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 8361 0 0 0 13 1 0 0 20 0 1 0 57017370 57872384 8183 18446744073709551615 4194304 5972588 140725278123120 140725278119768 140068325379045 0 0 1 0 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 14129 8183 742 435 0 7492 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 56516 [startup+0.300446 s] /proc/loadavg: 2.08 2.03 2.05 2/180 10832 /proc/meminfo: memFree=30794560/32770624 swapFree=0/329528 [pid=10832] ppid=10829 vsize=86328 CPUtime=0.24 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 15853 0 0 0 22 2 0 0 20 0 1 0 57017370 88399872 15608 18446744073709551615 4194304 5972588 140725278123120 140725278119768 5473262 0 0 1 0 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 21582 15608 742 435 0 14945 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 86328 [startup+0.700298 s] /proc/loadavg: 2.08 2.03 2.05 2/180 10832 /proc/meminfo: memFree=30794560/32770624 swapFree=0/329528 [pid=10832] ppid=10829 vsize=96716 CPUtime=0.64 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 18496 0 0 0 62 2 0 0 20 0 1 0 57017370 99037184 18248 18446744073709551615 4194304 5972588 140725278123120 140725278119768 5139264 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 24179 18248 780 435 0 17542 0 Current children cumulated CPU time (s) 0.64 Current children cumulated vsize (KiB) 96716 [startup+1.50029 s] /proc/loadavg: 1.99 2.01 2.04 3/181 10833 /proc/meminfo: memFree=30721756/32770624 swapFree=0/329528 [pid=10832] ppid=10829 vsize=100204 CPUtime=1.44 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 19376 0 0 0 142 2 0 0 20 0 1 0 57017370 102608896 19172 18446744073709551615 4194304 5972588 140725278123120 140725278119768 5048575 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25051 19172 780 435 0 18414 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 100204 [startup+3.10033 s] /proc/loadavg: 1.99 2.01 2.04 3/181 10833 /proc/meminfo: memFree=30720268/32770624 swapFree=0/329528 [pid=10832] ppid=10829 vsize=102200 CPUtime=3.04 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 29454 0 0 0 301 3 0 0 20 0 1 0 57017370 104652800 19665 18446744073709551615 4194304 5972588 140725278123120 140725278119752 5046280 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25550 19665 780 435 0 18913 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 102200 [startup+6.30029 s] /proc/loadavg: 1.99 2.01 2.04 3/181 10833 /proc/meminfo: memFree=30718016/32770624 swapFree=0/329528 [pid=10832] ppid=10829 vsize=102476 CPUtime=6.24 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 39036 0 0 0 621 3 0 0 20 0 1 0 57017370 104935424 19732 18446744073709551615 4194304 5972588 140725278123120 140725278119752 5048024 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25619 19732 780 435 0 18982 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 102476 [startup+12.7003 s] /proc/loadavg: 1.99 2.01 2.04 3/181 10833 /proc/meminfo: memFree=30717644/32770624 swapFree=0/329528 [pid=10832] ppid=10829 vsize=102740 CPUtime=12.64 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 49344 0 0 0 1261 3 0 0 20 0 1 0 57017370 105205760 19786 18446744073709551615 4194304 5972588 140725278123120 140725278119880 5046284 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25685 19786 780 435 0 19048 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 102740 [startup+25.5003 s] /proc/loadavg: 1.99 2.01 2.04 3/181 10833 /proc/meminfo: memFree=30717140/32770624 swapFree=0/329484 [pid=10832] ppid=10829 vsize=103012 CPUtime=25.43 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 68201 0 0 0 2539 4 0 0 20 0 1 0 57017370 105484288 19855 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5046712 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19855 780 435 0 19116 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 103012 [startup+51.1003 s] /proc/loadavg: 2.00 2.01 2.04 3/181 10833 /proc/meminfo: memFree=30717356/32770624 swapFree=0/329472 [pid=10832] ppid=10829 vsize=103012 CPUtime=51.04 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 78535 0 0 0 5099 5 0 0 20 0 1 0 57017370 105484288 19855 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5048267 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19855 780 435 0 19116 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 103012 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.04 3/181 10835 /proc/meminfo: memFree=30717108/32770624 swapFree=0/329468 [pid=10832] ppid=10829 vsize=103012 CPUtime=102.24 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 88602 0 0 0 10219 5 0 0 20 0 1 0 57017370 105484288 19855 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5046462 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19855 780 435 0 19116 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 103012 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.04 3/181 10837 /proc/meminfo: memFree=30715296/32770624 swapFree=0/329496 [pid=10832] ppid=10829 vsize=103012 CPUtime=162.22 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 98007 0 0 0 16216 6 0 0 20 0 1 0 57017370 105484288 19855 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5139490 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19855 780 435 0 19116 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 103012 [startup+222.306 s] /proc/loadavg: 2.04 2.03 2.05 3/181 10839 /proc/meminfo: memFree=30715156/32770624 swapFree=0/329492 [pid=10832] ppid=10829 vsize=103012 CPUtime=222.22 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 98395 0 0 0 22216 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5046712 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 103012 [startup+282.3 s] /proc/loadavg: 2.01 2.02 2.05 3/185 10856 /proc/meminfo: memFree=30711236/32770624 swapFree=0/329512 [pid=10832] ppid=10829 vsize=103012 CPUtime=282.21 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 98849 0 0 0 28215 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5046440 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 103012 [startup+342.3 s] /proc/loadavg: 2.01 2.01 2.05 3/182 10858 /proc/meminfo: memFree=30714260/32770624 swapFree=0/329556 [pid=10832] ppid=10829 vsize=103012 CPUtime=342.2 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 99271 0 0 0 34214 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5045825 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 103012 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 10860 /proc/meminfo: memFree=30714012/32770624 swapFree=0/329544 [pid=10832] ppid=10829 vsize=103012 CPUtime=402.2 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 99699 0 0 0 40214 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5046668 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 103012 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 10862 /proc/meminfo: memFree=30715408/32770624 swapFree=0/329580 [pid=10832] ppid=10829 vsize=103012 CPUtime=462.2 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 100153 0 0 0 46214 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5048473 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 103012 [startup+522.3 s] /proc/loadavg: 2.20 2.07 2.06 3/182 10864 /proc/meminfo: memFree=30715096/32770624 swapFree=0/329584 [pid=10832] ppid=10829 vsize=103012 CPUtime=522.2 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 100564 0 0 0 52214 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5046476 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 103012 [startup+582.3 s] /proc/loadavg: 2.15 2.08 2.06 3/181 10867 /proc/meminfo: memFree=30714800/32770624 swapFree=0/329584 [pid=10832] ppid=10829 vsize=103012 CPUtime=582.19 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 100991 0 0 0 58213 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5046712 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 103012 ################ # More data... # ################ [startup+1602.3 s] /proc/loadavg: 2.01 2.02 2.05 3/181 10930 /proc/meminfo: memFree=30713832/32770624 swapFree=0/329756 [pid=10832] ppid=10829 vsize=103012 CPUtime=1602.16 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 107895 0 0 0 160210 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5048020 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 1602.16 Current children cumulated vsize (KiB) 103012 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 10932 /proc/meminfo: memFree=30714328/32770624 swapFree=0/329772 [pid=10832] ppid=10829 vsize=103012 CPUtime=1662.15 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 108241 0 0 0 166209 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5048020 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 1662.15 Current children cumulated vsize (KiB) 103012 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 10934 /proc/meminfo: memFree=30714576/32770624 swapFree=0/329788 [pid=10832] ppid=10829 vsize=103012 CPUtime=1722.15 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 108601 0 0 0 172209 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5046712 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 1722.15 Current children cumulated vsize (KiB) 103012 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 10936 /proc/meminfo: memFree=30714652/32770624 swapFree=0/329792 [pid=10832] ppid=10829 vsize=103012 CPUtime=1782.15 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 108843 0 0 0 178209 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5139324 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 1782.15 Current children cumulated vsize (KiB) 103012 [startup+1842.3 s] /proc/loadavg: 2.05 2.03 2.05 3/181 10938 /proc/meminfo: memFree=30714972/32770624 swapFree=0/329812 [pid=10832] ppid=10829 vsize=103012 CPUtime=1842.15 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 109310 0 0 0 184209 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5048059 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 1842.15 Current children cumulated vsize (KiB) 103012 [startup+1902.3 s] /proc/loadavg: 2.02 2.02 2.05 3/181 11065 /proc/meminfo: memFree=31266656/32770624 swapFree=0/329856 [pid=10832] ppid=10829 vsize=103012 CPUtime=1902.14 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 109765 0 0 0 190208 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5046624 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 1902.14 Current children cumulated vsize (KiB) 103012 [startup+1962.3 s] /proc/loadavg: 2.01 2.02 2.05 3/181 11130 /proc/meminfo: memFree=31271036/32770624 swapFree=0/329908 [pid=10832] ppid=10829 vsize=103012 CPUtime=1962.14 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 110233 0 0 0 196208 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5048575 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 1962.14 Current children cumulated vsize (KiB) 103012 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 11132 /proc/meminfo: memFree=31271036/32770624 swapFree=0/329940 [pid=10832] ppid=10829 vsize=103012 CPUtime=2022.14 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 110686 0 0 0 202208 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5139507 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 2022.14 Current children cumulated vsize (KiB) 103012 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/185 11149 /proc/meminfo: memFree=31266488/32770624 swapFree=0/329976 [pid=10832] ppid=10829 vsize=103012 CPUtime=2082.14 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 111039 0 0 0 208208 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5139490 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 2082.14 Current children cumulated vsize (KiB) 103012 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 11151 /proc/meminfo: memFree=31269752/32770624 swapFree=0/329988 [pid=10832] ppid=10829 vsize=103012 CPUtime=2142.13 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 111449 0 0 0 214207 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5139312 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 2142.13 Current children cumulated vsize (KiB) 103012 [startup+2202.31 s] /proc/loadavg: 2.04 2.03 2.05 3/182 11153 /proc/meminfo: memFree=31270248/32770624 swapFree=0/330020 [pid=10832] ppid=10829 vsize=103012 CPUtime=2202.14 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 111693 0 0 0 220208 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5046704 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 2202.14 Current children cumulated vsize (KiB) 103012 [startup+2262.3 s] /proc/loadavg: 2.01 2.02 2.05 3/182 11155 /proc/meminfo: memFree=31270504/32770624 swapFree=0/330040 [pid=10832] ppid=10829 vsize=103012 CPUtime=2262.13 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 111989 0 0 0 226207 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5139291 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 2262.13 Current children cumulated vsize (KiB) 103012 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 11157 /proc/meminfo: memFree=31271372/32770624 swapFree=0/330052 [pid=10832] ppid=10829 vsize=103012 CPUtime=2322.13 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 112444 0 0 0 232207 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5048059 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 2322.13 Current children cumulated vsize (KiB) 103012 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 11160 /proc/meminfo: memFree=31271048/32770624 swapFree=0/330056 [pid=10832] ppid=10829 vsize=103012 CPUtime=2382.12 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 112828 0 0 0 238206 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5139333 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 2382.12 Current children cumulated vsize (KiB) 103012 [startup+2442.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 11162 /proc/meminfo: memFree=31271040/32770624 swapFree=0/330068 [pid=10832] ppid=10829 vsize=103012 CPUtime=2442.12 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 112991 0 0 0 244206 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5048436 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 2442.12 Current children cumulated vsize (KiB) 103012 [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 11164 /proc/meminfo: memFree=31270544/32770624 swapFree=0/330084 [pid=10832] ppid=10829 vsize=103012 CPUtime=2502.12 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 113519 0 0 0 250206 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5046280 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 2502.12 Current children cumulated vsize (KiB) 103012 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s] /proc/loadavg: 2.07 2.03 2.05 3/181 11166 /proc/meminfo: memFree=31270772/32770624 swapFree=0/330112 [pid=10832] ppid=10829 vsize=103012 CPUtime=2519.82 cores=0,2,4,6 /proc/10832/stat : 10832 (cosoco) R 10829 10832 1785 0 -1 4202496 113780 0 0 0 251976 6 0 0 20 0 1 0 57017370 105484288 19862 18446744073709551615 4194304 5972588 140725278123120 140725278120568 5139333 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 9871360 140725278130670 140725278130765 140725278130765 140725278134222 0 /proc/10832/statm: 25753 19862 780 435 0 19116 0 Current children cumulated CPU time (s) 2519.82 Current children cumulated vsize (KiB) 103012 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 10832 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520 CPU time (s): 2519.83 CPU user time (s): 2519.76 CPU system time (s): 0.068997 CPU usage (%): 99.9933 Max. virtual memory (cumulated for all children) (KiB): 103012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.76 system time used= 0.068997 maximum resident set size= 79528 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 113851 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= 35 involuntary context switches= 633 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.92132 second user time and 9.29937 second system time The end
Begin job on node126 at 2017-08-12 16:16:18 IDJOB=4267704 IDBENCH=135000 IDSOLVER=2658 FILE ID=node126/4267704-1502548219 RUNJOBID= node126-1502500311-1848 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-dimacs/Pb-ii8d2.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267704-1502548219/watcher-4267704-1502548219 -o /tmp/evaluation-result-4267704-1502548219/solver-4267704-1502548219 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502500311-1848 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267704-1502548219.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f6e5619a9394ff6fb9e35a49c1220c66 RANDOM SEED=1358219193 node126.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.81 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.81 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.81 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.81 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: 30794364 kB MemAvailable: 31429556 kB Buffers: 304480 kB Cached: 603056 kB SwapCached: 524 kB Active: 1116492 kB Inactive: 400832 kB Active(anon): 563968 kB Inactive(anon): 71324 kB Active(file): 552524 kB Inactive(file): 329508 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67105588 kB Dirty: 2528 kB Writeback: 0 kB AnonPages: 619852 kB Mapped: 45672 kB Shmem: 25248 kB Slab: 164084 kB SReclaimable: 137992 kB SUnreclaim: 26092 kB KernelStack: 3392 kB PageTables: 6280 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 870764 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 571392 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62028 MiB End job on node126 at 2017-08-12 16:58:18