Trace number 4290970

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 2018-07-02SAT (TO)1990 19189.9 2520.5

General information on the benchmark

NameGraphColoring/
GraphColoring-3-fullins-5_c18.xml
MD5SUM51dc9de19dcdd21b605810f9d7307a76
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark9358.44
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.66/0.55	c version: 2018-07-02
0.66/0.55	c seed: 890463839
0.66/0.55	c timeout: 20160
0.66/0.55	c memlimit: 22000
0.66/0.55	c nbcore: 8
0.66/0.58	c Parsing instance...
6.71/2.31	c Parsing done, starting search...
809.09/204.98	o 2029
1238.94/259.17	o 2028
1669.86/313.41	o 2027
2115.05/369.57	o 2026
2600.32/430.66	o 2025
3028.62/484.55	o 2024
3515.05/545.81	o 2023
3954.40/601.14	o 2022
4413.32/658.95	o 2021
4886.96/718.54	o 2020
5335.08/774.92	o 2019
5817.04/835.63	o 2018
6241.59/889.16	o 2017
6739.35/951.94	o 2016
7172.62/1006.56	o 2015
7661.17/1068.09	o 2014
8119.29/1125.78	o 2013
8565.51/1182.01	o 2012
9071.70/1245.71	o 2011
9503.07/1300.10	o 2010
10014.34/1364.43	o 2009
10460.85/1420.60	o 2008
10960.37/1483.57	o 2007
11430.51/1542.70	o 2006
11882.07/1599.57	o 2005
12365.22/1660.33	o 2004
12802.19/1715.32	o 2003
13305.85/1778.77	o 2002
13743.04/1833.87	o 2001
14269.51/1900.25	o 2000
14710.83/1955.92	o 1999
15176.12/2015.02	o 1998
15644.73/2073.96	o 1997
16067.98/2127.28	o 1996
16560.09/2189.23	o 1995
16988.95/2243.26	o 1994
17461.95/2302.85	o 1993
17913.15/2359.64	o 1992
18345.35/2414.13	o 1991
18834.38/2475.67	o 1990
19186.77/2520.12	s SATISFIABLE
19187.74/2520.13	v <instantiation>
19187.74/2520.13	v 	<list>
19187.74/2520.13	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]
19187.74/2520.13	v 	</list>
19187.74/2520.13	v 	<values>
19187.74/2520.13	v 		1987 1986 1983 1990 1989 1986 1987 1986 1985 1985 1989 1985 1990 1983 1986 1987 1990 1990 1990 1989 1986 1987 1990 1984 1984 1989 1984 1990 1984 1986 1986 1983 1983 1990 1988 1986 1983 1986 1984 1984 1983 1983 1983 1983 1986 1987 1987 1987 1987 1987 1987 1990 1987 1987 1987 1987 1987 1987 1987 1987 1989 1990 1990 1990 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1986 1983 1989 1984 1987 1989 1989 1989 1990 1989 1989 1989 1986 1988 1988 1989 1987 1990 1988 1987 1989 1989 1990 1990 1989 1989 1989 1990 1988 1990 1989 1987 1990 1988 1987 1986 1986 1983 1990 1988 1986 1990 1986 1988 1988 1983 1983 1990 1988 1986 1986 1987 1982 1990 1987 1987 1990 1990 1990 1990 1990 1987 1990 1990 1990 1990 1990 1990 1990 1990 1983 1990 1990 1990 1988 1990 1990 1990 1988 1990 1986 1988 1989 1982 1987 1988 1987 1990 1984 1988 1988 1984 1984 1984 1984 1989 1984 1990 1984 1984 1984 1990 1990 1990 1984 1984 1984 1990 1984 1984 1989 1984 1990 1984 1984 1988 1987 1990 1984 1988 1988 1984 1984 1984 1984 1984 1984 1984 1984 1984 1984 1989 1984 1989 1984 1984 1989 1989 1984 1984 1989 1984 1989 1984 1989 1984 1984 1989 1989 1984 1984 1984 1984 1984 1984 1984 1984 1984 1984 1984 1984 1984 1989 1984 1984 1989 1989 1989 1989 1989 1989 1989 1989 1987 1990 1989 1987 1987 1987 1987 1990 1989 1989 1989 1989 1989 1990 1989 1987 1990 1989 1987 1987 1987 1987 1987 1987 1987 1987 1987 1987 1987 1987 1987 1990 1987 1987 1987 1987 1987 1990 1987 1989 1989 1987 1987 1989 1990 1989 1990 1989 1987 1989 1989 1989 1987 1989 1987 1989 1987 1987 1989 1989 1987 1987 1987 1987 1987 1987 1987 1987 1987 1989 1987 1987 1990 1988 1990 1988 1990 1988 1988 1990 1990 1988 1988 1990 1990 1988 1988 1990 1990 1990 1990 1990 1990 1988 1990 1990 1990 1988 1990 1990 1990 1988 1990 1988 1990 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1990 1990 1990 1990 1990 1990 1988 1990 1990 1990 1988 1990 1990 1990 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1990 1989 1984 1986 1988 1987 1988 1988 1988 1988 1988 1988 1982 1990 1988 1990 1982 1985 1982 1988 1982 1987 1985 1984 1982 1987 1985 1990 1990 1990 1985 1982 1985 1982 1984 1982 1988 1988 1988 1988 1988 1988 1985 1985 1988 1988 1985 1985 1985 1988 1985 1988 1988 1988 1987 1988 1988 1987 1987 1988 1988 1987 1987 1987 1988 1987 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1985 1985 1985 1985 1985 1989 1989 1989 1983 1988 1989 1982 1990 1988 1990 1988 1988 1982 1988 1988 1988 1985 1982 1982 1988 1988 1982 1990 1990 1990 1988 1988 1982 1988 1988 1988 1988 1988 1988 1988 1988 1988 1990 1988 1988 1988 1988 1988 1988 1988 1988 1985 1985 1985 1988 1988 1990 1985 1988 1988 1988 1988 1985 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1985 1988 1988 1988 1988 1990 1988 1988 1988 1985 1990 1988 1988 1985 1985 1990 1988 1985 1985 1985 1990 1985 1985 1985 1985 1985 1990 1985 1985 1985 1990 1985 1985 1988 1988 1988 1988 1988 1988 1985 1985 1988 1988 1985 1985 1985 1988 1985 1988 1989 1988 1989 1988 1988 1985 1985 1988 1988 1985 1985 1985 1988 1985 1988 1988 1989 1989 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1985 1985 1985 1985 1985 1989 1989 1989 1989 1985 1989 1989 1989 1985 1985 1989 1985 1985 1985 1985 1990 1985 1989 1985 1985 1985 1989 1989 1985 1985 1989 1985 1985 1985 1985 1985 1985 1985 1985 1985 1985 1985 1985 1985 1990 1985 1985 1985 1985 1985 1990 1985 1989 1985 1990 1985 1989 1985 1990 1990 1989 1985 1985 1990 1985 1985 1985 1985 1985 1985 1985 1985 1985 1985 1985 1985 1985 1985 1985 1985 1985 1985 1985 1985 1990 1990 1988 1990 1988 1990 1988 1988 1990 1990 1988 1988 1990 1990 1988 1988 1990 1988 1990 1988 1990 1988 1988 1988 1990 1988 1988 1988 1990 1988 1988 1988 1988 1988 1988 1988 1988 1988 1990 1988 1988 1988 1990 1990 1988 1988 1990 1988 1990 1988 1990 1988 1988 1988 1990 1990 1988 1988 1990 1990 1988 1988 1988 1988 1988 1988 1990 1988 1990 1988 1990 1988 1990 1990 1988 1988 1990 1988 1988 1988 1990 1989 1985 1985 1988 1985 1990 1990 1987 1990 1989 1987 1987 1989 1989 1989 1989 1990 1983 1989 1989 1990 1990 1987 1990 1989 1990 1987 1990 1989 1989 1989 1987 1987 1989 1989 1989 1990 1989 1990 1989 1989 1989 1989 1989 1989 1989 1990 1990 1989 1989 1990 1990 1990 1990 1987 1990 1990 1990 1987 1987 1990 1987 1987 1987 1987 1989 1990 1989 1990 1990 1989 1990 1990 1990 1989 1990 1990 1990 1989 1990 1990 1989 1989 1989 1990 1990 1989 1987 1990 1987 1989 1989 1989 1989 1989 1989 1987 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1990 1989 1990 1990 1984 1989 1990 1983 1989 1989 1983 1983 1990 1989 1983 1987 1990 1990 1987 1987 1990 1987 1987 1987 1987 1987 1987 1987 1987 1987 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1987 1983 1989 1990 1987 1990 1987 1990 1987 1987 1990 1987 1989 1987 1990 1987 1990 1990 1987 1987 1990 1987 1990 1987 1987 1990 1987 1990 1987 1990 1987 1990 1990 1987 1987 1989 1987 1989 1989 1987 1987 1989 1989 1987 1987 1989 1987 1987 1987 1987 1990 1989 1990 1989 1989 1989 1989 1990 1989 1989 1989 1990 1990 1989 1989 1989 1987 1989 1989 1989 1987 1989 1989 1987 1987 1989 1987 1987 1987 1987 1989 1987 1989 1987 1989 1990 1989 1987 1989 1987 1989 1990 1989 1989 1989 1989 1987 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1990 1989 1990 1989 1987 1989 1987 1987 1990 1989 1987 1987 1987 1989 1987 1987 1990 1989 1989 1987 1987 1989 1989 1989 1987 1987 1987 1989 1987 1987 1987 1989 1987 1989 1987 1989 1987 1987 1989 1989 1987 1987 1987 1989 1987 1987 1987 1989 1987 1987 1990 1987 1990 1987 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1987 1990 1987 1990 1990 1987 1990 1990 1990 1987 1990 1990 1990 1987 1990 1987 1987 1987 1990 1990 1987 1987 1990 1990 1987 1987 1987 1987 1987 1990 1987 1990 1987 1990 1987 1987 1990 1990 1987 1987 1990 1990 1987 1987 1987 1987 1987 1987 1987 1987 1987 1987 1987 1987 1987 1987 1987 1987 1987 1987 1987 1987 1987 1987 1987 1987 1987 1987 1987 1988 1988 1986 1986 1988 1990 1988 1990 1988 1988 1986 1988 1986 1986 1986 1988 1988 1986 1986 1988 1988 1988 1988 1988 1988 1986 1988 1986 1986 1986 1988 1988 1988 1988 1988 1988 1988 1990 1988 1988 1990 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1989 1989 1989 1989 1988 1988 1989 1989 1989 1989 1988 1988 1989 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1986 1986 1986 1986 1986 1986 1986 1986 1988 1988 1988 1988 1988 1988 1988 1990 1990 1990 1986 1986 1986 1986 1986 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1990 1988 1988 1988 1988 1990 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1986 1986 1988 1988 1988 1990 1988 1988 1990 1988 1986 1986 1990 1988 1989 1986 1989 1988 1988 1988 1988 1988 1988 1986 1988 1986 1986 1986 1988 1988 1988 1990 1990 1988 1988 1990 1990 1990 1990 1988 1988 1990 1990 1988 1989 1988 1989 1988 1989 1988 1988 1989 1989 1988 1988 1988 1989 1988 1988 1988 1989 1990 1990 1988 1989 1990 1990 1990 1990 1988 1989 1990 1990 1988 1988 1988 1988 1988 1989 1989 1989 1989 1986 1989 1989 1989 1986 1989 1989 1989 1989 1986 1989 1986 1986 1986 1986 1986 1986 1986 1986 1986 1986 1986 1986 1986 1986 1986 1990 1986 1986 1986 1986 1986 1986 1986 1986 1986 1986 1986 1986 1986 1986 1990 1986 1989 1986 1990 1986 1989 1986 1990 1986 1986 1990 1986 1986 1986 1990 1986 1986 1986 1986 1986 1990 1986 1986 1986 1986 1986 1986 1986 1986 1986 1986 1986 1986 1986 1988 1988 1990 1988 1988 1988 1990 1990 1990 1988 1990 1988 1990 1988 1990 1988 1989 1990 1989 1988 1988 1990 1988 1990 1988 1988 1988 1990 1988 1988 1988 1988 1988 1990 1990 1988 1988 1990 1990 1990 1990 1988 1988 1990 1990 1988 1989 1990 1989 1988 1989 1990 1988 1990 1990 1988 1988 1990 1989 1988 1988 1990 1989 1990 1990 1990 1989 1990 1990 1990 1990 1990 1989 1990 1990 1990 1988 1988 1988 1990 1986 1986 1986 1988 1986 1990 1990 1989 1990 1989 1990 1989 1989 1989 1990 1989 1990 1989 1989 1989 1990 1990 1989 1990 1989 1990 1989 1990 1989 1989 1990 1989 1989 1989 1989 1989 1990 1989 1990 1989 1989 1989 1989 1989 1989 1989 1990 1990 1989 1989 1990 1990 1990 1990 1987 1990 1990 1990 1987 1987 1990 1987 1989 1987 1987 1989 1990 1989 1990 1990 1989 1990 1990 1990 1989 1990 1990 1990 1989 1990 1990 1989 1989 1989 1990 1990 1990 1987 1990 1987 1990 1989 1990 1989 1989 1989 1988 1989 1989 1989 1989 1990 1989 1989 1989 1990 1989 1989 1989 1989 1989 1989 1989 1989 1989 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1987 1990 1990 1987 1987 1990 1987 1987 1987 1987 1987 1987 1989 1987 1987 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1987 1990 1989 1990 1987 1990 1990 1990 1990 1987 1990 1987 1989 1988 1990 1988 1990 1990 1987 1988 1990 1987 1990 1987 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1989 1987 1989 1989 1989 1987 1989 1989 1989 1987 1989 1990 1989 1987 1989 1990 1989 1990 1989 1990 1989 1990 1990 1990 1989 1990 1990 1990 1989 1990 1989 1987 1989 1989 1990 1987 1990 1989 1990 1987 1989 1990 1989 1987 1989 1989 1989 1989 1987 1989 1990 1989 1990 1990 1987 1989 1990 1989 1989 1989 1989 1987 1989 1989 1989 1989 1989 1990 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1989 1990 1989 1990 1990 1987 1989 1987 1987 1990 1989 1987 1987 1990 1989 1987 1989 1990 1989 1989 1987 1990 1989 1989 1989 1987 1987 1987 1989 1987 1987 1987 1989 1987 1989 1987 1989 1987 1987 1989 1989 1987 1987 1987 1989 1987 1987 1987 1989 1987 1987 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1988 1990 1988 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1990 1988 1989 1989 1990 1990 1990 1989 1990 1990 1989 1990 1989 1988 1989 1990 1989 1990 1989 1990 1989 1990 1990 1990 1989 1990 1990 1990 1989 1990 1990 1988 1989 1989 1990 1990 1990 1989 1990 1990 1989 1990 1989 1988 1989 1989 1990 1989 1988 1989 1987 1989 1987 1988 1987 1984 1986 1988 1987 1985 
19187.74/2520.13	v 	</values>
19187.74/2520.13	v </instantiation>

