Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Naxos 1.1.0 | SAT (TO) | 7 | 2400.08 | 2400.31 |
Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-5.xml |
MD5SUM | 51dc9de19dcdd21b605810f9d7307a76 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 7 |
Best CPU time to get the best result obtained on this benchmark | 2400.02 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2030 |
Number of constraints | 33751 |
Number of domains | 1 |
Minimum domain size | 2030 |
Maximum domain size | 2030 |
Distribution of domain sizes | [{"size":2030,"count":2030}] |
Minimum variable degree | 9 |
Maximum variable degree | 410 |
Distribution of variable degrees | [{"degree":9,"count":4},{"degree":10,"count":14},{"degree":11,"count":12},{"degree":12,"count":36},{"degree":13,"count":23},{"degree":14,"count":54},{"degree":15,"count":22},{"degree":16,"count":66},{"degree":17,"count":41},{"degree":18,"count":123},{"degree":19,"count":41},{"degree":20,"count":123},{"degree":21,"count":19},{"degree":22,"count":57},{"degree":23,"count":42},{"degree":24,"count":131},{"degree":25,"count":8},{"degree":26,"count":24},{"degree":27,"count":29},{"degree":28,"count":87},{"degree":29,"count":44},{"degree":30,"count":132},{"degree":31,"count":87},{"degree":32,"count":261},{"degree":33,"count":5},{"degree":34,"count":15},{"degree":35,"count":15},{"degree":36,"count":45},{"degree":41,"count":5},{"degree":42,"count":15},{"degree":43,"count":5},{"degree":44,"count":15},{"degree":49,"count":5},{"degree":50,"count":15},{"degree":51,"count":15},{"degree":52,"count":45},{"degree":53,"count":15},{"degree":54,"count":45},{"degree":55,"count":45},{"degree":56,"count":135},{"degree":77,"count":5},{"degree":78,"count":15},{"degree":79,"count":15},{"degree":80,"count":45},{"degree":87,"count":5},{"degree":169,"count":5},{"degree":170,"count":15},{"degree":410,"count":5}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":33751}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 33751 |
Distribution of constraint types | [{"type":"intension","count":33751}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
21.49/21.55 o 7 2400.08/2400.30 s SATISFIABLE 2400.08/2400.30 v <instantiation> 2400.08/2400.30 v <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] </list> 2400.08/2400.30 v <values> 0 1 0 1 2 1 2 1 2 3 1 2 3 5 6 2 1 0 1 2 1 2 1 2 4 1 2 4 4 4 2 1 3 1 2 1 2 1 2 3 1 2 3 3 3 2 4 4 4 2 4 2 4 2 4 4 2 4 4 4 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2 3 4 5 6 0 1 0 1 0 1 0 0 0 0 0 2 0 0 0 0 1 0 1 0 1 0 0 0 0 0 2 0 0 0 2 3 3 3 2 3 2 3 2 3 3 2 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 3 3 3 3 3 3 3 3 3 2 3 0 5 6 3 1 3 1 3 1 3 1 1 1 1 3 3 1 1 4 1 4 1 4 1 4 1 1 1 1 4 4 1 1 3 1 3 1 3 1 3 1 1 1 1 3 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 1 1 1 0 2 0 2 0 2 0 0 0 0 0 2 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 4 2 1 5 2 1 3 1 2 1 2 1 2 3 1 2 3 7 6 0 1 0 1 2 1 2 1 2 4 1 2 4 4 4 2 1 3 1 2 1 2 1 2 3 1 2 3 3 3 4 1 4 1 4 1 0 0 0 0 0 4 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 0 1 1 0 1 0 1 0 1 0 0 0 0 0 2 0 0 0 0 1 0 1 0 1 0 0 0 0 0 2 0 0 0 0 3 0 0 0 3 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 3 1 3 1 3 1 3 1 1 1 1 3 3 1 1 0 1 0 1 4 1 4 1 1 1 1 4 4 1 1 3 1 3 1 3 1 3 1 1 1 1 3 3 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 1 0 0 1 0 1 2 1 2 1 2 3 1 2 3 5 5 2 1 0 1 2 1 2 1 2 4 1 2 4 4 4 2 1 3 1 2 1 2 1 2 3 1 2 3 3 3 2 4 4 3 2 4 2 4 2 4 4 2 4 4 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 4 2 2 0 1 0 1 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 3 3 2 3 2 3 2 3 3 2 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 3 0 2 2 2 1 3 1 2 1 2 1 2 3 1 2 3 4 4 2 1 4 1 2 1 2 1 2 4 1 2 4 4 4 2 1 3 1 2 1 2 1 2 3 1 2 3 3 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 1 1 1 0 2 0 2 0 2 0 0 0 0 0 2 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 4 2 1 2 2 1 3 1 2 1 2 1 2 3 1 2 3 6 6 4 1 4 1 2 1 2 1 2 4 1 2 4 4 4 2 1 3 1 2 1 2 1 2 3 1 2 3 3 3 4 1 4 1 4 1 4 1 4 4 1 4 4 4 4 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 4 1 1 2 1 3 1 2 1 2 1 2 3 1 2 3 6 6 2 1 5 1 2 1 2 1 2 6 1 2 6 6 6 2 3 3 3 2 3 2 3 2 3 3 2 3 3 3 3 5 3 3 5 5 5 5 5 5 5 5 5 5 5 5 3 3 3 5 3 3 3 3 3 3 5 3 3 3 5 3 5 5 5 3 1 3 1 3 1 3 1 1 1 1 3 3 1 1 4 1 4 1 4 1 4 1 1 1 1 4 4 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 5 3 3 2 5 2 3 2 3 5 2 3 5 5 2 4 4 4 2 4 2 5 2 5 5 2 5 5 5 2 3 3 3 2 3 2 3 2 3 3 2 3 3 3 2 4 3 3 2 4 2 4 2 4 4 2 4 4 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 4 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 4 5 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 6 0 2 </values> 2400.08/2400.30 v </instantiation>
OK 7
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-4251665-1500915006/watcher-4251665-1500915006 -o /tmp/evaluation-result-4251665-1500915006/solver-4251665-1500915006 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500915006-3507 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4251665-1500915006.xml pid=3535 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 8.00 7.97 7.95 3/183 3538 /proc/meminfo: memFree=32133040/32770624 swapFree=5732/108084 [pid=3538] ppid=3535 vsize=24740 CPUtime=0 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 931 0 0 0 0 0 0 0 20 0 1 0 1040615 25333760 739 33554432000 4194304 6986860 140735781112416 140735781109112 140697159736293 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 6185 739 637 682 0 188 0 [startup+0.100199 s] /proc/loadavg: 8.00 7.97 7.95 3/183 3538 /proc/meminfo: memFree=32133040/32770624 swapFree=5732/108084 [pid=3538] ppid=3535 vsize=28360 CPUtime=0.09 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 1855 0 0 0 9 0 0 0 20 0 1 0 1040615 29040640 1700 33554432000 4194304 6986860 140735781112416 140735781109112 5801060 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 7090 1700 663 682 0 1093 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28360 [startup+0.200348 s] /proc/loadavg: 8.00 7.97 7.95 3/183 3538 /proc/meminfo: memFree=32133040/32770624 swapFree=5732/108084 [pid=3538] ppid=3535 vsize=29588 CPUtime=0.19 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 2115 0 0 0 19 0 0 0 20 0 1 0 1040615 30298112 1903 33554432000 4194304 6986860 140735781112416 140735781109112 5801071 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 7397 1903 663 682 0 1400 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 29588 [startup+0.300317 s] /proc/loadavg: 8.00 7.97 7.95 3/183 3538 /proc/meminfo: memFree=32133040/32770624 swapFree=5732/108084 [pid=3538] ppid=3535 vsize=29464 CPUtime=0.29 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 2233 0 0 0 29 0 0 0 20 0 1 0 1040615 30171136 1883 33554432000 4194304 6986860 140735781112416 140735781109112 140697159736293 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 7366 1883 663 682 0 1369 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29464 [startup+0.70028 s] /proc/loadavg: 8.00 7.97 7.95 3/183 3538 /proc/meminfo: memFree=32133040/32770624 swapFree=5732/108084 [pid=3538] ppid=3535 vsize=30496 CPUtime=0.69 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 2599 0 0 0 69 0 0 0 20 0 1 0 1040615 31227904 2042 33554432000 4194304 6986860 140735781112416 140735781107096 5538508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 7624 2042 663 682 0 1627 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 30496 [startup+1.50028 s] /proc/loadavg: 7.52 7.87 7.92 3/184 3539 /proc/meminfo: memFree=32122584/32770624 swapFree=5732/108308 [pid=3538] ppid=3535 vsize=30628 CPUtime=1.49 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 2618 0 0 0 149 0 0 0 20 0 1 0 1040615 31363072 2107 33554432000 4194304 6986860 140735781112416 140735781107096 5637438 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 7657 2107 705 682 0 1660 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30628 [startup+3.10028 s] /proc/loadavg: 7.52 7.87 7.92 3/184 3539 /proc/meminfo: memFree=32122228/32770624 swapFree=5732/108308 [pid=3538] ppid=3535 vsize=30760 CPUtime=3.09 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 3123 0 0 0 309 0 0 0 20 0 1 0 1040615 31498240 2159 33554432000 4194304 6986860 140735781112416 140735781102664 5620150 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 7690 2159 705 682 0 1693 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30760 [startup+6.30028 s] /proc/loadavg: 7.52 7.87 7.92 3/184 3539 /proc/meminfo: memFree=32121544/32770624 swapFree=5740/108264 [pid=3538] ppid=3535 vsize=31024 CPUtime=6.29 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 3989 0 0 0 629 0 0 0 20 0 1 0 1040615 31768576 2250 33554432000 4194304 6986860 140735781112416 140735781102664 5618243 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 7756 2250 705 682 0 1759 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31024 [startup+12.7003 s] /proc/loadavg: 6.67 7.68 7.86 3/184 3539 /proc/meminfo: memFree=32119096/32770624 swapFree=5740/108264 [pid=3538] ppid=3535 vsize=31816 CPUtime=12.69 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 4889 0 0 0 1269 0 0 0 20 0 1 0 1040615 32579584 2402 33554432000 4194304 6986860 140735781112416 140735781102664 5638754 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 7954 2402 705 682 0 1957 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31816 [startup+25.5003 s] /proc/loadavg: 5.95 7.49 7.80 3/184 3539 /proc/meminfo: memFree=32111680/32770624 swapFree=5740/108284 [pid=3538] ppid=3535 vsize=38200 CPUtime=25.49 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 8811 0 0 0 2547 2 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107768 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 38200 [startup+51.1003 s] /proc/loadavg: 4.60 7.05 7.64 3/184 3539 /proc/meminfo: memFree=32088788/32770624 swapFree=5740/108288 [pid=3538] ppid=3535 vsize=38200 CPUtime=51.08 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 9074 0 0 0 5097 11 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107768 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 38200 [startup+102.3 s] /proc/loadavg: 3.04 6.20 7.32 3/184 3540 /proc/meminfo: memFree=32089184/32770624 swapFree=5740/108312 [pid=3538] ppid=3535 vsize=38200 CPUtime=102.28 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 9310 0 0 0 10197 31 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107768 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 38200 [startup+162.3 s] /proc/loadavg: 2.43 5.45 6.99 3/184 3541 /proc/meminfo: memFree=32089688/32770624 swapFree=5740/108340 [pid=3538] ppid=3535 vsize=38200 CPUtime=162.27 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 9552 0 0 0 16176 51 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107768 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 38200 [startup+222.306 s] /proc/loadavg: 2.16 4.82 6.68 3/184 3542 /proc/meminfo: memFree=32089864/32770624 swapFree=5740/108360 [pid=3538] ppid=3535 vsize=38200 CPUtime=222.27 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 9723 0 0 0 22151 76 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107944 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 38200 [startup+282.3 s] /proc/loadavg: 2.06 4.31 6.39 3/184 3543 /proc/meminfo: memFree=32089576/32770624 swapFree=5740/108384 [pid=3538] ppid=3535 vsize=38200 CPUtime=282.26 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 9894 0 0 0 28127 99 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107944 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 282.26 Current children cumulated vsize (KiB) 38200 [startup+342.3 s] /proc/loadavg: 2.05 3.90 6.12 3/182 3545 /proc/meminfo: memFree=32089860/32770624 swapFree=5740/108412 [pid=3538] ppid=3535 vsize=38200 CPUtime=342.25 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 10069 0 0 0 34104 121 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107944 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 342.25 Current children cumulated vsize (KiB) 38200 [startup+402.3 s] /proc/loadavg: 2.09 3.57 5.86 3/182 3546 /proc/meminfo: memFree=32090204/32770624 swapFree=5740/108432 [pid=3538] ppid=3535 vsize=38200 CPUtime=402.25 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 10240 0 0 0 40081 144 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107944 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 402.25 Current children cumulated vsize (KiB) 38200 [startup+462.3 s] /proc/loadavg: 2.03 3.29 5.62 3/182 3547 /proc/meminfo: memFree=32090524/32770624 swapFree=5740/108456 [pid=3538] ppid=3535 vsize=38200 CPUtime=462.24 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 10413 0 0 0 46055 169 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107944 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 462.24 Current children cumulated vsize (KiB) 38200 [startup+522.3 s] /proc/loadavg: 2.01 3.05 5.39 3/182 3549 /proc/meminfo: memFree=32089972/32770624 swapFree=5740/108484 [pid=3538] ppid=3535 vsize=38200 CPUtime=522.24 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 10569 0 0 0 52033 191 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107944 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 522.24 Current children cumulated vsize (KiB) 38200 [startup+582.3 s] /proc/loadavg: 2.00 2.86 5.18 3/182 3550 /proc/meminfo: memFree=32090304/32770624 swapFree=5740/108508 [pid=3538] ppid=3535 vsize=38200 CPUtime=582.23 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 10725 0 0 0 58011 212 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107768 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 582.23 Current children cumulated vsize (KiB) 38200 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.04 3.14 3/182 3602 /proc/meminfo: memFree=32089116/32770624 swapFree=5740/108892 [pid=3538] ppid=3535 vsize=38200 CPUtime=1542.15 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 13221 0 0 0 153653 562 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107768 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 1542.15 Current children cumulated vsize (KiB) 38200 [startup+1602.3 s] /proc/loadavg: 2.00 2.04 3.07 3/181 3603 /proc/meminfo: memFree=32090312/32770624 swapFree=5740/108736 [pid=3538] ppid=3535 vsize=38200 CPUtime=1602.14 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 13377 0 0 0 159629 585 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107944 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 1602.14 Current children cumulated vsize (KiB) 38200 [startup+1662.3 s] /proc/loadavg: 2.00 2.03 3.00 3/182 3605 /proc/meminfo: memFree=32089816/32770624 swapFree=5740/108764 [pid=3538] ppid=3535 vsize=38200 CPUtime=1662.13 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 13533 0 0 0 165606 607 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107944 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 1662.13 Current children cumulated vsize (KiB) 38200 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.94 3/182 3606 /proc/meminfo: memFree=32089664/32770624 swapFree=5740/108784 [pid=3538] ppid=3535 vsize=38200 CPUtime=1722.13 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 13689 0 0 0 171585 628 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107768 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 1722.13 Current children cumulated vsize (KiB) 38200 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.88 3/182 3607 /proc/meminfo: memFree=32089788/32770624 swapFree=5740/108808 [pid=3538] ppid=3535 vsize=38200 CPUtime=1782.12 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 13845 0 0 0 177561 651 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107768 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 1782.12 Current children cumulated vsize (KiB) 38200 [startup+1842.3 s] /proc/loadavg: 2.04 2.03 2.83 3/182 3615 /proc/meminfo: memFree=32088328/32770624 swapFree=5740/108840 [pid=3538] ppid=3535 vsize=38200 CPUtime=1842.12 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 14001 0 0 0 183539 673 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107944 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 1842.12 Current children cumulated vsize (KiB) 38200 [startup+1902.3 s] /proc/loadavg: 2.01 2.02 2.78 3/182 3616 /proc/meminfo: memFree=32089132/32770624 swapFree=5740/108856 [pid=3538] ppid=3535 vsize=38200 CPUtime=1902.12 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 14157 0 0 0 189514 698 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107768 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 1902.12 Current children cumulated vsize (KiB) 38200 [startup+1962.3 s] /proc/loadavg: 2.04 2.03 2.74 3/182 3617 /proc/meminfo: memFree=32089116/32770624 swapFree=5740/108888 [pid=3538] ppid=3535 vsize=38200 CPUtime=1962.11 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 14313 0 0 0 195491 720 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107768 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 1962.11 Current children cumulated vsize (KiB) 38200 [startup+2022.3 s] /proc/loadavg: 2.01 2.03 2.69 3/182 3618 /proc/meminfo: memFree=32089364/32770624 swapFree=5740/108908 [pid=3538] ppid=3535 vsize=38200 CPUtime=2022.1 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 14469 0 0 0 201469 741 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107944 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 2022.1 Current children cumulated vsize (KiB) 38200 [startup+2082.3 s] /proc/loadavg: 2.01 2.02 2.64 3/182 3619 /proc/meminfo: memFree=32089652/32770624 swapFree=5740/108928 [pid=3538] ppid=3535 vsize=38200 CPUtime=2082.11 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 14625 0 0 0 207448 763 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107944 5424881 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 2082.11 Current children cumulated vsize (KiB) 38200 [startup+2142.3 s] /proc/loadavg: 2.00 2.02 2.60 3/182 3621 /proc/meminfo: memFree=32089788/32770624 swapFree=5740/108956 [pid=3538] ppid=3535 vsize=38200 CPUtime=2142.09 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 14781 0 0 0 213426 783 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107768 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 2142.09 Current children cumulated vsize (KiB) 38200 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.57 3/182 3622 /proc/meminfo: memFree=32089620/32770624 swapFree=5740/108976 [pid=3538] ppid=3535 vsize=38200 CPUtime=2202.1 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 14937 0 0 0 219403 807 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107768 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 2202.1 Current children cumulated vsize (KiB) 38200 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.53 3/182 3623 /proc/meminfo: memFree=32089980/32770624 swapFree=5740/109008 [pid=3538] ppid=3535 vsize=38200 CPUtime=2262.08 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 15093 0 0 0 225378 830 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107944 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 2262.08 Current children cumulated vsize (KiB) 38200 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.50 3/182 3625 /proc/meminfo: memFree=32089824/32770624 swapFree=5740/109036 [pid=3538] ppid=3535 vsize=38200 CPUtime=2322.08 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 15249 0 0 0 231357 851 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107768 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 2322.08 Current children cumulated vsize (KiB) 38200 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.47 3/182 3626 /proc/meminfo: memFree=32089684/32770624 swapFree=5740/109060 [pid=3538] ppid=3535 vsize=38200 CPUtime=2382.07 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 15405 0 0 0 237335 872 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107768 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 2382.07 Current children cumulated vsize (KiB) 38200 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.31 s] /proc/loadavg: 2.08 2.03 2.46 3/177 3641 /proc/meminfo: memFree=32122952/32770624 swapFree=5740/109068 [pid=3538] ppid=3535 vsize=38200 CPUtime=2400.08 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 15561 0 0 0 239129 879 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107944 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 38200 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 3538 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.31 s] /proc/loadavg: 2.08 2.03 2.46 3/177 3641 /proc/meminfo: memFree=32122952/32770624 swapFree=5740/109068 [pid=3538] ppid=3535 vsize=38200 CPUtime=2400.08 cores=0,2,4,6 /proc/3538/stat : 3538 (naxos-xcsp3) R 3535 3538 3476 0 -1 4202496 15561 0 0 0 239129 879 0 0 20 0 1 0 1040615 39116800 4257 33554432000 4194304 6986860 140735781112416 140735781107944 140697159999868 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 36679680 140735781119246 140735781119327 140735781119327 140735781122026 0 /proc/3538/statm: 9550 4257 729 682 0 3553 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 38200 Child status: 0 Real time (s): 2400.31 CPU time (s): 2400.08 CPU user time (s): 2391.29 CPU system time (s): 8.7902 CPU usage (%): 99.9908 Max. virtual memory (cumulated for all children) (KiB): 38200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2391.29 system time used= 8.7902 maximum resident set size= 17048 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15594 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= 11 involuntary context switches= 1823 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.48771 second user time and 8.6572 second system time The end
Begin job on node115 at 2017-07-24 18:50:06 IDJOB=4251665 IDBENCH=120574 IDSOLVER=2634 FILE ID=node115/4251665-1500915006 RUNJOBID= node115-1500915006-3507 PBS_JOBID= 20625422 Free space on /tmp= 61812 MiB SOLVER NAME= Naxos 1.1.0 BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-3-fullins-5.xml COMMAND LINE= ./naxos-xcsp3 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4251665-1500915006/watcher-4251665-1500915006 -o /tmp/evaluation-result-4251665-1500915006/solver-4251665-1500915006 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500915006-3507 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4251665-1500915006.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 51dc9de19dcdd21b605810f9d7307a76 RANDOM SEED=880358415 node115.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.47 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.47 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.47 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.47 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: 32136196 kB MemAvailable: 32061732 kB Buffers: 27844 kB Cached: 213012 kB SwapCached: 0 kB Active: 166820 kB Inactive: 115444 kB Active(anon): 44328 kB Inactive(anon): 8660 kB Active(file): 122492 kB Inactive(file): 106784 kB Unevictable: 5732 kB Mlocked: 5732 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8120 kB Writeback: 0 kB AnonPages: 46780 kB Mapped: 26212 kB Shmem: 8844 kB Slab: 48248 kB SReclaimable: 24192 kB SUnreclaim: 24056 kB KernelStack: 3024 kB PageTables: 5484 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 266708 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61812 MiB End job on node115 at 2017-07-24 19:30:07