Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-06-15 | SAT (TO) | 39 | 2400.02 | 2400.01 |
Name | GraphColoring/ GraphColoring-qg-order40_c18.xml |
MD5SUM | d1aa36ddb66a988b2d6475ffc1d9c375 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 39 |
Best CPU time to get the best result obtained on this benchmark | 1305.33 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1600 |
Number of constraints | 62400 |
Number of domains | 1 |
Minimum domain size | 1600 |
Maximum domain size | 1600 |
Distribution of domain sizes | [{"size":1600,"count":1600}] |
Minimum variable degree | 79 |
Maximum variable degree | 79 |
Distribution of variable degrees | [{"degree":79,"count":1600}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":62400}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 62400 |
Distribution of constraint types | [{"type":"intension","count":62400}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c Mistral 16062018 14.29/14.33 o 43 14.49/14.54 o 42 14.59/14.68 o 41 15.19/15.29 o 40 15.39/15.41 o 39 2400.01/2400.00 s SATISFIABLE 2400.01/2400.00 v <instantiation type="solution"> 2400.01/2400.00 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] </list> 2400.01/2400.01 v <values> 2 38 3 10 26 32 25 15 11 4 5 14 18 13 9 37 21 39 24 19 20 6 22 29 28 7 30 8 0 1 27 31 17 33 34 35 36 16 12 23 1 39 0 2 3 4 5 6 7 8 9 10 11 12 14 13 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 8 0 38 39 2 3 4 5 6 7 1 9 10 11 12 14 13 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 3 2 36 37 38 39 0 1 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 4 3 1 34 36 35 39 37 38 0 2 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 5 8 2 32 33 34 36 38 35 37 4 39 3 0 6 7 1 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 6 4 8 0 30 31 32 33 34 36 37 35 39 1 38 2 3 7 5 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 7 6 5 1 27 28 29 30 31 32 35 33 36 39 34 38 0 37 2 3 4 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 9 7 34 5 29 0 17 27 22 30 8 23 31 15 26 33 11 21 6 24 35 4 19 38 25 37 28 16 10 12 18 2 32 13 36 14 1 20 3 39 0 11 13 6 1 14 8 25 23 24 26 12 27 29 28 30 33 31 37 39 34 32 38 2 36 3 35 10 9 7 5 15 16 21 17 18 20 22 4 19 10 1 6 31 5 20 34 39 9 25 27 28 0 30 22 35 37 33 32 12 3 23 13 4 38 8 19 2 11 29 36 14 15 26 7 17 16 21 18 24 11 12 33 7 24 22 16 26 25 39 21 36 23 31 27 29 18 34 30 37 6 10 28 3 8 38 2 20 32 17 19 35 4 1 0 13 5 9 15 14 12 10 9 4 7 19 6 24 21 2 23 25 15 36 29 5 32 27 8 31 33 16 34 30 37 35 17 13 39 26 38 20 3 28 14 0 22 18 1 11 13 34 10 9 22 7 33 12 18 3 28 21 24 26 25 20 30 29 31 35 27 38 36 37 32 14 39 5 1 2 23 17 0 6 15 11 8 4 19 16 14 13 12 3 8 6 37 35 24 10 20 0 26 25 17 23 28 2 33 27 32 18 29 31 30 34 36 22 7 11 39 9 38 4 19 16 21 1 5 15 15 14 21 11 9 23 2 8 1 38 10 26 4 27 19 16 35 32 34 30 29 33 3 25 13 31 7 39 36 18 12 28 5 24 37 20 17 0 22 6 16 15 4 12 10 8 3 2 0 31 38 1 37 5 32 17 29 25 20 23 21 34 27 11 19 26 33 18 14 39 35 6 36 7 22 30 24 28 9 13 17 16 15 13 11 9 7 3 2 14 30 29 1 4 0 31 19 26 35 28 22 25 5 33 12 20 27 6 34 38 8 37 23 39 18 36 10 32 24 21 18 17 16 14 12 1 22 10 28 35 0 37 19 3 39 27 4 6 29 8 36 30 24 5 26 13 31 33 25 34 15 32 7 2 23 21 38 11 20 9 19 18 17 15 13 38 9 28 12 1 7 3 20 16 31 10 5 22 0 32 8 36 6 34 2 39 14 35 23 4 11 26 21 37 27 24 29 25 33 30 20 19 18 16 14 36 30 34 29 26 31 4 7 38 11 0 24 3 27 22 28 21 39 8 6 33 37 32 17 35 2 10 25 12 5 9 15 13 23 1 21 20 19 17 0 29 28 31 27 12 18 34 9 14 2 22 23 38 11 25 30 24 7 36 5 16 1 15 37 10 33 4 39 35 6 26 13 3 8 32 22 21 20 18 16 33 38 32 17 27 3 31 2 28 15 19 6 23 36 4 37 9 35 7 1 11 29 30 13 8 25 24 34 14 39 12 0 10 26 5 23 22 7 19 17 11 10 13 39 6 29 15 33 8 37 32 26 4 28 21 2 14 1 24 35 9 5 31 38 30 16 36 20 0 25 3 12 34 27 18 24 23 22 20 35 26 27 16 37 33 12 30 32 10 1 39 17 18 4 6 13 0 15 28 29 5 8 7 31 9 21 3 14 34 11 19 25 38 2 36 25 24 23 21 18 12 11 4 15 19 33 6 35 22 16 3 14 10 26 29 5 28 32 20 34 30 0 9 2 31 13 39 27 36 38 1 37 7 17 8 26 25 24 22 19 2 12 36 14 28 17 18 30 37 20 4 34 8 9 1 23 5 33 27 15 29 32 11 21 3 0 13 35 16 31 38 7 6 39 10 27 26 25 23 31 37 19 14 20 15 34 24 22 32 35 18 16 36 38 2 9 7 0 12 39 28 21 29 30 13 1 33 6 17 4 8 11 5 10 3 28 27 26 24 20 25 35 29 30 34 11 8 13 17 4 21 39 5 1 16 38 22 31 14 7 10 23 3 19 36 37 12 33 18 9 32 2 15 6 0 29 28 27 25 21 17 14 11 26 16 13 19 38 35 24 1 22 0 15 5 31 3 23 18 9 36 10 4 12 37 32 34 8 30 20 6 33 39 7 2 30 29 28 26 37 21 13 20 5 22 24 16 17 33 36 25 31 35 39 38 0 1 10 9 27 32 15 12 4 6 34 19 2 8 3 23 18 14 11 7 31 30 29 27 34 10 15 18 36 11 25 32 14 2 33 28 8 19 7 26 39 35 17 6 21 1 38 24 5 0 3 22 12 9 16 37 4 23 13 20 32 31 30 28 39 27 26 23 16 20 15 22 34 18 21 36 38 17 13 14 24 37 11 1 3 2 12 0 6 33 4 5 10 19 35 7 9 8 29 25 33 32 31 29 25 24 20 17 10 13 19 38 16 6 5 8 2 14 23 36 7 27 26 35 0 18 4 34 3 15 9 11 37 22 1 28 39 30 21 12 34 33 32 36 6 18 24 19 3 17 14 11 5 23 30 12 9 1 21 0 25 39 37 16 10 27 26 28 8 20 7 38 29 15 13 4 31 2 35 22 35 9 11 30 4 15 1 21 13 23 32 20 25 19 7 24 36 28 22 34 26 12 2 39 33 0 6 37 29 14 31 8 18 38 10 5 3 17 16 27 36 35 14 8 23 5 21 22 33 29 39 27 28 34 18 26 25 20 3 7 15 31 30 32 4 6 9 38 16 24 10 1 13 11 12 2 19 37 0 17 37 36 35 33 15 13 31 9 8 21 16 2 12 20 3 6 7 24 18 10 1 26 25 23 17 22 34 27 28 32 30 0 11 5 29 39 14 19 38 4 38 37 39 35 28 30 18 7 32 9 22 13 29 21 23 15 27 12 19 20 17 2 4 0 24 25 11 36 33 5 14 16 1 3 8 10 6 26 31 34 39 5 37 38 32 16 23 0 19 18 36 17 21 24 13 34 20 30 25 33 11 29 8 26 31 4 3 1 35 22 6 7 9 10 2 15 27 12 14 28 </values> 2400.01/2400.01 v </instantiation>
OK 39
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (5922 MiB free) memory of node 1: 16384 MiB (10606 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289340-1532192915/watcher-4289340-1532192915 -o /tmp/evaluation-result-4289340-1532192915/solver-4289340-1532192915 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532190502-25105 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2129773584 HOME/instance-4289340-1532192915.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=25480, runsolver pid=25477 Starting watchdog threadCurrent StackSize limit: 8192 KiB [startup+0.100195 s]* /proc/loadavg: 2.53 2.18 1.93 3/187 25481 /proc/meminfo: memFree=16922640/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=31260 memory=5572 CPUtime=0.1 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 1608 0 0 0 10 0 0 0 20 0 1 0 36854699 32010240 1393 33554432000 4194304 7498468 140733979923552 140733979920552 6094933 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 7815 1393 666 807 0 806 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 31260 KiB Current children cumulated memory: 5572 KiB [startup+0.209477 s]* /proc/loadavg: 2.53 2.18 1.93 3/187 25481 /proc/meminfo: memFree=16921648/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=31908 memory=6020 CPUtime=0.21 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 1834 0 0 0 21 0 0 0 20 0 1 0 36854699 32673792 1505 33554432000 4194304 7498468 140733979923552 140733979920552 6094921 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 7977 1505 666 807 0 968 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 31908 KiB Current children cumulated memory: 6020 KiB [startup+0.309214 s]* /proc/loadavg: 2.53 2.18 1.93 3/187 25481 /proc/meminfo: memFree=16921276/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=32172 memory=6544 CPUtime=0.31 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 1953 0 0 0 31 0 0 0 20 0 1 0 36854699 32944128 1636 33554432000 4194304 7498468 140733979923552 140733979920552 139682214667050 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 8043 1636 666 807 0 1034 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 32172 KiB Current children cumulated memory: 6544 KiB [startup+0.700335 s] /proc/loadavg: 2.53 2.18 1.93 3/187 25481 /proc/meminfo: memFree=16920160/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=33996 memory=8232 CPUtime=0.68 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 2598 0 0 0 68 0 0 0 20 0 1 0 36854699 34811904 2058 33554432000 4194304 7498468 140733979923552 140733979920552 6094933 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 8499 2058 666 807 0 1490 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 33996 KiB Current children cumulated memory: 8232 KiB [startup+1.50035 s] /proc/loadavg: 2.53 2.18 1.93 3/187 25481 /proc/meminfo: memFree=16911592/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=54156 memory=28560 CPUtime=1.49 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 7683 0 0 0 148 1 0 0 20 0 1 0 36854699 55455744 7140 33554432000 4194304 7498468 140733979923552 140733979914168 4564424 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 13539 7140 689 807 0 6530 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 54156 KiB Current children cumulated memory: 28560 KiB [startup+3.10938 s] /proc/loadavg: 2.49 2.17 1.93 3/187 25481 /proc/meminfo: memFree=16861868/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=93360 memory=67820 CPUtime=3.09 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 18234 0 0 0 307 2 0 0 20 0 1 0 36854699 95600640 16955 33554432000 4194304 7498468 140733979923552 140733979914168 4564576 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 23340 16955 689 807 0 16331 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 93360 KiB Current children cumulated memory: 67820 KiB [startup+6.30037 s] /proc/loadavg: 2.49 2.17 1.93 3/187 25481 /proc/meminfo: memFree=16798380/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=163308 memory=137720 CPUtime=6.29 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 38075 0 0 0 624 5 0 0 20 0 1 0 36854699 167227392 34430 33554432000 4194304 7498468 140733979923552 140733979914168 4564583 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 40827 34430 689 807 0 33818 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 163308 KiB Current children cumulated memory: 137720 KiB [startup+12.7003 s] /proc/loadavg: 2.41 2.17 1.93 3/187 25481 /proc/meminfo: memFree=16689428/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=274000 memory=248368 CPUtime=12.69 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 67753 0 0 0 1261 8 0 0 20 0 1 0 36854699 280576000 62092 33554432000 4194304 7498468 140733979923552 140733979914168 4566014 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 68500 62092 689 807 0 61491 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 274000 KiB Current children cumulated memory: 248368 KiB [startup+25.5004 s] /proc/loadavg: 2.35 2.16 1.93 3/187 25481 /proc/meminfo: memFree=16617856/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=333780 memory=308564 CPUtime=25.49 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 141080 0 0 0 2537 12 0 0 20 0 1 0 36854699 341790720 77141 33554432000 4194304 7498468 140733979923552 140733979918568 4404930 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB [startup+51.1094 s] /proc/loadavg: 2.22 2.15 1.93 3/187 25542 /proc/meminfo: memFree=16617200/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=333780 memory=308564 CPUtime=51.09 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 152250 0 0 0 5096 13 0 0 20 0 1 0 36854699 341790720 77141 33554432000 4194304 7498468 140733979923552 140733979918568 4404927 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB [startup+102.3 s] /proc/loadavg: 2.14 2.14 1.94 3/187 25550 /proc/meminfo: memFree=16616264/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=333780 memory=308564 CPUtime=102.27 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 160164 0 0 0 10214 13 0 0 20 0 1 0 36854699 341790720 77141 33554432000 4194304 7498468 140733979923552 140733979918568 5574706 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB [startup+162.3 s] /proc/loadavg: 2.05 2.11 1.95 3/187 25551 /proc/meminfo: memFree=16616292/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=333780 memory=308564 CPUtime=162.25 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 167414 0 0 0 16212 13 0 0 20 0 1 0 36854699 341790720 77141 33554432000 4194304 7498468 140733979923552 140733979918568 4249984 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 162.25 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB [startup+222.3 s] /proc/loadavg: 2.02 2.09 1.95 3/187 25552 /proc/meminfo: memFree=16616020/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=333780 memory=308564 CPUtime=222.24 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 167992 0 0 0 22211 13 0 0 20 0 1 0 36854699 341790720 77141 33554432000 4194304 7498468 140733979923552 140733979918568 4258062 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 222.24 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB [startup+282.3 s] /proc/loadavg: 2.01 2.08 1.95 3/187 25553 /proc/meminfo: memFree=16616144/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=333780 memory=308564 CPUtime=282.25 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 168571 0 0 0 28212 13 0 0 20 0 1 0 36854699 341790720 77141 33554432000 4194304 7498468 140733979923552 140733979918568 4404954 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 282.25 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.06 1.95 3/187 25554 /proc/meminfo: memFree=16616020/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=333780 memory=308564 CPUtime=342.25 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 169149 0 0 0 34212 13 0 0 20 0 1 0 36854699 341790720 77141 33554432000 4194304 7498468 140733979923552 140733979918568 4404951 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 342.25 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.05 1.95 3/187 25555 /proc/meminfo: memFree=16616144/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=333780 memory=308564 CPUtime=402.25 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 169486 0 0 0 40212 13 0 0 20 0 1 0 36854699 341790720 77141 33554432000 4194304 7498468 140733979923552 140733979918568 4404919 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 402.25 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.04 1.95 3/187 25556 /proc/meminfo: memFree=16616004/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=333780 memory=308564 CPUtime=462.25 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 170070 0 0 0 46212 13 0 0 20 0 1 0 36854699 341790720 77141 33554432000 4194304 7498468 140733979923552 140733979918568 4404940 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 462.25 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB ################ # More data... # ################ /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 1602.28 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB [startup+1662.3 s] /proc/loadavg: 2.12 2.14 2.02 3/187 25594 /proc/meminfo: memFree=16616544/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=333780 memory=308564 CPUtime=1662.28 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 179103 0 0 0 166215 13 0 0 20 0 1 0 36854699 341790720 77141 33554432000 4194304 7498468 140733979923552 140733979918568 4258077 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 1662.28 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB [startup+1722.3 s] /proc/loadavg: 2.05 2.11 2.02 3/187 25595 /proc/meminfo: memFree=16616296/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=333780 memory=308564 CPUtime=1722.28 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 179679 0 0 0 172215 13 0 0 20 0 1 0 36854699 341790720 77141 33554432000 4194304 7498468 140733979923552 140733979918568 4404919 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 1722.28 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB [startup+1782.3 s] /proc/loadavg: 2.02 2.09 2.02 3/187 25596 /proc/meminfo: memFree=16616420/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=333780 memory=308564 CPUtime=1782.28 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 180021 0 0 0 178215 13 0 0 20 0 1 0 36854699 341790720 77141 33554432000 4194304 7498468 140733979923552 140733979918568 5697054 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 1782.28 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB [startup+1842.3 s] /proc/loadavg: 2.01 2.08 2.02 3/187 25597 /proc/meminfo: memFree=16616296/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=333780 memory=308564 CPUtime=1842.29 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 180354 0 0 0 184216 13 0 0 20 0 1 0 36854699 341790720 77141 33554432000 4194304 7498468 140733979923552 140733979918568 4404954 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 1842.29 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.06 2.02 3/188 25606 /proc/meminfo: memFree=16615060/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=333780 memory=308564 CPUtime=1902.29 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 180704 0 0 0 190216 13 0 0 20 0 1 0 36854699 341790720 77141 33554432000 4194304 7498468 140733979923552 140733979918568 4249991 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 1902.29 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.05 2.02 3/188 25607 /proc/meminfo: memFree=16615488/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=333780 memory=308564 CPUtime=1962.29 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 181045 0 0 0 196216 13 0 0 20 0 1 0 36854699 341790720 77141 33554432000 4194304 7498468 140733979923552 140733979918568 4404837 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 1962.29 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.04 2.02 3/188 25608 /proc/meminfo: memFree=16615512/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=333780 memory=308564 CPUtime=2022.29 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 181386 0 0 0 202216 13 0 0 20 0 1 0 36854699 341790720 77141 33554432000 4194304 7498468 140733979923552 140733979918568 4249991 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 2022.29 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB [startup+2082.3 s] /proc/loadavg: 2.10 2.07 2.03 3/188 25609 /proc/meminfo: memFree=16615768/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=333780 memory=308564 CPUtime=2082.29 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 181727 0 0 0 208216 13 0 0 20 0 1 0 36854699 341790720 77141 33554432000 4194304 7498468 140733979923552 140733979918568 4404768 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 2082.29 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB [startup+2142.3 s] /proc/loadavg: 2.04 2.05 2.03 3/188 25610 /proc/meminfo: memFree=16615404/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=333780 memory=308564 CPUtime=2142.29 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 182068 0 0 0 214216 13 0 0 20 0 1 0 36854699 341790720 77141 33554432000 4194304 7498468 140733979923552 140733979918568 4404927 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 2142.29 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB [startup+2202.3 s] /proc/loadavg: 2.01 2.04 2.03 3/187 25611 /proc/meminfo: memFree=16615420/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=333780 memory=308564 CPUtime=2202.3 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 182409 0 0 0 220217 13 0 0 20 0 1 0 36854699 341790720 77141 33554432000 4194304 7498468 140733979923552 140733979918568 4404919 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 2202.3 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.04 2.03 3/187 25612 /proc/meminfo: memFree=16615420/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=333780 memory=308564 CPUtime=2262.3 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 182750 0 0 0 226217 13 0 0 20 0 1 0 36854699 341790720 77141 33554432000 4194304 7498468 140733979923552 140733979918568 4258077 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 2262.3 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.03 2.03 3/187 25613 /proc/meminfo: memFree=16615544/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=333780 memory=308564 CPUtime=2322.3 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 183450 0 0 0 232217 13 0 0 20 0 1 0 36854699 341790720 77141 33554432000 4194304 7498468 140733979923552 140733979918568 5164472 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 2322.3 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.03 2.03 3/187 25614 /proc/meminfo: memFree=16615420/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=333780 memory=308564 CPUtime=2382.3 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 183916 0 0 0 238217 13 0 0 20 0 1 0 36854699 341790720 77141 33554432000 4194304 7498468 140733979923552 140733979918568 4580472 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 2382.3 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400 s]* /proc/loadavg: 2.00 2.02 2.03 3/187 25614 /proc/meminfo: memFree=16615544/32770624 swapFree=67108860/67108860 [pid=25480] ppid=25477 vsize=333780 memory=308564 CPUtime=2400.01 cores=0,2,4,6 /proc/25480/stat : 25480 (MistralXCSP) R 25477 25480 25074 0 -1 4202496 183916 0 0 0 239988 13 0 0 20 0 1 0 36854699 341790720 77141 33554432000 4194304 7498468 140733979923552 140733979918568 4258039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12038144 140733979927661 140733979927811 140733979927811 140733979930569 0 /proc/25480/statm: 83445 77141 736 807 0 76436 0 Current children cumulated CPU time: 2400.01 s Current children cumulated vsize: 333780 KiB Current children cumulated memory: 308564 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.01 s] # the end of solver process 25480 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.89 s, system=0.139003 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2400.01 CPU time (s): 2400.02 CPU user time (s): 2399.89 CPU system time (s): 0.139003 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 333780 Max. memory (cumulated for all children) (KiB): 308564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.89 system time used= 0.139003 maximum resident set size= 311304 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 183956 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= 114 involuntary context switches= 623 # summary of solver processes directly reported to runsolver: # pid: 25480 # total CPU time (s): 2400.02 # total CPU user time (s): 2399.89 # total CPU system time (s): 0.139003 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.70891 second user time and 17.1218 second system time The end
Begin job on node102 at 2018-07-21 19:08:35 IDJOB=4289340 IDBENCH=141136 IDSOLVER=2741 FILE ID=node102/4289340-1532192915 RUNJOBID= node102-1532190502-25105 PBS_JOBID= 21018941 Free space on /tmp= 53236 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order40_c18.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4289340-1532192915/watcher-4289340-1532192915 -o /tmp/evaluation-result-4289340-1532192915/solver-4289340-1532192915 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532190502-25105 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2129773584 HOME/instance-4289340-1532192915.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d1aa36ddb66a988b2d6475ffc1d9c375 RANDOM SEED=2129773584 node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 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.51 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.51 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.51 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: 16926172 kB MemAvailable: 31937692 kB Buffers: 212572 kB Cached: 14892976 kB SwapCached: 0 kB Active: 1393880 kB Inactive: 13767988 kB Active(anon): 59664 kB Inactive(anon): 16892 kB Active(file): 1334216 kB Inactive(file): 13751096 kB Unevictable: 6604 kB Mlocked: 6604 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 10896 kB Writeback: 0 kB AnonPages: 63636 kB Mapped: 36224 kB Shmem: 17036 kB Slab: 381816 kB SReclaimable: 354668 kB SUnreclaim: 27148 kB KernelStack: 3328 kB PageTables: 4724 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 343992 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 53228 MiB End job on node102 at 2018-07-21 19:48:35