Trace number 4285787

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
OscaR - Parallel with EPS 2017-08-22SAT (TO)2028 1231.04 252.216

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-3-fullins-5.xml
MD5SUM51dc9de19dcdd21b605810f9d7307a76
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark245.151
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.29/0.26	c version: 2017-08-22
0.29/0.26	c seed: 1882433217
0.29/0.26	c timeout: 2016
0.29/0.26	c memlimit: 22000
0.29/0.26	c nbcore: 8
0.29/0.29	c Parsing instance...
4.65/1.60	c Parsing done, starting search...
797.68/197.36	o 2029
1215.69/250.27	o 2028
1230.04/252.10	s SATISFIABLE
1230.04/252.12	v <instantiation>
1230.04/252.12	v 	<list>
1230.04/252.12	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]
1230.04/252.12	v 	</list>
1230.04/252.12	v 	<values>
1230.04/252.12	v 		2026 2024 2021 2024 2027 2027 2022 2024 2025 2025 2027 2026 2020 2025 2024 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2023 2023 2023 2023 2027 2027 2023 2023 2027 2027 2027 2027 2020 2027 2027 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2023 2023 2023 2023 2027 2027 2023 2023 2027 2027 2027 2027 2023 2027 2027 2020 2027 2021 2022 2028 2026 2024 2021 2024 2023 2023 2024 2024 2023 2023 2023 2026 2023 2023 2024 2028 2024 2028 2028 2021 2024 2028 2024 2025 2028 2023 2026 2028 2025 2024 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2024 2025 2025 2025 2024 2025 2025 2025 2025 2025 2025 2024 2025 2025 2025 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2024 2023 2024 2026 2024 2023 2023 2028 2025 2027 2027 2022 2028 2028 2027 2027 2027 2028 2027 2027 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2023 2023 2028 2025 2027 2027 2023 2028 2028 2027 2027 2027 2028 2027 2027 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2027 2028 2028 2028 2026 2024 2024 2024 2024 2024 2024 2026 2024 2024 2024 2024 2024 2024 2024 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2024 2027 2027 2024 2024 2027 2027 2027 2027 2027 2024 2027 2027 2027 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2027 2027 2026 2026 2027 2027 2027 2027 2027 2026 2027 2027 2027 2026 2024 2026 2026 2026 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2024 2027 2026 2028 2023 2027 2027 2025 2025 2027 2027 2026 2026 2026 2026 2027 2026 2022 2025 2024 2025 2025 2025 2025 2025 2025 2024 2024 2025 2025 2022 2022 2022 2025 2024 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2025 2025 2027 2027 2025 2025 2025 2025 2025 2025 2025 2025 2025 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2025 2027 2025 2026 2025 2026 2025 2025 2025 2026 2026 2026 2026 2026 2026 2022 2026 2022 2025 2024 2026 2025 2025 2025 2026 2026 2026 2026 2026 2026 2022 2026 2022 2025 2024 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2025 2025 2027 2027 2025 2025 2025 2025 2025 2025 2025 2025 2025 2025 2025 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2025 2025 2027 2027 2025 2025 2025 2025 2025 2025 2025 2028 2025 2025 2025 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2025 2027 2025 2027 2025 2027 2027 2026 2026 2027 2027 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2026 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2026 2026 2027 2027 2026 2026 2026 2026 2026 2026 2026 2026 2026 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2026 2027 2026 2026 2026 2027 2028 2027 2027 2027 2027 2027 2027 2028 2027 2027 2027 2027 2027 2027 2026 2028 2027 2027 2025 2026 2026 2026 2028 2026 2026 2026 2026 2025 2026 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2025 2028 2027 2027 2028 2025 2028 2025 2028 2025 2028 2028 2025 2025 2028 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2025 2027 2025 2027 2025 2025 2027 2026 2025 2025 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2026 2026 2028 2028 2028 2028 2028 2028 2026 2028 2026 2026 2026 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2026 2026 2028 2028 2028 2028 2028 2028 2026 2028 2026 2026 2026 2028 2028 2028 2026 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2024 2028 2024 2028 2028 2028 2028 2026 2028 2028 2024 2028 2028 2028 2024 2026 2028 2026 2028 2028 2028 2028 2026 2028 2028 2026 2028 2028 2028 2026 2024 2028 2027 2027 2028 2024 2028 2027 2027 2027 2027 2024 2027 2027 2027 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2026 2028 2027 2027 2028 2026 2028 2027 2027 2027 2027 2026 2027 2027 2027 2028 2024 2028 2026 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2024 2028 2026 2028 2024 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2025 2025 2027 2027 2025 2025 2025 2025 2025 2025 2025 2025 2025 2025 2025 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2025 2025 2027 2027 2025 2025 2025 2025 2025 2025 2025 2025 2025 2025 2025 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2025 2027 2025 2027 2025 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2028 2027 2027 2027 2027 2027 2027 2026 2026 2027 2027 2025 2026 2026 2026 2025 2026 2026 2026 2026 2025 2026 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2025 2028 2027 2027 2025 2025 2028 2025 2025 2025 2025 2025 2025 2025 2028 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2027 2025 2027 2025 2027 2025 2027 2027 2027 2025 2027 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2024 2028 2028 2024 2028 2028 2028 2024 2028 2028 2028 2028 2028 2028 2028 2024 2028 2028 2024 2028 2028 2028 2024 2024 2028 2024 2028 2028 2024 2028 2028 2024 2024 2024 2024 2024 2024 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2024 2028 2024 2028 2028 2024 2028 2028 2024 2024 2024 2024 2024 2024 2028 2028 2028 2028 2024 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2028 2024 2028 2028 2028 2024 2027 2023 2025 2024 2026 
1230.04/252.12	v 	</values>
1230.04/252.12	v </instantiation>

