Trace number 4298433

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
The dodo solver 2018-04-29SAT (TO)7 2520.07 2498.83

General information on the benchmark

NameGraphColoring/
GraphColoring-3-fullins-5_c18.xml
MD5SUM51dc9de19dcdd21b605810f9d7307a76
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark315.869
Satisfiable
(Un)Satisfiability was proved
Number of variables2030
Number of constraints33751
Number of domains1
Minimum domain size2030
Maximum domain size2030
Distribution of domain sizes[{"size":2030,"count":2030}]
Minimum variable degree9
Maximum variable degree410
Distribution of variable degrees[{"degree":9,"count":4},{"degree":10,"count":14},{"degree":11,"count":12},{"degree":12,"count":36},{"degree":13,"count":23},{"degree":14,"count":54},{"degree":15,"count":22},{"degree":16,"count":66},{"degree":17,"count":41},{"degree":18,"count":123},{"degree":19,"count":41},{"degree":20,"count":123},{"degree":21,"count":19},{"degree":22,"count":57},{"degree":23,"count":42},{"degree":24,"count":131},{"degree":25,"count":8},{"degree":26,"count":24},{"degree":27,"count":29},{"degree":28,"count":87},{"degree":29,"count":44},{"degree":30,"count":132},{"degree":31,"count":87},{"degree":32,"count":261},{"degree":33,"count":5},{"degree":34,"count":15},{"degree":35,"count":15},{"degree":36,"count":45},{"degree":41,"count":5},{"degree":42,"count":15},{"degree":43,"count":5},{"degree":44,"count":15},{"degree":49,"count":5},{"degree":50,"count":15},{"degree":51,"count":15},{"degree":52,"count":45},{"degree":53,"count":15},{"degree":54,"count":45},{"degree":55,"count":45},{"degree":56,"count":135},{"degree":77,"count":5},{"degree":78,"count":15},{"degree":79,"count":15},{"degree":80,"count":45},{"degree":87,"count":5},{"degree":169,"count":5},{"degree":170,"count":15},{"degree":410,"count":5}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":33751}]
Number of extensional constraints0
Number of intensional constraints33751
Distribution of constraint types[{"type":"intension","count":33751}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.13/0.13	c version: 2018-04-11
0.13/0.13	c seed: 1811631
0.13/0.13	c timeout: 2520
0.13/0.13	c memlimit: -1
0.13/0.13	c nbcore: -1
14.89/6.67	o 8
500.04/489.71	o 7
2520.02/2498.80	s SATISFIABLE
2520.02/2498.81	v <instantiation>
2520.02/2498.81	v 	<list>
2520.02/2498.81	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] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] 
2520.02/2498.81	v 	</list>
2520.02/2498.81	v 	<values>
2520.02/2498.81	v 		0 1 3 3 1 1 3 3 2 2 1 2 3 4 5 5 2 3 3 5 5 3 3 6 6 6 6 3 6 5 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 5 3 3 3 4 3 3 3 3 3 4 3 3 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 1 5 6 7 4 2 3 3 0 0 0 0 0 0 0 0 0 0 0 2 2 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 5 5 3 3 5 5 3 3 3 3 3 5 3 3 3 4 4 3 3 1 1 1 1 1 1 1 1 1 1 1 3 5 3 3 3 4 3 3 3 3 3 4 3 3 3 3 3 3 3 1 1 1 1 1 1 1 1 1 1 1 3 1 5 3 3 4 4 3 3 0 0 0 0 0 0 0 0 0 0 0 5 5 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 5 5 3 3 5 5 3 3 3 3 3 5 3 3 3 6 6 3 3 1 1 1 1 1 1 1 1 1 1 1 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 1 1 1 1 1 1 1 1 1 1 1 3 1 3 3 3 0 1 6 7 4 4 1 3 3 1 1 3 3 2 2 1 2 3 4 5 4 2 3 3 2 2 3 3 2 2 6 2 3 4 5 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 2 2 2 4 2 3 3 2 2 7 7 2 2 7 2 7 4 7 2 2 3 3 2 2 3 3 2 2 6 2 3 4 5 4 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 2 2 2 4 5 3 3 0 0 0 0 0 0 0 0 0 0 0 5 2 3 3 0 0 0 0 0 0 0 0 0 0 0 4 5 3 3 4 4 3 3 4 4 6 7 3 4 5 3 5 3 3 3 4 3 3 3 3 3 4 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 7 5 3 3 4 2 3 3 0 0 0 0 0 0 0 0 0 0 0 2 2 3 3 0 0 0 0 0 0 0 0 0 0 0 4 5 3 3 4 4 3 3 4 4 6 7 3 4 5 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 7 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 3 4 
2520.02/2498.81	v 	</values>
2520.02/2498.81	v </instantiation>

Verifier Data 

OK	7

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298433-1532758444/watcher-4298433-1532758444 -o /tmp/evaluation-result-4298433-1532758444/solver-4298433-1532758444 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532740019-20128 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298433-1532758444.xml --timelimit 2520 

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=22541, runsolver pid=22538

