Trace number 4298415

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
MiniCPFever 2018-04-29SAT (TO)1599 2520.11 2459.03

General information on the benchmark

NameGraphColoring/
GraphColoring-qg-order40_c18.xml
MD5SUMd1aa36ddb66a988b2d6475ffc1d9c375
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark39
Best CPU time to get the best result obtained on this benchmark2519.93
Satisfiable
(Un)Satisfiability was proved
Number of variables1600
Number of constraints62400
Number of domains1
Minimum domain size1600
Maximum domain size1600
Distribution of domain sizes[{"size":1600,"count":1600}]
Minimum variable degree79
Maximum variable degree79
Distribution of variable degrees[{"degree":79,"count":1600}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":62400}]
Number of extensional constraints0
Number of intensional constraints62400
Distribution of constraint types[{"type":"intension","count":62400}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data

0.13/0.13	c version: 2018-04-11
0.13/0.13	c seed: 1811631
0.13/0.13	c timeout: -1
0.13/0.13	c memlimit: -1
0.13/0.13	c nbcore: -1
31.25/17.06	o 1599
31.25/17.06	objective:1599
2520.06/2459.01	s SATISFIABLE
2520.06/2459.02	v <instantiation>
2520.06/2459.02	v 	<list>
2520.06/2459.02	v 		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] 
2520.06/2459.02	v 	</list>
2520.06/2459.02	v 	<values>
2520.06/2459.02	v 		0 1583 1578 1574 1572 1573 1571 1570 1568 1565 1599 1598 1597 1596 1595 1594 1593 1592 1591 1589 1590 1588 1587 1586 1585 1584 1582 1581 1580 1579 1563 1562 1577 1561 1559 1558 1557 1576 1575 1553 1576 1575 1577 1573 1574 1579 1578 1580 1570 1572 1571 1581 1569 1567 1568 1564 1566 1565 1561 1563 1562 1560 1559 1587 1588 1592 1591 1590 1594 1597 1599 1598 0 1596 1595 1593 1582 1589 1551 1548 1565 1566 1564 1567 1563 1562 1568 1561 1560 1558 1557 1569 1559 1556 1554 1571 1572 1570 1574 1573 0 1599 1598 1597 1596 1595 1594 1593 1592 1591 1590 1589 1588 1587 1586 1585 1584 1583 1582 1581 1593 1594 1592 1595 1591 1590 1598 1599 1597 0 1587 1596 1582 1581 1579 1589 1577 1580 1588 1584 1583 1586 1585 1572 1569 1568 1570 1566 1578 1564 1574 1563 1576 1575 1573 1559 1571 1556 1554 1567 1583 1584 1585 1582 1586 1587 1581 1588 1579 1578 1577 1580 1593 1592 1596 1595 1598 0 1599 1597 1594 1590 1589 1591 1565 1564 1563 1562 1561 1560 1559 1558 1557 1556 1574 1576 1575 1571 1573 1572 1582 1581 1584 1585 1583 1586 1580 1587 1588 1577 1578 1579 1592 1593 1591 1596 1595 1599 0 1598 1597 1594 1571 1590 1589 1563 1564 1565 1562 1561 1560 1559 1558 1557 1556 1573 1576 1575 1574 1569 1581 1582 1580 1583 1579 1584 1585 1586 1587 1588 1576 1575 1591 1578 1593 1592 1594 1597 1598 0 1599 1596 1595 1589 1590 1562 1561 1560 1559 1563 1558 1577 1556 1555 1557 1554 1572 1574 1570 1573 1580 1579 1582 1581 1578 1577 1583 1584 1586 1587 1585 1576 1575 1591 1592 1590 1589 1594 1597 1599 1598 0 1596 1595 1593 1588 1562 1561 1560 1559 1557 1556 1555 1558 1554 1553 1552 1570 1569 1574 1579 1580 1581 1578 1582 1576 1577 1575 1585 1586 1584 1583 1574 1573 1590 1591 1592 1589 1593 1596 1595 1598 0 1599 1597 1594 1588 1587 1558 1557 1561 1555 1562 1560 1553 1556 1554 1552 1568 1551 1578 1577 1579 1580 1581 1575 1582 1576 1584 1585 1586 1574 1573 1572 1571 1570 1591 1590 1589 1595 1596 1597 1599 0 1598 1593 1592 1594 1588 1587 1583 1557 1559 1554 1558 1555 1556 1553 1552 1568 1577 1578 1576 1579 1580 1581 1575 1574 1573 1584 1583 1585 1572 1571 1570 1569 1590 1591 1568 1594 1589 1595 1597 1598 0 1599 1596 1592 1593 1588 1587 1586 1582 1553 1555 1557 1551 1554 1550 1552 1575 1576 1574 1577 1573 1580 1579 1578 1572 1583 1582 1584 1571 1570 1569 1568 1567 1566 1590 1588 1587 1593 1594 1596 1599 0 1598 1597 1595 1592 1591 1585 1589 1586 1581 1552 1555 1551 1553 1550 1574 1573 1575 1576 1577 1578 1572 1579 1571 1570 1569 1582 1580 1568 1567 1566 1565 1564 1563 1562 1588 1589 1593 1594 1595 1598 0 1599 1597 1596 1592 1591 1590 1585 1587 1586 1583 1584 1581 1549 1573 1574 1572 1575 1576 1571 1570 1577 1578 1569 1568 1567 1579 1580 1566 1565 1564 1563 1562 1561 1560 1587 1592 1593 1594 1597 1599 0 1598 1595 1596 1590 1591 1589 1588 1584 1586 1585 1583 1582 1572 1571 1573 1570 1575 1574 1576 1569 1577 1568 1567 1566 1578 1579 1565 1563 1562 1561 1564 1560 1559 1558 1588 1592 1591 1596 1597 1598 0 1599 1595 1594 1593 1590 1589 1587 1585 1586 1584 1583 1571 1572 1570 1569 1568 1567 1574 1573 1576 1575 1566 1565 1577 1564 1578 1562 1563 1560 1559 1558 1561 1557 1586 1588 1592 1591 1595 1596 1599 0 1598 1597 1594 1593 1590 1589 1587 1582 1585 1584 1570 1569 1571 1572 1567 1568 1573 1566 1575 1576 1574 1564 1565 1577 1563 1578 1561 1562 1560 1559 1558 1556 1557 1585 1587 1590 1593 1595 1596 1598 0 1599 1597 1594 1592 1591 1589 1588 1586 1580 1569 1570 1568 1571 1566 1572 1567 1565 1574 1573 1575 1563 1576 1562 1577 1561 1560 1559 1558 1564 1557 1555 1556 1583 1586 1589 1590 1591 1587 1594 1597 0 1599 1598 1596 1595 1593 1592 1588 1585 1568 1567 1569 1566 1571 1570 1565 1572 1564 1574 1573 1562 1563 1576 1575 1577 1559 1558 1557 1556 1555 1561 1560 1554 1584 1587 1589 1588 1591 1593 1594 1596 1598 0 1599 1597 1595 1590 1592 1586 1567 1568 1566 1565 1570 1569 1564 1571 1563 1562 1572 1573 1561 1575 1576 1574 1558 1557 1556 1555 1554 1559 1553 1560 1582 1586 1587 1589 1590 1585 1593 1595 1596 1599 0 1598 1597 1594 1591 1592 1566 1565 1567 1568 1569 1564 1563 1562 1561 1571 1570 1572 1560 1574 1573 1576 1575 1556 1555 1557 1553 1554 1558 1559 1581 1585 1586 1584 1589 1590 1588 1593 1595 1597 1598 0 1599 1596 1594 1591 1564 1563 1565 1562 1561 1566 1569 1568 1567 1560 1559 1571 1570 1558 1574 1575 1576 1573 1572 1554 1556 1553 1555 1557 1552 1583 1585 1586 1584 1589 1582 1592 1587 1595 1597 1599 0 1598 1596 1594 1563 1564 1562 1561 1565 1560 1566 1567 1569 1559 1558 1570 1568 1557 1572 1573 1574 1576 1575 1571 1552 1551 1554 1556 1555 1582 1584 1585 1586 1583 1589 1588 1592 1591 1594 1596 1598 0 1599 1597 1562 1561 1563 1564 1560 1565 1559 1558 1566 1567 1556 1568 1557 1569 1555 1572 1573 1575 1576 1574 1571 1570 1552 1553 1554 1581 1583 1582 1585 1586 1584 1587 1580 1592 1593 1594 1596 1599 0 1598 1561 1562 1560 1563 1564 1559 1558 1557 1565 1566 1555 1556 1567 1554 1553 1552 1571 1574 1573 1575 1572 1569 1570 1551 1550 1549 1581 1583 1582 1584 1586 1580 1585 1588 1591 1592 1594 1597 1598 0 1599 0 1598 1597 1596 1595 1594 1593 1592 1591 1590 1589 1588 1587 1586 1585 1584 1583 1582 1581 1580 1579 1578 1577 1576 1575 1574 1573 1572 1571 1570 1569 1568 1567 1566 1565 1564 1563 1562 1561 1598 1599 0 1596 1597 1594 1595 1592 1593 1590 1591 1588 1589 1586 1587 1584 1585 1582 1583 1580 1581 1578 1579 1576 1577 1574 1575 1572 1573 1570 1571 1568 1569 1566 1567 1564 1565 1562 1563 1560 1597 1598 1599 0 1595 1596 1593 1594 1591 1592 1589 1590 1587 1588 1585 1586 1583 1584 1581 1582 1579 1580 1577 1578 1575 1576 1573 1574 1571 1572 1569 1570 1567 1568 1565 1566 1563 1564 1561 1562 1596 1597 1595 1599 0 1598 1592 1591 1594 1593 1588 1587 1590 1589 1584 1583 1586 1585 1580 1579 1582 1581 1576 1575 1578 1577 1572 1571 1574 1573 1568 1567 1570 1569 1564 1563 1566 1565 1560 1559 1595 1596 1597 1598 1599 0 1591 1590 1589 1594 1593 1592 1586 1585 1588 1587 1582 1581 1584 1583 1578 1577 1580 1579 1574 1573 1576 1575 1570 1569 1572 1571 1566 1565 1568 1567 1562 1561 1564 1563 1594 1595 1596 1593 1598 1599 0 1597 1590 1589 1592 1591 1585 1584 1583 1588 1587 1586 1579 1578 1577 1582 1581 1580 1573 1572 1571 1576 1575 1574 1567 1566 1565 1570 1569 1568 1561 1560 1559 1564 1592 1593 1594 1591 1590 1597 1599 0 1598 1596 1595 1586 1584 1583 1589 1582 1588 1587 1585 1577 1576 1575 1574 1581 1580 1579 1578 1570 1569 1568 1573 1572 1571 1564 1563 1562 1567 1566 1565 1558 1591 1592 1593 1594 1589 1588 1597 1598 0 1599 1596 1595 1583 1590 1582 1581 1580 1579 1587 1586 1585 1584 1575 1574 1572 1578 1577 1569 1576 1567 1566 1573 1564 1571 1570 1561 1568 1559 1558 1565 1590 1591 1589 1592 1594 1593 1596 1595 1599 1598 0 1597 1581 1582 1580 1579 1578 1588 1586 1587 1584 1585 1583 1573 1571 1570 1569 1577 1568 1576 1575 1574 1572 1563 1562 1560 1559 1567 1566 1557 1589 1590 1591 1588 1593 1592 1587 1596 1595 1597 1598 0 1599 1594 1581 1580 1579 1578 1577 1585 1586 1583 1584 1582 1570 1571 1568 1567 1566 1575 1576 1565 1574 1573 1572 1569 1560 1558 1557 1556 1588 1589 1590 1587 1592 1591 1586 1585 1596 1595 1597 1599 0 1598 1594 1593 1581 1577 1578 1576 1575 1574 1582 1584 1583 1580 1579 1568 1567 1566 1565 1564 1573 1572 1571 1570 1569 1557 1556 1555 1587 1588 1586 1590 1585 1589 1584 1583 1582 1581 1594 1593 1598 0 1599 1597 1596 1595 1592 1591 1574 1576 1573 1571 1579 1569 1580 1578 1577 1565 1564 1575 1563 1562 1561 1572 1570 1568 1567 1566 1586 1587 1588 1589 1584 1585 1590 1582 1583 1580 1581 1594 1596 1599 0 1598 1597 1593 1595 1592 1591 1573 1572 1570 1568 1567 1566 1579 1565 1578 1577 1576 1575 1574 1560 1571 1558 1569 1555 1554 1585 1586 1587 1584 1588 1583 1589 1581 1580 1582 1579 1578 1595 1597 1598 0 1599 1596 1594 1593 1592 1591 1590 1569 1567 1566 1565 1564 1563 1577 1562 1561 1560 1576 1575 1574 1573 1572 1571 1570 1584 1585 1583 1586 1587 1582 1588 1589 1581 1579 1580 1577 1594 1595 1597 1599 0 1598 1596 1590 1593 1592 1591 1568 1566 1565 1567 1563 1564 1562 1578 1560 1561 1559 1576 1575 1574 1573 1572 1571 
2520.06/2459.02	v 	</values>
2520.06/2459.02	v </instantiation>

Verifier Data

OK	1599

Watcher Data

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 (10706 MiB free)
  memory of node 1: 16384 MiB (12531 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298415-1532759092/watcher-4298415-1532759092 -o /tmp/evaluation-result-4298415-1532759092/solver-4298415-1532759092 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532739282-23278 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298415-1532759092.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=25814, runsolver pid=25811

[startup+0.102889 s]*
/proc/loadavg: 1.79 2.07 2.05 5/216 25829
/proc/meminfo: memFree=23780276/32770624 swapFree=67108860/67108860
[pid=25814] ppid=25811 vsize=10658972 memory=27772 CPUtime=0.13 cores=0,2,4,6
/proc/25814/stat : 25814 (java) S 25811 25814 23247 0 -1 1077944320 5293 0 0 0 12 1 0 0 20 0 15 0 93472381 10914787328 6943 33554432000 4194304 4196468 140720394119424 140720394101968 140375378198263 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
/proc/25814/statm: 2664743 6943 2896 1 0 2627263 0
[pid=25814/tid=25816] ppid=25811 vsize=10658972 memory=-8269626465541459580 CPUtime=0.09 cores=0,2,4,6
/proc/25814/task/25816/stat : 25816 (java) R 25811 25814 23247 0 -1 4202560 3112 0 0 0 9 0 0 0 20 0 15 0 93472381 10914787328 6943 33554432000 4194304 4196468 140720394119424 140375382419424 140375364267316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25817] ppid=25811 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25817/stat : 25817 (java) S 25811 25814 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93472382 10914787328 6943 33554432000 4194304 4196468 140720394119424 140375304272272 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25818] ppid=25811 vsize=10658972 memory=140666406397568 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25818/stat : 25818 (java) S 25811 25814 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93472382 10914787328 6943 33554432000 4194304 4196468 140720394119424 140375303219472 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25819] ppid=25811 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25819/stat : 25819 (java) S 25811 25814 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93472382 10914787328 6943 33554432000 4194304 4196468 140720394119424 140374983043728 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25820] ppid=25811 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25820/stat : 25820 (java) S 25811 25814 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93472382 10914787328 6943 33554432000 4194304 4196468 140720394119424 140374981990928 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25821] ppid=25811 vsize=10658972 memory=140666406397568 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25821/stat : 25821 (java) S 25811 25814 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93472383 10914787328 6943 33554432000 4194304 4196468 140720394119424 140374870600304 140375378209410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25822] ppid=25811 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25822/stat : 25822 (java) S 25811 25814 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93472384 10914787328 6943 33554432000 4194304 4196468 140720394119424 140374869546272 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25823] ppid=25811 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25823/stat : 25823 (java) S 25811 25814 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93472384 10914787328 6943 33554432000 4194304 4196468 140720394119424 140374868493936 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25824] ppid=25811 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25824/stat : 25824 (java) S 25811 25814 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93472386 10914787328 6943 33554432000 4194304 4196468 140720394119424 140374867442256 140375378216859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25825] ppid=25811 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25825/stat : 25825 (java) S 25811 25814 23247 0 -1 1077944384 471 0 0 0 0 0 0 0 20 0 15 0 93472386 10914787328 6943 33554432000 4194304 4196468 140720394119424 140374866389104 140375378209410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25826] ppid=25811 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25826/stat : 25826 (java) R 25811 25814 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93472386 10914787328 6943 33554432000 4194304 4196468 140720394119424 140374865336400 140375378208469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25827] ppid=25811 vsize=10658972 memory=140666406397568 CPUtime=0.02 cores=0,2,4,6
/proc/25814/task/25827/stat : 25827 (java) R 25811 25814 23247 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 15 0 93472386 10914787328 6943 33554432000 4194304 4196468 140720394119424 140374864279968 140375378219610 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25828] ppid=25811 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25828/stat : 25828 (java) S 25811 25814 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93472386 10914787328 6943 33554432000 4194304 4196468 140720394119424 140374863231456 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25829] ppid=25811 vsize=10658972 memory=140666406397568 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25829/stat : 25829 (java) S 25811 25814 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93472387 10914787328 6943 33554432000 4194304 4196468 140720394119424 140374862179248 140375378209410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27772 KiB

