Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 1186 | 19588.699 | 2520.1201 |
Name | PseudoBoolean/PseudoBoolean-opt-vtxcov/ Pb-vtxcov-v2000-e4000-05.xml |
MD5SUM | 31e85661316b8aad2d1246d7b0a73c1b |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1128 |
Best CPU time to get the best result obtained on this benchmark | 2400.05 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1957 |
Number of constraints | 4000 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":1957}] |
Minimum variable degree | 2 |
Maximum variable degree | 12 |
Distribution of variable degrees | [{"degree":2,"count":151},{"degree":3,"count":275},{"degree":4,"count":378},{"degree":5,"count":395},{"degree":6,"count":340},{"degree":7,"count":211},{"degree":8,"count":100},{"degree":9,"count":61},{"degree":10,"count":31},{"degree":11,"count":13},{"degree":12,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":4000}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":4000}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270658-1502774471.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4270658-1502774471.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 4.10/1.27 c solve instance... 5.36/1.44 o 1195 6.16/1.53 o 1193 7.74/1.75 o 1192 21.80/3.56 o 1191 22.58/3.63 o 1190 100.95/13.54 o 1189 1035.67/130.73 o 1188 7066.82/894.13 o 1187 10587.25/1349.22 o 1186 19587.95/2520.09 s SATISFIABLE 19587.95/2520.09 v <instantiation> 19587.95/2520.09 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] </list> 19587.95/2520.09 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 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 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 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 1 0 1 1 0 0 0 0 1 0 0 0 1 1 1 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 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 1 0 1 0 1 1 1 1 0 0 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 1 0 1 1 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 1 1 0 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1 1 1 1 0 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 0 0 0 1 1 0 1 1 1 0 1 1 0 1 0 1 1 1 0 1 1 1 1 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 1 0 0 0 1 1 0 1 1 1 0 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 1 0 1 1 1 0 1 1 0 0 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 1 0 1 0 0 1 0 1 1 1 0 0 1 0 0 1 0 0 1 1 1 1 1 1 1 0 1 0 1 1 0 0 1 1 1 1 1 1 0 1 0 1 0 1 1 1 0 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 1 1 0 1 1 1 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 0 1 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 1 1 1 1 0 1 0 1 0 1 1 0 1 1 1 1 1 1 0 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 0 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 0 0 1 1 1 0 0 1 1 0 0 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 0 1 1 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 1 1 0 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 1 0 1 1 1 1 1 0 1 0 1 0 0 1 1 0 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 1 0 0 1 1 0 1 0 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 0 1 0 1 1 0 0 0 1 1 0 0 1 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 0 0 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 1 1 1 1 1 1 0 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 1 0 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 1 1 1 1 0 1 1 1 1 0 1 0 1 1 1 </values> 19587.95/2520.09 v </instantiation> 19587.95/2520.09 c Unexpected resolution interruption!
OK 1186
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 (15273 MiB free) memory of node 1: 16384 MiB (15399 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270658-1502774471/watcher-4270658-1502774471 -o /tmp/evaluation-result-4270658-1502774471/solver-4270658-1502774471 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502765606-27138 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 961747932 HOME/instance-4270658-1502774471.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=28688, runsolver pid=28685 [startup+0.100155 s]* /proc/loadavg: 6.33 8.35 8.66 3/199 28709 /proc/meminfo: memFree=31392944/32770624 swapFree=67108860/67108860 [pid=28688] ppid=28685 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/28688/stat : 28688 (xcsp3-exec) S 28685 28688 27111 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 110535441 9740288 346 33554432000 4194304 5098028 140724833108704 140724833106808 140580858815100 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29667328 140724833117285 140724833117495 140724833117495 140724833120235 0 /proc/28688/statm: 2378 346 289 221 0 87 0 [pid=28690] ppid=28688 vsize=25999808 memory=26096 CPUtime=0.12 cores=0-7 /proc/28690/stat : 28690 (java) S 28688 28688 27111 0 -1 1077944320 5488 0 0 0 11 1 0 0 20 0 20 0 110535441 26623803392 6524 33554432000 4194304 4196468 140736615448976 140736615431520 139824395132663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 /proc/28690/statm: 6499952 6524 2840 1 0 6488269 0 [pid=28690/tid=28691] ppid=28688 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/28690/task/28691/stat : 28691 (java) R 28688 28688 27111 0 -1 4202560 3482 0 0 0 8 0 0 0 20 0 20 0 110535441 26623803392 6524 33554432000 4194304 4196468 140736615448976 139824399356112 139824395144598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28692] ppid=28688 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28692/stat : 28692 (java) S 28688 28688 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110535442 26623803392 6589 33554432000 4194304 4196468 140736615448976 139824347753360 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28693] ppid=28688 vsize=25999808 memory=140189944370816 CPUtime=0 cores=0-7 /proc/28690/task/28693/stat : 28693 (java) S 28688 28688 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110535442 26623803392 6589 33554432000 4194304 4196468 140736615448976 139824346700560 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28694] ppid=28688 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28694/stat : 28694 (java) S 28688 28688 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110535442 26623803392 6589 33554432000 4194304 4196468 140736615448976 139824345648272 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28695] ppid=28688 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28695/stat : 28695 (java) S 28688 28688 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110535442 26623803392 6589 33554432000 4194304 4196468 140736615448976 139824344595472 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28696] ppid=28688 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28696/stat : 28696 (java) S 28688 28688 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110535442 26623803392 6589 33554432000 4194304 4196468 140736615448976 139824343542160 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28697] ppid=28688 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/28690/task/28697/stat : 28697 (java) S 28688 28688 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110535442 26623803392 6589 33554432000 4194304 4196468 140736615448976 139824342489360 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28698] ppid=28688 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28698/stat : 28698 (java) S 28688 28688 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110535442 26623803392 6589 33554432000 4194304 4196468 140736615448976 139824341437072 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28699] ppid=28688 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28699/stat : 28699 (java) S 28688 28688 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110535442 26623803392 6589 33554432000 4194304 4196468 140736615448976 139824340384272 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28700] ppid=28688 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28700/stat : 28700 (java) S 28688 28688 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110535443 26623803392 6589 33554432000 4194304 4196468 140736615448976 139823386933872 139824395143810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28701] ppid=28688 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28701/stat : 28701 (java) S 28688 28688 27111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110535444 26623803392 6589 33554432000 4194304 4196468 140736615448976 139823385879840 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28702] ppid=28688 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28702/stat : 28702 (java) S 28688 28688 27111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110535444 26623803392 6589 33554432000 4194304 4196468 140736615448976 139823384827504 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28703] ppid=28688 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28703/stat : 28703 (java) S 28688 28688 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110535446 26623803392 6589 33554432000 4194304 4196468 140736615448976 139823383775824 139824395151259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28704] ppid=28688 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28704/stat : 28704 (java) R 28688 28688 27111 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 110535446 26623803392 6589 33554432000 4194304 4196468 140736615448976 139823382722672 139824395143810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28705] ppid=28688 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28705/stat : 28705 (java) S 28688 28688 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110535446 26623803392 6589 33554432000 4194304 4196468 140736615448976 139823381669872 139824395143810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28706] ppid=28688 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28706/stat : 28706 (java) R 28688 28688 27111 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 110535446 26623803392 6589 33554432000 4194304 4196468 140736615448976 139823380617584 139824395143810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28707] ppid=28688 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/28690/task/28707/stat : 28707 (java) R 28688 28688 27111 0 -1 4202560 270 0 0 0 1 0 0 0 20 0 20 0 110535446 26623803392 6589 33554432000 4194304 4196468 140736615448976 139823379564784 139824376370224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28708] ppid=28688 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28708/stat : 28708 (java) S 28688 28688 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110535447 26623803392 6589 33554432000 4194304 4196468 140736615448976 139823378512736 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28709] ppid=28688 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/28690/task/28709/stat : 28709 (java) S 28688 28688 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110535447 26623803392 6589 33554432000 4194304 4196468 140736615448976 139823377460016 139824395143810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27480 KiB [startup+0.210621 s]* /proc/loadavg: 6.33 8.35 8.66 2/199 28709 /proc/meminfo: memFree=31381392/32770624 swapFree=67108860/67108860 [pid=28688] ppid=28685 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/28688/stat : 28688 (xcsp3-exec) S 28685 28688 27111 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 110535441 9740288 346 33554432000 4194304 5098028 140724833108704 140724833106808 140580858815100 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29667328 140724833117285 140724833117495 140724833117495 140724833120235 0 /proc/28688/statm: 2378 346 289 221 0 87 0 [pid=28690] ppid=28688 vsize=26004064 memory=39128 CPUtime=0.33 cores=0-7 /proc/28690/stat : 28690 (java) S 28688 28688 27111 0 -1 1077944320 8371 0 0 0 31 2 0 0 20 0 20 0 110535441 26628161536 9782 33554432000 4194304 4196468 140736615448976 140736615431520 139824395132663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 /proc/28690/statm: 6501016 9782 3048 1 0 6488269 0 [pid=28690/tid=28691] ppid=28688 vsize=26004096 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/28690/task/28691/stat : 28691 (java) R 28688 28688 27111 0 -1 4202560 5424 0 0 0 19 1 0 0 20 0 20 0 110535441 26628194304 9782 33554432000 4194304 4196468 140736615448976 139824399334384 139824387812381 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28692] ppid=28688 vsize=26004064 memory=331 CPUtime=0 cores=0-7 /proc/28690/task/28692/stat : 28692 (java) S 28688 28688 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110535442 26628161536 9782 33554432000 4194304 4196468 140736615448976 139824347753360 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28693] ppid=28688 vsize=26004064 memory=140189944861809 CPUtime=0 cores=0-7 /proc/28690/task/28693/stat : 28693 (java) S 28688 28688 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110535442 26628161536 9782 33554432000 4194304 4196468 140736615448976 139824346700560 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28694] ppid=28688 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/28690/task/28694/stat : 28694 (java) S 28688 28688 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110535442 26628161536 9782 33554432000 4194304 4196468 140736615448976 139824345648272 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28695] ppid=28688 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28695/stat : 28695 (java) S 28688 28688 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110535442 26628161536 9782 33554432000 4194304 4196468 140736615448976 139824344595472 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28696] ppid=28688 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28696/stat : 28696 (java) S 28688 28688 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110535442 26628161536 9782 33554432000 4194304 4196468 140736615448976 139824343542160 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28697] ppid=28688 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/28690/task/28697/stat : 28697 (java) S 28688 28688 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110535442 26628161536 9782 33554432000 4194304 4196468 140736615448976 139824342489360 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28698] ppid=28688 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28698/stat : 28698 (java) S 28688 28688 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110535442 26628161536 9782 33554432000 4194304 4196468 140736615448976 139824341437072 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28699] ppid=28688 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28699/stat : 28699 (java) S 28688 28688 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110535442 26628194304 9782 33554432000 4194304 4196468 140736615448976 139824340384272 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28700] ppid=28688 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28700/stat : 28700 (java) S 28688 28688 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110535443 26628194304 9782 33554432000 4194304 4196468 140736615448976 139823386933872 139824395143810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28701] ppid=28688 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28701/stat : 28701 (java) S 28688 28688 27111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110535444 26628161536 9782 33554432000 4194304 4196468 140736615448976 139823385879840 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28702] ppid=28688 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28702/stat : 28702 (java) S 28688 28688 27111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110535444 26628161536 9782 33554432000 4194304 4196468 140736615448976 139823384827504 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28703] ppid=28688 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28703/stat : 28703 (java) S 28688 28688 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110535446 26628161536 9782 33554432000 4194304 4196468 140736615448976 139823383775824 139824395151259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28704] ppid=28688 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/28690/task/28704/stat : 28704 (java) S 28688 28688 27111 0 -1 1077944384 383 0 0 0 1 0 0 0 20 0 20 0 110535446 26628161536 9782 33554432000 4194304 4196468 140736615448976 139823382722672 139824395143810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28705] ppid=28688 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/28690/task/28705/stat : 28705 (java) S 28688 28688 27111 0 -1 1077944384 230 0 0 0 1 0 0 0 20 0 20 0 110535446 26628161536 9782 33554432000 4194304 4196468 140736615448976 139823381669872 139824395143810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28706] ppid=28688 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7 /proc/28690/task/28706/stat : 28706 (java) S 28688 28688 27111 0 -1 1077944384 292 0 0 0 2 0 0 0 20 0 20 0 110535446 26628161536 9782 33554432000 4194304 4196468 140736615448976 139823380617584 139824395143810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28707] ppid=28688 vsize=26004096 memory=-1 CPUtime=0.07 cores=0-7 /proc/28690/task/28707/stat : 28707 (java) S 28688 28688 27111 0 -1 1077944384 739 0 0 0 7 0 0 0 20 0 20 0 110535446 26628194304 9782 33554432000 4194304 4196468 140736615448976 139823379564784 139824395143810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28708] ppid=28688 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28708/stat : 28708 (java) S 28688 28688 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110535447 26628194304 9782 33554432000 4194304 4196468 140736615448976 139823378512736 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28709] ppid=28688 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/28690/task/28709/stat : 28709 (java) S 28688 28688 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110535447 26628161536 9782 33554432000 4194304 4196468 140736615448976 139823377460016 139824395143810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40512 KiB [startup+0.315495 s]* /proc/loadavg: 6.33 8.35 8.66 3/199 28709 /proc/meminfo: memFree=31376616/32770624 swapFree=67108860/67108860 [pid=28688] ppid=28685 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/28688/stat : 28688 (xcsp3-exec) S 28685 28688 27111 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 110535441 9740288 346 33554432000 4194304 5098028 140724833108704 140724833106808 140580858815100 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29667328 140724833117285 140724833117495 140724833117495 140724833120235 0 /proc/28688/statm: 2378 346 289 221 0 87 0 [pid=28690] ppid=28688 vsize=26004064 memory=46276 CPUtime=0.53 cores=0-7 /proc/28690/stat : 28690 (java) S 28688 28688 27111 0 -1 1077944320 9230 0 0 0 50 3 0 0 20 0 20 0 110535441 26628161536 11569 33554432000 4194304 4196468 140736615448976 140736615431520 139824395132663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 /proc/28690/statm: 6501016 11569 3116 1 0 6488269 0 [pid=28690/tid=28691] ppid=28688 vsize=26004064 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/28690/task/28691/stat : 28691 (java) R 28688 28688 27111 0 -1 4202560 6065 0 0 0 29 1 0 0 20 0 20 0 110535441 26628161536 11569 33554432000 4194304 4196468 140736615448976 139824399370672 139824395144598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28692] ppid=28688 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28692/stat : 28692 (java) S 28688 28688 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110535442 26628161536 11569 33554432000 4194304 4196468 140736615448976 139824347753360 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28693] ppid=28688 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28693/stat : 28693 (java) S 28688 28688 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110535442 26628161536 11569 33554432000 4194304 4196468 140736615448976 139824346700560 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28694] ppid=28688 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28694/stat : 28694 (java) S 28688 28688 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110535442 26628161536 11569 33554432000 4194304 4196468 140736615448976 139824345648272 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28695] ppid=28688 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28695/stat : 28695 (java) S 28688 28688 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110535442 26628161536 11569 33554432000 4194304 4196468 140736615448976 139824344595472 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28696] ppid=28688 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/28690/task/28696/stat : 28696 (java) S 28688 28688 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110535442 26628161536 11569 33554432000 4194304 4196468 140736615448976 139824343542160 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28697] ppid=28688 vsize=26004064 memory=140189813011375 CPUtime=0 cores=0-7 /proc/28690/task/28697/stat : 28697 (java) S 28688 28688 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110535442 26628161536 11569 33554432000 4194304 4196468 140736615448976 139824342489360 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28698] ppid=28688 vsize=26004064 memory=140189813013680 CPUtime=0 cores=0-7 /proc/28690/task/28698/stat : 28698 (java) S 28688 28688 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110535442 26628161536 11569 33554432000 4194304 4196468 140736615448976 139824341437072 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28699] ppid=28688 vsize=26004064 memory=140189813015984 CPUtime=0 cores=0-7 /proc/28690/task/28699/stat : 28699 (java) S 28688 28688 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110535442 26628161536 11569 33554432000 4194304 4196468 140736615448976 139824340384272 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28700] ppid=28688 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28700/stat : 28700 (java) S 28688 28688 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110535443 26628161536 11569 33554432000 4194304 4196468 140736615448976 139823386933872 139824395143810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28701] ppid=28688 vsize=26004064 memory=280379626038928 CPUtime=0 cores=0-7 /proc/28690/task/28701/stat : 28701 (java) S 28688 28688 27111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110535444 26628161536 11569 33554432000 4194304 4196468 140736615448976 139823385879840 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28702] ppid=28688 vsize=26004064 memory=280379626045840 CPUtime=0 cores=0-7 /proc/28690/task/28702/stat : 28702 (java) S 28688 28688 27111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110535444 26628161536 11569 33554432000 4194304 4196468 140736615448976 139823384827504 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28703] ppid=28688 vsize=26004064 memory=280379625987120 CPUtime=0 cores=0-7 /proc/28690/task/28703/stat : 28703 (java) S 28688 28688 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110535446 26628161536 11569 33554432000 4194304 4196468 140736615448976 139823383775824 139824395151259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28704] ppid=28688 vsize=26004064 memory=280379626059664 CPUtime=0.01 cores=0-7 /proc/28690/task/28704/stat : 28704 (java) R 28688 28688 27111 0 -1 4202560 414 0 0 0 1 0 0 0 20 0 20 0 110535446 26628161536 11569 33554432000 4194304 4196468 140736615448976 139823382712784 139824375832960 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28705] ppid=28688 vsize=26004064 memory=280379626066576 CPUtime=0.02 cores=0-7 /proc/28690/task/28705/stat : 28705 (java) R 28688 28688 27111 0 -1 4202560 233 0 0 0 2 0 0 0 20 0 20 0 110535446 26628161536 11569 33554432000 4194304 4196468 140736615448976 139823381669872 139824380014431 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28706] ppid=28688 vsize=26004064 memory=280379626064272 CPUtime=0.03 cores=0-7 /proc/28690/task/28706/stat : 28706 (java) R 28688 28688 27111 0 -1 4202560 341 0 0 0 3 0 0 0 20 0 20 0 110535446 26628161536 11569 33554432000 4194304 4196468 140736615448976 139823380617584 139824374379083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28707] ppid=28688 vsize=26004064 memory=280379626080432 CPUtime=0.13 cores=0-7 /proc/28690/task/28707/stat : 28707 (java) R 28688 28688 27111 0 -1 4202560 868 0 0 0 13 0 0 0 20 0 20 0 110535446 26628161536 11569 33554432000 4194304 4196468 140736615448976 139823379561720 139824373935887 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28708] ppid=28688 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28708/stat : 28708 (java) S 28688 28688 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110535447 26628161536 11569 33554432000 4194304 4196468 140736615448976 139823378512736 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28709] ppid=28688 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/28690/task/28709/stat : 28709 (java) S 28688 28688 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110535447 26628161536 11569 33554432000 4194304 4196468 140736615448976 139823377460016 139824395143810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47660 KiB [startup+0.70101 s] /proc/loadavg: 6.33 8.35 8.66 5/199 28709 /proc/meminfo: memFree=31349584/32770624 swapFree=67108860/67108860 [pid=28688] ppid=28685 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/28688/stat : 28688 (xcsp3-exec) S 28685 28688 27111 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 110535441 9740288 346 33554432000 4194304 5098028 140724833108704 140724833106808 140580858815100 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29667328 140724833117285 140724833117495 140724833117495 140724833120235 0 /proc/28688/statm: 2378 346 289 221 0 87 0 [pid=28690] ppid=28688 vsize=26006188 memory=97760 CPUtime=2.02 cores=0-7 /proc/28690/stat : 28690 (java) S 28688 28688 27111 0 -1 1077944320 13480 0 0 0 197 5 0 0 20 0 20 0 110535441 26630336512 24440 33554432000 4194304 4196468 140736615448976 140736615431520 139824395132663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 /proc/28690/statm: 6501547 24440 3200 1 0 6488781 0 [pid=28690/tid=28691] ppid=28688 vsize=26006188 memory=280379626438320 CPUtime=0.67 cores=0-7 /proc/28690/task/28691/stat : 28691 (java) R 28688 28688 27111 0 -1 4202560 6654 0 0 0 65 2 0 0 20 0 20 0 110535441 26630336512 24440 33554432000 4194304 4196468 140736615448976 139824399368288 139824395144598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28692] ppid=28688 vsize=26006188 memory=140189813220208 CPUtime=0 cores=0-7 /proc/28690/task/28692/stat : 28692 (java) S 28688 28688 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110535442 26630336512 24440 33554432000 4194304 4196468 140736615448976 139824347753360 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28693] ppid=28688 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/28690/task/28693/stat : 28693 (java) S 28688 28688 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110535442 26630336512 24440 33554432000 4194304 4196468 140736615448976 139824346700560 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28694] ppid=28688 vsize=26006188 memory=5792 CPUtime=0 cores=0-7 /proc/28690/task/28694/stat : 28694 (java) S 28688 28688 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110535442 26630336512 24440 33554432000 4194304 4196468 140736615448976 139824345648272 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 ################ # More data... # ################ [pid=28690/tid=28805] ppid=28688 vsize=26538700 memory=1384 CPUtime=1032.57 cores=0-7 /proc/28690/task/28805/stat : 28805 (java) R 28688 28688 27111 0 -1 4202560 17549 0 0 0 103248 9 0 0 20 0 28 0 110670364 27175628800 514795 33554432000 4194304 4196468 140736615448976 139823363629744 139824026417956 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 Current children cumulated CPU time: 18989.7 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 2060564 KiB [startup+2502.3 s] /proc/loadavg: 7.16 7.56 7.85 9/207 28821 /proc/meminfo: memFree=29383400/32770624 swapFree=67108860/67108860 [pid=28688] ppid=28685 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/28688/stat : 28688 (xcsp3-exec) S 28685 28688 27111 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 110535441 9740288 346 33554432000 4194304 5098028 140724833108704 140724833106808 140580858815100 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29667328 140724833117285 140724833117495 140724833117495 140724833120235 0 /proc/28688/statm: 2378 346 289 221 0 87 0 [pid=28690] ppid=28688 vsize=26538700 memory=2029476 CPUtime=19453.3 cores=0-7 /proc/28690/stat : 28690 (java) S 28688 28688 27111 0 -1 1077944320 1516421 0 0 0 1939811 5524 0 0 20 0 28 0 110535441 27175628800 507369 33554432000 4194304 4196468 140736615448976 140736615431520 139824395132663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 /proc/28690/statm: 6634675 507369 3305 1 0 6621909 0 [pid=28690/tid=28691] ppid=28688 vsize=26538700 memory=2029476 CPUtime=1.23 cores=0-7 /proc/28690/task/28691/stat : 28691 (java) S 28688 28688 27111 0 -1 1077944384 7554 0 0 0 120 3 0 0 20 0 28 0 110535441 27175628800 507369 33554432000 4194304 4196468 140736615448976 139824399373440 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28692] ppid=28688 vsize=26538700 memory=2031016 CPUtime=11.49 cores=0-7 /proc/28690/task/28692/stat : 28692 (java) S 28688 28688 27111 0 -1 1077944384 77052 0 0 0 1092 57 0 0 20 0 28 0 110535442 27175628800 507369 33554432000 4194304 4196468 140736615448976 139824347753360 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28693] ppid=28688 vsize=26538700 memory=2029476 CPUtime=11.42 cores=0-7 /proc/28690/task/28693/stat : 28693 (java) S 28688 28688 27111 0 -1 1077944384 64131 0 0 0 1085 57 0 0 20 0 28 0 110535442 27175628800 507369 33554432000 4194304 4196468 140736615448976 139824346700560 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28694] ppid=28688 vsize=26538700 memory=1384 CPUtime=11.46 cores=0-7 /proc/28690/task/28694/stat : 28694 (java) S 28688 28688 27111 0 -1 1077944384 65803 0 0 0 1088 58 0 0 20 0 28 0 110535442 27175628800 507369 33554432000 4194304 4196468 140736615448976 139824345648272 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28695] ppid=28688 vsize=26538700 memory=1384 CPUtime=11.36 cores=0-7 /proc/28690/task/28695/stat : 28695 (java) S 28688 28688 27111 0 -1 1077944384 69417 0 0 0 1078 58 0 0 20 0 28 0 110535442 27175628800 507369 33554432000 4194304 4196468 140736615448976 139824344595472 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28696] ppid=28688 vsize=26538700 memory=1384 CPUtime=11.46 cores=0-7 /proc/28690/task/28696/stat : 28696 (java) S 28688 28688 27111 0 -1 1077944384 66474 0 0 0 1096 50 0 0 20 0 28 0 110535442 27175628800 507369 33554432000 4194304 4196468 140736615448976 139824343542160 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28697] ppid=28688 vsize=26538700 memory=2043824 CPUtime=11.39 cores=0-7 /proc/28690/task/28697/stat : 28697 (java) S 28688 28688 27111 0 -1 1077944384 62467 0 0 0 1086 53 0 0 20 0 28 0 110535442 27175628800 507369 33554432000 4194304 4196468 140736615448976 139824342489360 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28698] ppid=28688 vsize=26538700 memory=1384 CPUtime=11.43 cores=0-7 /proc/28690/task/28698/stat : 28698 (java) S 28688 28688 27111 0 -1 1077944384 66935 0 0 0 1089 54 0 0 20 0 28 0 110535442 27175628800 507369 33554432000 4194304 4196468 140736615448976 139824341437072 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28699] ppid=28688 vsize=26538700 memory=2038200 CPUtime=11.4 cores=0-7 /proc/28690/task/28699/stat : 28699 (java) S 28688 28688 27111 0 -1 1077944384 69868 0 0 0 1086 54 0 0 20 0 28 0 110535442 27175628800 507369 33554432000 4194304 4196468 140736615448976 139824340384272 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28700] ppid=28688 vsize=26538700 memory=1384 CPUtime=76.73 cores=0-7 /proc/28690/task/28700/stat : 28700 (java) S 28688 28688 27111 0 -1 1077944384 440463 0 0 0 3013 4660 0 0 20 0 28 0 110535443 27175628800 507369 33554432000 4194304 4196468 140736615448976 139823386933872 139824395143810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28701] ppid=28688 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/28690/task/28701/stat : 28701 (java) S 28688 28688 27111 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 110535444 27175628800 507369 33554432000 4194304 4196468 140736615448976 139823385879904 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28702] ppid=28688 vsize=26538700 memory=4136 CPUtime=0 cores=0-7 /proc/28690/task/28702/stat : 28702 (java) S 28688 28688 27111 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 110535444 27175628800 507369 33554432000 4194304 4196468 140736615448976 139823384827520 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28703] ppid=28688 vsize=26538700 memory=31536 CPUtime=0 cores=0-7 /proc/28690/task/28703/stat : 28703 (java) S 28688 28688 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 110535446 27175628800 507369 33554432000 4194304 4196468 140736615448976 139823383775824 139824395151259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28704] ppid=28688 vsize=26538700 memory=4136 CPUtime=2.13 cores=0-7 /proc/28690/task/28704/stat : 28704 (java) S 28688 28688 27111 0 -1 1077944384 7271 0 0 0 211 2 0 0 20 0 28 0 110535446 27175628800 507369 33554432000 4194304 4196468 140736615448976 139823382722672 139824395143810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28705] ppid=28688 vsize=26538700 memory=1384 CPUtime=2.18 cores=0-7 /proc/28690/task/28705/stat : 28705 (java) S 28688 28688 27111 0 -1 1077944384 12544 0 0 0 217 1 0 0 20 0 28 0 110535446 27175628800 507369 33554432000 4194304 4196468 140736615448976 139823381669872 139824395143810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28706] ppid=28688 vsize=26538700 memory=31536 CPUtime=2.27 cores=0-7 /proc/28690/task/28706/stat : 28706 (java) S 28688 28688 27111 0 -1 1077944384 8624 0 0 0 225 2 0 0 20 0 28 0 110535446 27175628800 507369 33554432000 4194304 4196468 140736615448976 139823380617584 139824395143810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28707] ppid=28688 vsize=26538700 memory=1296 CPUtime=0.71 cores=0-7 /proc/28690/task/28707/stat : 28707 (java) S 28688 28688 27111 0 -1 1077944384 7960 0 0 0 70 1 0 0 20 0 28 0 110535446 27175628800 507369 33554432000 4194304 4196468 140736615448976 139823379564784 139824395143810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28708] ppid=28688 vsize=26538700 memory=2404 CPUtime=0 cores=0-7 /proc/28690/task/28708/stat : 28708 (java) S 28688 28688 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 110535447 27175628800 507369 33554432000 4194304 4196468 140736615448976 139823378512736 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28709] ppid=28688 vsize=26538700 memory=1732 CPUtime=0.58 cores=0-7 /proc/28690/task/28709/stat : 28709 (java) S 28688 28688 27111 0 -1 1077944384 12179 0 0 0 21 37 0 0 20 0 28 0 110535447 27175628800 507369 33554432000 4194304 4196468 140736615448976 139823377460016 139824395143810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28798] ppid=28688 vsize=26538700 memory=1384 CPUtime=1088.46 cores=0-7 /proc/28690/task/28798/stat : 28798 (java) R 28688 28688 27111 0 -1 4202560 14860 0 0 0 108837 9 0 0 20 0 28 0 110670363 27175628800 507369 33554432000 4194304 4196468 140736615448976 139823365734664 139824027051338 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28799] ppid=28688 vsize=26538700 memory=1384 CPUtime=1089.63 cores=0-7 /proc/28690/task/28799/stat : 28799 (java) R 28688 28688 27111 0 -1 4202560 16131 0 0 0 108954 9 0 0 20 0 28 0 110670364 27175628800 507369 33554432000 4194304 4196468 140736615448976 139823369949992 139824026199955 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28800] ppid=28688 vsize=26538700 memory=2035116 CPUtime=1088.54 cores=0-7 /proc/28690/task/28800/stat : 28800 (java) R 28688 28688 27111 0 -1 4202560 18081 0 0 0 108846 8 0 0 20 0 28 0 110670364 27175628800 507369 33554432000 4194304 4196468 140736615448976 139823367840264 139824026200322 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28801] ppid=28688 vsize=26538700 memory=1732 CPUtime=1090.06 cores=0-7 /proc/28690/task/28801/stat : 28801 (java) R 28688 28688 27111 0 -1 4202560 26367 0 0 0 108986 20 0 0 20 0 28 0 110670364 27175628800 507369 33554432000 4194304 4196468 140736615448976 139823366787216 139824026042057 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28802] ppid=28688 vsize=26538700 memory=1384 CPUtime=1087.45 cores=0-7 /proc/28690/task/28802/stat : 28802 (java) R 28688 28688 27111 0 -1 4202560 64385 0 0 0 108727 18 0 0 20 0 28 0 110670364 27175628800 507369 33554432000 4194304 4196468 140736615448976 139823364685856 139824026192576 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28803] ppid=28688 vsize=26538700 memory=2035628 CPUtime=1136.38 cores=0-7 /proc/28690/task/28803/stat : 28803 (java) R 28688 28688 27111 0 -1 4202560 39889 0 0 0 113601 37 0 0 20 0 28 0 110670364 27175628800 507369 33554432000 4194304 4196468 140736615448976 139823368895088 139824027984638 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28804] ppid=28688 vsize=26538700 memory=2031016 CPUtime=1089.69 cores=0-7 /proc/28690/task/28804/stat : 28804 (java) R 28688 28688 27111 0 -1 4202560 13838 0 0 0 108961 8 0 0 20 0 28 0 110670364 27175628800 507369 33554432000 4194304 4196468 140736615448976 139823362581160 139824026199905 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28805] ppid=28688 vsize=26538700 memory=1384 CPUtime=1089.63 cores=0-7 /proc/28690/task/28805/stat : 28805 (java) R 28688 28688 27111 0 -1 4202560 18170 0 0 0 108954 9 0 0 20 0 28 0 110670364 27175628800 507369 33554432000 4194304 4196468 140736615448976 139823363633216 139824026401952 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 Current children cumulated CPU time: 19453.3 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 2030860 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 7.55 7.62 7.86 9/207 28821 /proc/meminfo: memFree=29396052/32770624 swapFree=67108860/67108860 [pid=28688] ppid=28685 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/28688/stat : 28688 (xcsp3-exec) S 28685 28688 27111 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 110535441 9740288 346 33554432000 4194304 5098028 140724833108704 140724833106808 140580858815100 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29667328 140724833117285 140724833117495 140724833117495 140724833120235 0 /proc/28688/statm: 2378 346 289 221 0 87 0 [pid=28690] ppid=28688 vsize=26538700 memory=2016128 CPUtime=19587.9 cores=0-7 /proc/28690/stat : 28690 (java) S 28688 28688 27111 0 -1 1077944320 1535544 0 0 0 1953201 5594 0 0 20 0 28 0 110535441 27175628800 504032 33554432000 4194304 4196468 140736615448976 140736615431520 139824395132663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 /proc/28690/statm: 6634675 504032 3305 1 0 6621909 0 [pid=28690/tid=28691] ppid=28688 vsize=26538700 memory=6791534058613427641 CPUtime=1.23 cores=0-7 /proc/28690/task/28691/stat : 28691 (java) S 28688 28688 27111 0 -1 1077944384 7554 0 0 0 120 3 0 0 20 0 28 0 110535441 27175628800 504032 33554432000 4194304 4196468 140736615448976 139824399373440 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28692] ppid=28688 vsize=26538700 memory=4126316290023845779 CPUtime=11.63 cores=0-7 /proc/28690/task/28692/stat : 28692 (java) S 28688 28688 27111 0 -1 1077944384 77431 0 0 0 1106 57 0 0 20 0 28 0 110535442 27175628800 504032 33554432000 4194304 4196468 140736615448976 139824347753360 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28693] ppid=28688 vsize=26538700 memory=6791534058613427641 CPUtime=11.57 cores=0-7 /proc/28690/task/28693/stat : 28693 (java) S 28688 28688 27111 0 -1 1077944384 65304 0 0 0 1100 57 0 0 20 0 28 0 110535442 27175628800 504032 33554432000 4194304 4196468 140736615448976 139824346700560 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28694] ppid=28688 vsize=26538700 memory=6791534058613427641 CPUtime=11.6 cores=0-7 /proc/28690/task/28694/stat : 28694 (java) S 28688 28688 27111 0 -1 1077944384 66698 0 0 0 1102 58 0 0 20 0 28 0 110535442 27175628800 504032 33554432000 4194304 4196468 140736615448976 139824345648272 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28695] ppid=28688 vsize=26538700 memory=4126316290023845779 CPUtime=11.51 cores=0-7 /proc/28690/task/28695/stat : 28695 (java) S 28688 28688 27111 0 -1 1077944384 70591 0 0 0 1093 58 0 0 20 0 28 0 110535442 27175628800 504032 33554432000 4194304 4196468 140736615448976 139824344595472 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28696] ppid=28688 vsize=26538700 memory=1384 CPUtime=11.59 cores=0-7 /proc/28690/task/28696/stat : 28696 (java) S 28688 28688 27111 0 -1 1077944384 67864 0 0 0 1109 50 0 0 20 0 28 0 110535442 27175628800 504032 33554432000 4194304 4196468 140736615448976 139824343542160 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28697] ppid=28688 vsize=26538700 memory=2016640 CPUtime=11.53 cores=0-7 /proc/28690/task/28697/stat : 28697 (java) S 28688 28688 27111 0 -1 1077944384 63462 0 0 0 1100 53 0 0 20 0 28 0 110535442 27175628800 504032 33554432000 4194304 4196468 140736615448976 139824342489360 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28698] ppid=28688 vsize=26538700 memory=2028440 CPUtime=11.57 cores=0-7 /proc/28690/task/28698/stat : 28698 (java) S 28688 28688 27111 0 -1 1077944384 67890 0 0 0 1103 54 0 0 20 0 28 0 110535442 27175628800 504032 33554432000 4194304 4196468 140736615448976 139824341437072 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28699] ppid=28688 vsize=26538700 memory=1384 CPUtime=11.55 cores=0-7 /proc/28690/task/28699/stat : 28699 (java) S 28688 28688 27111 0 -1 1077944384 70624 0 0 0 1101 54 0 0 20 0 28 0 110535442 27175628800 504032 33554432000 4194304 4196468 140736615448976 139824340384272 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28700] ppid=28688 vsize=26538700 memory=2027940 CPUtime=77.75 cores=0-7 /proc/28690/task/28700/stat : 28700 (java) S 28688 28688 27111 0 -1 1077944384 444980 0 0 0 3050 4725 0 0 20 0 28 0 110535443 27175628800 504032 33554432000 4194304 4196468 140736615448976 139823386933872 139824395143810 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28701] ppid=28688 vsize=26538700 memory=1224 CPUtime=0 cores=0-7 /proc/28690/task/28701/stat : 28701 (java) S 28688 28688 27111 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 110535444 27175628800 504032 33554432000 4194304 4196468 140736615448976 139823385879904 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28702] ppid=28688 vsize=26538700 memory=5792 CPUtime=0 cores=0-7 /proc/28690/task/28702/stat : 28702 (java) S 28688 28688 27111 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 110535444 27175628800 504032 33554432000 4194304 4196468 140736615448976 139823384827520 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28703] ppid=28688 vsize=26538700 memory=4620 CPUtime=0 cores=0-7 /proc/28690/task/28703/stat : 28703 (java) S 28688 28688 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 110535446 27175628800 504032 33554432000 4194304 4196468 140736615448976 139823383775824 139824395151259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28704] ppid=28688 vsize=26538700 memory=7100839861465685612 CPUtime=2.13 cores=0-7 /proc/28690/task/28704/stat : 28704 (java) S 28688 28688 27111 0 -1 1077944384 7278 0 0 0 211 2 0 0 20 0 28 0 110535446 27175628800 504032 33554432000 4194304 4196468 140736615448976 139823382722672 139824395143810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28705] ppid=28688 vsize=26538700 memory=-7175204567652784766 CPUtime=2.18 cores=0-7 /proc/28690/task/28705/stat : 28705 (java) S 28688 28688 27111 0 -1 1077944384 12558 0 0 0 217 1 0 0 20 0 28 0 110535446 27175628800 504032 33554432000 4194304 4196468 140736615448976 139823381669872 139824395143810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28706] ppid=28688 vsize=26538700 memory=3054156605268465310 CPUtime=2.27 cores=0-7 /proc/28690/task/28706/stat : 28706 (java) S 28688 28688 27111 0 -1 1077944384 8631 0 0 0 225 2 0 0 20 0 28 0 110535446 27175628800 504032 33554432000 4194304 4196468 140736615448976 139823380617584 139824395143810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28707] ppid=28688 vsize=26538700 memory=4044 CPUtime=0.71 cores=0-7 /proc/28690/task/28707/stat : 28707 (java) S 28688 28688 27111 0 -1 1077944384 7968 0 0 0 70 1 0 0 20 0 28 0 110535446 27175628800 504032 33554432000 4194304 4196468 140736615448976 139823379564784 139824395143810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28708] ppid=28688 vsize=26538700 memory=18336 CPUtime=0 cores=0-7 /proc/28690/task/28708/stat : 28708 (java) S 28688 28688 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 110535447 27175628800 504032 33554432000 4194304 4196468 140736615448976 139823378512736 139824395142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28709] ppid=28688 vsize=26538700 memory=6791534058613427641 CPUtime=0.59 cores=0-7 /proc/28690/task/28709/stat : 28709 (java) S 28688 28688 27111 0 -1 1077944384 12332 0 0 0 21 38 0 0 20 0 28 0 110535447 27175628800 504032 33554432000 4194304 4196468 140736615448976 139823377460016 139824395143810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28798] ppid=28688 vsize=26538700 memory=15876 CPUtime=1104.9 cores=0-7 /proc/28690/task/28798/stat : 28798 (java) R 28688 28688 27111 0 -1 4202560 15241 0 0 0 110481 9 0 0 20 0 28 0 110670363 27175628800 504032 33554432000 4194304 4196468 140736615448976 139823365734528 139824026360367 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28799] ppid=28688 vsize=26538700 memory=16236 CPUtime=1105.99 cores=0-7 /proc/28690/task/28799/stat : 28799 (java) R 28688 28688 27111 0 -1 4202560 16490 0 0 0 110590 9 0 0 20 0 28 0 110670364 27175628800 504032 33554432000 4194304 4196468 140736615448976 139823369949504 139824026360227 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28800] ppid=28688 vsize=26538700 memory=4044 CPUtime=1104.99 cores=0-7 /proc/28690/task/28800/stat : 28800 (java) R 28688 28688 27111 0 -1 4202560 18634 0 0 0 110491 8 0 0 20 0 28 0 110670364 27175628800 504032 33554432000 4194304 4196468 140736615448976 139823367843440 139824026359525 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28801] ppid=28688 vsize=26538700 memory=18336 CPUtime=1106.48 cores=0-7 /proc/28690/task/28801/stat : 28801 (java) R 28688 28688 27111 0 -1 4202560 27166 0 0 0 110628 20 0 0 20 0 28 0 110670364 27175628800 504032 33554432000 4194304 4196468 140736615448976 139823366786816 139824025913390 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28802] ppid=28688 vsize=26538700 memory=1232 CPUtime=1103.79 cores=0-7 /proc/28690/task/28802/stat : 28802 (java) R 28688 28688 27111 0 -1 4202560 66382 0 0 0 110361 18 0 0 20 0 28 0 110670364 27175628800 504032 33554432000 4194304 4196468 140736615448976 139823364682288 139824028418711 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28803] ppid=28688 vsize=26538700 memory=648 CPUtime=1153.78 cores=0-7 /proc/28690/task/28803/stat : 28803 (java) R 28688 28688 27111 0 -1 4202560 41489 0 0 0 115340 38 0 0 20 0 28 0 110670364 27175628800 504032 33554432000 4194304 4196468 140736615448976 139823368892048 139824027984580 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28804] ppid=28688 vsize=26538700 memory=1796 CPUtime=1106.19 cores=0-7 /proc/28690/task/28804/stat : 28804 (java) R 28688 28688 27111 0 -1 4202560 14392 0 0 0 110611 8 0 0 20 0 28 0 110670364 27175628800 504032 33554432000 4194304 4196468 140736615448976 139823362577336 139824026417833 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 [pid=28690/tid=28805] ppid=28688 vsize=26538700 memory=956 CPUtime=1106.12 cores=0-7 /proc/28690/task/28805/stat : 28805 (java) R 28688 28688 27111 0 -1 4202560 18627 0 0 0 110602 10 0 0 20 0 28 0 110670364 27175628800 504032 33554432000 4194304 4196468 140736615448976 139823363633704 139824027052142 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 18825216 140736615453842 140736615454019 140736615454019 140736615456719 0 Current children cumulated CPU time: 19587.9 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 2017512 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 28688 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000989 s, system=0.000989 s [startup+2520.12 s] # the end of solver process 28690 was just reported to runsolver # cumulated CPU time of all completed processes: user=19532.8 s, system=55.9623 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.12 CPU time (s): 19588.7 CPU user time (s): 19532.8 CPU system time (s): 55.9623 CPU usage (%): 777.293 Max. virtual memory (cumulated for all children) (KiB): 26550184 Max. memory (cumulated for all children) (KiB): 2525600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19532.8 system time used= 55.9623 maximum resident set size= 2526916 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1536236 page faults= 0 swaps= 0 block input operations= 0 block output operations= 4112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 235684 involuntary context switches= 225548 # summary of solver processes directly reported to runsolver: # pid: 28688,28690 # total CPU time (s): 19588.7 # total CPU user time (s): 19532.8 # total CPU system time (s): 55.9623 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 22.5492 second user time and 28.2777 second system time The end
Begin job on node102 at 2017-08-15 07:06:53 IDJOB=4270658 IDBENCH=135252 IDSOLVER=2662 FILE ID=node102/4270658-1502774471 RUNJOBID= node102-1502765606-27138 PBS_JOBID= 20629096 Free space on /tmp= 61912 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-vtxcov/Pb-vtxcov-v2000-e4000-05.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270658-1502774471/watcher-4270658-1502774471 -o /tmp/evaluation-result-4270658-1502774471/solver-4270658-1502774471 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502765606-27138 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 961747932 HOME/instance-4270658-1502774471.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 31e85661316b8aad2d1246d7b0a73c1b RANDOM SEED=961747932 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.35 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.35 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.35 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.35 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: 31409400 kB MemAvailable: 31980236 kB Buffers: 169132 kB Cached: 684424 kB SwapCached: 0 kB Active: 680852 kB Inactive: 226316 kB Active(anon): 6456 kB Inactive(anon): 75040 kB Active(file): 674396 kB Inactive(file): 151276 kB Unevictable: 6448 kB Mlocked: 6448 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8044 kB Writeback: 0 kB AnonPages: 58740 kB Mapped: 45416 kB Shmem: 25228 kB Slab: 149520 kB SReclaimable: 121996 kB SUnreclaim: 27524 kB KernelStack: 3232 kB PageTables: 5124 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 326648 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61904 MiB End job on node102 at 2017-08-15 07:48:53