Verifier Data 

OK	2028

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285787-1503436511/watcher-4285787-1503436511 -o /tmp/evaluation-result-4285787-1503436511/solver-4285787-1503436511 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503423187-5645 --watchdog 312 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1882433217 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4285787-1503436511.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=8259, runsolver pid=8256

[startup+0.100973 s]*
/proc/loadavg: 8.62 8.15 8.35 2/198 8279
/proc/meminfo: memFree=24068708/32770624 swapFree=67108860/67108860
[pid=8259] ppid=8256 vsize=26000852 memory=31164 CPUtime=0.12 cores=0-7
/proc/8259/stat : 8259 (java) S 8256 8259 5618 0 -1 1077944320 8671 0 0 0 11 1 0 0 20 0 20 0 176739179 26624872448 7791 33554432000 4194304 4196468 140733408967360 140733408949904 140416267980535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
/proc/8259/statm: 6500213 7791 3406 1 0 6487932 0
[pid=8259/tid=8261] ppid=8256 vsize=26000852 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/8259/task/8261/stat : 8261 (java) R 8256 8259 5618 0 -1 4202560 6569 0 0 0 8 1 0 0 20 0 20 0 176739179 26624872448 7791 33554432000 4194304 4196468 140733408967360 140416272197216 140416252061022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8262] ppid=8256 vsize=26000852 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8259/task/8262/stat : 8262 (java) S 8256 8259 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176739180 26624872448 7791 33554432000 4194304 4196468 140733408967360 140416239823632 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8263] ppid=8256 vsize=26000852 memory=140045985920640 CPUtime=0 cores=0-7
/proc/8259/task/8263/stat : 8263 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739180 26624872448 7791 33554432000 4194304 4196468 140733408967360 140415825128336 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8264] ppid=8256 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8264/stat : 8264 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739180 26624872448 7791 33554432000 4194304 4196468 140733408967360 140415824075792 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8265] ppid=8256 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8265/stat : 8265 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739180 26624872448 7791 33554432000 4194304 4196468 140733408967360 140415823023248 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8266] ppid=8256 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8266/stat : 8266 (java) S 8256 8259 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176739180 26624872448 7791 33554432000 4194304 4196468 140733408967360 140415821969680 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8267] ppid=8256 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/8259/task/8267/stat : 8267 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739180 26624872448 7791 33554432000 4194304 4196468 140733408967360 140415820917136 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8268] ppid=8256 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8268/stat : 8268 (java) S 8256 8259 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176739180 26624872448 7791 33554432000 4194304 4196468 140733408967360 140415819864592 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8269] ppid=8256 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8269/stat : 8269 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739180 26624872448 7791 33554432000 4194304 4196468 140733408967360 140415818812048 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8270] ppid=8256 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8270/stat : 8270 (java) S 8256 8259 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176739181 26624872448 7791 33554432000 4194304 4196468 140733408967360 140414540495344 140416267991682 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8271] ppid=8256 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8271/stat : 8271 (java) S 8256 8259 5618 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176739182 26624872448 7791 33554432000 4194304 4196468 140733408967360 140414539441568 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8272] ppid=8256 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8272/stat : 8272 (java) S 8256 8259 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176739182 26624872448 7791 33554432000 4194304 4196468 140733408967360 140414538388976 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8273] ppid=8256 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8273/stat : 8273 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739184 26624872448 7791 33554432000 4194304 4196468 140733408967360 140414537337552 140416267999131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8274] ppid=8256 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8274/stat : 8274 (java) S 8256 8259 5618 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 176739184 26624872448 7791 33554432000 4194304 4196468 140733408967360 140414536284144 140416267991682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8275] ppid=8256 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8275/stat : 8275 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739184 26624872448 7791 33554432000 4194304 4196468 140733408967360 140414535231600 140416267991682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8276] ppid=8256 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8276/stat : 8276 (java) S 8256 8259 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176739184 26624872448 7791 33554432000 4194304 4196468 140733408967360 140414534179056 140416267991682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8277] ppid=8256 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/8259/task/8277/stat : 8277 (java) R 8256 8259 5618 0 -1 4202560 408 0 0 0 2 0 0 0 20 0 20 0 176739184 26624872448 7791 33554432000 4194304 4196468 140733408967360 140414533126512 140416267992470 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8278] ppid=8256 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8278/stat : 8278 (java) S 8256 8259 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176739185 26624872448 7791 33554432000 4194304 4196468 140733408967360 140414532074208 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8279] ppid=8256 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/8259/task/8279/stat : 8279 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739185 26624872448 7791 33554432000 4194304 4196468 140733408967360 140414531021744 140416267991682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 31164 KiB