Verifier Data 

OK	1990

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290970-1532633897/watcher-4290970-1532633897 -o /tmp/evaluation-result-4290970-1532633897/solver-4290970-1532633897 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1532633897-12973 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 890463839 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4290970-1532633897.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12990, runsolver pid=12987
Current StackSize limit: 8192 KiB


[startup+0.100111 s]*
/proc/loadavg: 8.13 8.66 8.70 3/198 13010
/proc/meminfo: memFree=24153160/32770624 swapFree=67077120/67108860
[pid=12990] ppid=12987 vsize=26103424 memory=30520 CPUtime=0.11 cores=0-7
/proc/12990/stat : 12990 (java) S 12987 12990 12946 0 -1 1077944320 7073 0 0 0 9 2 0 0 20 0 20 0 80952861 26729906176 7630 33554432000 4194304 4196468 140730094998480 140730094981024 140609099837175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
/proc/12990/statm: 6525856 7630 3134 1 0 6487932 0
[pid=12990/tid=12992] ppid=12987 vsize=26103424 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/12990/task/12992/stat : 12992 (java) R 12987 12990 12946 0 -1 4202560 5276 0 0 0 7 1 0 0 20 0 20 0 80952861 26729906176 7762 33554432000 4194304 4196468 140730094998480 140609104040304 140609080113003 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12993] ppid=12987 vsize=26103424 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12990/task/12993/stat : 12993 (java) S 12987 12990 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 7762 33554432000 4194304 4196468 140730094998480 140609052457360 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12994] ppid=12987 vsize=26103424 memory=139981762160256 CPUtime=0 cores=0-7
/proc/12990/task/12994/stat : 12994 (java) S 12987 12990 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 7762 33554432000 4194304 4196468 140730094998480 140609051404560 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12995] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/12995/stat : 12995 (java) S 12987 12990 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 7762 33554432000 4194304 4196468 140730094998480 140609050352272 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12996] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/12996/stat : 12996 (java) S 12987 12990 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 7762 33554432000 4194304 4196468 140730094998480 140609049299472 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12997] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/12997/stat : 12997 (java) S 12987 12990 12946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 7762 33554432000 4194304 4196468 140730094998480 140609048247184 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12998] ppid=12987 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/12990/task/12998/stat : 12998 (java) S 12987 12990 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 7762 33554432000 4194304 4196468 140730094998480 140609047194384 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12999] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/12999/stat : 12999 (java) S 12987 12990 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 7762 33554432000 4194304 4196468 140730094998480 140609046142096 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13000] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/13000/stat : 13000 (java) S 12987 12990 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 7828 33554432000 4194304 4196468 140730094998480 140609045089296 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13001] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/13001/stat : 13001 (java) S 12987 12990 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952864 26729906176 7828 33554432000 4194304 4196468 140730094998480 140608228255856 140609099848322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13002] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/13002/stat : 13002 (java) S 12987 12990 12946 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80952864 26729906176 7828 33554432000 4194304 4196468 140730094998480 140608227201824 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13003] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/13003/stat : 13003 (java) S 12987 12990 12946 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80952864 26729906176 7828 33554432000 4194304 4196468 140730094998480 140608226149488 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13004] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/13004/stat : 13004 (java) S 12987 12990 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952867 26729906176 7828 33554432000 4194304 4196468 140730094998480 140608225097808 140609099855771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13005] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/13005/stat : 13005 (java) S 12987 12990 12946 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 80952867 26729906176 7828 33554432000 4194304 4196468 140730094998480 140608224045680 140609099848322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13006] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/13006/stat : 13006 (java) S 12987 12990 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952867 26729906176 7828 33554432000 4194304 4196468 140730094998480 140608222992880 140609099848322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13007] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/13007/stat : 13007 (java) S 12987 12990 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952867 26729906176 7828 33554432000 4194304 4196468 140730094998480 140608221940592 140609099848322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13008] ppid=12987 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/12990/task/13008/stat : 13008 (java) S 12987 12990 12946 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 20 0 80952867 26729906176 7828 33554432000 4194304 4196468 140730094998480 140608220887792 140609099848322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13009] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/13009/stat : 13009 (java) S 12987 12990 12946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952867 26729906176 7828 33554432000 4194304 4196468 140730094998480 140608219834720 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13010] ppid=12987 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/12990/task/13010/stat : 13010 (java) S 12987 12990 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952867 26729906176 7828 33554432000 4194304 4196468 140730094998480 140608218782000 140609099848322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 30520 KiB