[startup+0.100065 s]*
/proc/loadavg: 1.68 1.46 1.43 4/216 22556
/proc/meminfo: memFree=21982408/32770624 swapFree=67108796/67108860
[pid=22541] ppid=22538 vsize=10658972 memory=27496 CPUtime=0.13 cores=0,2,4,6
/proc/22541/stat : 22541 (java) S 22538 22541 25017 0 -1 1077944320 5261 0 0 0 12 1 0 0 20 0 15 0 93407538 10914787328 6874 33554432000 4194304 4196468 140722160364384 140722160346928 140269380755191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
/proc/22541/statm: 2664743 6874 2834 1 0 2627263 0
[pid=22541/tid=22543] ppid=22538 vsize=10658972 memory=8326441112148417179 CPUtime=0.09 cores=0,2,4,6
/proc/22541/task/22543/stat : 22543 (java) R 22538 22541 25017 0 -1 4202560 3103 0 0 0 9 0 0 0 20 0 15 0 93407539 10914787328 6874 33554432000 4194304 4196468 140722160364384 140269384981120 140269364798821 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22544] ppid=22538 vsize=10658972 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22544/stat : 22544 (java) S 22538 22541 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93407540 10914787328 6874 33554432000 4194304 4196468 140722160364384 140268987669008 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22545] ppid=22538 vsize=10658972 memory=139682737903232 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22545/stat : 22545 (java) S 22538 22541 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93407540 10914787328 6874 33554432000 4194304 4196468 140722160364384 140268986616464 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22546] ppid=22538 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22546/stat : 22546 (java) S 22538 22541 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93407540 10914787328 6874 33554432000 4194304 4196468 140722160364384 140268985563408 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22547] ppid=22538 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22547/stat : 22547 (java) S 22538 22541 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93407540 10914787328 6874 33554432000 4194304 4196468 140722160364384 140268984510864 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22548] ppid=22538 vsize=10658972 memory=139682737903232 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22548/stat : 22548 (java) S 22538 22541 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93407541 10914787328 6874 33554432000 4194304 4196468 140722160364384 140268940610288 140269380766338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22549] ppid=22538 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22549/stat : 22549 (java) S 22538 22541 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93407541 10914787328 6874 33554432000 4194304 4196468 140722160364384 140268939556512 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22550] ppid=22538 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22550/stat : 22550 (java) S 22538 22541 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93407542 10914787328 6874 33554432000 4194304 4196468 140722160364384 140268938503408 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22551] ppid=22538 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22551/stat : 22551 (java) S 22538 22541 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93407544 10914787328 6874 33554432000 4194304 4196468 140722160364384 140268937451984 140269380773787 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22552] ppid=22538 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22552/stat : 22552 (java) R 22538 22541 25017 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 15 0 93407544 10914787328 6874 33554432000 4194304 4196468 140722160364384 140268936399088 140269380766338 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22553] ppid=22538 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22553/stat : 22553 (java) R 22538 22541 25017 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 15 0 93407544 10914787328 6874 33554432000 4194304 4196468 140722160364384 140268935346544 140269358588048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22554] ppid=22538 vsize=10658972 memory=139682737903232 CPUtime=0.02 cores=0,2,4,6
/proc/22541/task/22554/stat : 22554 (java) S 22538 22541 25017 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 15 0 93407544 10914787328 6874 33554432000 4194304 4196468 140722160364384 140268867151856 140269380766338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22555] ppid=22538 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22555/stat : 22555 (java) S 22538 22541 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93407544 10914787328 6874 33554432000 4194304 4196468 140722160364384 140268866099552 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22556] ppid=22538 vsize=10658972 memory=139682737903232 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22556/stat : 22556 (java) S 22538 22541 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93407544 10914787328 6874 33554432000 4194304 4196468 140722160364384 140268865047600 140269380766338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27496 KiB

[startup+0.210574 s]*
/proc/loadavg: 1.68 1.46 1.43 6/216 22556
/proc/meminfo: memFree=21971184/32770624 swapFree=67108796/67108860
[pid=22541] ppid=22538 vsize=10661056 memory=40368 CPUtime=0.34 cores=0,2,4,6
/proc/22541/stat : 22541 (java) S 22538 22541 25017 0 -1 1077944320 8151 0 0 0 32 2 0 0 20 0 15 0 93407538 10916921344 10092 33554432000 4194304 4196468 140722160364384 140722160346928 140269380755191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
/proc/22541/statm: 2665264 10092 2984 1 0 2627263 0
[pid=22541/tid=22543] ppid=22538 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/22541/task/22543/stat : 22543 (java) R 22538 22541 25017 0 -1 4202560 5096 0 0 0 19 1 0 0 20 0 15 0 93407539 10916921344 10092 33554432000 4194304 4196468 140722160364384 140269384993344 140269018301234 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22544] ppid=22538 vsize=10661056 memory=345 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22544/stat : 22544 (java) S 22538 22541 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93407540 10916921344 10092 33554432000 4194304 4196468 140722160364384 140268987669008 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22545] ppid=22538 vsize=10661056 memory=139682738480695 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22545/stat : 22545 (java) S 22538 22541 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93407540 10916921344 10092 33554432000 4194304 4196468 140722160364384 140268986616464 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22546] ppid=22538 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22546/stat : 22546 (java) S 22538 22541 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93407540 10916921344 10092 33554432000 4194304 4196468 140722160364384 140268985563408 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22547] ppid=22538 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22547/stat : 22547 (java) S 22538 22541 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93407540 10916921344 10092 33554432000 4194304 4196468 140722160364384 140268984510864 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22548] ppid=22538 vsize=10661056 memory=139682737903232 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22548/stat : 22548 (java) S 22538 22541 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93407541 10916921344 10092 33554432000 4194304 4196468 140722160364384 140268940610288 140269380766338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22549] ppid=22538 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22549/stat : 22549 (java) S 22538 22541 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93407541 10916921344 10092 33554432000 4194304 4196468 140722160364384 140268939556512 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22550] ppid=22538 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22550/stat : 22550 (java) S 22538 22541 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93407542 10916921344 10092 33554432000 4194304 4196468 140722160364384 140268938503408 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22551] ppid=22538 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22551/stat : 22551 (java) S 22538 22541 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93407544 10916921344 10092 33554432000 4194304 4196468 140722160364384 140268937451984 140269380773787 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22552] ppid=22538 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22541/task/22552/stat : 22552 (java) R 22538 22541 25017 0 -1 1077944384 567 0 0 0 2 0 0 0 20 0 15 0 93407544 10916921344 10092 33554432000 4194304 4196468 140722160364384 140268936399088 140269380766338 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22553] ppid=22538 vsize=10661056 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22541/task/22553/stat : 22553 (java) R 22538 22541 25017 0 -1 4202560 178 0 0 0 2 0 0 0 20 0 15 0 93407544 10916921344 10092 33554432000 4194304 4196468 140722160364384 140268935346544 140269365662136 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22554] ppid=22538 vsize=10661056 memory=139682737903232 CPUtime=0.08 cores=0,2,4,6
/proc/22541/task/22554/stat : 22554 (java) R 22538 22541 25017 0 -1 4202560 943 0 0 0 8 0 0 0 20 0 15 0 93407544 10916921344 10092 33554432000 4194304 4196468 140722160364384 140268867147808 140269364835678 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22555] ppid=22538 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22555/stat : 22555 (java) S 22538 22541 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93407544 10916921344 10092 33554432000 4194304 4196468 140722160364384 140268866099552 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22556] ppid=22538 vsize=10661056 memory=139682737903232 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22556/stat : 22556 (java) S 22538 22541 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93407544 10916921344 10092 33554432000 4194304 4196468 140722160364384 140268865047600 140269380766338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40368 KiB