[startup+0.213188 s]*
/proc/loadavg: 1.79 2.07 2.05 5/216 25829
/proc/meminfo: memFree=23767964/32770624 swapFree=67108860/67108860
[pid=25814] ppid=25811 vsize=10658972 memory=40408 CPUtime=0.34 cores=0,2,4,6
/proc/25814/stat : 25814 (java) S 25811 25814 23247 0 -1 1077944320 8162 0 0 0 32 2 0 0 20 0 15 0 93472381 10914787328 10102 33554432000 4194304 4196468 140720394119424 140720394101968 140375378198263 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
/proc/25814/statm: 2664743 10102 2972 1 0 2627263 0
[pid=25814/tid=25816] ppid=25811 vsize=10658972 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/25814/task/25816/stat : 25816 (java) R 25811 25814 23247 0 -1 4202560 5070 0 0 0 19 1 0 0 20 0 15 0 93472381 10914787328 10102 33554432000 4194304 4196468 140720394119424 140375382436304 140375378210198 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25817] ppid=25811 vsize=10658972 memory=342 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25817/stat : 25817 (java) S 25811 25814 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93472382 10914787328 10102 33554432000 4194304 4196468 140720394119424 140375304272272 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25818] ppid=25811 vsize=10658972 memory=288371042558109312 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25818/stat : 25818 (java) S 25811 25814 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93472382 10914787328 10102 33554432000 4194304 4196468 140720394119424 140375303219472 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25819] ppid=25811 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25819/stat : 25819 (java) S 25811 25814 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93472382 10914787328 10102 33554432000 4194304 4196468 140720394119424 140374983043728 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25820] ppid=25811 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25820/stat : 25820 (java) S 25811 25814 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93472382 10914787328 10102 33554432000 4194304 4196468 140720394119424 140374981990928 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25821] ppid=25811 vsize=10658972 memory=140666406397568 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25821/stat : 25821 (java) S 25811 25814 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93472383 10914787328 10102 33554432000 4194304 4196468 140720394119424 140374870600304 140375378209410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25822] ppid=25811 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25822/stat : 25822 (java) S 25811 25814 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93472384 10914787328 10102 33554432000 4194304 4196468 140720394119424 140374869546272 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25823] ppid=25811 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25823/stat : 25823 (java) S 25811 25814 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93472384 10914787328 10102 33554432000 4194304 4196468 140720394119424 140374868493936 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25824] ppid=25811 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25824/stat : 25824 (java) S 25811 25814 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93472386 10914787328 10102 33554432000 4194304 4196468 140720394119424 140374867442256 140375378216859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25825] ppid=25811 vsize=10658972 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25814/task/25825/stat : 25825 (java) R 25811 25814 23247 0 -1 4202560 827 0 0 0 2 0 0 0 20 0 15 0 93472386 10914787328 10102 33554432000 4194304 4196468 140720394119424 140374866389104 140375371183305 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25826] ppid=25811 vsize=10658972 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25814/task/25826/stat : 25826 (java) R 25811 25814 23247 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 15 0 93472386 10914787328 10102 33554432000 4194304 4196468 140720394119424 140374865336304 140375378209410 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25827] ppid=25811 vsize=10658972 memory=140666406397568 CPUtime=0.08 cores=0,2,4,6
/proc/25814/task/25827/stat : 25827 (java) R 25811 25814 23247 0 -1 4202560 794 0 0 0 8 0 0 0 20 0 15 0 93472386 10914787328 10102 33554432000 4194304 4196468 140720394119424 140374864280752 140375362278750 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25828] ppid=25811 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25828/stat : 25828 (java) S 25811 25814 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93472386 10914787328 10102 33554432000 4194304 4196468 140720394119424 140374863231456 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25829] ppid=25811 vsize=10658972 memory=140666406397568 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25829/stat : 25829 (java) S 25811 25814 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93472387 10914787328 10102 33554432000 4194304 4196468 140720394119424 140374862179248 140375378209410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 40408 KiB