[startup+0.209696 s]*
/proc/loadavg: 8.13 8.66 8.70 3/198 13010
/proc/meminfo: memFree=24139704/32770624 swapFree=67077120/67108860
[pid=12990] ppid=12987 vsize=26103424 memory=43328 CPUtime=0.3 cores=0-7
/proc/12990/stat : 12990 (java) S 12987 12990 12946 0 -1 1077944320 10499 0 0 0 26 4 0 0 20 0 20 0 80952861 26729906176 10832 33554432000 4194304 4196468 140730094998480 140730094981024 140609099837175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
/proc/12990/statm: 6525856 10832 3336 1 0 6487932 0
[pid=12990/tid=12992] ppid=12987 vsize=26103424 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/12990/task/12992/stat : 12992 (java) R 12987 12990 12946 0 -1 4202560 8278 0 0 0 17 3 0 0 20 0 20 0 80952861 26729906176 10832 33554432000 4194304 4196468 140730094998480 140609104066128 140609099849110 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12993] ppid=12987 vsize=26103424 memory=9237 CPUtime=0 cores=0-7
/proc/12990/task/12993/stat : 12993 (java) S 12987 12990 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 10832 33554432000 4194304 4196468 140730094998480 140609052457360 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12994] ppid=12987 vsize=26103424 memory=3616869347692734112 CPUtime=0 cores=0-7
/proc/12990/task/12994/stat : 12994 (java) S 12987 12990 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 10832 33554432000 4194304 4196468 140730094998480 140609051404560 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12995] ppid=12987 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/12990/task/12995/stat : 12995 (java) S 12987 12990 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 10832 33554432000 4194304 4196468 140730094998480 140609050352272 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12996] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/12996/stat : 12996 (java) S 12987 12990 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 10832 33554432000 4194304 4196468 140730094998480 140609049299472 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12997] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/12997/stat : 12997 (java) S 12987 12990 12946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 10832 33554432000 4194304 4196468 140730094998480 140609048247184 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12998] ppid=12987 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/12990/task/12998/stat : 12998 (java) S 12987 12990 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 10832 33554432000 4194304 4196468 140730094998480 140609047194384 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12999] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/12999/stat : 12999 (java) S 12987 12990 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 10832 33554432000 4194304 4196468 140730094998480 140609046142096 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13000] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/13000/stat : 13000 (java) S 12987 12990 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 10832 33554432000 4194304 4196468 140730094998480 140609045089296 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13001] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/13001/stat : 13001 (java) S 12987 12990 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952864 26729906176 10832 33554432000 4194304 4196468 140730094998480 140608228255856 140609099848322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13002] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/13002/stat : 13002 (java) S 12987 12990 12946 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80952864 26729906176 10832 33554432000 4194304 4196468 140730094998480 140608227201824 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13003] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/13003/stat : 13003 (java) S 12987 12990 12946 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80952864 26729906176 10832 33554432000 4194304 4196468 140730094998480 140608226149488 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13004] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/13004/stat : 13004 (java) S 12987 12990 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952867 26729906176 10832 33554432000 4194304 4196468 140730094998480 140608225097808 140609099855771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13005] ppid=12987 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/12990/task/13005/stat : 13005 (java) S 12987 12990 12946 0 -1 1077944384 362 0 0 0 1 0 0 0 20 0 20 0 80952867 26729906176 10832 33554432000 4194304 4196468 140730094998480 140608224045680 140609099848322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13006] ppid=12987 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/12990/task/13006/stat : 13006 (java) S 12987 12990 12946 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 20 0 80952867 26729906176 10832 33554432000 4194304 4196468 140730094998480 140608222992880 140609099848322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13007] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/13007/stat : 13007 (java) S 12987 12990 12946 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 80952867 26729906176 10832 33554432000 4194304 4196468 140730094998480 140608221940592 140609099848322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13008] ppid=12987 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/12990/task/13008/stat : 13008 (java) R 12987 12990 12946 0 -1 4202560 287 0 0 0 6 0 0 0 20 0 20 0 80952867 26729906176 10832 33554432000 4194304 4196468 140730094998480 140608220885328 140609084001144 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13009] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/13009/stat : 13009 (java) S 12987 12990 12946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952867 26729906176 10832 33554432000 4194304 4196468 140730094998480 140608219834720 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13010] ppid=12987 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/12990/task/13010/stat : 13010 (java) S 12987 12990 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952867 26729906176 10832 33554432000 4194304 4196468 140730094998480 140608218782000 140609099848322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 43328 KiB