[startup+0.310501 s]*
/proc/loadavg: 1.68 1.46 1.43 5/216 22556
/proc/meminfo: memFree=21955676/32770624 swapFree=67108796/67108860
[pid=22541] ppid=22538 vsize=10661056 memory=57736 CPUtime=0.67 cores=0,2,4,6
/proc/22541/stat : 22541 (java) S 22538 22541 25017 0 -1 1077944320 9958 0 0 0 65 2 0 0 20 0 15 0 93407538 10916921344 14434 33554432000 4194304 4196468 140722160364384 140722160346928 140269380755191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
/proc/22541/statm: 2665264 14434 3043 1 0 2627263 0
[pid=22541/tid=22543] ppid=22538 vsize=10661056 memory=53476 CPUtime=0.3 cores=0,2,4,6
/proc/22541/task/22543/stat : 22543 (java) R 22538 22541 25017 0 -1 4202560 5114 0 0 0 29 1 0 0 20 0 15 0 93407539 10916921344 14434 33554432000 4194304 4196468 140722160364384 140269384985968 140269380777117 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22544] ppid=22538 vsize=10661056 memory=35 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22544/stat : 22544 (java) S 22538 22541 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93407540 10916921344 14434 33554432000 4194304 4196468 140722160364384 140268987669008 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22545] ppid=22538 vsize=10661056 memory=139682737961248 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22545/stat : 22545 (java) S 22538 22541 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93407540 10916921344 14434 33554432000 4194304 4196468 140722160364384 140268986616464 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22546] ppid=22538 vsize=10661056 memory=60388 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22546/stat : 22546 (java) S 22538 22541 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93407540 10916921344 14434 33554432000 4194304 4196468 140722160364384 140268985563408 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22547] ppid=22538 vsize=10661056 memory=35 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22547/stat : 22547 (java) S 22538 22541 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93407540 10916921344 14434 33554432000 4194304 4196468 140722160364384 140268984510864 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22548] ppid=22538 vsize=10661056 memory=139682737968160 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22548/stat : 22548 (java) S 22538 22541 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93407541 10916921344 14434 33554432000 4194304 4196468 140722160364384 140268940610288 140269380766338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22549] ppid=22538 vsize=10661056 memory=35 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22549/stat : 22549 (java) S 22538 22541 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93407541 10916921344 14434 33554432000 4194304 4196468 140722160364384 140268939556512 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22550] ppid=22538 vsize=10661056 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22550/stat : 22550 (java) S 22538 22541 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93407542 10916921344 14434 33554432000 4194304 4196468 140722160364384 140268938503408 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22551] ppid=22538 vsize=10661056 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22551/stat : 22551 (java) S 22538 22541 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93407544 10916921344 14434 33554432000 4194304 4196468 140722160364384 140268937451984 140269380773787 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22552] ppid=22538 vsize=10661056 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/22541/task/22552/stat : 22552 (java) R 22538 22541 25017 0 -1 4202560 1095 0 0 0 11 0 0 0 20 0 15 0 93407544 10916921344 14434 33554432000 4194304 4196468 140722160364384 140268936384968 140269373855102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22553] ppid=22538 vsize=10661056 memory=139682604240399 CPUtime=0.12 cores=0,2,4,6
/proc/22541/task/22553/stat : 22553 (java) R 22538 22541 25017 0 -1 4202560 1046 0 0 0 12 0 0 0 20 0 15 0 93407544 10916921344 14434 33554432000 4194304 4196468 140722160364384 140268935332600 140269358502632 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22554] ppid=22538 vsize=10661056 memory=139682737925562 CPUtime=0.11 cores=0,2,4,6
/proc/22541/task/22554/stat : 22554 (java) S 22538 22541 25017 0 -1 1077944384 1335 0 0 0 11 0 0 0 20 0 15 0 93407544 10916921344 14434 33554432000 4194304 4196468 140722160364384 140268867151856 140269380766338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22555] ppid=22538 vsize=10661056 memory=139682604244943 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22555/stat : 22555 (java) S 22538 22541 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93407544 10916921344 14434 33554432000 4194304 4196468 140722160364384 140268866099552 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22556] ppid=22538 vsize=10661056 memory=279365342164928 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22556/stat : 22556 (java) S 22538 22541 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93407544 10916921344 14434 33554432000 4194304 4196468 140722160364384 140268865047600 140269380766338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 57736 KiB