[startup+0.310479 s]*
/proc/loadavg: 1.79 2.07 2.05 5/216 25829
/proc/meminfo: memFree=23753216/32770624 swapFree=67108860/67108860
[pid=25814] ppid=25811 vsize=10658972 memory=54936 CPUtime=0.66 cores=0,2,4,6
/proc/25814/stat : 25814 (java) S 25811 25814 23247 0 -1 1077944320 9833 0 0 0 64 2 0 0 20 0 15 0 93472381 10914787328 13734 33554432000 4194304 4196468 140720394119424 140720394101968 140375378198263 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
/proc/25814/statm: 2664743 13734 3030 1 0 2627263 0
[pid=25814/tid=25816] ppid=25811 vsize=10658972 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/25814/task/25816/stat : 25816 (java) R 25811 25814 23247 0 -1 4202560 5087 0 0 0 29 1 0 0 20 0 15 0 93472381 10914787328 13734 33554432000 4194304 4196468 140720394119424 140375382429056 140375378220189 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25817] ppid=25811 vsize=10658972 memory=288230600413020183 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25817/stat : 25817 (java) S 25811 25814 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93472382 10914787328 13734 33554432000 4194304 4196468 140720394119424 140375304272272 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25818] ppid=25811 vsize=10658972 memory=288371042558109312 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25818/stat : 25818 (java) S 25811 25814 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93472382 10914787328 13734 33554432000 4194304 4196468 140720394119424 140375303219472 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25819] ppid=25811 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25819/stat : 25819 (java) S 25811 25814 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93472382 10914787328 13734 33554432000 4194304 4196468 140720394119424 140374983043728 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25820] ppid=25811 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25820/stat : 25820 (java) S 25811 25814 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93472382 10914787328 13734 33554432000 4194304 4196468 140720394119424 140374981990928 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25821] ppid=25811 vsize=10658972 memory=140666406397568 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25821/stat : 25821 (java) S 25811 25814 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93472383 10914787328 13734 33554432000 4194304 4196468 140720394119424 140374870600304 140375378209410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25822] ppid=25811 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25822/stat : 25822 (java) S 25811 25814 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93472384 10914787328 13734 33554432000 4194304 4196468 140720394119424 140374869546272 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25823] ppid=25811 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25823/stat : 25823 (java) S 25811 25814 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93472384 10914787328 13734 33554432000 4194304 4196468 140720394119424 140374868493936 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25824] ppid=25811 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25824/stat : 25824 (java) S 25811 25814 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93472386 10914787328 13734 33554432000 4194304 4196468 140720394119424 140374867442256 140375378216859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25825] ppid=25811 vsize=10658972 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/25814/task/25825/stat : 25825 (java) R 25811 25814 23247 0 -1 4202560 1411 0 0 0 12 0 0 0 20 0 15 0 93472386 10914787328 13734 33554432000 4194304 4196468 140720394119424 140374866389120 140375371294694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25826] ppid=25811 vsize=10658972 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/25814/task/25826/stat : 25826 (java) R 25811 25814 23247 0 -1 4202560 918 0 0 0 10 0 0 0 20 0 15 0 93472386 10914787328 13734 33554432000 4194304 4196468 140720394119424 140374865322184 140375370487717 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25827] ppid=25811 vsize=10658972 memory=140666406397568 CPUtime=0.12 cores=0,2,4,6
/proc/25814/task/25827/stat : 25827 (java) S 25811 25814 23247 0 -1 1077944384 1049 0 0 0 12 0 0 0 20 0 15 0 93472386 10914787328 13734 33554432000 4194304 4196468 140720394119424 140374864284016 140375378209410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25828] ppid=25811 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25828/stat : 25828 (java) S 25811 25814 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93472386 10914787328 13734 33554432000 4194304 4196468 140720394119424 140374863231456 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25829] ppid=25811 vsize=10658972 memory=140666406397568 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25829/stat : 25829 (java) S 25811 25814 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93472387 10914787328 13734 33554432000 4194304 4196468 140720394119424 140374862179248 140375378209410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 54936 KiB