[startup+0.309403 s]*
/proc/loadavg: 8.13 8.66 8.70 2/198 13010
/proc/meminfo: memFree=24136012/32770624 swapFree=67077120/67108860
[pid=12990] ppid=12987 vsize=26103424 memory=46884 CPUtime=0.43 cores=0-7
/proc/12990/stat : 12990 (java) S 12987 12990 12946 0 -1 1077944320 10921 0 0 0 39 4 0 0 20 0 20 0 80952861 26729906176 11721 33554432000 4194304 4196468 140730094998480 140730094981024 140609099837175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
/proc/12990/statm: 6525856 11721 3371 1 0 6487932 0
[pid=12990/tid=12992] ppid=12987 vsize=26103424 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/12990/task/12992/stat : 12992 (java) R 12987 12990 12946 0 -1 4202560 8604 0 0 0 27 3 0 0 20 0 20 0 80952861 26729906176 11721 33554432000 4194304 4196468 140730094998480 140609103998912 140609081400722 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12993] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/12993/stat : 12993 (java) S 12987 12990 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 11721 33554432000 4194304 4196468 140730094998480 140609052457360 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12994] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/12994/stat : 12994 (java) S 12987 12990 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 11721 33554432000 4194304 4196468 140730094998480 140609051404560 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12995] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/12995/stat : 12995 (java) S 12987 12990 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 11721 33554432000 4194304 4196468 140730094998480 140609050352272 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12996] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/12996/stat : 12996 (java) S 12987 12990 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 11721 33554432000 4194304 4196468 140730094998480 140609049299472 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12997] ppid=12987 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/12990/task/12997/stat : 12997 (java) S 12987 12990 12946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 11721 33554432000 4194304 4196468 140730094998480 140609048247184 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12998] ppid=12987 vsize=26103424 memory=139981641315247 CPUtime=0 cores=0-7
/proc/12990/task/12998/stat : 12998 (java) S 12987 12990 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 11721 33554432000 4194304 4196468 140730094998480 140609047194384 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12999] ppid=12987 vsize=26103424 memory=139981641317552 CPUtime=0 cores=0-7
/proc/12990/task/12999/stat : 12999 (java) S 12987 12990 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 11721 33554432000 4194304 4196468 140730094998480 140609046142096 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13000] ppid=12987 vsize=26103424 memory=139981641319856 CPUtime=0 cores=0-7
/proc/12990/task/13000/stat : 13000 (java) S 12987 12990 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952862 26729906176 11721 33554432000 4194304 4196468 140730094998480 140609045089296 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13001] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/13001/stat : 13001 (java) S 12987 12990 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952864 26729906176 11721 33554432000 4194304 4196468 140730094998480 140608228255856 140609099848322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13002] ppid=12987 vsize=26103424 memory=279963282646672 CPUtime=0 cores=0-7
/proc/12990/task/13002/stat : 13002 (java) S 12987 12990 12946 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80952864 26729906176 11721 33554432000 4194304 4196468 140730094998480 140608227201824 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13003] ppid=12987 vsize=26103424 memory=279963282653584 CPUtime=0 cores=0-7
/proc/12990/task/13003/stat : 13003 (java) S 12987 12990 12946 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80952864 26729906176 11721 33554432000 4194304 4196468 140730094998480 140608226149488 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13004] ppid=12987 vsize=26103424 memory=279963282594736 CPUtime=0 cores=0-7
/proc/12990/task/13004/stat : 13004 (java) S 12987 12990 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952867 26729906176 11721 33554432000 4194304 4196468 140730094998480 140608225097808 140609099855771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13005] ppid=12987 vsize=26103424 memory=279963282667408 CPUtime=0.01 cores=0-7
/proc/12990/task/13005/stat : 13005 (java) S 12987 12990 12946 0 -1 1077944384 362 0 0 0 1 0 0 0 20 0 20 0 80952867 26729906176 11721 33554432000 4194304 4196468 140730094998480 140608224045680 140609099848322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13006] ppid=12987 vsize=26103424 memory=279963282674320 CPUtime=0.01 cores=0-7
/proc/12990/task/13006/stat : 13006 (java) S 12987 12990 12946 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 20 0 80952867 26729906176 11721 33554432000 4194304 4196468 140730094998480 140608222992880 140609099848322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13007] ppid=12987 vsize=26103424 memory=279963282672016 CPUtime=0.01 cores=0-7
/proc/12990/task/13007/stat : 13007 (java) S 12987 12990 12946 0 -1 1077944384 228 0 0 0 1 0 0 0 20 0 20 0 80952867 26729906176 11721 33554432000 4194304 4196468 140730094998480 140608221940592 140609099848322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13008] ppid=12987 vsize=26103424 memory=279963282688624 CPUtime=0.07 cores=0-7
/proc/12990/task/13008/stat : 13008 (java) S 12987 12990 12946 0 -1 1077944384 295 0 0 0 7 0 0 0 20 0 20 0 80952867 26729906176 11721 33554432000 4194304 4196468 140730094998480 140608220887792 140609099848322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13009] ppid=12987 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/13009/stat : 13009 (java) S 12987 12990 12946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952867 26729906176 11721 33554432000 4194304 4196468 140730094998480 140608219834720 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13010] ppid=12987 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/12990/task/13010/stat : 13010 (java) S 12987 12990 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952867 26729906176 11721 33554432000 4194304 4196468 140730094998480 140608218782000 140609099848322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 46884 KiB