[startup+0.700731 s]
/proc/loadavg: 1.68 1.46 1.43 5/216 22556
/proc/meminfo: memFree=21934576/32770624 swapFree=67108796/67108860
[pid=22541] ppid=22538 vsize=10661132 memory=140088 CPUtime=1.82 cores=0,2,4,6
/proc/22541/stat : 22541 (java) S 22538 22541 25017 0 -1 1077944320 11096 0 0 0 178 4 0 0 20 0 15 0 93407538 10916999168 35022 33554432000 4194304 4196468 140722160364384 140722160346928 140269380755191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
/proc/22541/statm: 2665283 35022 3103 1 0 2627263 0
[pid=22541/tid=22543] ppid=22538 vsize=10661132 memory=2372 CPUtime=0.68 cores=0,2,4,6
/proc/22541/task/22543/stat : 22543 (java) R 22538 22541 25017 0 -1 4202560 5474 0 0 0 65 3 0 0 20 0 15 0 93407539 10916999168 35022 33554432000 4194304 4196468 140722160364384 140269384989744 140269021092226 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22544] ppid=22538 vsize=10661132 memory=6872598998417432672 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22544/stat : 22544 (java) S 22538 22541 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93407540 10916999168 35022 33554432000 4194304 4196468 140722160364384 140268987669008 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22545] ppid=22538 vsize=10661132 memory=7024 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22545/stat : 22545 (java) S 22538 22541 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93407540 10916999168 35022 33554432000 4194304 4196468 140722160364384 140268986616464 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22546] ppid=22538 vsize=10661132 memory=15044 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22546/stat : 22546 (java) S 22538 22541 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93407540 10916999168 35022 33554432000 4194304 4196468 140722160364384 140268985563408 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22547] ppid=22538 vsize=10661132 memory=20336 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22547/stat : 22547 (java) S 22538 22541 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93407540 10916999168 35022 33554432000 4194304 4196468 140722160364384 140268984510864 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22548] ppid=22538 vsize=10661132 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22548/stat : 22548 (java) S 22538 22541 25017 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93407541 10916999168 35022 33554432000 4194304 4196468 140722160364384 140268940610288 140269380766338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22549] ppid=22538 vsize=10661132 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22549/stat : 22549 (java) S 22538 22541 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93407541 10916999168 35022 33554432000 4194304 4196468 140722160364384 140268939556512 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22550] ppid=22538 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22550/stat : 22550 (java) S 22538 22541 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93407542 10916999168 35022 33554432000 4194304 4196468 140722160364384 140268938503408 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22551] ppid=22538 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22551/stat : 22551 (java) S 22538 22541 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93407544 10916999168 35022 33554432000 4194304 4196468 140722160364384 140268937451984 140269380773787 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22552] ppid=22538 vsize=10661132 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/22541/task/22552/stat : 22552 (java) R 22538 22541 25017 0 -1 4202560 1490 0 0 0 44 0 0 0 20 0 15 0 93407544 10916999168 35022 33554432000 4194304 4196468 140722160364384 140268936385112 140269361937793 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22553] ppid=22538 vsize=10661132 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/22541/task/22553/stat : 22553 (java) R 22538 22541 25017 0 -1 4202560 1192 0 0 0 44 0 0 0 20 0 15 0 93407544 10916999168 35022 33554432000 4194304 4196468 140722160364384 140268935336336 140269362275204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22554] ppid=22538 vsize=10661132 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/22541/task/22554/stat : 22554 (java) S 22538 22541 25017 0 -1 1077944384 1569 0 0 0 23 0 0 0 20 0 15 0 93407544 10916999168 35022 33554432000 4194304 4196468 140722160364384 140268867151856 140269380766338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22555] ppid=22538 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22555/stat : 22555 (java) S 22538 22541 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93407544 10916999168 35022 33554432000 4194304 4196468 140722160364384 140268866099552 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22556] ppid=22538 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22556/stat : 22556 (java) S 22538 22541 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93407544 10916999168 35022 33554432000 4194304 4196468 140722160364384 140268865047600 140269380766338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 140088 KiB

[startup+1.50156 s]
/proc/loadavg: 1.68 1.46 1.43 5/216 22556
/proc/meminfo: memFree=21816292/32770624 swapFree=67108796/67108860
[pid=22541] ppid=22538 vsize=10661132 memory=451332 CPUtime=4.33 cores=0,2,4,6
/proc/22541/stat : 22541 (java) S 22538 22541 25017 0 -1 1077944320 12975 0 0 0 410 23 0 0 20 0 15 0 93407538 10916999168 112833 33554432000 4194304 4196468 140722160364384 140722160346928 140269380755191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
/proc/22541/statm: 2665283 112833 3157 1 0 2627263 0
[pid=22541/tid=22543] ppid=22538 vsize=10661132 memory=3546359543923496546 CPUtime=1.36 cores=0,2,4,6
/proc/22541/task/22543/stat : 22543 (java) S 22538 22541 25017 0 -1 1077944384 5703 0 0 0 131 5 0 0 20 0 15 0 93407539 10916999168 112833 33554432000 4194304 4196468 140722160364384 140269384991920 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22544] ppid=22538 vsize=10661132 memory=194124 CPUtime=0.09 cores=0,2,4,6
/proc/22541/task/22544/stat : 22544 (java) R 22538 22541 25017 0 -1 4202560 91 0 0 0 6 3 0 0 20 0 15 0 93407540 10916999168 112833 33554432000 4194304 4196468 140722160364384 140268987669208 140269373854891 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22545] ppid=22538 vsize=10661132 memory=2241 CPUtime=0.09 cores=0,2,4,6
/proc/22541/task/22545/stat : 22545 (java) R 22538 22541 25017 0 -1 4202560 204 0 0 0 6 3 0 0 20 0 15 0 93407540 10916999168 112833 33554432000 4194304 4196468 140722160364384 140268986616464 140269373854891 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22546] ppid=22538 vsize=10661132 memory=7024 CPUtime=0.09 cores=0,2,4,6
/proc/22541/task/22546/stat : 22546 (java) R 22538 22541 25017 0 -1 4202560 234 0 0 0 5 4 0 0 20 0 15 0 93407540 10916999168 113345 33554432000 4194304 4196468 140722160364384 140268985563608 140269373854891 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22547] ppid=22538 vsize=10661132 memory=15044 CPUtime=0.08 cores=0,2,4,6
/proc/22541/task/22547/stat : 22547 (java) R 22538 22541 25017 0 -1 4202560 197 0 0 0 5 3 0 0 20 0 15 0 93407540 10916999168 113345 33554432000 4194304 4196468 140722160364384 140268984510864 140269373851892 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22548] ppid=22538 vsize=10661132 memory=20336 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22548/stat : 22548 (java) S 22538 22541 25017 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 93407541 10916999168 113345 33554432000 4194304 4196468 140722160364384 140268940608800 140269380765397 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0

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