[startup+0.700748 s]
/proc/loadavg: 1.79 2.07 2.05 4/216 25829
/proc/meminfo: memFree=23726720/32770624 swapFree=67108860/67108860
[pid=25814] ppid=25811 vsize=10659048 memory=127636 CPUtime=1.81 cores=0,2,4,6
/proc/25814/stat : 25814 (java) S 25811 25814 23247 0 -1 1077944320 12119 0 0 0 177 4 0 0 20 0 15 0 93472381 10914865152 31909 33554432000 4194304 4196468 140720394119424 140720394101968 140375378198263 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
/proc/25814/statm: 2664762 31909 3093 1 0 2627263 0
[pid=25814/tid=25816] ppid=25811 vsize=10659048 memory=1728 CPUtime=0.66 cores=0,2,4,6
/proc/25814/task/25816/stat : 25816 (java) R 25811 25814 23247 0 -1 4202560 5436 0 0 0 64 2 0 0 20 0 15 0 93472381 10914865152 31975 33554432000 4194304 4196468 140720394119424 140375382431136 140374985959552 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25817] ppid=25811 vsize=10659048 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25817/stat : 25817 (java) S 25811 25814 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93472382 10914865152 31975 33554432000 4194304 4196468 140720394119424 140375304272272 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25818] ppid=25811 vsize=10659048 memory=796 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25818/stat : 25818 (java) S 25811 25814 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93472382 10914865152 31975 33554432000 4194304 4196468 140720394119424 140375303219472 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25819] ppid=25811 vsize=10659048 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25819/stat : 25819 (java) S 25811 25814 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93472382 10914865152 31975 33554432000 4194304 4196468 140720394119424 140374983043728 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25820] ppid=25811 vsize=10659048 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25820/stat : 25820 (java) S 25811 25814 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93472382 10914865152 31975 33554432000 4194304 4196468 140720394119424 140374981990928 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25821] ppid=25811 vsize=10659048 memory=9992 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25821/stat : 25821 (java) S 25811 25814 23247 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93472383 10914865152 31975 33554432000 4194304 4196468 140720394119424 140374870600304 140375378209410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25822] ppid=25811 vsize=10659048 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25822/stat : 25822 (java) S 25811 25814 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93472384 10914865152 31975 33554432000 4194304 4196468 140720394119424 140374869546272 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25823] ppid=25811 vsize=10659048 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25823/stat : 25823 (java) S 25811 25814 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93472384 10914865152 31975 33554432000 4194304 4196468 140720394119424 140374868493936 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25824] ppid=25811 vsize=10659048 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25824/stat : 25824 (java) S 25811 25814 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93472386 10914865152 31975 33554432000 4194304 4196468 140720394119424 140374867442256 140375378216859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25825] ppid=25811 vsize=10659048 memory=7017547551848162880 CPUtime=0.45 cores=0,2,4,6
/proc/25814/task/25825/stat : 25825 (java) R 25811 25814 23247 0 -1 4202560 2636 0 0 0 45 0 0 0 20 0 15 0 93472386 10914865152 31975 33554432000 4194304 4196468 140720394119424 140374866379632 140375359741986 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25826] ppid=25811 vsize=10659048 memory=7811323491934034026 CPUtime=0.42 cores=0,2,4,6
/proc/25814/task/25826/stat : 25826 (java) R 25811 25814 23247 0 -1 4202560 1408 0 0 0 42 0 0 0 20 0 15 0 93472386 10914865152 31975 33554432000 4194304 4196468 140720394119424 140374865317080 140375361609056 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25827] ppid=25811 vsize=10659048 memory=5787213827163908199 CPUtime=0.24 cores=0,2,4,6
/proc/25814/task/25827/stat : 25827 (java) S 25811 25814 23247 0 -1 1077944384 1342 0 0 0 24 0 0 0 20 0 15 0 93472386 10914865152 31975 33554432000 4194304 4196468 140720394119424 140374864284016 140375378209410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25828] ppid=25811 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25828/stat : 25828 (java) S 25811 25814 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93472386 10914865152 31975 33554432000 4194304 4196468 140720394119424 140374863231456 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25829] ppid=25811 vsize=10659048 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25829/stat : 25829 (java) S 25811 25814 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93472387 10914865152 31975 33554432000 4194304 4196468 140720394119424 140374862179248 140375378209410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 127636 KiB