[startup+0.700856 s]
/proc/loadavg: 8.13 8.66 8.70 3/198 13010
/proc/meminfo: memFree=24112200/32770624 swapFree=67077120/67108860
[pid=12990] ppid=12987 vsize=26105492 memory=85608 CPUtime=1 cores=0-7
/proc/12990/stat : 12990 (java) S 12987 12990 12946 0 -1 1077944320 17838 0 0 0 93 7 0 0 20 0 20 0 80952861 26732023808 21402 33554432000 4194304 4196468 140730094998480 140730094981024 140609099837175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
/proc/12990/statm: 6526373 21402 3505 1 0 6488444 0
[pid=12990/tid=12992] ppid=12987 vsize=26105492 memory=0 CPUtime=0.67 cores=0-7
/proc/12990/task/12992/stat : 12992 (java) R 12987 12990 12946 0 -1 4202560 15060 0 0 0 62 5 0 0 20 0 20 0 80952861 26732023808 21402 33554432000 4194304 4196468 140730094998480 140609104063776 140609083917662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12993] ppid=12987 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/12993/stat : 12993 (java) S 12987 12990 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952862 26732023808 21402 33554432000 4194304 4196468 140730094998480 140609052457360 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12994] ppid=12987 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/12994/stat : 12994 (java) S 12987 12990 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952862 26732023808 21402 33554432000 4194304 4196468 140730094998480 140609051404560 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12995] ppid=12987 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/12990/task/12995/stat : 12995 (java) S 12987 12990 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952862 26732023808 21402 33554432000 4194304 4196468 140730094998480 140609050352272 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12996] ppid=12987 vsize=26105492 memory=3032 CPUtime=0 cores=0-7
/proc/12990/task/12996/stat : 12996 (java) S 12987 12990 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952862 26732023808 21402 33554432000 4194304 4196468 140730094998480 140609049299472 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12997] ppid=12987 vsize=26105492 memory=2764 CPUtime=0 cores=0-7
/proc/12990/task/12997/stat : 12997 (java) S 12987 12990 12946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952862 26732023808 21402 33554432000 4194304 4196468 140730094998480 140609048247184 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12998] ppid=12987 vsize=26105492 memory=796 CPUtime=0 cores=0-7
/proc/12990/task/12998/stat : 12998 (java) S 12987 12990 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952862 26732023808 21402 33554432000 4194304 4196468 140730094998480 140609047194384 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12999] ppid=12987 vsize=26105492 memory=1008 CPUtime=0 cores=0-7
/proc/12990/task/12999/stat : 12999 (java) S 12987 12990 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952862 26732023808 21402 33554432000 4194304 4196468 140730094998480 140609046142096 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13000] ppid=12987 vsize=26105492 memory=15316 CPUtime=0 cores=0-7
/proc/12990/task/13000/stat : 13000 (java) S 12987 12990 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952862 26732023808 21402 33554432000 4194304 4196468 140730094998480 140609045089296 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13001] ppid=12987 vsize=26105492 memory=3604 CPUtime=0 cores=0-7
/proc/12990/task/13001/stat : 13001 (java) S 12987 12990 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952864 26732023808 21402 33554432000 4194304 4196468 140730094998480 140608228255856 140609099848322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0

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