/proc/22541/task/22543/stat : 22543 (java) R 22538 22541 25017 0 -1 4202560 91948 0 0 0 231716 23 0 0 20 0 15 0 93407539 10916999168 376315 33554432000 4194304 4196468 140722160364384 140269384994176 140269024648035 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22544] ppid=22538 vsize=10661132 memory=1509876 CPUtime=4.48 cores=0,2,4,6
/proc/22541/task/22544/stat : 22544 (java) S 22538 22541 25017 0 -1 1077944384 11777 0 0 0 383 65 0 0 20 0 15 0 93407540 10916999168 376315 33554432000 4194304 4196468 140722160364384 140268987669008 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22545] ppid=22538 vsize=10661132 memory=1519108 CPUtime=4.46 cores=0,2,4,6
/proc/22541/task/22545/stat : 22545 (java) S 22538 22541 25017 0 -1 1077944384 12816 0 0 0 379 67 0 0 20 0 15 0 93407540 10916999168 376315 33554432000 4194304 4196468 140722160364384 140268986616464 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22546] ppid=22538 vsize=10661132 memory=1514492 CPUtime=4.45 cores=0,2,4,6
/proc/22541/task/22546/stat : 22546 (java) S 22538 22541 25017 0 -1 1077944384 12761 0 0 0 379 66 0 0 20 0 15 0 93407540 10916999168 376315 33554432000 4194304 4196468 140722160364384 140268985563408 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22547] ppid=22538 vsize=10661132 memory=1514492 CPUtime=4.47 cores=0,2,4,6
/proc/22541/task/22547/stat : 22547 (java) S 22538 22541 25017 0 -1 1077944384 13796 0 0 0 380 67 0 0 20 0 15 0 93407540 10916999168 376315 33554432000 4194304 4196468 140722160364384 140268984510864 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22548] ppid=22538 vsize=10661132 memory=1509876 CPUtime=0.16 cores=0,2,4,6
/proc/22541/task/22548/stat : 22548 (java) S 22538 22541 25017 0 -1 1077944384 9979 0 0 0 10 6 0 0 20 0 15 0 93407541 10916999168 376315 33554432000 4194304 4196468 140722160364384 140268940610288 140269380766338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22549] ppid=22538 vsize=10661132 memory=1509876 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22549/stat : 22549 (java) S 22538 22541 25017 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 93407541 10916999168 376315 33554432000 4194304 4196468 140722160364384 140268939556576 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22550] ppid=22538 vsize=10661132 memory=1505260 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22550/stat : 22550 (java) S 22538 22541 25017 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 93407542 10916999168 376315 33554432000 4194304 4196468 140722160364384 140268938503408 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22551] ppid=22538 vsize=10661132 memory=1505260 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22551/stat : 22551 (java) S 22538 22541 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93407544 10916999168 376315 33554432000 4194304 4196468 140722160364384 140268937451984 140269380773787 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22552] ppid=22538 vsize=10661132 memory=1505260 CPUtime=2.65 cores=0,2,4,6
/proc/22541/task/22552/stat : 22552 (java) S 22538 22541 25017 0 -1 1077944384 12479 0 0 0 263 2 0 0 20 0 15 0 93407544 10916999168 376315 33554432000 4194304 4196468 140722160364384 140268936399088 140269380766338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22553] ppid=22538 vsize=10661132 memory=1505260 CPUtime=2.27 cores=0,2,4,6
/proc/22541/task/22553/stat : 22553 (java) S 22538 22541 25017 0 -1 1077944384 9197 0 0 0 226 1 0 0 20 0 15 0 93407544 10916999168 376315 33554432000 4194304 4196468 140722160364384 140268935346544 140269380766338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22554] ppid=22538 vsize=10661132 memory=1509876 CPUtime=0.53 cores=0,2,4,6
/proc/22541/task/22554/stat : 22554 (java) S 22538 22541 25017 0 -1 1077944384 4659 0 0 0 51 2 0 0 20 0 15 0 93407544 10916999168 376315 33554432000 4194304 4196468 140722160364384 140268867151856 140269380766338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22555] ppid=22538 vsize=10661132 memory=1509876 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22555/stat : 22555 (java) S 22538 22541 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93407544 10916999168 376315 33554432000 4194304 4196468 140722160364384 140268866099552 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22556] ppid=22538 vsize=10661132 memory=1505260 CPUtime=1.34 cores=0,2,4,6
/proc/22541/task/22556/stat : 22556 (java) S 22538 22541 25017 0 -1 1077944384 1531 0 0 0 71 63 0 0 20 0 15 0 93407544 10916999168 376315 33554432000 4194304 4196468 140722160364384 140268865047600 140269380766338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
Current children cumulated CPU time: 2342.29 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1505260 KiB