[startup+1.50218 s]
/proc/loadavg: 1.79 2.07 2.05 5/216 25829
/proc/meminfo: memFree=23590016/32770624 swapFree=67108860/67108860
[pid=25814] ppid=25811 vsize=10659048 memory=257936 CPUtime=4.38 cores=0,2,4,6
/proc/25814/stat : 25814 (java) S 25811 25814 23247 0 -1 1077944320 16754 0 0 0 427 11 0 0 20 0 15 0 93472381 10914865152 64484 33554432000 4194304 4196468 140720394119424 140720394101968 140375378198263 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
/proc/25814/statm: 2664762 64484 3130 1 0 2627263 0
[pid=25814/tid=25816] ppid=25811 vsize=10659048 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/25814/task/25816/stat : 25816 (java) R 25811 25814 23247 0 -1 4202560 5605 0 0 0 138 4 0 0 20 0 15 0 93472381 10914865152 64484 33554432000 4194304 4196468 140720394119424 140375382433920 140374986287227 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25817] ppid=25811 vsize=10659048 memory=-6951259422114956437 CPUtime=0.04 cores=0,2,4,6
/proc/25814/task/25817/stat : 25817 (java) S 25811 25814 23247 0 -1 1077944384 88 0 0 0 3 1 0 0 20 0 15 0 93472382 10914865152 64484 33554432000 4194304 4196468 140720394119424 140375304272272 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25818] ppid=25811 vsize=10659048 memory=-6509546260019855295 CPUtime=0.03 cores=0,2,4,6
/proc/25814/task/25818/stat : 25818 (java) S 25811 25814 23247 0 -1 1077944384 63 0 0 0 2 1 0 0 20 0 15 0 93472382 10914865152 64484 33554432000 4194304 4196468 140720394119424 140375303219472 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25819] ppid=25811 vsize=10659048 memory=-7390251449858225344 CPUtime=0.03 cores=0,2,4,6
/proc/25814/task/25819/stat : 25819 (java) S 25811 25814 23247 0 -1 1077944384 224 0 0 0 2 1 0 0 20 0 15 0 93472382 10914865152 64484 33554432000 4194304 4196468 140720394119424 140374983043728 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25820] ppid=25811 vsize=10659048 memory=4134692831991786133 CPUtime=0.04 cores=0,2,4,6
/proc/25814/task/25820/stat : 25820 (java) S 25811 25814 23247 0 -1 1077944384 97 0 0 0 3 1 0 0 20 0 15 0 93472382 10914865152 64484 33554432000 4194304 4196468 140720394119424 140374981990928 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25821] ppid=25811 vsize=10659048 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25821/stat : 25821 (java) S 25811 25814 23247 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 93472383 10914865152 64484 33554432000 4194304 4196468 140720394119424 140374870600304 140375378209410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0

################
# More data... #
################