/proc/12990/task/13001/stat : 13001 (java) S 12987 12990 12946 0 -1 1077944384 95225 0 0 0 324 41 0 0 20 0 40 0 80952864 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608228255856 140609099848322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13002] ppid=12987 vsize=27451144 memory=15128 CPUtime=0 cores=0-7
/proc/12990/task/13002/stat : 13002 (java) S 12987 12990 12946 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 40 0 80952864 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608227201888 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13003] ppid=12987 vsize=27451144 memory=640 CPUtime=0 cores=0-7
/proc/12990/task/13003/stat : 13003 (java) S 12987 12990 12946 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 40 0 80952864 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608226149504 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13004] ppid=12987 vsize=27451144 memory=1760 CPUtime=0 cores=0-7
/proc/12990/task/13004/stat : 13004 (java) S 12987 12990 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 40 0 80952867 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608225097808 140609099855771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13005] ppid=12987 vsize=27451144 memory=960 CPUtime=2.58 cores=0-7
/proc/12990/task/13005/stat : 13005 (java) S 12987 12990 12946 0 -1 1077944384 25392 0 0 0 250 8 0 0 20 0 40 0 80952867 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608224045680 140609099848322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13006] ppid=12987 vsize=27451144 memory=1220 CPUtime=2.62 cores=0-7
/proc/12990/task/13006/stat : 13006 (java) S 12987 12990 12946 0 -1 1077944384 15381 0 0 0 258 4 0 0 20 0 40 0 80952867 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608222992880 140609099848322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13007] ppid=12987 vsize=27451144 memory=1548 CPUtime=2.55 cores=0-7
/proc/12990/task/13007/stat : 13007 (java) S 12987 12990 12946 0 -1 1077944384 19860 0 0 0 249 6 0 0 20 0 40 0 80952867 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608221940592 140609099848322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13008] ppid=12987 vsize=27451144 memory=2164 CPUtime=1.71 cores=0-7
/proc/12990/task/13008/stat : 13008 (java) S 12987 12990 12946 0 -1 1077944384 52095 0 0 0 159 12 0 0 20 0 40 0 80952867 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608220887792 140609099848322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13009] ppid=12987 vsize=27451144 memory=3700 CPUtime=0 cores=0-7
/proc/12990/task/13009/stat : 13009 (java) S 12987 12990 12946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 80952867 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608219834720 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13010] ppid=12987 vsize=27451144 memory=18496940 CPUtime=2.09 cores=0-7
/proc/12990/task/13010/stat : 13010 (java) S 12987 12990 12946 0 -1 1077944384 3782 0 0 0 97 112 0 0 20 0 40 0 80952867 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608218782000 140609099848322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13019] ppid=12987 vsize=27451144 memory=1460 CPUtime=0.01 cores=0-7
/proc/12990/task/13019/stat : 13019 (java) S 12987 12990 12946 0 -1 1077944384 3923 0 0 0 1 0 0 0 20 0 40 0 80964690 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608207434656 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13020] ppid=12987 vsize=27451144 memory=2160 CPUtime=9.94 cores=0-7
/proc/12990/task/13020/stat : 13020 (java) R 12987 12990 12946 0 -1 1077944384 9291 0 0 0 477 517 0 0 20 0 40 0 80964706 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608204284960 140609099848322 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13021] ppid=12987 vsize=27451144 memory=6768 CPUtime=10.7 cores=0-7
/proc/12990/task/13021/stat : 13021 (java) S 12987 12990 12946 0 -1 1077944384 4425 0 0 0 1067 3 0 0 20 0 40 0 80964723 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608201135504 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13022] ppid=12987 vsize=27451144 memory=824 CPUtime=1748.53 cores=0-7
/proc/12990/task/13022/stat : 13022 (java) S 12987 12990 12946 0 -1 1077944384 164457 0 0 0 174130 723 0 0 20 0 40 0 80964724 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608200082704 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13023] ppid=12987 vsize=27451144 memory=1692 CPUtime=1571.38 cores=0-7
/proc/12990/task/13023/stat : 13023 (java) S 12987 12990 12946 0 -1 1077944384 142771 0 0 0 156520 618 0 0 20 0 40 0 80964724 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608199030416 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13024] ppid=12987 vsize=27451144 memory=916 CPUtime=1679.54 cores=0-7
/proc/12990/task/13024/stat : 13024 (java) R 12987 12990 12946 0 -1 4202560 165084 0 0 0 167154 800 0 0 20 0 40 0 80964731 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608195873096 140608725698641 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13025] ppid=12987 vsize=27451144 memory=3908 CPUtime=2289.9 cores=0-7
/proc/12990/task/13025/stat : 13025 (java) R 12987 12990 12946 0 -1 4202560 191269 0 0 0 227872 1118 0 0 20 0 40 0 80964731 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608194819784 140608726750072 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13026] ppid=12987 vsize=27451144 memory=1408 CPUtime=1054.78 cores=0-7
/proc/12990/task/13026/stat : 13026 (java) S 12987 12990 12946 0 -1 1077944384 125270 0 0 0 104896 582 0 0 20 0 40 0 80964732 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608193774352 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13027] ppid=12987 vsize=27451144 memory=4092 CPUtime=64.78 cores=0-7
/proc/12990/task/13027/stat : 13027 (java) S 12987 12990 12946 0 -1 1077944384 10746 0 0 0 6358 120 0 0 20 0 40 0 80964732 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608192722064 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13028] ppid=12987 vsize=27451144 memory=18496940 CPUtime=2286.82 cores=0-7
/proc/12990/task/13028/stat : 13028 (java) R 12987 12990 12946 0 -1 4202560 191753 0 0 0 227474 1208 0 0 20 0 40 0 80964732 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608191661896 140608725698709 0 4 0 16800975 0 0 0 -1 2 0 0 27 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13029] ppid=12987 vsize=27451144 memory=21232 CPUtime=10.27 cores=0-7
/proc/12990/task/13029/stat : 13029 (java) S 12987 12990 12946 0 -1 1077944384 5115 0 0 0 1003 24 0 0 20 0 40 0 80964732 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608190616976 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13030] ppid=12987 vsize=27451144 memory=4092 CPUtime=2276.75 cores=0-7
/proc/12990/task/13030/stat : 13030 (java) R 12987 12990 12946 0 -1 4202560 177568 0 0 0 226687 988 0 0 20 0 40 0 80964732 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608189556808 140608725698631 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13031] ppid=12987 vsize=27451144 memory=18496940 CPUtime=2274.32 cores=0-7
/proc/12990/task/13031/stat : 13031 (java) R 12987 12990 12946 0 -1 4202560 196655 0 0 0 226456 976 0 0 20 0 40 0 80964733 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608188504520 140608725698641 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13032] ppid=12987 vsize=27451144 memory=4096 CPUtime=262.44 cores=0-7
/proc/12990/task/13032/stat : 13032 (java) R 12987 12990 12946 0 -1 4202560 25686 0 0 0 26091 153 0 0 20 0 40 0 80973364 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608185320432 140608733267596 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13033] ppid=12987 vsize=27451144 memory=1398720917958146503 CPUtime=0 cores=0-7
/proc/12990/task/13033/stat : 13033 (java) S 12987 12990 12946 0 -1 1077944384 482 0 0 0 0 0 0 0 20 0 40 0 80973365 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608184271760 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13034] ppid=12987 vsize=27451144 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12990/task/13034/stat : 13034 (java) S 12987 12990 12946 0 -1 1077944384 763 0 0 0 0 0 0 0 20 0 40 0 80973368 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608183218960 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13035] ppid=12987 vsize=27451144 memory=1408 CPUtime=0 cores=0-7
/proc/12990/task/13035/stat : 13035 (java) S 12987 12990 12946 0 -1 1077944384 1021 0 0 0 0 0 0 0 20 0 40 0 80973370 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608182166672 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13036] ppid=12987 vsize=27451144 memory=4092 CPUtime=536.63 cores=0-7
/proc/12990/task/13036/stat : 13036 (java) R 12987 12990 12946 0 -1 4202560 44679 0 0 0 53417 246 0 0 20 0 40 0 80973370 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608181106504 140608733132192 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13037] ppid=12987 vsize=27451144 memory=18496940 CPUtime=0 cores=0-7
/proc/12990/task/13037/stat : 13037 (java) S 12987 12990 12946 0 -1 1077944384 928 0 0 0 0 0 0 0 20 0 40 0 80973372 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608180061584 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13038] ppid=12987 vsize=27451144 memory=4096 CPUtime=2221.34 cores=0-7
/proc/12990/task/13038/stat : 13038 (java) R 12987 12990 12946 0 -1 4202560 206158 0 0 0 221155 979 0 0 20 0 40 0 80973372 28109971456 4624235 33554432000 4194304 4196468 140730094998480 140608179001416 140608725698655 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
Current children cumulated CPU time: 19186.8 s
Current children cumulated vsize: 27451144 KiB
Current children cumulated memory: 18496940 KiB

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

[startup+2520.5 s]
# the end of solver process 12990 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19053.6 s, system=136.293 s

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