[startup+2382.3 s]
/proc/loadavg: 1.99 1.96 1.84 3/216 22780
/proc/meminfo: memFree=18328432/32770624 swapFree=67108796/67108860
[pid=22541] ppid=22538 vsize=10661132 memory=1487816 CPUtime=2402.68 cores=0,2,4,6
/proc/22541/stat : 22541 (java) S 22538 22541 25017 0 -1 1077944320 184237 0 0 0 239920 348 0 0 20 0 15 0 93407538 10916999168 371954 33554432000 4194304 4196468 140722160364384 140722160346928 140269380755191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
/proc/22541/statm: 2665283 371954 3181 1 0 2627263 0
[pid=22541/tid=22543] ppid=22538 vsize=10661132 memory=1493972 CPUtime=2377.27 cores=0,2,4,6
/proc/22541/task/22543/stat : 22543 (java) R 22538 22541 25017 0 -1 4202560 93288 0 0 0 237704 23 0 0 20 0 15 0 93407539 10916999168 371954 33554432000 4194304 4196468 140722160364384 140269384994448 140269024648035 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22544] ppid=22538 vsize=10661132 memory=0 CPUtime=4.6 cores=0,2,4,6
/proc/22541/task/22544/stat : 22544 (java) S 22538 22541 25017 0 -1 1077944384 11909 0 0 0 395 65 0 0 20 0 15 0 93407540 10916999168 371954 33554432000 4194304 4196468 140722160364384 140268987669008 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22545] ppid=22538 vsize=10661132 memory=1490896 CPUtime=4.58 cores=0,2,4,6
/proc/22541/task/22545/stat : 22545 (java) S 22538 22541 25017 0 -1 1077944384 12912 0 0 0 391 67 0 0 20 0 15 0 93407540 10916999168 371954 33554432000 4194304 4196468 140722160364384 140268986616464 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22546] ppid=22538 vsize=10661132 memory=1490896 CPUtime=4.57 cores=0,2,4,6
/proc/22541/task/22546/stat : 22546 (java) S 22538 22541 25017 0 -1 1077944384 12789 0 0 0 391 66 0 0 20 0 15 0 93407540 10916999168 371954 33554432000 4194304 4196468 140722160364384 140268985563408 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22547] ppid=22538 vsize=10661132 memory=1487816 CPUtime=4.58 cores=0,2,4,6
/proc/22541/task/22547/stat : 22547 (java) S 22538 22541 25017 0 -1 1077944384 13897 0 0 0 391 67 0 0 20 0 15 0 93407540 10916999168 371954 33554432000 4194304 4196468 140722160364384 140268984510864 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22548] ppid=22538 vsize=10661132 memory=451 CPUtime=0.16 cores=0,2,4,6
/proc/22541/task/22548/stat : 22548 (java) S 22538 22541 25017 0 -1 1077944384 10134 0 0 0 10 6 0 0 20 0 15 0 93407541 10916999168 371954 33554432000 4194304 4196468 140722160364384 140268940610288 140269380766338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22549] ppid=22538 vsize=10661132 memory=1514492 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22549/stat : 22549 (java) S 22538 22541 25017 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 93407541 10916999168 371954 33554432000 4194304 4196468 140722160364384 140268939556576 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22550] ppid=22538 vsize=10661132 memory=1487816 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22550/stat : 22550 (java) S 22538 22541 25017 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 93407542 10916999168 371954 33554432000 4194304 4196468 140722160364384 140268938503408 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22551] ppid=22538 vsize=10661132 memory=1497052 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22551/stat : 22551 (java) S 22538 22541 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93407544 10916999168 371954 33554432000 4194304 4196468 140722160364384 140268937451984 140269380773787 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22552] ppid=22538 vsize=10661132 memory=924 CPUtime=2.65 cores=0,2,4,6
/proc/22541/task/22552/stat : 22552 (java) S 22538 22541 25017 0 -1 1077944384 12479 0 0 0 263 2 0 0 20 0 15 0 93407544 10916999168 371954 33554432000 4194304 4196468 140722160364384 140268936399088 140269380766338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22553] ppid=22538 vsize=10661132 memory=1487816 CPUtime=2.27 cores=0,2,4,6
/proc/22541/task/22553/stat : 22553 (java) S 22538 22541 25017 0 -1 1077944384 9198 0 0 0 226 1 0 0 20 0 15 0 93407544 10916999168 371954 33554432000 4194304 4196468 140722160364384 140268935346544 140269380766338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22554] ppid=22538 vsize=10661132 memory=1487816 CPUtime=0.53 cores=0,2,4,6
/proc/22541/task/22554/stat : 22554 (java) S 22538 22541 25017 0 -1 1077944384 4659 0 0 0 51 2 0 0 20 0 15 0 93407544 10916999168 371954 33554432000 4194304 4196468 140722160364384 140268867151856 140269380766338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22555] ppid=22538 vsize=10661132 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22555/stat : 22555 (java) S 22538 22541 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93407544 10916999168 371954 33554432000 4194304 4196468 140722160364384 140268866099552 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22556] ppid=22538 vsize=10661132 memory=6935054825532540783 CPUtime=1.38 cores=0,2,4,6
/proc/22541/task/22556/stat : 22556 (java) S 22538 22541 25017 0 -1 1077944384 1558 0 0 0 73 65 0 0 20 0 15 0 93407544 10916999168 371954 33554432000 4194304 4196468 140722160364384 140268865047600 140269380766338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
Current children cumulated CPU time: 2402.68 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1487816 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 1.97 1.85 3/216 22781
/proc/meminfo: memFree=18346904/32770624 swapFree=67108796/67108860
[pid=22541] ppid=22538 vsize=10661132 memory=1470376 CPUtime=2463.12 cores=0,2,4,6
/proc/22541/stat : 22541 (java) S 22538 22541 25017 0 -1 1077944320 186473 0 0 0 245963 349 0 0 20 0 15 0 93407538 10916999168 367594 33554432000 4194304 4196468 140722160364384 140722160346928 140269380755191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
/proc/22541/statm: 2665283 367594 3181 1 0 2627263 0
[pid=22541/tid=22543] ppid=22538 vsize=10661132 memory=1473452 CPUtime=2437.11 cores=0,2,4,6
/proc/22541/task/22543/stat : 22543 (java) R 22538 22541 25017 0 -1 4202560 94667 0 0 0 243688 23 0 0 20 0 15 0 93407539 10916999168 367594 33554432000 4194304 4196468 140722160364384 140269384992320 140269024893680 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22544] ppid=22538 vsize=10661132 memory=1478584 CPUtime=4.74 cores=0,2,4,6
/proc/22541/task/22544/stat : 22544 (java) S 22538 22541 25017 0 -1 1077944384 11923 0 0 0 409 65 0 0 20 0 15 0 93407540 10916999168 367594 33554432000 4194304 4196468 140722160364384 140268987669008 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22545] ppid=22538 vsize=10661132 memory=1478584 CPUtime=4.72 cores=0,2,4,6
/proc/22541/task/22545/stat : 22545 (java) S 22538 22541 25017 0 -1 1077944384 13025 0 0 0 405 67 0 0 20 0 15 0 93407540 10916999168 367594 33554432000 4194304 4196468 140722160364384 140268986616464 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22546] ppid=22538 vsize=10661132 memory=1475504 CPUtime=4.72 cores=0,2,4,6
/proc/22541/task/22546/stat : 22546 (java) S 22538 22541 25017 0 -1 1077944384 13140 0 0 0 405 67 0 0 20 0 15 0 93407540 10916999168 367594 33554432000 4194304 4196468 140722160364384 140268985563408 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22547] ppid=22538 vsize=10661132 memory=1481660 CPUtime=4.72 cores=0,2,4,6
/proc/22541/task/22547/stat : 22547 (java) S 22538 22541 25017 0 -1 1077944384 14067 0 0 0 405 67 0 0 20 0 15 0 93407540 10916999168 367594 33554432000 4194304 4196468 140722160364384 140268984510864 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22548] ppid=22538 vsize=10661132 memory=1473452 CPUtime=0.16 cores=0,2,4,6
/proc/22541/task/22548/stat : 22548 (java) S 22538 22541 25017 0 -1 1077944384 10305 0 0 0 10 6 0 0 20 0 15 0 93407541 10916999168 367594 33554432000 4194304 4196468 140722160364384 140268940610288 140269380766338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22549] ppid=22538 vsize=10661132 memory=1473452 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22549/stat : 22549 (java) S 22538 22541 25017 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 93407541 10916999168 367594 33554432000 4194304 4196468 140722160364384 140268939556576 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22550] ppid=22538 vsize=10661132 memory=1470376 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22550/stat : 22550 (java) S 22538 22541 25017 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 93407542 10916999168 367594 33554432000 4194304 4196468 140722160364384 140268938503408 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22551] ppid=22538 vsize=10661132 memory=1473452 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22551/stat : 22551 (java) S 22538 22541 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93407544 10916999168 367594 33554432000 4194304 4196468 140722160364384 140268937451984 140269380773787 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22552] ppid=22538 vsize=10661132 memory=1478584 CPUtime=2.65 cores=0,2,4,6
/proc/22541/task/22552/stat : 22552 (java) S 22538 22541 25017 0 -1 1077944384 12481 0 0 0 263 2 0 0 20 0 15 0 93407544 10916999168 367594 33554432000 4194304 4196468 140722160364384 140268936399088 140269380766338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22553] ppid=22538 vsize=10661132 memory=1478584 CPUtime=2.27 cores=0,2,4,6
/proc/22541/task/22553/stat : 22553 (java) S 22538 22541 25017 0 -1 1077944384 9201 0 0 0 226 1 0 0 20 0 15 0 93407544 10916999168 367594 33554432000 4194304 4196468 140722160364384 140268935346544 140269380766338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22554] ppid=22538 vsize=10661132 memory=1473452 CPUtime=0.53 cores=0,2,4,6
/proc/22541/task/22554/stat : 22554 (java) S 22538 22541 25017 0 -1 1077944384 4661 0 0 0 51 2 0 0 20 0 15 0 93407544 10916999168 367594 33554432000 4194304 4196468 140722160364384 140268867151856 140269380766338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22555] ppid=22538 vsize=10661132 memory=1473452 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22555/stat : 22555 (java) S 22538 22541 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93407544 10916999168 367594 33554432000 4194304 4196468 140722160364384 140268866099552 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22556] ppid=22538 vsize=10661132 memory=1040 CPUtime=1.41 cores=0,2,4,6
/proc/22541/task/22556/stat : 22556 (java) S 22538 22541 25017 0 -1 1077944384 1589 0 0 0 74 67 0 0 20 0 15 0 93407544 10916999168 367594 33554432000 4194304 4196468 140722160364384 140268865047600 140269380766338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
Current children cumulated CPU time: 2463.12 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1470376 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2498.8 s]
/proc/loadavg: 1.96 1.96 1.85 3/215 22783
/proc/meminfo: memFree=18357120/32770624 swapFree=67108796/67108860
[pid=22541] ppid=22538 vsize=10661132 memory=1460120 CPUtime=2520.02 cores=0,2,4,6
/proc/22541/stat : 22541 (java) S 22538 22541 25017 0 -1 1077944320 189005 0 0 0 251651 351 0 0 20 0 15 0 93407538 10916999168 365030 33554432000 4194304 4196468 140722160364384 140722160346928 140269380755191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
/proc/22541/statm: 2665283 365030 3181 1 0 2627263 0
[pid=22541/tid=22543] ppid=22538 vsize=10661132 memory=303430231908417849 CPUtime=2493.48 cores=0,2,4,6
/proc/22541/task/22543/stat : 22543 (java) R 22538 22541 25017 0 -1 4202560 95982 0 0 0 249325 23 0 0 20 0 15 0 93407539 10916999168 365030 33554432000 4194304 4196468 140722160364384 140269384994576 140269024492630 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22544] ppid=22538 vsize=10661132 memory=15539617717815893 CPUtime=4.86 cores=0,2,4,6
/proc/22541/task/22544/stat : 22544 (java) S 22538 22541 25017 0 -1 1077944384 12040 0 0 0 421 65 0 0 20 0 15 0 93407540 10916999168 365030 33554432000 4194304 4196468 140722160364384 140268987669008 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22545] ppid=22538 vsize=10661132 memory=17608 CPUtime=4.84 cores=0,2,4,6
/proc/22541/task/22545/stat : 22545 (java) S 22538 22541 25017 0 -1 1077944384 13326 0 0 0 417 67 0 0 20 0 15 0 93407540 10916999168 365030 33554432000 4194304 4196468 140722160364384 140268986616464 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22546] ppid=22538 vsize=10661132 memory=4016 CPUtime=4.84 cores=0,2,4,6
/proc/22541/task/22546/stat : 22546 (java) S 22538 22541 25017 0 -1 1077944384 13271 0 0 0 417 67 0 0 20 0 15 0 93407540 10916999168 365030 33554432000 4194304 4196468 140722160364384 140268985563408 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22547] ppid=22538 vsize=10661132 memory=644 CPUtime=4.84 cores=0,2,4,6
/proc/22541/task/22547/stat : 22547 (java) S 22538 22541 25017 0 -1 1077944384 14188 0 0 0 417 67 0 0 20 0 15 0 93407540 10916999168 365030 33554432000 4194304 4196468 140722160364384 140268984510864 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22548] ppid=22538 vsize=10661132 memory=1676 CPUtime=0.18 cores=0,2,4,6
/proc/22541/task/22548/stat : 22548 (java) S 22538 22541 25017 0 -1 1077944384 10463 0 0 0 11 7 0 0 20 0 15 0 93407541 10916999168 365030 33554432000 4194304 4196468 140722160364384 140268940610288 140269380766338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22549] ppid=22538 vsize=10661132 memory=960 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22549/stat : 22549 (java) S 22538 22541 25017 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 93407541 10916999168 365030 33554432000 4194304 4196468 140722160364384 140268939556576 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22550] ppid=22538 vsize=10661132 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22550/stat : 22550 (java) S 22538 22541 25017 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 93407542 10916999168 365030 33554432000 4194304 4196468 140722160364384 140268938503408 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22551] ppid=22538 vsize=10661132 memory=4068 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22551/stat : 22551 (java) S 22538 22541 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93407544 10916999168 365030 33554432000 4194304 4196468 140722160364384 140268937451984 140269380773787 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22552] ppid=22538 vsize=10661132 memory=2244 CPUtime=2.65 cores=0,2,4,6
/proc/22541/task/22552/stat : 22552 (java) S 22538 22541 25017 0 -1 1077944384 12483 0 0 0 263 2 0 0 20 0 15 0 93407544 10916999168 365030 33554432000 4194304 4196468 140722160364384 140268936399088 140269380766338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22553] ppid=22538 vsize=10661132 memory=4124 CPUtime=2.27 cores=0,2,4,6
/proc/22541/task/22553/stat : 22553 (java) S 22538 22541 25017 0 -1 1077944384 9387 0 0 0 226 1 0 0 20 0 15 0 93407544 10916999168 365030 33554432000 4194304 4196468 140722160364384 140268935346544 140269380766338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22554] ppid=22538 vsize=10661132 memory=924 CPUtime=0.54 cores=0,2,4,6
/proc/22541/task/22554/stat : 22554 (java) S 22538 22541 25017 0 -1 1077944384 4831 0 0 0 52 2 0 0 20 0 15 0 93407544 10916999168 365030 33554432000 4194304 4196468 140722160364384 140268867151856 140269380766338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22555] ppid=22538 vsize=10661132 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/22541/task/22555/stat : 22555 (java) S 22538 22541 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93407544 10916999168 365030 33554432000 4194304 4196468 140722160364384 140268866099552 140269380765397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
[pid=22541/tid=22556] ppid=22538 vsize=10661132 memory=2676 CPUtime=1.44 cores=0,2,4,6
/proc/22541/task/22556/stat : 22556 (java) S 22538 22541 25017 0 -1 1077944384 1620 0 0 0 76 68 0 0 20 0 15 0 93407544 10916999168 365030 33554432000 4194304 4196468 140722160364384 140268865047600 140269380766338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140722160370808 140722160370953 140722160370953 140722160373711 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1460120 KiB

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