/proc/25814/task/25816/stat : 25816 (java) R 25811 25814 23247 0 -1 4202560 116929 0 0 0 230474 26 0 0 20 0 15 0 93472381 10914865152 525719 33554432000 4194304 4196468 140720394119424 140375382437680 140374989920300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25817] ppid=25811 vsize=10659048 memory=2099352 CPUtime=16.4 cores=0,2,4,6
/proc/25814/task/25817/stat : 25817 (java) S 25811 25814 23247 0 -1 1077944384 25596 0 0 0 1546 94 0 0 20 0 15 0 93472382 10914865152 525719 33554432000 4194304 4196468 140720394119424 140375304272272 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25818] ppid=25811 vsize=10659048 memory=2099352 CPUtime=16.48 cores=0,2,4,6
/proc/25814/task/25818/stat : 25818 (java) S 25811 25814 23247 0 -1 1077944384 26508 0 0 0 1544 104 0 0 20 0 15 0 93472382 10914865152 525719 33554432000 4194304 4196468 140720394119424 140375303219472 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25819] ppid=25811 vsize=10659048 memory=2102876 CPUtime=16.34 cores=0,2,4,6
/proc/25814/task/25819/stat : 25819 (java) S 25811 25814 23247 0 -1 1077944384 23178 0 0 0 1540 94 0 0 20 0 15 0 93472382 10914865152 525719 33554432000 4194304 4196468 140720394119424 140374983043728 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25820] ppid=25811 vsize=10659048 memory=2102876 CPUtime=16.34 cores=0,2,4,6
/proc/25814/task/25820/stat : 25820 (java) S 25811 25814 23247 0 -1 1077944384 28023 0 0 0 1533 101 0 0 20 0 15 0 93472382 10914865152 525719 33554432000 4194304 4196468 140720394119424 140374981990928 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25821] ppid=25811 vsize=10659048 memory=2102876 CPUtime=0.41 cores=0,2,4,6
/proc/25814/task/25821/stat : 25821 (java) S 25811 25814 23247 0 -1 1077944384 12225 0 0 0 34 7 0 0 20 0 15 0 93472383 10914865152 525719 33554432000 4194304 4196468 140720394119424 140374870600304 140375378209410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25822] ppid=25811 vsize=10659048 memory=2102876 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25822/stat : 25822 (java) S 25811 25814 23247 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 93472384 10914865152 525719 33554432000 4194304 4196468 140720394119424 140374869546336 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25823] ppid=25811 vsize=10659048 memory=2102876 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25823/stat : 25823 (java) S 25811 25814 23247 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 93472384 10914865152 525719 33554432000 4194304 4196468 140720394119424 140374868493936 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25824] ppid=25811 vsize=10659048 memory=2102876 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25824/stat : 25824 (java) S 25811 25814 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93472386 10914865152 525719 33554432000 4194304 4196468 140720394119424 140374867442256 140375378216859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25825] ppid=25811 vsize=10659048 memory=2102876 CPUtime=3.5 cores=0,2,4,6
/proc/25814/task/25825/stat : 25825 (java) S 25811 25814 23247 0 -1 1077944384 7851 0 0 0 349 1 0 0 20 0 15 0 93472386 10914865152 525719 33554432000 4194304 4196468 140720394119424 140374866389104 140375378209410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25826] ppid=25811 vsize=10659048 memory=2102876 CPUtime=3.28 cores=0,2,4,6
/proc/25814/task/25826/stat : 25826 (java) S 25811 25814 23247 0 -1 1077944384 7931 0 0 0 327 1 0 0 20 0 15 0 93472386 10914865152 525719 33554432000 4194304 4196468 140720394119424 140374865336304 140375378209410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25827] ppid=25811 vsize=10659048 memory=2102876 CPUtime=0.61 cores=0,2,4,6
/proc/25814/task/25827/stat : 25827 (java) S 25811 25814 23247 0 -1 1077944384 4111 0 0 0 59 2 0 0 20 0 15 0 93472386 10914865152 525719 33554432000 4194304 4196468 140720394119424 140374864284016 140375378209410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25828] ppid=25811 vsize=10659048 memory=2102876 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25828/stat : 25828 (java) S 25811 25814 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93472386 10914865152 525719 33554432000 4194304 4196468 140720394119424 140374863231456 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25829] ppid=25811 vsize=10659048 memory=2102876 CPUtime=1.35 cores=0,2,4,6
/proc/25814/task/25829/stat : 25829 (java) S 25811 25814 23247 0 -1 1077944384 1400 0 0 0 68 67 0 0 20 0 15 0 93472387 10914865152 525719 33554432000 4194304 4196468 140720394119424 140374862179248 140375378209410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
Current children cumulated CPU time: 2379.79 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2102876 KiB

[startup+2382.3 s]
/proc/loadavg: 1.91 1.71 1.65 3/216 26002
/proc/meminfo: memFree=19965012/32770624 swapFree=67108860/67108860
[pid=25814] ppid=25811 vsize=10659048 memory=2091148 CPUtime=2441.38 cores=0,2,4,6
/proc/25814/stat : 25814 (java) S 25811 25814 23247 0 -1 1077944320 258798 0 0 0 243655 483 0 0 20 0 15 0 93472381 10914865152 522787 33554432000 4194304 4196468 140720394119424 140720394101968 140375378198263 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
/proc/25814/statm: 2664762 522787 3175 1 0 2627263 0
[pid=25814/tid=25816] ppid=25811 vsize=10659048 memory=2091148 CPUtime=2364.45 cores=0,2,4,6
/proc/25814/task/25816/stat : 25816 (java) R 25811 25814 23247 0 -1 4202560 118840 0 0 0 236419 26 0 0 20 0 15 0 93472381 10914865152 522787 33554432000 4194304 4196468 140720394119424 140375382437680 140374989844194 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25817] ppid=25811 vsize=10659048 memory=2091148 CPUtime=16.92 cores=0,2,4,6
/proc/25814/task/25817/stat : 25817 (java) S 25811 25814 23247 0 -1 1077944384 25984 0 0 0 1598 94 0 0 20 0 15 0 93472382 10914865152 522787 33554432000 4194304 4196468 140720394119424 140375304272272 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25818] ppid=25811 vsize=10659048 memory=2099352 CPUtime=17 cores=0,2,4,6
/proc/25814/task/25818/stat : 25818 (java) S 25811 25814 23247 0 -1 1077944384 26770 0 0 0 1596 104 0 0 20 0 15 0 93472382 10914865152 522787 33554432000 4194304 4196468 140720394119424 140375303219472 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25819] ppid=25811 vsize=10659048 memory=2091144 CPUtime=16.86 cores=0,2,4,6
/proc/25814/task/25819/stat : 25819 (java) S 25811 25814 23247 0 -1 1077944384 23646 0 0 0 1592 94 0 0 20 0 15 0 93472382 10914865152 522787 33554432000 4194304 4196468 140720394119424 140374983043728 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25820] ppid=25811 vsize=10659048 memory=2091144 CPUtime=16.86 cores=0,2,4,6
/proc/25814/task/25820/stat : 25820 (java) S 25811 25814 23247 0 -1 1077944384 28422 0 0 0 1585 101 0 0 20 0 15 0 93472382 10914865152 522787 33554432000 4194304 4196468 140720394119424 140374981990928 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25821] ppid=25811 vsize=10659048 memory=2091148 CPUtime=0.43 cores=0,2,4,6
/proc/25814/task/25821/stat : 25821 (java) S 25811 25814 23247 0 -1 1077944384 12409 0 0 0 35 8 0 0 20 0 15 0 93472383 10914865152 522787 33554432000 4194304 4196468 140720394119424 140374870600304 140375378209410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25822] ppid=25811 vsize=10659048 memory=2091148 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25822/stat : 25822 (java) S 25811 25814 23247 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 93472384 10914865152 522787 33554432000 4194304 4196468 140720394119424 140374869546336 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25823] ppid=25811 vsize=10659048 memory=2086604 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25823/stat : 25823 (java) S 25811 25814 23247 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 93472384 10914865152 522787 33554432000 4194304 4196468 140720394119424 140374868493936 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25824] ppid=25811 vsize=10659048 memory=281332572473568 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25824/stat : 25824 (java) S 25811 25814 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93472386 10914865152 522787 33554432000 4194304 4196468 140720394119424 140374867442256 140375378216859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25825] ppid=25811 vsize=10659048 memory=2091144 CPUtime=3.5 cores=0,2,4,6
/proc/25814/task/25825/stat : 25825 (java) S 25811 25814 23247 0 -1 1077944384 7853 0 0 0 349 1 0 0 20 0 15 0 93472386 10914865152 522787 33554432000 4194304 4196468 140720394119424 140374866389104 140375378209410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25826] ppid=25811 vsize=10659048 memory=2091144 CPUtime=3.28 cores=0,2,4,6
/proc/25814/task/25826/stat : 25826 (java) S 25811 25814 23247 0 -1 1077944384 7934 0 0 0 327 1 0 0 20 0 15 0 93472386 10914865152 522787 33554432000 4194304 4196468 140720394119424 140374865336304 140375378209410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25827] ppid=25811 vsize=10659048 memory=2091148 CPUtime=0.61 cores=0,2,4,6
/proc/25814/task/25827/stat : 25827 (java) S 25811 25814 23247 0 -1 1077944384 4114 0 0 0 59 2 0 0 20 0 15 0 93472386 10914865152 522787 33554432000 4194304 4196468 140720394119424 140374864284016 140375378209410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25828] ppid=25811 vsize=10659048 memory=-7606742920825102191 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25828/stat : 25828 (java) S 25811 25814 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93472386 10914865152 522787 33554432000 4194304 4196468 140720394119424 140374863231456 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25829] ppid=25811 vsize=10659048 memory=2091144 CPUtime=1.38 cores=0,2,4,6
/proc/25814/task/25829/stat : 25829 (java) S 25811 25814 23247 0 -1 1077944384 1429 0 0 0 70 68 0 0 20 0 15 0 93472387 10914865152 522787 33554432000 4194304 4196468 140720394119424 140374862179248 140375378209410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
Current children cumulated CPU time: 2441.38 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2091148 KiB