[startup+2520.4 s]
/proc/loadavg: 8.48 8.75 8.70 10/219 13115
/proc/meminfo: memFree=5650804/32770624 swapFree=67077140/67108860
[pid=12990] ppid=12987 vsize=27852576 memory=18498356 CPUtime=19189.7 cores=0-7
/proc/12990/stat : 12990 (java) S 12987 12990 12946 0 -1 1077944320 7152193 0 0 0 1905347 13621 0 0 20 0 45 0 80952861 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140730094981024 140609099837175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
/proc/12990/statm: 6963144 4624589 3634 1 0 6924694 0
[pid=12990/tid=12992] ppid=12987 vsize=27852576 memory=18496940 CPUtime=116.12 cores=0-7
/proc/12990/task/12992/stat : 12992 (java) S 12987 12990 12946 0 -1 1077944384 42660 0 0 0 11514 98 0 0 20 0 45 0 80952861 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140609104075856 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12993] ppid=12987 vsize=27852576 memory=288230621803970871 CPUtime=94.99 cores=0-7
/proc/12990/task/12993/stat : 12993 (java) S 12987 12990 12946 0 -1 1077944384 666767 0 0 0 8882 617 0 0 20 0 45 0 80952862 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140609052457360 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 402 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12994] ppid=12987 vsize=27852576 memory=15258134151170438 CPUtime=94.89 cores=0-7
/proc/12990/task/12994/stat : 12994 (java) S 12987 12990 12946 0 -1 1077944384 658735 0 0 0 8884 605 0 0 20 0 45 0 80952862 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140609051404560 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 410 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12995] ppid=12987 vsize=27852576 memory=18496940 CPUtime=94.75 cores=0-7
/proc/12990/task/12995/stat : 12995 (java) S 12987 12990 12946 0 -1 1077944384 648943 0 0 0 8855 620 0 0 20 0 45 0 80952862 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140609050352272 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 411 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12996] ppid=12987 vsize=27852576 memory=18496940 CPUtime=94.82 cores=0-7
/proc/12990/task/12996/stat : 12996 (java) S 12987 12990 12946 0 -1 1077944384 667025 0 0 0 8890 592 0 0 20 0 45 0 80952862 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140609049299472 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 421 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12997] ppid=12987 vsize=27852576 memory=1548 CPUtime=94.61 cores=0-7
/proc/12990/task/12997/stat : 12997 (java) S 12987 12990 12946 0 -1 1077944384 647937 0 0 0 8841 620 0 0 20 0 45 0 80952862 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140609048247184 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 424 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12998] ppid=12987 vsize=27852576 memory=776 CPUtime=94.53 cores=0-7
/proc/12990/task/12998/stat : 12998 (java) S 12987 12990 12946 0 -1 1077944384 654894 0 0 0 8862 591 0 0 20 0 45 0 80952862 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140609047194384 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 424 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=12999] ppid=12987 vsize=27852576 memory=1876 CPUtime=94.57 cores=0-7
/proc/12990/task/12999/stat : 12999 (java) S 12987 12990 12946 0 -1 1077944384 639471 0 0 0 8818 639 0 0 20 0 45 0 80952862 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140609046142096 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 416 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13000] ppid=12987 vsize=27852576 memory=1664 CPUtime=94.3 cores=0-7
/proc/12990/task/13000/stat : 13000 (java) S 12987 12990 12946 0 -1 1077944384 636648 0 0 0 8840 590 0 0 20 0 45 0 80952862 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140609045089296 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 436 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13001] ppid=12987 vsize=27852576 memory=1828 CPUtime=3.66 cores=0-7
/proc/12990/task/13001/stat : 13001 (java) S 12987 12990 12946 0 -1 1077944384 95332 0 0 0 325 41 0 0 20 0 45 0 80952864 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608228255856 140609099848322 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13002] ppid=12987 vsize=27852576 memory=800 CPUtime=0 cores=0-7
/proc/12990/task/13002/stat : 13002 (java) S 12987 12990 12946 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 45 0 80952864 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608227201888 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13003] ppid=12987 vsize=27852576 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12990/task/13003/stat : 13003 (java) S 12987 12990 12946 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 45 0 80952864 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608226149504 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13004] ppid=12987 vsize=27852576 memory=2164 CPUtime=0 cores=0-7
/proc/12990/task/13004/stat : 13004 (java) S 12987 12990 12946 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 45 0 80952867 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608225097808 140609099855771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13005] ppid=12987 vsize=27852576 memory=3700 CPUtime=2.6 cores=0-7
/proc/12990/task/13005/stat : 13005 (java) S 12987 12990 12946 0 -1 1077944384 25709 0 0 0 252 8 0 0 20 0 45 0 80952867 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608224045680 140609099848322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13006] ppid=12987 vsize=27852576 memory=844 CPUtime=2.68 cores=0-7
/proc/12990/task/13006/stat : 13006 (java) S 12987 12990 12946 0 -1 1077944384 15908 0 0 0 264 4 0 0 20 0 45 0 80952867 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608222992880 140609099848322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13007] ppid=12987 vsize=27852576 memory=1460 CPUtime=2.57 cores=0-7
/proc/12990/task/13007/stat : 13007 (java) S 12987 12990 12946 0 -1 1077944384 20282 0 0 0 251 6 0 0 20 0 45 0 80952867 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608221940592 140609099848322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13008] ppid=12987 vsize=27852576 memory=2160 CPUtime=1.76 cores=0-7
/proc/12990/task/13008/stat : 13008 (java) R 12987 12990 12946 0 -1 4202560 54773 0 0 0 163 13 0 0 20 0 45 0 80952867 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608220885584 140609092078043 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13009] ppid=12987 vsize=27852576 memory=6768 CPUtime=0 cores=0-7
/proc/12990/task/13009/stat : 13009 (java) S 12987 12990 12946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 80952867 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608219834720 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13010] ppid=12987 vsize=27852576 memory=824 CPUtime=2.09 cores=0-7
/proc/12990/task/13010/stat : 13010 (java) S 12987 12990 12946 0 -1 1077944384 3782 0 0 0 97 112 0 0 20 0 45 0 80952867 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608218782000 140609099848322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13019] ppid=12987 vsize=27852576 memory=1692 CPUtime=0.01 cores=0-7
/proc/12990/task/13019/stat : 13019 (java) S 12987 12990 12946 0 -1 1077944384 3923 0 0 0 1 0 0 0 20 0 45 0 80964690 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608207434656 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13021] ppid=12987 vsize=27852576 memory=3908 CPUtime=10.71 cores=0-7
/proc/12990/task/13021/stat : 13021 (java) S 12987 12990 12946 0 -1 1077944384 4484 0 0 0 1067 4 0 0 20 0 45 0 80964723 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608201135632 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13022] ppid=12987 vsize=27852576 memory=6791534058613427641 CPUtime=1748.53 cores=0-7
/proc/12990/task/13022/stat : 13022 (java) S 12987 12990 12946 0 -1 1077944384 164566 0 0 0 174130 723 0 0 20 0 45 0 80964724 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608200082704 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13023] ppid=12987 vsize=27852576 memory=18496940 CPUtime=1571.38 cores=0-7
/proc/12990/task/13023/stat : 13023 (java) S 12987 12990 12946 0 -1 1077944384 142827 0 0 0 156520 618 0 0 20 0 45 0 80964724 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608199030416 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13024] ppid=12987 vsize=27852576 memory=960 CPUtime=1679.82 cores=0-7
/proc/12990/task/13024/stat : 13024 (java) R 12987 12990 12946 0 -1 4202560 165103 0 0 0 167182 800 0 0 20 0 45 0 80964731 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608195873096 140608725698684 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13025] ppid=12987 vsize=27852576 memory=1220 CPUtime=2290.18 cores=0-7
/proc/12990/task/13025/stat : 13025 (java) R 12987 12990 12946 0 -1 4202560 191279 0 0 0 227900 1118 0 0 20 0 45 0 80964731 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608194819784 140608725698709 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13026] ppid=12987 vsize=27852576 memory=1548 CPUtime=1054.8 cores=0-7
/proc/12990/task/13026/stat : 13026 (java) R 12987 12990 12946 0 -1 1077944384 125593 0 0 0 104898 582 0 0 20 0 45 0 80964732 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608193774480 140609099847381 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13027] ppid=12987 vsize=27852576 memory=2164 CPUtime=64.78 cores=0-7
/proc/12990/task/13027/stat : 13027 (java) S 12987 12990 12946 0 -1 1077944384 10793 0 0 0 6358 120 0 0 20 0 45 0 80964732 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608192722064 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13028] ppid=12987 vsize=27852576 memory=3700 CPUtime=2287.08 cores=0-7
/proc/12990/task/13028/stat : 13028 (java) R 12987 12990 12946 0 -1 4202560 191780 0 0 0 227500 1208 0 0 20 0 45 0 80964732 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608191661896 140608725698718 0 4 0 16800975 0 0 0 -1 7 0 0 27 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13029] ppid=12987 vsize=27852576 memory=844 CPUtime=10.29 cores=0-7
/proc/12990/task/13029/stat : 13029 (java) S 12987 12990 12946 0 -1 1077944384 5571 0 0 0 1005 24 0 0 20 0 45 0 80964732 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608190616976 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13030] ppid=12987 vsize=27852576 memory=1460 CPUtime=2277.04 cores=0-7
/proc/12990/task/13030/stat : 13030 (java) R 12987 12990 12946 0 -1 4202560 177583 0 0 0 226716 988 0 0 20 0 45 0 80964732 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608189556808 140608725698684 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13031] ppid=12987 vsize=27852576 memory=2160 CPUtime=2274.59 cores=0-7
/proc/12990/task/13031/stat : 13031 (java) R 12987 12990 12946 0 -1 4202560 196655 0 0 0 226483 976 0 0 20 0 45 0 80964733 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608188504536 140608725698641 0 4 0 16800975 0 0 0 -1 6 0 0 24 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13032] ppid=12987 vsize=27852576 memory=6768 CPUtime=262.71 cores=0-7
/proc/12990/task/13032/stat : 13032 (java) R 12987 12990 12946 0 -1 4202560 25767 0 0 0 26116 155 0 0 20 0 45 0 80973364 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608185317568 140608725698709 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13033] ppid=12987 vsize=27852576 memory=824 CPUtime=0 cores=0-7
/proc/12990/task/13033/stat : 13033 (java) S 12987 12990 12946 0 -1 1077944384 558 0 0 0 0 0 0 0 20 0 45 0 80973365 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608184271760 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13034] ppid=12987 vsize=27852576 memory=1692 CPUtime=0.01 cores=0-7
/proc/12990/task/13034/stat : 13034 (java) S 12987 12990 12946 0 -1 1077944384 854 0 0 0 1 0 0 0 20 0 45 0 80973368 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608183218960 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13035] ppid=12987 vsize=27852576 memory=916 CPUtime=0.01 cores=0-7
/proc/12990/task/13035/stat : 13035 (java) S 12987 12990 12946 0 -1 1077944384 1088 0 0 0 1 0 0 0 20 0 45 0 80973370 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608182166672 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13036] ppid=12987 vsize=27852576 memory=3908 CPUtime=536.86 cores=0-7
/proc/12990/task/13036/stat : 13036 (java) R 12987 12990 12946 0 -1 4202560 44679 0 0 0 53440 246 0 0 20 0 45 0 80973370 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608181106504 140608733132265 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13037] ppid=12987 vsize=27852576 memory=1408 CPUtime=0 cores=0-7
/proc/12990/task/13037/stat : 13037 (java) S 12987 12990 12946 0 -1 1077944384 977 0 0 0 0 0 0 0 20 0 45 0 80973372 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608180061584 140609099847381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
[pid=12990/tid=13038] ppid=12987 vsize=27852576 memory=4092 CPUtime=2221.61 cores=0-7
/proc/12990/task/13038/stat : 13038 (java) R 12987 12990 12946 0 -1 4202560 206160 0 0 0 221182 979 0 0 20 0 45 0 80973372 28521037824 4624589 33554432000 4194304 4196468 140730094998480 140608179000480 140608725698709 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 38465536 140730095002702 140730095002885 140730095002885 140730095005647 0
Current children cumulated CPU time: 19189.7 s
Current children cumulated vsize: 27852576 KiB
Current children cumulated memory: 18498356 KiB

