Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-08-01 | SAT (TO) | 332 | 2519.9 | 2520.01 |
Name | PseudoBoolean-opt/ Pb-circ10-3_c18.xml |
MD5SUM | 2a9d5e672b2129585e8bdcc62e976dce |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 360 |
Best CPU time to get the best result obtained on this benchmark | 2520.06 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2700 |
Number of constraints | 42620 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":2700}] |
Minimum variable degree | 20 |
Maximum variable degree | 272 |
Distribution of variable degrees | [{"degree":20,"count":20},{"degree":21,"count":180},{"degree":30,"count":20},{"degree":31,"count":20},{"degree":32,"count":210},{"degree":42,"count":90},{"degree":52,"count":720},{"degree":59,"count":90},{"degree":76,"count":90},{"degree":92,"count":90},{"degree":108,"count":90},{"degree":124,"count":90},{"degree":140,"count":90},{"degree":156,"count":90},{"degree":172,"count":90},{"degree":188,"count":90},{"degree":204,"count":90},{"degree":220,"count":90},{"degree":236,"count":90},{"degree":252,"count":90},{"degree":266,"count":90},{"degree":267,"count":90},{"degree":272,"count":90}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 36 |
Distribution of constraint arities | [{"arity":2,"count":3330},{"arity":3,"count":16740},{"arity":4,"count":1590},{"arity":5,"count":1440},{"arity":6,"count":1440},{"arity":7,"count":1440},{"arity":8,"count":1440},{"arity":9,"count":1820},{"arity":10,"count":1620},{"arity":11,"count":1440},{"arity":12,"count":1440},{"arity":13,"count":1440},{"arity":14,"count":1440},{"arity":15,"count":1440},{"arity":16,"count":1440},{"arity":17,"count":1440},{"arity":18,"count":1530},{"arity":36,"count":150}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":42620}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c Mistral 01082018 21.09/21.14 o 408 21.09/21.15 o 398 21.18/21.20 o 390 32.88/32.93 o 388 32.99/33.01 o 384 32.99/33.03 o 382 33.09/33.18 o 378 34.58/34.67 o 376 37.58/37.63 o 374 93.35/93.41 o 372 93.35/93.44 o 370 96.55/96.68 o 364 123.35/123.40 o 356 127.45/127.57 o 354 385.95/386.04 o 352 661.53/661.63 o 350 662.53/662.69 o 348 662.63/662.74 o 344 1200.12/1200.20 o 342 1251.62/1251.73 o 340 1295.02/1295.18 o 338 2004.19/2004.36 o 336 2189.38/2189.50 o 332 2519.89/2520.01 s SATISFIABLE 2519.89/2520.01 v <instantiation type="solution"> 2519.89/2520.01 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] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] x[2368] x[2369] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[2480] x[2481] x[2482] x[2483] x[2484] x[2485] x[2486] x[2487] x[2488] x[2489] x[2490] x[2491] x[2492] x[2493] x[2494] x[2495] x[2496] x[2497] x[2498] x[2499] x[2500] x[2501] x[2502] x[2503] x[2504] x[2505] x[2506] x[2507] x[2508] x[2509] x[2510] x[2511] x[2512] x[2513] x[2514] x[2515] x[2516] x[2517] x[2518] x[2519] x[2520] x[2521] x[2522] x[2523] x[2524] x[2525] x[2526] x[2527] x[2528] x[2529] x[2530] x[2531] x[2532] x[2533] x[2534] x[2535] x[2536] x[2537] x[2538] x[2539] x[2540] x[2541] x[2542] x[2543] x[2544] x[2545] x[2546] x[2547] x[2548] x[2549] x[2550] x[2551] x[2552] x[2553] x[2554] x[2555] x[2556] x[2557] x[2558] x[2559] x[2560] x[2561] x[2562] x[2563] x[2564] x[2565] x[2566] x[2567] x[2568] x[2569] x[2570] x[2571] x[2572] x[2573] x[2574] x[2575] x[2576] x[2577] x[2578] x[2579] x[2580] x[2581] x[2582] x[2583] x[2584] x[2585] x[2586] x[2587] x[2588] x[2589] x[2590] x[2591] x[2592] x[2593] x[2594] x[2595] x[2596] x[2597] x[2598] x[2599] x[2600] x[2601] x[2602] x[2603] x[2604] x[2605] x[2606] x[2607] x[2608] x[2609] x[2610] x[2611] x[2612] x[2613] x[2614] x[2615] x[2616] x[2617] x[2618] x[2619] x[2620] x[2621] x[2622] x[2623] x[2624] x[2625] x[2626] x[2627] x[2628] x[2629] x[2630] x[2631] x[2632] x[2633] x[2634] x[2635] x[2636] x[2637] x[2638] x[2639] x[2640] x[2641] x[2642] x[2643] x[2644] x[2645] x[2646] x[2647] x[2648] x[2649] x[2650] x[2651] x[2652] x[2653] x[2654] x[2655] x[2656] x[2657] x[2658] x[2659] x[2660] x[2661] x[2662] x[2663] x[2664] x[2665] x[2666] x[2667] x[2668] x[2669] x[2670] x[2671] x[2672] x[2673] x[2674] x[2675] x[2676] x[2677] x[2678] x[2679] x[2680] x[2681] x[2682] x[2683] x[2684] x[2685] x[2686] x[2687] x[2688] x[2689] x[2690] x[2691] x[2692] x[2693] x[2694] x[2695] x[2696] x[2697] x[2698] x[2699] </list> 2519.89/2520.01 v <values> 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 </values> 2519.89/2520.01 v </instantiation>
OK 332
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 (1401 MiB free) memory of node 1: 16384 MiB (2032 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303673-1533996046/watcher-4303673-1533996046 -o /tmp/evaluation-result-4303673-1533996046/solver-4303673-1533996046 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1533991001-7338 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 236971531 HOME/instance-4303673-1533996046.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=8166, runsolver pid=8163 [startup+0.100158 s]* /proc/loadavg: 2.00 2.01 1.97 3/188 8167 /proc/meminfo: memFree=3510152/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=34544 memory=8952 CPUtime=0.1 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 2499 0 0 0 10 0 0 0 20 0 1 0 217167789 35373056 2238 33554432000 4194304 7499544 140734782154240 140734782151240 140330185317349 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 8636 2238 721 807 0 1627 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 34544 KiB Current children cumulated memory: 8952 KiB [startup+0.209345 s]* /proc/loadavg: 2.00 2.01 1.97 3/188 8167 /proc/meminfo: memFree=3507512/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=37404 memory=11856 CPUtime=0.21 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 3231 0 0 0 21 0 0 0 20 0 1 0 217167789 38301696 2964 33554432000 4194304 7499544 140734782154240 140734782144600 4563992 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 9351 2964 721 807 0 2342 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 37404 KiB Current children cumulated memory: 11856 KiB [startup+0.309134 s]* /proc/loadavg: 2.00 2.01 1.97 3/188 8167 /proc/meminfo: memFree=3504908/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=40168 memory=14496 CPUtime=0.31 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 3883 0 0 0 31 0 0 0 20 0 1 0 217167789 41132032 3624 33554432000 4194304 7499544 140734782154240 140734782144600 6094501 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 10042 3624 721 807 0 3033 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 40168 KiB Current children cumulated memory: 14496 KiB [startup+0.700299 s] /proc/loadavg: 2.00 2.01 1.97 3/188 8167 /proc/meminfo: memFree=3503420/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=47632 memory=22244 CPUtime=0.69 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 5935 0 0 0 69 0 0 0 20 0 1 0 217167789 48775168 5561 33554432000 4194304 7499544 140734782154240 140734782144600 4563992 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 11908 5561 721 807 0 4899 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 47632 KiB Current children cumulated memory: 22244 KiB [startup+1.50029 s] /proc/loadavg: 2.00 2.01 1.97 3/188 8167 /proc/meminfo: memFree=3486804/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=67604 memory=42044 CPUtime=1.49 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 10923 0 0 0 148 1 0 0 20 0 1 0 217167789 69226496 10511 33554432000 4194304 7499544 140734782154240 140734782144600 5881812 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 16901 10511 721 807 0 9892 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 67604 KiB Current children cumulated memory: 42044 KiB [startup+3.10932 s] /proc/loadavg: 2.00 2.01 1.97 3/188 8167 /proc/meminfo: memFree=3438148/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=107748 memory=82140 CPUtime=3.1 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 23497 0 0 0 306 4 0 0 20 0 1 0 217167789 110333952 20535 33554432000 4194304 7499544 140734782154240 140734782144600 5646709 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 26937 20535 723 807 0 19928 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 107748 KiB Current children cumulated memory: 82140 KiB [startup+6.30029 s] /proc/loadavg: 2.00 2.01 1.97 3/188 8167 /proc/meminfo: memFree=3369692/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=183700 memory=158380 CPUtime=6.29 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 63264 0 0 0 621 8 0 0 20 0 1 0 217167789 188108800 39595 33554432000 4194304 7499544 140734782154240 140734782147992 5648706 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 45925 39595 760 807 0 38916 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 183700 KiB Current children cumulated memory: 158380 KiB [startup+12.7004 s] /proc/loadavg: 2.00 2.01 1.97 3/188 8167 /proc/meminfo: memFree=3353472/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=163948 CPUtime=12.68 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 96329 0 0 0 1259 9 0 0 20 0 1 0 217167789 193777664 40987 33554432000 4194304 7499544 140734782154240 140734782148872 5567696 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 40987 765 807 0 40300 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 163948 KiB [startup+25.5004 s] /proc/loadavg: 2.00 2.01 1.97 3/189 8190 /proc/meminfo: memFree=3353268/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=163956 CPUtime=25.48 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 146799 0 0 0 2536 12 0 0 20 0 1 0 217167789 193777664 40989 33554432000 4194304 7499544 140734782154240 140734782149256 4541923 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 40989 767 807 0 40300 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 163956 KiB [startup+51.1096 s] /proc/loadavg: 2.00 2.01 1.97 3/189 8190 /proc/meminfo: memFree=3354084/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=164028 CPUtime=51.07 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 165211 0 0 0 5095 12 0 0 20 0 1 0 217167789 193777664 41007 33554432000 4194304 7499544 140734782154240 140734782149256 5585390 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 41007 767 807 0 40300 0 Current children cumulated CPU time: 51.07 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 164028 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 1.97 3/189 8191 /proc/meminfo: memFree=3354032/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=164068 CPUtime=102.25 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 171099 0 0 0 10212 13 0 0 20 0 1 0 217167789 193777664 41017 33554432000 4194304 7499544 140734782154240 140734782149256 5837773 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 41017 767 807 0 40300 0 Current children cumulated CPU time: 102.25 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 164068 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 1.97 3/189 8192 /proc/meminfo: memFree=3354520/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=164068 CPUtime=162.25 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 171601 0 0 0 16212 13 0 0 20 0 1 0 217167789 193777664 41017 33554432000 4194304 7499544 140734782154240 140734782149256 5838025 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 41017 767 807 0 40300 0 Current children cumulated CPU time: 162.25 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 164068 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 1.97 3/189 8193 /proc/meminfo: memFree=3354504/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=164068 CPUtime=222.25 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 172096 0 0 0 22212 13 0 0 20 0 1 0 217167789 193777664 41017 33554432000 4194304 7499544 140734782154240 140734782149256 5773672 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 41017 767 807 0 40300 0 Current children cumulated CPU time: 222.25 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 164068 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 1.97 3/188 8194 /proc/meminfo: memFree=3354760/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=164068 CPUtime=282.25 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 172579 0 0 0 28212 13 0 0 20 0 1 0 217167789 193777664 41017 33554432000 4194304 7499544 140734782154240 140734782149256 5771703 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 41017 767 807 0 40300 0 Current children cumulated CPU time: 282.25 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 164068 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 1.97 3/187 8195 /proc/meminfo: memFree=3354896/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=164068 CPUtime=342.24 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 173074 0 0 0 34211 13 0 0 20 0 1 0 217167789 193777664 41017 33554432000 4194304 7499544 140734782154240 140734782149256 5773773 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 41017 767 807 0 40300 0 Current children cumulated CPU time: 342.24 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 164068 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 1.97 3/187 8196 /proc/meminfo: memFree=3355192/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=164068 CPUtime=402.24 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 173576 0 0 0 40211 13 0 0 20 0 1 0 217167789 193777664 41017 33554432000 4194304 7499544 140734782154240 140734782149256 4249666 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 41017 767 807 0 40300 0 Current children cumulated CPU time: 402.24 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 164068 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 1.97 3/187 8197 /proc/meminfo: memFree=3355052/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=164068 CPUtime=462.24 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 174045 0 0 0 46211 13 0 0 20 0 1 0 217167789 193777664 41017 33554432000 4194304 7499544 140734782154240 140734782149256 5837808 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 41017 767 807 0 40300 0 Current children cumulated CPU time: 462.24 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 164068 KiB ################ # More data... # ################ /proc/8166/statm: 47309 41017 767 807 0 40300 0 Current children cumulated CPU time: 1722.2 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 164068 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.97 3/188 8245 /proc/meminfo: memFree=3353508/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=164068 CPUtime=1782.2 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 184522 0 0 0 178207 13 0 0 20 0 1 0 217167789 193777664 41017 33554432000 4194304 7499544 140734782154240 140734782149256 5838253 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 41017 767 807 0 40300 0 Current children cumulated CPU time: 1782.2 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 164068 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 1.97 3/188 8246 /proc/meminfo: memFree=3353864/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=164068 CPUtime=1842.2 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 184991 0 0 0 184207 13 0 0 20 0 1 0 217167789 193777664 41017 33554432000 4194304 7499544 140734782154240 140734782149256 5773689 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 41017 767 807 0 40300 0 Current children cumulated CPU time: 1842.2 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 164068 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 1.97 3/188 8247 /proc/meminfo: memFree=3353600/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=164068 CPUtime=1902.19 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 185468 0 0 0 190206 13 0 0 20 0 1 0 217167789 193777664 41017 33554432000 4194304 7499544 140734782154240 140734782149256 5770503 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 41017 767 807 0 40300 0 Current children cumulated CPU time: 1902.19 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 164068 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 1.97 3/188 8248 /proc/meminfo: memFree=3353720/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=164068 CPUtime=1962.19 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 185944 0 0 0 196206 13 0 0 20 0 1 0 217167789 193777664 41017 33554432000 4194304 7499544 140734782154240 140734782149256 4249666 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 41017 767 807 0 40300 0 Current children cumulated CPU time: 1962.19 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 164068 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 1.97 3/188 8249 /proc/meminfo: memFree=3353932/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=164068 CPUtime=2022.19 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 186448 0 0 0 202206 13 0 0 20 0 1 0 217167789 193777664 41017 33554432000 4194304 7499544 140734782154240 140734782149256 5773672 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 41017 767 807 0 40300 0 Current children cumulated CPU time: 2022.19 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 164068 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 1.97 3/187 8250 /proc/meminfo: memFree=3354056/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=164068 CPUtime=2082.19 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 186901 0 0 0 208206 13 0 0 20 0 1 0 217167789 193777664 41017 33554432000 4194304 7499544 140734782154240 140734782149256 5576304 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 41017 767 807 0 40300 0 Current children cumulated CPU time: 2082.19 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 164068 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 1.97 3/186 8251 /proc/meminfo: memFree=3354680/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=164068 CPUtime=2142.18 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 187353 0 0 0 214205 13 0 0 20 0 1 0 217167789 193777664 41017 33554432000 4194304 7499544 140734782154240 140734782149256 4249666 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 41017 767 807 0 40300 0 Current children cumulated CPU time: 2142.18 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 164068 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 1.97 3/187 8253 /proc/meminfo: memFree=3354284/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=164068 CPUtime=2202.18 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 187846 0 0 0 220205 13 0 0 20 0 1 0 217167789 193777664 41017 33554432000 4194304 7499544 140734782154240 140734782149256 4249666 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 41017 767 807 0 40300 0 Current children cumulated CPU time: 2202.18 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 164068 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 1.97 3/187 8254 /proc/meminfo: memFree=3354008/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=164068 CPUtime=2262.19 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 188299 0 0 0 226205 14 0 0 20 0 1 0 217167789 193777664 41017 33554432000 4194304 7499544 140734782154240 140734782149256 5573419 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 41017 767 807 0 40300 0 Current children cumulated CPU time: 2262.19 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 164068 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 1.97 3/187 8255 /proc/meminfo: memFree=3353764/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=164068 CPUtime=2322.19 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 188752 0 0 0 232205 14 0 0 20 0 1 0 217167789 193777664 41017 33554432000 4194304 7499544 140734782154240 140734782149256 4579850 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 41017 767 807 0 40300 0 Current children cumulated CPU time: 2322.19 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 164068 KiB [startup+2382.3 s] /proc/loadavg: 2.03 2.03 1.98 3/188 8264 /proc/meminfo: memFree=3352536/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=164068 CPUtime=2382.18 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 189220 0 0 0 238204 14 0 0 20 0 1 0 217167789 193777664 41017 33554432000 4194304 7499544 140734782154240 140734782149256 5770452 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 41017 767 807 0 40300 0 Current children cumulated CPU time: 2382.18 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 164068 KiB [startup+2442.3 s] /proc/loadavg: 2.04 2.04 1.98 3/188 8265 /proc/meminfo: memFree=3353160/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=164068 CPUtime=2442.18 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 189679 0 0 0 244204 14 0 0 20 0 1 0 217167789 193777664 41017 33554432000 4194304 7499544 140734782154240 140734782149256 5773736 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 41017 767 807 0 40300 0 Current children cumulated CPU time: 2442.18 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 164068 KiB [startup+2502.3 s] /proc/loadavg: 2.05 2.04 1.99 3/188 8266 /proc/meminfo: memFree=3353036/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=164068 CPUtime=2502.18 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 190138 0 0 0 250204 14 0 0 20 0 1 0 217167789 193777664 41017 33554432000 4194304 7499544 140734782154240 140734782149256 5770540 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 41017 767 807 0 40300 0 Current children cumulated CPU time: 2502.18 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 164068 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.11 2.06 1.99 2/185 8295 /proc/meminfo: memFree=3366376/32770624 swapFree=67108860/67108860 [pid=8166] ppid=8163 vsize=189236 memory=164068 CPUtime=2519.89 cores=1,3,5,7 /proc/8166/stat : 8166 (MistralXCSP) R 8163 8166 7304 0 -1 4202496 190584 0 0 0 251975 14 0 0 20 0 1 0 217167789 193777664 41017 33554432000 4194304 7499544 140734782154240 140734782149256 4249698 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 17752064 140734782162030 140734782162179 140734782162179 140734782164937 0 /proc/8166/statm: 47309 41017 767 807 0 40300 0 Current children cumulated CPU time: 2519.89 s Current children cumulated vsize: 189236 KiB Current children cumulated memory: 164068 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 8166 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.76 s, system=0.141995 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2520.01 CPU time (s): 2519.9 CPU user time (s): 2519.76 CPU system time (s): 0.141995 CPU usage (%): 99.9955 Max. virtual memory (cumulated for all children) (KiB): 189236 Max. memory (cumulated for all children) (KiB): 164068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.76 system time used= 0.141995 maximum resident set size= 164088 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 190623 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= 68 involuntary context switches= 636 # summary of solver processes directly reported to runsolver: # pid: 8166 # total CPU time (s): 2519.9 # total CPU user time (s): 2519.76 # total CPU system time (s): 0.141995 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.1874 second user time and 18.1951 second system time The end
Begin job on node139 at 2018-08-11 16:00:46 IDJOB=4303673 IDBENCH=141111 IDSOLVER=2779 FILE ID=node139/4303673-1533996046 RUNJOBID= node139-1533991001-7338 PBS_JOBID= 21036943 Free space on /tmp= 28212 MiB SOLVER NAME= Mistral-2.0 2018-08-01 BENCH NAME= XCSP18/PseudoBoolean-opt/Pb-circ10-3_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-4303673-1533996046/watcher-4303673-1533996046 -o /tmp/evaluation-result-4303673-1533996046/solver-4303673-1533996046 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1533991001-7338 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 236971531 HOME/instance-4303673-1533996046.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2a9d5e672b2129585e8bdcc62e976dce RANDOM SEED=236971531 node139.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.80 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.80 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.80 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.80 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: 3516748 kB MemAvailable: 31894280 kB Buffers: 199412 kB Cached: 27956528 kB SwapCached: 0 kB Active: 8087080 kB Inactive: 20135184 kB Active(anon): 18128 kB Inactive(anon): 100556 kB Active(file): 8068952 kB Inactive(file): 20034628 kB Unevictable: 7292 kB Mlocked: 7292 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 15260 kB Writeback: 0 kB AnonPages: 67020 kB Mapped: 61796 kB Shmem: 49804 kB Slab: 730464 kB SReclaimable: 702412 kB SUnreclaim: 28052 kB KernelStack: 3424 kB PageTables: 5172 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 390980 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 28208 MiB End job on node139 at 2018-08-11 16:42:46