[startup+2498.83 s]
# the end of solver process 22541 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.54 s, system=3.52754 s

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

Child status: 143
Real time (s): 2498.83
CPU time (s): 2520.07
CPU user time (s): 2516.54
CPU system time (s): 3.52754
CPU usage (%): 100.85
Max. virtual memory (cumulated for all children) (KiB): 10663156
Max. memory (cumulated for all children) (KiB): 3106420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.54
system time used= 3.52754
maximum resident set size= 3106464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189337
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58054
involuntary context switches= 2721


# summary of solver processes directly reported to runsolver:
#   pid: 22541
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2516.54
#   total CPU system time (s): 3.52754

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9138 second user time and 23.756 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-28 08:14:04
IDJOB=4298433
IDBENCH=141138
IDSOLVER=2768
FILE ID=node138/4298433-1532758444
RUNJOBID= node138-1532740019-20128
PBS_JOBID= 21022442
Free space on /tmp= 53800 MiB

SOLVER NAME= The dodo solver 2018-04-29
BENCH NAME= XCSP18/GraphColoring/GraphColoring-3-fullins-5_c18.xml
COMMAND LINE= java -jar DIR/dodo_solver.jar BENCHNAME --timelimit TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298433-1532758444/watcher-4298433-1532758444 -o /tmp/evaluation-result-4298433-1532758444/solver-4298433-1532758444 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532740019-20128 --watchdog 2580  java -jar HOME/dodo_solver.jar HOME/instance-4298433-1532758444.xml --timelimit 2520

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

MD5SUM BENCH= 51dc9de19dcdd21b605810f9d7307a76
RANDOM SEED=901845326

node138.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.71
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.71
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.71
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.71
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:        21999128 kB
MemAvailable:   31629504 kB
Buffers:          203996 kB
Cached:          9634156 kB
SwapCached:           44 kB
Active:          2776396 kB
Inactive:        7416324 kB
Active(anon):     298984 kB
Inactive(anon):    83516 kB
Active(file):    2477412 kB
Inactive(file):  7332808 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:              2372 kB
Writeback:             0 kB
AnonPages:        446264 kB
Mapped:            49420 kB
Shmem:             25164 kB
Slab:             277224 kB
SReclaimable:     248616 kB
SUnreclaim:        28608 kB
KernelStack:        3824 kB
PageTables:         6204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1104512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    378880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 53796 MiB
End job on node138 at 2018-07-28 08:55:43