[startup+0.210645 s]*
/proc/loadavg: 8.62 8.15 8.35 3/198 8279
/proc/meminfo: memFree=24059032/32770624 swapFree=67108860/67108860
[pid=8259] ppid=8256 vsize=26000852 memory=40568 CPUtime=0.29 cores=0-7
/proc/8259/stat : 8259 (java) S 8256 8259 5618 0 -1 1077944320 9739 0 0 0 27 2 0 0 20 0 20 0 176739179 26624872448 10142 33554432000 4194304 4196468 140733408967360 140733408949904 140416267980535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
/proc/8259/statm: 6500213 10142 3628 1 0 6487932 0
[pid=8259/tid=8261] ppid=8256 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/8259/task/8261/stat : 8261 (java) R 8256 8259 5618 0 -1 4202560 7187 0 0 0 18 1 0 0 20 0 20 0 176739179 26624872448 10142 33554432000 4194304 4196468 140733408967360 140416272205616 140416267992470 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8262] ppid=8256 vsize=26000852 memory=9275 CPUtime=0 cores=0-7
/proc/8259/task/8262/stat : 8262 (java) S 8256 8259 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176739180 26624872448 10142 33554432000 4194304 4196468 140733408967360 140416239823632 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8263] ppid=8256 vsize=26000852 memory=140045985928239 CPUtime=0 cores=0-7
/proc/8259/task/8263/stat : 8263 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739180 26624872448 10142 33554432000 4194304 4196468 140733408967360 140415825128336 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8264] ppid=8256 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/8259/task/8264/stat : 8264 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739180 26624872448 10142 33554432000 4194304 4196468 140733408967360 140415824075792 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8265] ppid=8256 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8265/stat : 8265 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739180 26624872448 10142 33554432000 4194304 4196468 140733408967360 140415823023248 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8266] ppid=8256 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8266/stat : 8266 (java) S 8256 8259 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176739180 26624872448 10142 33554432000 4194304 4196468 140733408967360 140415821969680 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8267] ppid=8256 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/8259/task/8267/stat : 8267 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739180 26624872448 10142 33554432000 4194304 4196468 140733408967360 140415820917136 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8268] ppid=8256 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8268/stat : 8268 (java) S 8256 8259 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176739180 26624872448 10142 33554432000 4194304 4196468 140733408967360 140415819864592 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8269] ppid=8256 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8269/stat : 8269 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739180 26624872448 10142 33554432000 4194304 4196468 140733408967360 140415818812048 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8270] ppid=8256 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8270/stat : 8270 (java) S 8256 8259 5618 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176739181 26624872448 10142 33554432000 4194304 4196468 140733408967360 140414540495344 140416267991682 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8271] ppid=8256 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8271/stat : 8271 (java) S 8256 8259 5618 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176739182 26624872448 10142 33554432000 4194304 4196468 140733408967360 140414539441568 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8272] ppid=8256 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8272/stat : 8272 (java) S 8256 8259 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176739182 26624872448 10142 33554432000 4194304 4196468 140733408967360 140414538388976 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8273] ppid=8256 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8273/stat : 8273 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739184 26624872448 10142 33554432000 4194304 4196468 140733408967360 140414537337552 140416267999131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8274] ppid=8256 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/8259/task/8274/stat : 8274 (java) R 8256 8259 5618 0 -1 4202560 348 0 0 0 1 0 0 0 20 0 20 0 176739184 26624872448 10142 33554432000 4194304 4196468 140733408967360 140414536284144 140416268001882 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8275] ppid=8256 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/8259/task/8275/stat : 8275 (java) S 8256 8259 5618 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 20 0 176739184 26624872448 10142 33554432000 4194304 4196468 140733408967360 140414535231600 140416267991682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8276] ppid=8256 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8276/stat : 8276 (java) S 8256 8259 5618 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 176739184 26624872448 10142 33554432000 4194304 4196468 140733408967360 140414534179056 140416267991682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8277] ppid=8256 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/8259/task/8277/stat : 8277 (java) S 8256 8259 5618 0 -1 1077944384 504 0 0 0 5 0 0 0 20 0 20 0 176739184 26624872448 10142 33554432000 4194304 4196468 140733408967360 140414533126512 140416267991682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8278] ppid=8256 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8278/stat : 8278 (java) S 8256 8259 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176739185 26624872448 10142 33554432000 4194304 4196468 140733408967360 140414532074208 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8279] ppid=8256 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/8259/task/8279/stat : 8279 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739185 26624872448 10142 33554432000 4194304 4196468 140733408967360 140414531021744 140416267991682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 40568 KiB