Child status: 143
Real time (s): 2520.5
CPU time (s): 19189.9
CPU user time (s): 19053.6
CPU system time (s): 136.293
CPU usage (%): 761.353
Max. virtual memory (cumulated for all children) (KiB): 27852576
Max. memory (cumulated for all children) (KiB): 18522528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19053.6
system time used= 136.293
maximum resident set size= 18522528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7152225
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 560748
involuntary context switches= 403466


# summary of solver processes directly reported to runsolver:
#   pid: 12990
#   total CPU time (s): 19189.9
#   total CPU user time (s): 19053.6
#   total CPU system time (s): 136.293

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 30.2239 second user time and 46.3142 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-26 21:38:17
IDJOB=4290970
IDBENCH=141138
IDSOLVER=2745
FILE ID=node102/4290970-1532633897
RUNJOBID= node102-1532633897-12973
PBS_JOBID= 21022186
Free space on /tmp= 52748 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
BENCH NAME= XCSP18/GraphColoring/GraphColoring-3-fullins-5_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4290970-1532633897/watcher-4290970-1532633897 -o /tmp/evaluation-result-4290970-1532633897/solver-4290970-1532633897 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1532633897-12973 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 890463839 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4290970-1532633897.xml

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

MD5SUM BENCH= 51dc9de19dcdd21b605810f9d7307a76
RANDOM SEED=890463839

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.51
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.51
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.51
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.51
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:        24170588 kB
MemAvailable:   31961004 kB
Buffers:          199736 kB
Cached:          7826728 kB
SwapCached:         5208 kB
Active:          1379672 kB
Inactive:        6679584 kB
Active(anon):       3900 kB
Inactive(anon):    53700 kB
Active(file):    1375772 kB
Inactive(file):  6625884 kB
Unevictable:        6616 kB
Mlocked:            6616 kB
SwapTotal:      67108860 kB
SwapFree:       67077120 kB
Dirty:             36700 kB
Writeback:             0 kB
AnonPages:         33560 kB
Mapped:            34264 kB
Shmem:             22048 kB
Slab:             236484 kB
SReclaimable:     209188 kB
SUnreclaim:        27296 kB
KernelStack:        3088 kB
PageTables:         5092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52712 MiB
End job on node102 at 2018-07-26 22:20:17