[startup+2442.3 s]
/proc/loadavg: 1.78 1.72 1.66 3/215 26003
/proc/meminfo: memFree=19549576/32770624 swapFree=67108860/67108860
[pid=25814] ppid=25811 vsize=10659048 memory=2095976 CPUtime=2502.9 cores=0,2,4,6
/proc/25814/stat : 25814 (java) S 25811 25814 23247 0 -1 1077944320 262563 0 0 0 249804 486 0 0 20 0 15 0 93472381 10914865152 523994 33554432000 4194304 4196468 140720394119424 140720394101968 140375378198263 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
/proc/25814/statm: 2664762 523994 3175 1 0 2627263 0
[pid=25814/tid=25816] ppid=25811 vsize=10659048 memory=2095976 CPUtime=2423.92 cores=0,2,4,6
/proc/25814/task/25816/stat : 25816 (java) R 25811 25814 23247 0 -1 4202560 120280 0 0 0 242366 26 0 0 20 0 15 0 93472381 10914865152 523994 33554432000 4194304 4196468 140720394119424 140375382437680 140374990260967 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25817] ppid=25811 vsize=10659048 memory=2095560 CPUtime=17.42 cores=0,2,4,6
/proc/25814/task/25817/stat : 25817 (java) S 25811 25814 23247 0 -1 1077944384 26681 0 0 0 1648 94 0 0 20 0 15 0 93472382 10914865152 523994 33554432000 4194304 4196468 140720394119424 140375304272272 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25818] ppid=25811 vsize=10659048 memory=2095556 CPUtime=17.5 cores=0,2,4,6
/proc/25814/task/25818/stat : 25818 (java) S 25811 25814 23247 0 -1 1077944384 27196 0 0 0 1646 104 0 0 20 0 15 0 93472382 10914865152 523994 33554432000 4194304 4196468 140720394119424 140375303219472 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25819] ppid=25811 vsize=10659048 memory=2093640 CPUtime=17.36 cores=0,2,4,6
/proc/25814/task/25819/stat : 25819 (java) S 25811 25814 23247 0 -1 1077944384 24103 0 0 0 1642 94 0 0 20 0 15 0 93472382 10914865152 523994 33554432000 4194304 4196468 140720394119424 140374983043728 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25820] ppid=25811 vsize=10659048 memory=2095100 CPUtime=17.36 cores=0,2,4,6
/proc/25814/task/25820/stat : 25820 (java) S 25811 25814 23247 0 -1 1077944384 28953 0 0 0 1635 101 0 0 20 0 15 0 93472382 10914865152 523994 33554432000 4194304 4196468 140720394119424 140374981990928 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25821] ppid=25811 vsize=10659048 memory=2093644 CPUtime=0.44 cores=0,2,4,6
/proc/25814/task/25821/stat : 25821 (java) S 25811 25814 23247 0 -1 1077944384 12588 0 0 0 36 8 0 0 20 0 15 0 93472383 10914865152 523994 33554432000 4194304 4196468 140720394119424 140374870600304 140375378209410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25822] ppid=25811 vsize=10659048 memory=2095976 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25822/stat : 25822 (java) S 25811 25814 23247 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 93472384 10914865152 523994 33554432000 4194304 4196468 140720394119424 140374869546336 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25823] ppid=25811 vsize=10659048 memory=2252468 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25823/stat : 25823 (java) S 25811 25814 23247 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 93472384 10914865152 523994 33554432000 4194304 4196468 140720394119424 140374868493936 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25824] ppid=25811 vsize=10659048 memory=2604 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25824/stat : 25824 (java) S 25811 25814 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93472386 10914865152 523994 33554432000 4194304 4196468 140720394119424 140374867442256 140375378216859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25825] ppid=25811 vsize=10659048 memory=1408 CPUtime=3.51 cores=0,2,4,6
/proc/25814/task/25825/stat : 25825 (java) S 25811 25814 23247 0 -1 1077944384 7855 0 0 0 349 2 0 0 20 0 15 0 93472386 10914865152 523994 33554432000 4194304 4196468 140720394119424 140374866389104 140375378209410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25826] ppid=25811 vsize=10659048 memory=2095560 CPUtime=3.28 cores=0,2,4,6
/proc/25814/task/25826/stat : 25826 (java) S 25811 25814 23247 0 -1 1077944384 7936 0 0 0 327 1 0 0 20 0 15 0 93472386 10914865152 523994 33554432000 4194304 4196468 140720394119424 140374865336304 140375378209410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25827] ppid=25811 vsize=10659048 memory=2095556 CPUtime=0.61 cores=0,2,4,6
/proc/25814/task/25827/stat : 25827 (java) S 25811 25814 23247 0 -1 1077944384 4116 0 0 0 59 2 0 0 20 0 15 0 93472386 10914865152 523994 33554432000 4194304 4196468 140720394119424 140374864284016 140375378209410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25828] ppid=25811 vsize=10659048 memory=2095976 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25828/stat : 25828 (java) S 25811 25814 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93472386 10914865152 523994 33554432000 4194304 4196468 140720394119424 140374863231456 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25829] ppid=25811 vsize=10659048 memory=2095976 CPUtime=1.42 cores=0,2,4,6
/proc/25814/task/25829/stat : 25829 (java) S 25811 25814 23247 0 -1 1077944384 1458 0 0 0 72 70 0 0 20 0 15 0 93472387 10914865152 523994 33554432000 4194304 4196468 140720394119424 140374862179248 140375378209410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
Current children cumulated CPU time: 2502.9 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2095976 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2459 s]*
/proc/loadavg: 1.70 1.71 1.65 3/215 26003
/proc/meminfo: memFree=19431204/32770624 swapFree=67108860/67108860
[pid=25814] ppid=25811 vsize=10659048 memory=2100700 CPUtime=2520.06 cores=0,2,4,6
/proc/25814/stat : 25814 (java) S 25811 25814 23247 0 -1 1077944320 263657 0 0 0 251519 487 0 0 20 0 15 0 93472381 10914865152 525175 33554432000 4194304 4196468 140720394119424 140720394101968 140375378198263 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
/proc/25814/statm: 2664762 525175 3175 1 0 2627263 0
[pid=25814/tid=25816] ppid=25811 vsize=10659048 memory=6791534058613427641 CPUtime=2440.47 cores=0,2,4,6
/proc/25814/task/25816/stat : 25816 (java) R 25811 25814 23247 0 -1 4202560 120539 0 0 0 244021 26 0 0 20 0 15 0 93472381 10914865152 525175 33554432000 4194304 4196468 140720394119424 140375382437792 140374990260198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25817] ppid=25811 vsize=10659048 memory=0 CPUtime=17.57 cores=0,2,4,6
/proc/25814/task/25817/stat : 25817 (java) S 25811 25814 23247 0 -1 1077944384 26866 0 0 0 1663 94 0 0 20 0 15 0 93472382 10914865152 525175 33554432000 4194304 4196468 140720394119424 140375304272272 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25818] ppid=25811 vsize=10659048 memory=0 CPUtime=17.65 cores=0,2,4,6
/proc/25814/task/25818/stat : 25818 (java) S 25811 25814 23247 0 -1 1077944384 27387 0 0 0 1661 104 0 0 20 0 15 0 93472382 10914865152 525175 33554432000 4194304 4196468 140720394119424 140375303219472 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25819] ppid=25811 vsize=10659048 memory=0 CPUtime=17.51 cores=0,2,4,6
/proc/25814/task/25819/stat : 25819 (java) S 25811 25814 23247 0 -1 1077944384 24333 0 0 0 1657 94 0 0 20 0 15 0 93472382 10914865152 525175 33554432000 4194304 4196468 140720394119424 140374983043728 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25820] ppid=25811 vsize=10659048 memory=0 CPUtime=17.5 cores=0,2,4,6
/proc/25814/task/25820/stat : 25820 (java) S 25811 25814 23247 0 -1 1077944384 29179 0 0 0 1649 101 0 0 20 0 15 0 93472382 10914865152 525175 33554432000 4194304 4196468 140720394119424 140374981990928 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25821] ppid=25811 vsize=10659048 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/25814/task/25821/stat : 25821 (java) S 25811 25814 23247 0 -1 1077944384 12591 0 0 0 36 8 0 0 20 0 15 0 93472383 10914865152 525175 33554432000 4194304 4196468 140720394119424 140374870600304 140375378209410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25822] ppid=25811 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25822/stat : 25822 (java) S 25811 25814 23247 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 93472384 10914865152 525175 33554432000 4194304 4196468 140720394119424 140374869546336 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25823] ppid=25811 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25823/stat : 25823 (java) S 25811 25814 23247 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 93472384 10914865152 525175 33554432000 4194304 4196468 140720394119424 140374868493936 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25824] ppid=25811 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25824/stat : 25824 (java) S 25811 25814 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93472386 10914865152 525175 33554432000 4194304 4196468 140720394119424 140374867442256 140375378216859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25825] ppid=25811 vsize=10659048 memory=0 CPUtime=3.51 cores=0,2,4,6
/proc/25814/task/25825/stat : 25825 (java) S 25811 25814 23247 0 -1 1077944384 7855 0 0 0 349 2 0 0 20 0 15 0 93472386 10914865152 525175 33554432000 4194304 4196468 140720394119424 140374866389104 140375378209410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25826] ppid=25811 vsize=10659048 memory=0 CPUtime=3.28 cores=0,2,4,6
/proc/25814/task/25826/stat : 25826 (java) S 25811 25814 23247 0 -1 1077944384 7936 0 0 0 327 1 0 0 20 0 15 0 93472386 10914865152 525175 33554432000 4194304 4196468 140720394119424 140374865336304 140375378209410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25827] ppid=25811 vsize=10659048 memory=2093644 CPUtime=0.61 cores=0,2,4,6
/proc/25814/task/25827/stat : 25827 (java) S 25811 25814 23247 0 -1 1077944384 4116 0 0 0 59 2 0 0 20 0 15 0 93472386 10914865152 525175 33554432000 4194304 4196468 140720394119424 140374864284016 140375378209410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25828] ppid=25811 vsize=10659048 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/25814/task/25828/stat : 25828 (java) S 25811 25814 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93472386 10914865152 525175 33554432000 4194304 4196468 140720394119424 140374863231456 140375378208469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
[pid=25814/tid=25829] ppid=25811 vsize=10659048 memory=9992 CPUtime=1.42 cores=0,2,4,6
/proc/25814/task/25829/stat : 25829 (java) S 25811 25814 23247 0 -1 1077944384 1458 0 0 0 72 70 0 0 20 0 15 0 93472387 10914865152 525175 33554432000 4194304 4196468 140720394119424 140374862179248 140375378209410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 30138368 140720394126509 140720394126601 140720394126601 140720394129359 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2100700 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2459.03 s]
# the end of solver process 25814 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.22 s, system=4.88785 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2459.03
CPU time (s): 2520.11
CPU user time (s): 2515.22
CPU system time (s): 4.88785
CPU usage (%): 102.484
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 4084016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.22
system time used= 4.88785
maximum resident set size= 4084128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264041
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62368
involuntary context switches= 4521