[startup+0.310461 s]*
/proc/loadavg: 8.62 8.15 8.35 2/198 8279
/proc/meminfo: memFree=24049788/32770624 swapFree=67108860/67108860
[pid=8259] ppid=8256 vsize=26000872 memory=47964 CPUtime=0.48 cores=0-7
/proc/8259/stat : 8259 (java) S 8256 8259 5618 0 -1 1077944320 10808 0 0 0 45 3 0 0 20 0 20 0 176739179 26624892928 11991 33554432000 4194304 4196468 140733408967360 140733408949904 140416267980535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
/proc/8259/statm: 6500218 11991 3708 1 0 6487932 0
[pid=8259/tid=8261] ppid=8256 vsize=26000872 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/8259/task/8261/stat : 8261 (java) R 8256 8259 5618 0 -1 4202560 7761 0 0 0 27 2 0 0 20 0 20 0 176739179 26624892928 11991 33554432000 4194304 4196468 140733408967360 140416272203648 140416268002461 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8262] ppid=8256 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8262/stat : 8262 (java) S 8256 8259 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176739180 26624892928 11991 33554432000 4194304 4196468 140733408967360 140416239823632 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8263] ppid=8256 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8263/stat : 8263 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739180 26624892928 11991 33554432000 4194304 4196468 140733408967360 140415825128336 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8264] ppid=8256 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8264/stat : 8264 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739180 26624892928 11991 33554432000 4194304 4196468 140733408967360 140415824075792 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8265] ppid=8256 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8265/stat : 8265 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739180 26624892928 11991 33554432000 4194304 4196468 140733408967360 140415823023248 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8266] ppid=8256 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/8259/task/8266/stat : 8266 (java) S 8256 8259 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176739180 26624892928 11991 33554432000 4194304 4196468 140733408967360 140415821969680 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8267] ppid=8256 vsize=26000872 memory=140045864498095 CPUtime=0 cores=0-7
/proc/8259/task/8267/stat : 8267 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739180 26624892928 11991 33554432000 4194304 4196468 140733408967360 140415820917136 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8268] ppid=8256 vsize=26000872 memory=140045864500400 CPUtime=0 cores=0-7
/proc/8259/task/8268/stat : 8268 (java) S 8256 8259 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176739180 26624892928 11991 33554432000 4194304 4196468 140733408967360 140415819864592 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8269] ppid=8256 vsize=26000872 memory=140045864502704 CPUtime=0 cores=0-7
/proc/8259/task/8269/stat : 8269 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739180 26624892928 11991 33554432000 4194304 4196468 140733408967360 140415818812048 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8270] ppid=8256 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8270/stat : 8270 (java) S 8256 8259 5618 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176739181 26624892928 11991 33554432000 4194304 4196468 140733408967360 140414540495344 140416267991682 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8271] ppid=8256 vsize=26000872 memory=280091729012368 CPUtime=0 cores=0-7
/proc/8259/task/8271/stat : 8271 (java) S 8256 8259 5618 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176739182 26624892928 11991 33554432000 4194304 4196468 140733408967360 140414539441568 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8272] ppid=8256 vsize=26000872 memory=280091729019280 CPUtime=0 cores=0-7
/proc/8259/task/8272/stat : 8272 (java) S 8256 8259 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176739182 26624892928 11991 33554432000 4194304 4196468 140733408967360 140414538388976 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8273] ppid=8256 vsize=26000872 memory=280091728960560 CPUtime=0 cores=0-7
/proc/8259/task/8273/stat : 8273 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739184 26624892928 11991 33554432000 4194304 4196468 140733408967360 140414537337552 140416267999131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8274] ppid=8256 vsize=26000872 memory=280091729033104 CPUtime=0.01 cores=0-7
/proc/8259/task/8274/stat : 8274 (java) S 8256 8259 5618 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 20 0 176739184 26624892928 11991 33554432000 4194304 4196468 140733408967360 140414536284144 140416267991682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8275] ppid=8256 vsize=26000872 memory=280091729040016 CPUtime=0.03 cores=0-7
/proc/8259/task/8275/stat : 8275 (java) S 8256 8259 5618 0 -1 1077944384 433 0 0 0 3 0 0 0 20 0 20 0 176739184 26624892928 11991 33554432000 4194304 4196468 140733408967360 140414535231600 140416267991682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8276] ppid=8256 vsize=26000872 memory=280091729037712 CPUtime=0.03 cores=0-7
/proc/8259/task/8276/stat : 8276 (java) S 8256 8259 5618 0 -1 1077944384 316 0 0 0 3 0 0 0 20 0 20 0 176739184 26624892928 11991 33554432000 4194304 4196468 140733408967360 140414534179056 140416267991682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8277] ppid=8256 vsize=26000872 memory=280091729054320 CPUtime=0.08 cores=0-7
/proc/8259/task/8277/stat : 8277 (java) S 8256 8259 5618 0 -1 1077944384 554 0 0 0 8 0 0 0 20 0 20 0 176739184 26624892928 11991 33554432000 4194304 4196468 140733408967360 140414533126512 140416267991682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8278] ppid=8256 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8278/stat : 8278 (java) S 8256 8259 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176739185 26624892928 11991 33554432000 4194304 4196468 140733408967360 140414532074208 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8279] ppid=8256 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/8259/task/8279/stat : 8279 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739185 26624892928 11991 33554432000 4194304 4196468 140733408967360 140414531021744 140416267991682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 47964 KiB

[startup+0.70099 s]
/proc/loadavg: 8.62 8.15 8.35 5/198 8279
/proc/meminfo: memFree=24026088/32770624 swapFree=67108860/67108860
[pid=8259] ppid=8256 vsize=26002920 memory=94232 CPUtime=1.52 cores=0-7
/proc/8259/stat : 8259 (java) S 8256 8259 5618 0 -1 1077944320 13607 0 0 0 147 5 0 0 20 0 20 0 176739179 26626990080 23558 33554432000 4194304 4196468 140733408967360 140733408949904 140416267980535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
/proc/8259/statm: 6500730 23558 3763 1 0 6488444 0
[pid=8259/tid=8261] ppid=8256 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7
/proc/8259/task/8261/stat : 8261 (java) R 8256 8259 5618 0 -1 4202560 8513 0 0 0 64 3 0 0 20 0 20 0 176739179 26626990080 23558 33554432000 4194304 4196468 140733408967360 140416272215168 140415907768573 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8262] ppid=8256 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8262/stat : 8262 (java) S 8256 8259 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176739180 26626990080 23558 33554432000 4194304 4196468 140733408967360 140416239823632 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8263] ppid=8256 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8263/stat : 8263 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739180 26626990080 23558 33554432000 4194304 4196468 140733408967360 140415825128336 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8264] ppid=8256 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/8259/task/8264/stat : 8264 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739180 26626990080 23558 33554432000 4194304 4196468 140733408967360 140415824075792 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8265] ppid=8256 vsize=26002920 memory=1224 CPUtime=0 cores=0-7
/proc/8259/task/8265/stat : 8265 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739180 26626990080 23558 33554432000 4194304 4196468 140733408967360 140415823023248 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8266] ppid=8256 vsize=26002920 memory=5792 CPUtime=0 cores=0-7
/proc/8259/task/8266/stat : 8266 (java) S 8256 8259 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176739180 26626990080 23558 33554432000 4194304 4196468 140733408967360 140415821969680 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8267] ppid=8256 vsize=26002920 memory=4620 CPUtime=0 cores=0-7
/proc/8259/task/8267/stat : 8267 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739180 26626990080 23558 33554432000 4194304 4196468 140733408967360 140415820917136 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8268] ppid=8256 vsize=26002920 memory=1200 CPUtime=0 cores=0-7
/proc/8259/task/8268/stat : 8268 (java) S 8256 8259 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176739180 26626990080 23558 33554432000 4194304 4196468 140733408967360 140415819864592 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8269] ppid=8256 vsize=26002920 memory=15880 CPUtime=0 cores=0-7
/proc/8259/task/8269/stat : 8269 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176739180 26626990080 23558 33554432000 4194304 4196468 140733408967360 140415818812048 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8270] ppid=8256 vsize=26002920 memory=16236 CPUtime=0 cores=0-7
/proc/8259/task/8270/stat : 8270 (java) S 8256 8259 5618 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176739181 26626990080 23558 33554432000 4194304 4196468 140733408967360 140414540495344 140416267991682 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0

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

[pid=8259/tid=8277] ppid=8256 vsize=27344476 memory=17085176 CPUtime=1.11 cores=0-7
/proc/8259/task/8277/stat : 8277 (java) S 8256 8259 5618 0 -1 1077944384 15437 0 0 0 106 5 0 0 20 0 40 0 176739184 28000743424 4271293 33554432000 4194304 4196468 140733408967360 140414533126512 140416267991682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8278] ppid=8256 vsize=27344476 memory=17085176 CPUtime=0 cores=0-7
/proc/8259/task/8278/stat : 8278 (java) S 8256 8259 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 176739185 28000743424 4271293 33554432000 4194304 4196468 140733408967360 140414532074208 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8279] ppid=8256 vsize=27344476 memory=17070840 CPUtime=0.11 cores=0-7
/proc/8259/task/8279/stat : 8279 (java) S 8256 8259 5618 0 -1 1077944384 594 0 0 0 4 7 0 0 20 0 40 0 176739185 28000743424 4271293 33554432000 4194304 4196468 140733408967360 140414531021744 140416267991682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 62 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8302] ppid=8256 vsize=27344476 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/8259/task/8302/stat : 8302 (java) S 8256 8259 5618 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 40 0 176750323 28000743424 4271293 33554432000 4194304 4196468 140733408967360 140414520730880 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8303] ppid=8256 vsize=27344476 memory=6944656592387989600 CPUtime=0.57 cores=0-7
/proc/8259/task/8303/stat : 8303 (java) S 8256 8259 5618 0 -1 1077944384 2106 0 0 0 17 40 0 0 20 0 40 0 176750335 28000743424 4271293 33554432000 4194304 4196468 140733408967360 140414517581360 140416267991682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8304] ppid=8256 vsize=27344476 memory=6944656592455360604 CPUtime=89.38 cores=0-7
/proc/8259/task/8304/stat : 8304 (java) R 8256 8259 5618 0 -1 4202560 50063 0 0 0 8815 123 0 0 20 0 40 0 176750345 28000743424 4271293 33554432000 4194304 4196468 140733408967360 140414516521840 140415910484588 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8305] ppid=8256 vsize=27344476 memory=928 CPUtime=64.38 cores=0-7
/proc/8259/task/8305/stat : 8305 (java) S 8256 8259 5618 0 -1 1077944384 13346 0 0 0 6389 49 0 0 20 0 40 0 176750346 28000743424 4271293 33554432000 4194304 4196468 140733408967360 140414513378096 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8306] ppid=8256 vsize=27344476 memory=1576 CPUtime=11.78 cores=0-7
/proc/8259/task/8306/stat : 8306 (java) S 8256 8259 5618 0 -1 1077944384 2086 0 0 0 1136 42 0 0 20 0 40 0 176750346 28000743424 4271293 33554432000 4194304 4196468 140733408967360 140414512325552 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8307] ppid=8256 vsize=27344476 memory=2236 CPUtime=88.29 cores=0-7
/proc/8259/task/8307/stat : 8307 (java) R 8256 8259 5618 0 -1 4202560 18052 0 0 0 8684 145 0 0 20 0 40 0 176750348 28000743424 4271293 33554432000 4194304 4196468 140733408967360 140414511267192 140415906605160 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8308] ppid=8256 vsize=27344476 memory=8112282956445269571 CPUtime=87.07 cores=0-7
/proc/8259/task/8308/stat : 8308 (java) R 8256 8259 5618 0 -1 4202560 15309 0 0 0 8612 95 0 0 20 0 40 0 176750349 28000743424 4271293 33554432000 4194304 4196468 140733408967360 140414510214648 140415910484702 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8309] ppid=8256 vsize=27344476 memory=16236 CPUtime=89.04 cores=0-7
/proc/8259/task/8309/stat : 8309 (java) R 8256 8259 5618 0 -1 4202560 12845 0 0 0 8793 111 0 0 20 0 40 0 176750349 28000743424 4271293 33554432000 4194304 4196468 140733408967360 140414509164800 140415910484653 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8310] ppid=8256 vsize=27344476 memory=17085176 CPUtime=10.61 cores=0-7
/proc/8259/task/8310/stat : 8310 (java) S 8256 8259 5618 0 -1 1077944384 3960 0 0 0 1042 19 0 0 20 0 40 0 176750349 28000743424 4271293 33554432000 4194304 4196468 140733408967360 140414508115376 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8311] ppid=8256 vsize=27344476 memory=27568 CPUtime=77.15 cores=0-7
/proc/8259/task/8311/stat : 8311 (java) R 8256 8259 5618 0 -1 4202560 14546 0 0 0 7666 49 0 0 20 0 40 0 176750349 28000743424 4271293 33554432000 4194304 4196468 140733408967360 140414507057016 140415910484588 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8312] ppid=8256 vsize=27344476 memory=14853620 CPUtime=11.42 cores=0-7
/proc/8259/task/8312/stat : 8312 (java) S 8256 8259 5618 0 -1 1077944384 3482 0 0 0 1109 33 0 0 20 0 40 0 176750349 28000743424 4271293 33554432000 4194304 4196468 140733408967360 140414506009264 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8313] ppid=8256 vsize=27344476 memory=14853620 CPUtime=77.32 cores=0-7
/proc/8259/task/8313/stat : 8313 (java) R 8256 8259 5618 0 -1 4202560 8398 0 0 0 7681 51 0 0 20 0 40 0 176753235 28000743424 4271293 33554432000 4194304 4196468 140733408967360 140414504950768 140415910484600 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8314] ppid=8256 vsize=27344476 memory=4136 CPUtime=77.37 cores=0-7
/proc/8259/task/8314/stat : 8314 (java) R 8256 8259 5618 0 -1 4202560 25952 0 0 0 7620 117 0 0 20 0 40 0 176753235 28000743424 4271293 33554432000 4194304 4196468 140733408967360 140414503898112 140415907977223 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8315] ppid=8256 vsize=27344476 memory=14017368 CPUtime=0 cores=0-7
/proc/8259/task/8315/stat : 8315 (java) S 8256 8259 5618 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 40 0 176758916 28000743424 4271293 33554432000 4194304 4196468 140733408967360 140414500717616 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8316] ppid=8256 vsize=27344476 memory=4044 CPUtime=0 cores=0-7
/proc/8259/task/8316/stat : 8316 (java) S 8256 8259 5618 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 40 0 176758916 28000743424 4271293 33554432000 4194304 4196468 140733408967360 140414499665072 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8317] ppid=8256 vsize=27344476 memory=27568 CPUtime=0 cores=0-7
/proc/8259/task/8317/stat : 8317 (java) S 8256 8259 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 40 0 176758916 28000743424 4271293 33554432000 4194304 4196468 140733408967360 140414498612528 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8318] ppid=8256 vsize=27344476 memory=1232 CPUtime=0 cores=0-7
/proc/8259/task/8318/stat : 8318 (java) S 8256 8259 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 40 0 176758916 28000743424 4271293 33554432000 4194304 4196468 140733408967360 140414497559984 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8319] ppid=8256 vsize=27344476 memory=648 CPUtime=0 cores=0-7
/proc/8259/task/8319/stat : 8319 (java) S 8256 8259 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 40 0 176758916 28000743424 4271293 33554432000 4194304 4196468 140733408967360 140414496507440 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8320] ppid=8256 vsize=27344476 memory=17083128 CPUtime=0 cores=0-7
/proc/8259/task/8320/stat : 8320 (java) S 8256 8259 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 40 0 176758916 28000743424 4271293 33554432000 4194304 4196468 140733408967360 140414495453872 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8321] ppid=8256 vsize=27344476 memory=1732 CPUtime=23.62 cores=0-7
/proc/8259/task/8321/stat : 8321 (java) R 8256 8259 5618 0 -1 4202560 3069 0 0 0 2349 13 0 0 20 0 40 0 176758917 28000743424 4271293 33554432000 4194304 4196468 140733408967360 140412614331512 140415906605176 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
Current children cumulated CPU time: 995.3 s
Current children cumulated vsize: 27344476 KiB
Current children cumulated memory: 17085172 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 7.93 6.92 7.67 9/218 8321
/proc/meminfo: memFree=6935660/32770624 swapFree=67108860/67108860
[pid=8259] ppid=8256 vsize=27344476 memory=17126416 CPUtime=1230.04 cores=0-7
/proc/8259/stat : 8259 (java) S 8256 8259 5618 0 -1 1077944320 1006368 0 0 0 118865 4139 0 0 20 0 40 0 176739179 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140733408949904 140416267980535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
/proc/8259/statm: 6836119 4281604 3866 1 0 6823312 0
[pid=8259/tid=8261] ppid=8256 vsize=27344476 memory=832 CPUtime=108.56 cores=0-7
/proc/8259/task/8261/stat : 8261 (java) S 8256 8259 5618 0 -1 1077944384 32065 0 0 0 10724 132 0 0 20 0 40 0 176739179 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140416272218240 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8262] ppid=8256 vsize=27344476 memory=4872558044660077418 CPUtime=22.12 cores=0-7
/proc/8259/task/8262/stat : 8262 (java) S 8256 8259 5618 0 -1 1077944384 81448 0 0 0 1837 375 0 0 20 0 40 0 176739180 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140416239823632 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 96 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8263] ppid=8256 vsize=27344476 memory=1200 CPUtime=22.06 cores=0-7
/proc/8259/task/8263/stat : 8263 (java) S 8256 8259 5618 0 -1 1077944384 70801 0 0 0 1827 379 0 0 20 0 40 0 176739180 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140415825128336 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 96 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8264] ppid=8256 vsize=27344476 memory=15880 CPUtime=22.07 cores=0-7
/proc/8259/task/8264/stat : 8264 (java) S 8256 8259 5618 0 -1 1077944384 70405 0 0 0 1829 378 0 0 20 0 40 0 176739180 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140415824075792 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 94 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8265] ppid=8256 vsize=27344476 memory=16236 CPUtime=22 cores=0-7
/proc/8259/task/8265/stat : 8265 (java) S 8256 8259 5618 0 -1 1077944384 123951 0 0 0 1823 377 0 0 20 0 40 0 176739180 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140415823023248 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 102 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8266] ppid=8256 vsize=27344476 memory=4044 CPUtime=21.97 cores=0-7
/proc/8259/task/8266/stat : 8266 (java) S 8256 8259 5618 0 -1 1077944384 72413 0 0 0 1819 378 0 0 20 0 40 0 176739180 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140415821969680 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 99 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8267] ppid=8256 vsize=27344476 memory=27568 CPUtime=21.98 cores=0-7
/proc/8259/task/8267/stat : 8267 (java) S 8256 8259 5618 0 -1 1077944384 70636 0 0 0 1842 356 0 0 20 0 40 0 176739180 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140415820917136 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 102 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8268] ppid=8256 vsize=27344476 memory=1232 CPUtime=22.05 cores=0-7
/proc/8259/task/8268/stat : 8268 (java) S 8256 8259 5618 0 -1 1077944384 83959 0 0 0 1831 374 0 0 20 0 40 0 176739180 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140415819864592 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 103 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8269] ppid=8256 vsize=27344476 memory=648 CPUtime=22.02 cores=0-7
/proc/8259/task/8269/stat : 8269 (java) S 8256 8259 5618 0 -1 1077944384 71326 0 0 0 1827 375 0 0 20 0 40 0 176739180 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140415818812048 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 94 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8270] ppid=8256 vsize=27344476 memory=1796 CPUtime=0.92 cores=0-7
/proc/8259/task/8270/stat : 8270 (java) S 8256 8259 5618 0 -1 1077944384 36923 0 0 0 74 18 0 0 20 0 40 0 176739181 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414540495344 140416267991682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8271] ppid=8256 vsize=27344476 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8259/task/8271/stat : 8271 (java) S 8256 8259 5618 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 40 0 176739182 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414539441632 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8272] ppid=8256 vsize=27344476 memory=7784 CPUtime=0 cores=0-7
/proc/8259/task/8272/stat : 8272 (java) S 8256 8259 5618 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 40 0 176739182 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414538388992 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8273] ppid=8256 vsize=27344476 memory=832 CPUtime=0 cores=0-7
/proc/8259/task/8273/stat : 8273 (java) S 8256 8259 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 40 0 176739184 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414537337552 140416267999131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8274] ppid=8256 vsize=27344476 memory=1696 CPUtime=2.24 cores=0-7
/proc/8259/task/8274/stat : 8274 (java) S 8256 8259 5618 0 -1 1077944384 18481 0 0 0 220 4 0 0 20 0 40 0 176739184 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414536284144 140416267991682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8275] ppid=8256 vsize=27344476 memory=916 CPUtime=2.66 cores=0-7
/proc/8259/task/8275/stat : 8275 (java) S 8256 8259 5618 0 -1 1077944384 14505 0 0 0 260 6 0 0 20 0 40 0 176739184 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414535231600 140416267991682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8276] ppid=8256 vsize=27344476 memory=4464 CPUtime=2.57 cores=0-7
/proc/8259/task/8276/stat : 8276 (java) S 8256 8259 5618 0 -1 1077944384 16585 0 0 0 251 6 0 0 20 0 40 0 176739184 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414534179056 140416267991682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8277] ppid=8256 vsize=27344476 memory=4104 CPUtime=1.11 cores=0-7
/proc/8259/task/8277/stat : 8277 (java) S 8256 8259 5618 0 -1 1077944384 16577 0 0 0 106 5 0 0 20 0 40 0 176739184 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414533126512 140416267991682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8278] ppid=8256 vsize=27344476 memory=1160 CPUtime=0 cores=0-7
/proc/8259/task/8278/stat : 8278 (java) S 8256 8259 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 176739185 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414532074208 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8279] ppid=8256 vsize=27344476 memory=3972 CPUtime=0.13 cores=0-7
/proc/8259/task/8279/stat : 8279 (java) S 8256 8259 5618 0 -1 1077944384 630 0 0 0 5 8 0 0 20 0 40 0 176739185 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414531021744 140416267991682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 62 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8302] ppid=8256 vsize=27344476 memory=17093364 CPUtime=0 cores=0-7
/proc/8259/task/8302/stat : 8302 (java) S 8256 8259 5618 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 40 0 176750323 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414520730880 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8303] ppid=8256 vsize=27344476 memory=288230574492221466 CPUtime=0.71 cores=0-7
/proc/8259/task/8303/stat : 8303 (java) R 8256 8259 5618 0 -1 1077944384 2351 0 0 0 23 48 0 0 20 0 40 0 176750335 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414517581360 140416267991682 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8304] ppid=8256 vsize=27344476 memory=288230596050944315 CPUtime=117.9 cores=0-7
/proc/8259/task/8304/stat : 8304 (java) R 8256 8259 5618 0 -1 4202560 64728 0 0 0 11651 139 0 0 20 0 40 0 176750345 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414516521976 140415910370969 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8305] ppid=8256 vsize=27344476 memory=13845266004445726 CPUtime=64.38 cores=0-7
/proc/8259/task/8305/stat : 8305 (java) S 8256 8259 5618 0 -1 1077944384 13367 0 0 0 6389 49 0 0 20 0 40 0 176750346 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414513378096 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8306] ppid=8256 vsize=27344476 memory=16236 CPUtime=11.78 cores=0-7
/proc/8259/task/8306/stat : 8306 (java) S 8256 8259 5618 0 -1 1077944384 2107 0 0 0 1136 42 0 0 20 0 40 0 176750346 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414512325552 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8307] ppid=8256 vsize=27344476 memory=4044 CPUtime=116.81 cores=0-7
/proc/8259/task/8307/stat : 8307 (java) R 8256 8259 5618 0 -1 4202560 24746 0 0 0 11519 162 0 0 20 0 40 0 176750348 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414511267192 140415906605176 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8308] ppid=8256 vsize=27344476 memory=27568 CPUtime=115.54 cores=0-7
/proc/8259/task/8308/stat : 8308 (java) R 8256 8259 5618 0 -1 4202560 20170 0 0 0 11453 101 0 0 20 0 40 0 176750349 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414510214120 140415906605176 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8309] ppid=8256 vsize=27344476 memory=1232 CPUtime=117.48 cores=0-7
/proc/8259/task/8309/stat : 8309 (java) R 8256 8259 5618 0 -1 4202560 17973 0 0 0 11609 139 0 0 20 0 40 0 176750349 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414509162104 140415910484576 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8310] ppid=8256 vsize=27344476 memory=648 CPUtime=10.61 cores=0-7
/proc/8259/task/8310/stat : 8310 (java) S 8256 8259 5618 0 -1 1077944384 3981 0 0 0 1042 19 0 0 20 0 40 0 176750349 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414508115376 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8311] ppid=8256 vsize=27344476 memory=1796 CPUtime=105.53 cores=0-7
/proc/8259/task/8311/stat : 8311 (java) R 8256 8259 5618 0 -1 4202560 18277 0 0 0 10497 56 0 0 20 0 40 0 176750349 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414507057016 140415910484636 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8312] ppid=8256 vsize=27344476 memory=956 CPUtime=11.42 cores=0-7
/proc/8259/task/8312/stat : 8312 (java) S 8256 8259 5618 0 -1 1077944384 3503 0 0 0 1109 33 0 0 20 0 40 0 176750349 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414506009264 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8313] ppid=8256 vsize=27344476 memory=2468 CPUtime=105.6 cores=0-7
/proc/8259/task/8313/stat : 8313 (java) R 8256 8259 5618 0 -1 4202560 10903 0 0 0 10495 65 0 0 20 0 40 0 176753235 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414504950904 140415907977237 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8314] ppid=8256 vsize=27344476 memory=928 CPUtime=105.67 cores=0-7
/proc/8259/task/8314/stat : 8314 (java) R 8256 8259 5618 0 -1 4202560 35738 0 0 0 10444 123 0 0 20 0 40 0 176753235 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414503898360 140415906605171 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8315] ppid=8256 vsize=27344476 memory=1576 CPUtime=0 cores=0-7
/proc/8259/task/8315/stat : 8315 (java) S 8256 8259 5618 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 40 0 176758916 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414500717616 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8316] ppid=8256 vsize=27344476 memory=2236 CPUtime=0 cores=0-7
/proc/8259/task/8316/stat : 8316 (java) S 8256 8259 5618 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 40 0 176758916 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414499665072 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8317] ppid=8256 vsize=27344476 memory=1724 CPUtime=0 cores=0-7
/proc/8259/task/8317/stat : 8317 (java) S 8256 8259 5618 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 40 0 176758916 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414498612528 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8318] ppid=8256 vsize=27344476 memory=11104 CPUtime=0 cores=0-7
/proc/8259/task/8318/stat : 8318 (java) S 8256 8259 5618 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 40 0 176758916 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414497559984 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8319] ppid=8256 vsize=27344476 memory=1224 CPUtime=0 cores=0-7
/proc/8259/task/8319/stat : 8319 (java) S 8256 8259 5618 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 40 0 176758916 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414496507440 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8320] ppid=8256 vsize=27344476 memory=5792 CPUtime=0 cores=0-7
/proc/8259/task/8320/stat : 8320 (java) S 8256 8259 5618 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 40 0 176758916 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140414495453872 140416267990741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
[pid=8259/tid=8321] ppid=8256 vsize=27344476 memory=4620 CPUtime=51.92 cores=0-7
/proc/8259/task/8321/stat : 8321 (java) R 8256 8259 5618 0 -1 4202560 5842 0 0 0 5161 31 0 0 20 0 40 0 176758917 28000743424 4281604 33554432000 4194304 4196468 140733408967360 140412614334208 140415907977228 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140733408969831 140733408970016 140733408970016 140733408972751 0
Current children cumulated CPU time: 1230.04 s
Current children cumulated vsize: 27344476 KiB
Current children cumulated memory: 17126416 KiB

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