# summary of solver processes directly reported to runsolver:
#   pid: 25814
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2515.22
#   total CPU system time (s): 4.88785

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8555 second user time and 23.411 second system time

The end

Launcher Data

Begin job on node139 at 2018-07-28 08:24:52
IDJOB=4298415
IDBENCH=141136
IDSOLVER=2763
FILE ID=node139/4298415-1532759092
RUNJOBID= node139-1532739282-23278
PBS_JOBID= 21022439
Free space on /tmp= 38716 MiB

SOLVER NAME= MiniCPFever 2018-04-29
BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order40_c18.xml
COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298415-1532759092/watcher-4298415-1532759092 -o /tmp/evaluation-result-4298415-1532759092/solver-4298415-1532759092 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532739282-23278 --watchdog 2580  java -jar minicp-1.0.jar HOME/instance-4298415-1532759092.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d1aa36ddb66a988b2d6475ffc1d9c375
RANDOM SEED=957098884

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:        23795596 kB
MemAvailable:   31802816 kB
Buffers:          232328 kB
Cached:          7903556 kB
SwapCached:            0 kB
Active:          3199008 kB
Inactive:        5119716 kB
Active(anon):     137052 kB
Inactive(anon):    73576 kB
Active(file):    3061956 kB
Inactive(file):  5046140 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3008 kB
Writeback:             0 kB
AnonPages:        103940 kB
Mapped:            54736 kB
Shmem:             25228 kB
Slab:             355492 kB
SReclaimable:     327584 kB
SUnreclaim:        27908 kB
KernelStack:        3840 kB
PageTables:         5660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1081216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 38712 MiB
End job on node139 at 2018-07-28 09:05:51