[startup+252.216 s]
# the end of solver process 8259 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1189.56 s, system=41.4833 s

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

[startup+252.21 s]
/proc/loadavg: 7.93 6.92 7.67 2/180 8323
/proc/meminfo: memFree=8764956/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 252.216
CPU time (s): 1231.04
CPU user time (s): 1189.56
CPU system time (s): 41.4833
CPU usage (%): 488.091
Max. virtual memory (cumulated for all children) (KiB): 27344476
Max. memory (cumulated for all children) (KiB): 17126416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1189.56
system time used= 41.4833
maximum resident set size= 17127440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1006911
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66262
involuntary context switches= 24104


# summary of solver processes directly reported to runsolver:
#   pid: 8259
#   total CPU time (s): 1231.04
#   total CPU user time (s): 1189.56
#   total CPU system time (s): 41.4833

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.20926 second user time and 3.57512 second system time

The end

Launcher Data 

Begin job on node102 at 2017-08-22 23:00:50
IDJOB=4285787
IDBENCH=120574
IDSOLVER=2682
FILE ID=node102/4285787-1503436511
RUNJOBID= node102-1503423187-5645
PBS_JOBID= 20632129
Free space on /tmp= 61048 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-3-fullins-5.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285787-1503436511/watcher-4285787-1503436511 -o /tmp/evaluation-result-4285787-1503436511/solver-4285787-1503436511 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503423187-5645 --watchdog 312  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1882433217 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4285787-1503436511.xml

TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 51dc9de19dcdd21b605810f9d7307a76
RANDOM SEED=1882433217

node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24083888 kB
MemAvailable:   31955396 kB
Buffers:          237976 kB
Cached:          7922312 kB
SwapCached:            0 kB
Active:          1804444 kB
Inactive:        6407212 kB
Active(anon):       2872 kB
Inactive(anon):    92808 kB
Active(file):    1801572 kB
Inactive(file):  6314404 kB
Unevictable:        7484 kB
Mlocked:            7484 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             43496 kB
Writeback:             0 kB
AnonPages:         58464 kB
Mapped:            55068 kB
Shmem:             41612 kB
Slab:             170408 kB
SReclaimable:     142736 kB
SUnreclaim:        27672 kB
KernelStack:        3264 kB
PageTables:         4552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     342624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61008 MiB
End job on node102 at 2017-08-22 23:05:02