Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 3 | 14.3978 | 3.94327 |
Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash608GPIA.xml |
MD5SUM | 0df69417c613ef889e63c8df69e0b506 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 1.33999 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1216 |
Number of constraints | 7844 |
Number of domains | 1 |
Minimum domain size | 1216 |
Maximum domain size | 1216 |
Distribution of domain sizes | [{"size":1216,"count":1216}] |
Minimum variable degree | 2 |
Maximum variable degree | 21 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":6,"count":2},{"degree":7,"count":13},{"degree":8,"count":18},{"degree":9,"count":26},{"degree":10,"count":54},{"degree":11,"count":102},{"degree":12,"count":128},{"degree":13,"count":194},{"degree":14,"count":189},{"degree":15,"count":154},{"degree":16,"count":130},{"degree":17,"count":97},{"degree":18,"count":66},{"degree":19,"count":22},{"degree":20,"count":10},{"degree":21,"count":10}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":7844}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 7844 |
Distribution of constraint types | [{"type":"intension","count":7844}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404529-1568994801.xml" -tl '20160s' -p 8 0.11/0.18 c Choco 3fb4b153 0.11/0.18 c [HOME/instance-4404529-1568994801.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 8.26/2.74 c solve instance... 10.25/3.07 o 8 11.96/3.38 o 7 12.99/3.65 o 6 13.58/3.71 o 3 14.31/3.92 s OPTIMUM FOUND 14.31/3.92 v <instantiation> 14.31/3.92 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] </list> 14.31/3.92 v <values>1 0 2 1 2 0 1 3 0 3 1 2 3 2 0 1 1 0 1 2 3 2 0 3 0 1 2 3 3 1 2 0 2 1 1 0 2 0 2 3 3 1 0 2 0 2 1 3 0 2 0 3 1 0 1 2 1 0 2 0 3 1 2 1 0 1 0 1 0 2 3 1 0 1 0 2 3 1 2 0 2 0 0 1 3 1 2 0 2 0 1 0 1 0 2 3 1 3 0 3 1 3 1 2 0 1 3 2 3 1 0 2 3 0 1 2 1 0 1 0 2 1 2 0 3 1 3 0 2 0 3 0 2 0 3 2 3 1 0 1 0 1 0 3 2 3 0 1 2 1 0 1 2 1 0 1 3 2 1 0 1 0 1 0 2 3 1 3 3 0 2 0 2 1 2 0 2 0 1 3 0 3 1 2 0 1 2 3 2 1 0 3 1 3 0 3 3 0 3 2 1 0 1 2 0 2 1 3 0 2 1 3 2 0 1 0 2 3 0 3 0 3 0 2 1 3 0 3 3 2 1 0 3 2 1 0 3 0 1 0 1 2 2 0 1 3 2 0 1 3 2 3 1 0 0 1 3 2 0 1 0 2 2 1 3 0 1 0 1 2 3 0 1 2 1 0 0 3 2 1 0 3 2 0 3 1 0 1 2 1 0 3 2 3 0 1 0 2 1 0 1 2 1 0 3 1 0 1 0 2 3 2 0 1 1 0 3 0 1 2 0 2 0 2 1 2 0 2 1 2 0 3 0 2 2 0 3 0 3 1 3 2 0 1 3 1 1 3 0 2 1 2 0 2 0 2 0 2 0 1 0 2 3 1 3 0 2 0 2 0 2 1 2 0 2 0 3 0 1 0 1 0 1 2 1 3 1 2 0 2 2 0 3 0 2 0 3 0 2 1 0 2 0 3 3 2 1 0 1 0 1 2 1 2 1 0 1 3 1 0 1 3 2 0 1 0 0 2 1 2 1 3 0 2 3 0 3 1 2 0 0 1 0 1 2 1 0 3 0 1 0 3 1 0 3 0 1 2 3 0 1 2 1 0 2 0 3 1 1 3 2 0 1 0 2 0 3 0 0 2 3 2 3 2 0 1 2 1 0 1 2 3 0 1 0 3 2 1 2 0 3 0 0 3 1 2 0 2 0 2 3 1 0 1 0 1 0 2 3 0 1 2 0 3 2 1 0 1 3 1 2 0 2 0 0 2 1 2 1 3 0 3 1 3 0 1 1 0 1 0 3 2 0 1 3 2 0 1 2 3 0 1 0 1 3 2 2 0 1 0 0 2 1 2 1 3 1 2 0 3 2 0 2 0 2 1 2 0 3 1 2 1 0 1 3 2 3 1 3 1 0 1 0 1 3 1 0 3 1 2 0 3 2 1 0 1 2 0 2 1 3 1 2 1 0 2 0 3 1 2 1 0 3 2 3 0 1 0 1 0 3 2 2 0 3 1 2 1 3 1 2 0 1 0 1 0 2 0 2 3 0 1 2 3 0 3 0 1 0 2 3 2 0 2 1 3 2 3 1 0 0 1 0 3 0 1 0 1 2 1 2 3 3 0 1 0 3 2 1 3 0 2 1 2 1 3 0 2 3 2 0 1 0 1 2 1 0 1 2 1 2 3 1 3 1 0 0 3 1 3 0 2 1 2 3 0 3 2 1 0 1 0 2 3 2 0 1 0 1 3 3 0 1 0 0 2 1 2 1 3 1 2 2 3 1 0 1 0 1 0 1 0 1 0 1 2 1 2 1 3 1 3 0 3 3 2 0 1 0 1 2 1 2 3 0 1 0 1 2 1 0 3 2 3 1 0 1 0 1 3 0 1 3 2 0 2 3 1 0 1 2 0 3 0 2 1 0 1 0 3 2 1 2 0 3 1 3 2 1 0 3 0 1 2 2 0 2 0 2 3 0 1 0 3 2 1 3 1 0 1 0 2 3 1 0 2 1 3 2 0 1 3 0 2 0 3 0 2 0 2 0 1 0 1 3 2 3 1 2 0 2 1 3 1 2 3 0 3 2 0 2 0 2 0 2 1 3 2 3 1 0 1 0 3 2 1 3 0 3 2 1 2 1 0 2 0 1 3 1 0 0 3 0 2 1 2 0 3 0 2 2 0 2 1 0 2 0 3 1 2 3 0 2 1 2 0 1 0 1 0 1 3 3 2 0 1 0 1 0 3 0 2 0 3 0 2 1 3 2 1 2 1 3 1 2 0 2 0 3 2 3 2 1 0 3 0 3 2 3 0 1 0 1 0 2 0 1 0 1 0 2 0 2 0 1 0 1 0 1 3 0 3 0 2 1 2 0 1 0 3 0 1 1 0 3 0 3 2 1 2 0 3 1 3 1 0 1 0 3 2 1 0 0 1 0 1 2 3 0 1 0 1 0 1 3 2 2 3 3 2 1 0 0 1 1 3 0 1 3 2 3 2 0 1 0 2 0 1 0 3 0 3 0 1 2 1 2 1 2 0 3 1 2 0 1 3 2 0 2 0 2 0 3 1 3 0 2 0 3 1 0 1 2 0 2 3 1 2 0 3 0 2 1 0 3 2 0 1 2 3 0 1 0 1 2 3 1 2 1 0 3 0 2 0 2 1 2 0 3 0 1 0 1 3 1 2 0 2 1 2 1 3 0 2 0 1 3 2 0 1 1 0 2 3 1 0 1 0 2 0 0 1 3 2 1 0 1 0 1 0 3 0 2 1 2 1 0 1 0 2 2 1 0 1 2 0 </values> 14.31/3.92 v </instantiation>
OK 3
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 (5822 MiB free) memory of node 1: 16384 MiB (11555 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404529-1568994801/watcher-4404529-1568994801 -o /tmp/evaluation-result-4404529-1568994801/solver-4404529-1568994801 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568991066-1424 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1523365411 HOME/instance-4404529-1568994801.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=1610, runsolver pid=1607 Current StackSize limit: 8192 KiB [startup+0.100134 s]* /proc/loadavg: 5.65 6.11 6.71 2/211 1631 /proc/meminfo: memFree=17777536/32770624 swapFree=66998140/67108860 [pid=1610] ppid=1607 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1610/stat : 1610 (xcsp3-exec) S 1607 1610 1397 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475734371 115843072 363 33554432000 4194304 5098028 140733624830768 140733624828872 140331228201596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16793600 140733624832885 140733624833129 140733624833129 140733624836042 0 /proc/1610/statm: 28282 363 305 221 0 87 0 [pid=1612] ppid=1610 vsize=28227396 memory=30492 CPUtime=0.11 cores=0-7 /proc/1612/stat : 1612 (java) S 1610 1610 1397 0 -1 1077944320 5517 0 0 0 10 1 0 0 20 0 20 0 475734372 28904853504 7623 33554432000 4194304 4196468 140727292580352 140727292562896 139636203601655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 /proc/1612/statm: 7056849 7623 3151 1 0 7019032 0 [pid=1612/tid=1613] ppid=1610 vsize=28227396 memory=-3103912127665269910 CPUtime=0.09 cores=0-7 /proc/1612/task/1613/stat : 1613 (java) R 1610 1610 1397 0 -1 4202560 3429 0 0 0 8 1 0 0 20 0 20 0 475734372 28904853504 7623 33554432000 4194304 4196468 140727292580352 139636207838080 139636203613590 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1614] ppid=1610 vsize=28227396 memory=3461361991549258287 CPUtime=0 cores=0-7 /proc/1612/task/1614/stat : 1614 (java) S 1610 1610 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475734373 28904853504 7623 33554432000 4194304 4196468 140727292580352 139636166707856 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1615] ppid=1610 vsize=28227396 memory=140628393834112 CPUtime=0 cores=0-7 /proc/1612/task/1615/stat : 1615 (java) S 1610 1610 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475734373 28904853504 7623 33554432000 4194304 4196468 140727292580352 139635753605648 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1616] ppid=1610 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1616/stat : 1616 (java) S 1610 1610 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475734373 28904853504 7623 33554432000 4194304 4196468 140727292580352 139635752552848 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1617] ppid=1610 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1617/stat : 1617 (java) S 1610 1610 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475734373 28904853504 7623 33554432000 4194304 4196468 140727292580352 139635751500048 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1618] ppid=1610 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1618/stat : 1618 (java) S 1610 1610 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475734373 28904853504 7623 33554432000 4194304 4196468 140727292580352 139635750448272 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1619] ppid=1610 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1612/task/1619/stat : 1619 (java) S 1610 1610 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475734373 28904853504 7623 33554432000 4194304 4196468 140727292580352 139635749395472 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1620] ppid=1610 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1620/stat : 1620 (java) S 1610 1610 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475734373 28904853504 7623 33554432000 4194304 4196468 140727292580352 139635748342672 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1621] ppid=1610 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1621/stat : 1621 (java) S 1610 1610 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475734373 28904853504 7623 33554432000 4194304 4196468 140727292580352 139635747289872 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1622] ppid=1610 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1622/stat : 1622 (java) S 1610 1610 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475734374 28904853504 7623 33554432000 4194304 4196468 140727292580352 139635454134640 139636203612802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1623] ppid=1610 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1623/stat : 1623 (java) S 1610 1610 1397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475734375 28904853504 7623 33554432000 4194304 4196468 140727292580352 139635453080608 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1624] ppid=1610 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1624/stat : 1624 (java) S 1610 1610 1397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475734375 28904853504 7623 33554432000 4194304 4196468 140727292580352 139635452027760 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1625] ppid=1610 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1625/stat : 1625 (java) S 1610 1610 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475734377 28904853504 7623 33554432000 4194304 4196468 140727292580352 139635450976080 139636203620251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1626] ppid=1610 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1626/stat : 1626 (java) S 1610 1610 1397 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 475734377 28904853504 7623 33554432000 4194304 4196468 140727292580352 139635449924464 139636203612802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1627] ppid=1610 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1627/stat : 1627 (java) S 1610 1610 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475734377 28904853504 7623 33554432000 4194304 4196468 140727292580352 139635448871664 139636203612802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1628] ppid=1610 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1628/stat : 1628 (java) S 1610 1610 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475734377 28904853504 7623 33554432000 4194304 4196468 140727292580352 139635447818864 139636203612802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1629] ppid=1610 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/1612/task/1629/stat : 1629 (java) S 1610 1610 1397 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 20 0 475734377 28904853504 7623 33554432000 4194304 4196468 140727292580352 139635446766064 139636203612802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1630] ppid=1610 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1630/stat : 1630 (java) S 1610 1610 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475734378 28904853504 7623 33554432000 4194304 4196468 140727292580352 139635445713504 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1631] ppid=1610 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1612/task/1631/stat : 1631 (java) S 1610 1610 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475734378 28904853504 7623 33554432000 4194304 4196468 140727292580352 139635444660784 139636203612802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31944 KiB [startup+0.210655 s]* /proc/loadavg: 5.65 6.11 6.71 3/211 1631 /proc/meminfo: memFree=17765028/32770624 swapFree=66998140/67108860 [pid=1610] ppid=1607 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1610/stat : 1610 (xcsp3-exec) S 1607 1610 1397 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475734371 115843072 363 33554432000 4194304 5098028 140733624830768 140733624828872 140331228201596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16793600 140733624832885 140733624833129 140733624833129 140733624836042 0 /proc/1610/statm: 28282 363 305 221 0 87 0 [pid=1612] ppid=1610 vsize=28227396 memory=41428 CPUtime=0.33 cores=0-7 /proc/1612/stat : 1612 (java) S 1610 1610 1397 0 -1 1077944320 9068 0 0 0 30 3 0 0 20 0 20 0 475734372 28904853504 10357 33554432000 4194304 4196468 140727292580352 140727292562896 139636203601655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 /proc/1612/statm: 7056849 10357 3275 1 0 7019032 0 [pid=1612/tid=1613] ppid=1610 vsize=28227396 memory=8390339637985935414 CPUtime=0.2 cores=0-7 /proc/1612/task/1613/stat : 1613 (java) R 1610 1610 1397 0 -1 4202560 6242 0 0 0 18 2 0 0 20 0 20 0 475734372 28904853504 10357 33554432000 4194304 4196468 140727292580352 139636207834384 139636203613590 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1614] ppid=1610 vsize=28227396 memory=288230596118052887 CPUtime=0 cores=0-7 /proc/1612/task/1614/stat : 1614 (java) S 1610 1610 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475734373 28904853504 10357 33554432000 4194304 4196468 140727292580352 139636166707856 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1615] ppid=1610 vsize=28227396 memory=3762676248480429728 CPUtime=0 cores=0-7 /proc/1612/task/1615/stat : 1615 (java) S 1610 1610 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475734373 28904853504 10357 33554432000 4194304 4196468 140727292580352 139635753605648 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1616] ppid=1610 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1616/stat : 1616 (java) S 1610 1610 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475734373 28904853504 10357 33554432000 4194304 4196468 140727292580352 139635752552848 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1617] ppid=1610 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1612/task/1617/stat : 1617 (java) S 1610 1610 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475734373 28904853504 10357 33554432000 4194304 4196468 140727292580352 139635751500048 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1618] ppid=1610 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1618/stat : 1618 (java) S 1610 1610 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475734373 28904853504 10357 33554432000 4194304 4196468 140727292580352 139635750448272 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1619] ppid=1610 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1612/task/1619/stat : 1619 (java) S 1610 1610 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475734373 28904853504 10357 33554432000 4194304 4196468 140727292580352 139635749395472 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1620] ppid=1610 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1620/stat : 1620 (java) S 1610 1610 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475734373 28904853504 10357 33554432000 4194304 4196468 140727292580352 139635748342672 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1621] ppid=1610 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1621/stat : 1621 (java) S 1610 1610 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475734373 28904853504 10357 33554432000 4194304 4196468 140727292580352 139635747289872 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1622] ppid=1610 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1622/stat : 1622 (java) S 1610 1610 1397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475734374 28904853504 10357 33554432000 4194304 4196468 140727292580352 139635454134640 139636203612802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1623] ppid=1610 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1623/stat : 1623 (java) S 1610 1610 1397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475734375 28904853504 10357 33554432000 4194304 4196468 140727292580352 139635453080608 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1624] ppid=1610 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1624/stat : 1624 (java) S 1610 1610 1397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475734375 28904853504 10357 33554432000 4194304 4196468 140727292580352 139635452027760 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1625] ppid=1610 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1625/stat : 1625 (java) S 1610 1610 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475734377 28904853504 10357 33554432000 4194304 4196468 140727292580352 139635450976080 139636203620251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1626] ppid=1610 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1626/stat : 1626 (java) S 1610 1610 1397 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 475734377 28904853504 10357 33554432000 4194304 4196468 140727292580352 139635449924464 139636203612802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1627] ppid=1610 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/1612/task/1627/stat : 1627 (java) S 1610 1610 1397 0 -1 1077944384 311 0 0 0 2 0 0 0 20 0 20 0 475734377 28904853504 10357 33554432000 4194304 4196468 140727292580352 139635448871664 139636203612802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1628] ppid=1610 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/1612/task/1628/stat : 1628 (java) S 1610 1610 1397 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 20 0 475734377 28904853504 10357 33554432000 4194304 4196468 140727292580352 139635447818864 139636203612802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1629] ppid=1610 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/1612/task/1629/stat : 1629 (java) R 1610 1610 1397 0 -1 4202560 737 0 0 0 7 0 0 0 20 0 20 0 475734377 28904853504 10357 33554432000 4194304 4196468 140727292580352 139635446766064 139636203613590 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1630] ppid=1610 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1630/stat : 1630 (java) S 1610 1610 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475734378 28904853504 10357 33554432000 4194304 4196468 140727292580352 139635445713504 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1631] ppid=1610 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1612/task/1631/stat : 1631 (java) S 1610 1610 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475734378 28904853504 10357 33554432000 4194304 4196468 140727292580352 139635444660784 139636203612802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42880 KiB [startup+0.310403 s]* /proc/loadavg: 5.65 6.11 6.71 3/211 1631 /proc/meminfo: memFree=17758004/32770624 swapFree=66998140/67108860 [pid=1610] ppid=1607 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1610/stat : 1610 (xcsp3-exec) S 1607 1610 1397 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475734371 115843072 363 33554432000 4194304 5098028 140733624830768 140733624828872 140331228201596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16793600 140733624832885 140733624833129 140733624833129 140733624836042 0 /proc/1610/statm: 28282 363 305 221 0 87 0 [pid=1612] ppid=1610 vsize=28231652 memory=49944 CPUtime=0.5 cores=0-7 /proc/1612/stat : 1612 (java) S 1610 1610 1397 0 -1 1077944320 10285 0 0 0 46 4 0 0 20 0 20 0 475734372 28909211648 12486 33554432000 4194304 4196468 140727292580352 140727292562896 139636203601655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 /proc/1612/statm: 7057913 12486 3335 1 0 7019032 0 [pid=1612/tid=1613] ppid=1610 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/1612/task/1613/stat : 1613 (java) R 1610 1610 1397 0 -1 4202560 7366 0 0 0 27 3 0 0 20 0 20 0 475734372 28909211648 12486 33554432000 4194304 4196468 140727292580352 139636207832768 139636187682142 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1614] ppid=1610 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/1612/task/1614/stat : 1614 (java) S 1610 1610 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475734373 28909211648 12486 33554432000 4194304 4196468 140727292580352 139636166707856 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1615] ppid=1610 vsize=28231652 memory=1056 CPUtime=0 cores=0-7 /proc/1612/task/1615/stat : 1615 (java) S 1610 1610 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475734373 28909211648 12486 33554432000 4194304 4196468 140727292580352 139635753605648 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1616] ppid=1610 vsize=28231652 memory=1720 CPUtime=0 cores=0-7 /proc/1612/task/1616/stat : 1616 (java) S 1610 1610 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475734373 28909211648 12486 33554432000 4194304 4196468 140727292580352 139635752552848 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1617] ppid=1610 vsize=28231652 memory=6140 CPUtime=0 cores=0-7 /proc/1612/task/1617/stat : 1617 (java) S 1610 1610 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475734373 28909211648 12486 33554432000 4194304 4196468 140727292580352 139635751500048 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1618] ppid=1610 vsize=28231652 memory=14012 CPUtime=0 cores=0-7 /proc/1612/task/1618/stat : 1618 (java) S 1610 1610 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475734373 28909211648 12486 33554432000 4194304 4196468 140727292580352 139635750448272 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1619] ppid=1610 vsize=28231652 memory=4104 CPUtime=0 cores=0-7 /proc/1612/task/1619/stat : 1619 (java) S 1610 1610 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475734373 28909211648 12486 33554432000 4194304 4196468 140727292580352 139635749395472 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1620] ppid=1610 vsize=28231652 memory=2116 CPUtime=0 cores=0-7 /proc/1612/task/1620/stat : 1620 (java) S 1610 1610 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475734373 28909211648 12486 33554432000 4194304 4196468 140727292580352 139635748342672 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1621] ppid=1610 vsize=28231652 memory=18572 CPUtime=0 cores=0-7 /proc/1612/task/1621/stat : 1621 (java) S 1610 1610 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475734373 28909211648 12486 33554432000 4194304 4196468 140727292580352 139635747289872 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1622] ppid=1610 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1622/stat : 1622 (java) S 1610 1610 1397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475734374 28909211648 12486 33554432000 4194304 4196468 140727292580352 139635454134640 139636203612802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1623] ppid=1610 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1623/stat : 1623 (java) S 1610 1610 1397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475734375 28909211648 12486 33554432000 4194304 4196468 140727292580352 139635453080608 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1624] ppid=1610 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1624/stat : 1624 (java) S 1610 1610 1397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475734375 28909211648 12486 33554432000 4194304 4196468 140727292580352 139635452027760 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1625] ppid=1610 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1625/stat : 1625 (java) S 1610 1610 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475734377 28909211648 12486 33554432000 4194304 4196468 140727292580352 139635450976080 139636203620251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1626] ppid=1610 vsize=28231652 memory=140628235224527 CPUtime=0 cores=0-7 /proc/1612/task/1626/stat : 1626 (java) S 1610 1610 1397 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 20 0 475734377 28909211648 12486 33554432000 4194304 4196468 140727292580352 139635449924464 139636203612802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1627] ppid=1610 vsize=28231652 memory=67 CPUtime=0.03 cores=0-7 /proc/1612/task/1627/stat : 1627 (java) S 1610 1610 1397 0 -1 1077944384 316 0 0 0 3 0 0 0 20 0 20 0 475734377 28909211648 12486 33554432000 4194304 4196468 140727292580352 139635448871664 139636203612802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1628] ppid=1610 vsize=28231652 memory=51172 CPUtime=0.02 cores=0-7 /proc/1612/task/1628/stat : 1628 (java) S 1610 1610 1397 0 -1 1077944384 80 0 0 0 2 0 0 0 20 0 20 0 475734377 28909211648 12486 33554432000 4194304 4196468 140727292580352 139635447818864 139636203612802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1629] ppid=1610 vsize=28231652 memory=53476 CPUtime=0.12 cores=0-7 /proc/1612/task/1629/stat : 1629 (java) S 1610 1610 1397 0 -1 1077944384 813 0 0 0 12 0 0 0 20 0 20 0 475734377 28909211648 12486 33554432000 4194304 4196468 140727292580352 139635446766064 139636203612802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1630] ppid=1610 vsize=28231652 memory=110297088 CPUtime=0 cores=0-7 /proc/1612/task/1630/stat : 1630 (java) S 1610 1610 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475734378 28909211648 12486 33554432000 4194304 4196468 140727292580352 139635445713504 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1631] ppid=1610 vsize=28231652 memory=115843071 CPUtime=0 cores=0-7 /proc/1612/task/1631/stat : 1631 (java) S 1610 1610 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475734378 28909211648 12486 33554432000 4194304 4196468 140727292580352 139635444660784 139636203612802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51396 KiB [startup+0.700995 s] /proc/loadavg: 5.65 6.11 6.71 4/211 1631 /proc/meminfo: memFree=17737200/32770624 swapFree=66998140/67108860 [pid=1610] ppid=1607 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1610/stat : 1610 (xcsp3-exec) S 1607 1610 1397 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475734371 115843072 363 33554432000 4194304 5098028 140733624830768 140733624828872 140331228201596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16793600 140733624832885 140733624833129 140733624833129 140733624836042 0 /proc/1610/statm: 28282 363 305 221 0 87 0 [pid=1612] ppid=1610 vsize=28233776 memory=116820 CPUtime=1.91 cores=0-7 /proc/1612/stat : 1612 (java) S 1610 1610 1397 0 -1 1077944320 15326 0 0 0 184 7 0 0 20 0 20 0 475734372 28911386624 29205 33554432000 4194304 4196468 140727292580352 140727292562896 139636203601655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 /proc/1612/statm: 7058444 29205 3451 1 0 7019544 0 [pid=1612/tid=1613] ppid=1610 vsize=28233776 memory=4580 CPUtime=0.68 cores=0-7 /proc/1612/task/1613/stat : 1613 (java) R 1610 1610 1397 0 -1 4202560 7954 0 0 0 64 4 0 0 20 0 20 0 475734372 28911386624 29205 33554432000 4194304 4196468 140727292580352 139636207839584 139635843375743 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1614] ppid=1610 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1614/stat : 1614 (java) S 1610 1610 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475734373 28911386624 29205 33554432000 4194304 4196468 140727292580352 139636166707856 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1615] ppid=1610 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1615/stat : 1615 (java) S 1610 1610 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475734373 28911386624 29205 33554432000 4194304 4196468 140727292580352 139635753605648 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1616] ppid=1610 vsize=28233776 memory=2024 CPUtime=0 cores=0-7 /proc/1612/task/1616/stat : 1616 (java) S 1610 1610 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475734373 28911386624 29205 33554432000 4194304 4196468 140727292580352 139635752552848 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 ################ # More data... # ################ /proc/1612/task/1630/stat : 1630 (java) S 1610 1610 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475734378 29458776064 165643 33554432000 4194304 4196468 140727292580352 139635445713504 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1631] ppid=1610 vsize=28768336 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/1612/task/1631/stat : 1631 (java) S 1610 1610 1397 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 28 0 475734378 29458776064 165643 33554432000 4194304 4196468 140727292580352 139635444660784 139636203612802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 Current children cumulated CPU time: 11.56 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 664024 KiB [startup+3.60104 s] /proc/loadavg: 5.20 6.01 6.67 12/219 1639 /proc/meminfo: memFree=17146256/32770624 swapFree=66998140/67108860 [pid=1610] ppid=1607 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1610/stat : 1610 (xcsp3-exec) S 1607 1610 1397 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475734371 115843072 363 33554432000 4194304 5098028 140733624830768 140733624828872 140331228201596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16793600 140733624832885 140733624833129 140733624833129 140733624836042 0 /proc/1610/statm: 28282 363 305 221 0 87 0 [pid=1612] ppid=1610 vsize=28768336 memory=663608 CPUtime=12.99 cores=0-7 /proc/1612/stat : 1612 (java) S 1610 1610 1397 0 -1 1077944320 36392 0 0 0 1254 45 0 0 20 0 28 0 475734372 29458776064 165902 33554432000 4194304 4196468 140727292580352 140727292562896 139636203601655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 /proc/1612/statm: 7192084 165902 3534 1 0 7153184 0 [pid=1612/tid=1613] ppid=1610 vsize=28768336 memory=7229214629986528365 CPUtime=2.67 cores=0-7 /proc/1612/task/1613/stat : 1613 (java) S 1610 1610 1397 0 -1 1077944384 10847 0 0 0 256 11 0 0 20 0 28 0 475734372 29458776064 165902 33554432000 4194304 4196468 140727292580352 139636207842432 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1614] ppid=1610 vsize=28768336 memory=7019467087923000881 CPUtime=0.1 cores=0-7 /proc/1612/task/1614/stat : 1614 (java) S 1610 1610 1397 0 -1 1077944384 132 0 0 0 7 3 0 0 20 0 28 0 475734373 29458776064 165902 33554432000 4194304 4196468 140727292580352 139636166707856 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1615] ppid=1610 vsize=28768336 memory=0 CPUtime=0.1 cores=0-7 /proc/1612/task/1615/stat : 1615 (java) S 1610 1610 1397 0 -1 1077944384 147 0 0 0 7 3 0 0 20 0 28 0 475734373 29458776064 165902 33554432000 4194304 4196468 140727292580352 139635753605648 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1616] ppid=1610 vsize=28768336 memory=0 CPUtime=0.1 cores=0-7 /proc/1612/task/1616/stat : 1616 (java) S 1610 1610 1397 0 -1 1077944384 604 0 0 0 7 3 0 0 20 0 28 0 475734373 29458776064 165902 33554432000 4194304 4196468 140727292580352 139635752552848 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1617] ppid=1610 vsize=28768336 memory=4420 CPUtime=0.11 cores=0-7 /proc/1612/task/1617/stat : 1617 (java) S 1610 1610 1397 0 -1 1077944384 201 0 0 0 8 3 0 0 20 0 28 0 475734373 29458776064 165902 33554432000 4194304 4196468 140727292580352 139635751500048 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1618] ppid=1610 vsize=28768336 memory=6628 CPUtime=0.11 cores=0-7 /proc/1612/task/1618/stat : 1618 (java) S 1610 1610 1397 0 -1 1077944384 216 0 0 0 8 3 0 0 20 0 28 0 475734373 29458776064 165902 33554432000 4194304 4196468 140727292580352 139635750448272 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1619] ppid=1610 vsize=28768336 memory=7014751519701095266 CPUtime=0.08 cores=0-7 /proc/1612/task/1619/stat : 1619 (java) S 1610 1610 1397 0 -1 1077944384 246 0 0 0 6 2 0 0 20 0 28 0 475734373 29458776064 165902 33554432000 4194304 4196468 140727292580352 139635749395472 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1620] ppid=1610 vsize=28768336 memory=6083627971794266453 CPUtime=0.1 cores=0-7 /proc/1612/task/1620/stat : 1620 (java) S 1610 1610 1397 0 -1 1077944384 185 0 0 0 7 3 0 0 20 0 28 0 475734373 29458776064 165902 33554432000 4194304 4196468 140727292580352 139635748342672 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1621] ppid=1610 vsize=28768336 memory=5793430569289935462 CPUtime=0.1 cores=0-7 /proc/1612/task/1621/stat : 1621 (java) S 1610 1610 1397 0 -1 1077944384 138 0 0 0 7 3 0 0 20 0 28 0 475734373 29458776064 165902 33554432000 4194304 4196468 140727292580352 139635747289872 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1622] ppid=1610 vsize=28768336 memory=8112282956445269571 CPUtime=0.01 cores=0-7 /proc/1612/task/1622/stat : 1622 (java) S 1610 1610 1397 0 -1 1077944384 755 0 0 0 1 0 0 0 20 0 28 0 475734374 29458776064 165902 33554432000 4194304 4196468 140727292580352 139635454134640 139636203612802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1623] ppid=1610 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1623/stat : 1623 (java) S 1610 1610 1397 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 475734375 29458776064 165902 33554432000 4194304 4196468 140727292580352 139635453080672 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1624] ppid=1610 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1624/stat : 1624 (java) S 1610 1610 1397 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 475734375 29458776064 165902 33554432000 4194304 4196468 140727292580352 139635452027776 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1625] ppid=1610 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1625/stat : 1625 (java) S 1610 1610 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475734377 29458776064 165902 33554432000 4194304 4196468 140727292580352 139635450976080 139636203620251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1626] ppid=1610 vsize=28768336 memory=0 CPUtime=1.92 cores=0-7 /proc/1612/task/1626/stat : 1626 (java) S 1610 1610 1397 0 -1 1077944384 5673 0 0 0 191 1 0 0 20 0 28 0 475734377 29458776064 165902 33554432000 4194304 4196468 140727292580352 139635449924464 139636203612802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1627] ppid=1610 vsize=28768336 memory=0 CPUtime=2.11 cores=0-7 /proc/1612/task/1627/stat : 1627 (java) R 1610 1610 1397 0 -1 4202560 6326 0 0 0 209 2 0 0 20 0 28 0 475734377 29458776064 165902 33554432000 4194304 4196468 140727292580352 139635448860224 139636188716833 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1628] ppid=1610 vsize=28768336 memory=0 CPUtime=2.03 cores=0-7 /proc/1612/task/1628/stat : 1628 (java) R 1610 1610 1397 0 -1 4202560 4969 0 0 0 202 1 0 0 20 0 28 0 475734377 29458776064 165902 33554432000 4194304 4196468 140727292580352 139635447818864 139636188507423 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1629] ppid=1610 vsize=28768336 memory=0 CPUtime=0.77 cores=0-7 /proc/1612/task/1629/stat : 1629 (java) S 1610 1610 1397 0 -1 1077944384 3769 0 0 0 76 1 0 0 20 0 28 0 475734377 29458776064 165902 33554432000 4194304 4196468 140727292580352 139635446766064 139636203612802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1630] ppid=1610 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1630/stat : 1630 (java) S 1610 1610 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475734378 29458776064 165902 33554432000 4194304 4196468 140727292580352 139635445713504 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1631] ppid=1610 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1631/stat : 1631 (java) S 1610 1610 1397 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 28 0 475734378 29458776064 165902 33554432000 4194304 4196468 140727292580352 139635444660784 139636203612802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 Current children cumulated CPU time: 12.99 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 665060 KiB [startup+3.80089 s] /proc/loadavg: 5.20 6.01 6.67 12/219 1639 /proc/meminfo: memFree=17146256/32770624 swapFree=66998140/67108860 [pid=1610] ppid=1607 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1610/stat : 1610 (xcsp3-exec) S 1607 1610 1397 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475734371 115843072 363 33554432000 4194304 5098028 140733624830768 140733624828872 140331228201596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16793600 140733624832885 140733624833129 140733624833129 140733624836042 0 /proc/1610/statm: 28282 363 305 221 0 87 0 [pid=1612] ppid=1610 vsize=28768336 memory=661800 CPUtime=14.04 cores=0-7 /proc/1612/stat : 1612 (java) S 1610 1610 1397 0 -1 1077944320 37025 0 0 0 1358 46 0 0 20 0 28 0 475734372 29458776064 165450 33554432000 4194304 4196468 140727292580352 140727292562896 139636203601655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 /proc/1612/statm: 7192084 165450 3534 1 0 7153184 0 [pid=1612/tid=1613] ppid=1610 vsize=28768336 memory=2670038 CPUtime=2.67 cores=0-7 /proc/1612/task/1613/stat : 1613 (java) S 1610 1610 1397 0 -1 1077944384 10847 0 0 0 256 11 0 0 20 0 28 0 475734372 29458776064 165450 33554432000 4194304 4196468 140727292580352 139636207842432 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1614] ppid=1610 vsize=28768336 memory=3369352 CPUtime=0.1 cores=0-7 /proc/1612/task/1614/stat : 1614 (java) S 1610 1610 1397 0 -1 1077944384 132 0 0 0 7 3 0 0 20 0 28 0 475734373 29458776064 165450 33554432000 4194304 4196468 140727292580352 139636166707856 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1615] ppid=1610 vsize=28768336 memory=0 CPUtime=0.1 cores=0-7 /proc/1612/task/1615/stat : 1615 (java) S 1610 1610 1397 0 -1 1077944384 147 0 0 0 7 3 0 0 20 0 28 0 475734373 29458776064 165450 33554432000 4194304 4196468 140727292580352 139635753605648 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1616] ppid=1610 vsize=28768336 memory=0 CPUtime=0.1 cores=0-7 /proc/1612/task/1616/stat : 1616 (java) S 1610 1610 1397 0 -1 1077944384 604 0 0 0 7 3 0 0 20 0 28 0 475734373 29458776064 165450 33554432000 4194304 4196468 140727292580352 139635752552848 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1617] ppid=1610 vsize=28768336 memory=0 CPUtime=0.11 cores=0-7 /proc/1612/task/1617/stat : 1617 (java) S 1610 1610 1397 0 -1 1077944384 201 0 0 0 8 3 0 0 20 0 28 0 475734373 29458776064 165450 33554432000 4194304 4196468 140727292580352 139635751500048 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1618] ppid=1610 vsize=28768336 memory=0 CPUtime=0.11 cores=0-7 /proc/1612/task/1618/stat : 1618 (java) S 1610 1610 1397 0 -1 1077944384 216 0 0 0 8 3 0 0 20 0 28 0 475734373 29458776064 165450 33554432000 4194304 4196468 140727292580352 139635750448272 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1619] ppid=1610 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7 /proc/1612/task/1619/stat : 1619 (java) S 1610 1610 1397 0 -1 1077944384 246 0 0 0 6 2 0 0 20 0 28 0 475734373 29458776064 165450 33554432000 4194304 4196468 140727292580352 139635749395472 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1620] ppid=1610 vsize=28768336 memory=0 CPUtime=0.1 cores=0-7 /proc/1612/task/1620/stat : 1620 (java) S 1610 1610 1397 0 -1 1077944384 185 0 0 0 7 3 0 0 20 0 28 0 475734373 29458776064 165450 33554432000 4194304 4196468 140727292580352 139635748342672 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1621] ppid=1610 vsize=28768336 memory=0 CPUtime=0.1 cores=0-7 /proc/1612/task/1621/stat : 1621 (java) S 1610 1610 1397 0 -1 1077944384 138 0 0 0 7 3 0 0 20 0 28 0 475734373 29458776064 165450 33554432000 4194304 4196468 140727292580352 139635747289872 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1622] ppid=1610 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/1612/task/1622/stat : 1622 (java) S 1610 1610 1397 0 -1 1077944384 755 0 0 0 1 0 0 0 20 0 28 0 475734374 29458776064 165450 33554432000 4194304 4196468 140727292580352 139635454134640 139636203612802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1623] ppid=1610 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1623/stat : 1623 (java) S 1610 1610 1397 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 475734375 29458776064 165450 33554432000 4194304 4196468 140727292580352 139635453080672 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1624] ppid=1610 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1624/stat : 1624 (java) S 1610 1610 1397 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 475734375 29458776064 165450 33554432000 4194304 4196468 140727292580352 139635452027776 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1625] ppid=1610 vsize=28768336 memory=281256470311488 CPUtime=0 cores=0-7 /proc/1612/task/1625/stat : 1625 (java) S 1610 1610 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475734377 29458776064 165450 33554432000 4194304 4196468 140727292580352 139635450976080 139636203620251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1626] ppid=1610 vsize=28768336 memory=140628235167008 CPUtime=2.03 cores=0-7 /proc/1612/task/1626/stat : 1626 (java) S 1610 1610 1397 0 -1 1077944384 5696 0 0 0 202 1 0 0 20 0 28 0 475734377 29458776064 165450 33554432000 4194304 4196468 140727292580352 139635449924464 139636203612802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1627] ppid=1610 vsize=28768336 memory=7378709737063471462 CPUtime=2.3 cores=0-7 /proc/1612/task/1627/stat : 1627 (java) R 1610 1610 1397 0 -1 4202560 6596 0 0 0 228 2 0 0 20 0 28 0 475734377 29458776064 165450 33554432000 4194304 4196468 140727292580352 139635448861584 139636184237588 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1628] ppid=1610 vsize=28768336 memory=7518312430197297488 CPUtime=2.17 cores=0-7 /proc/1612/task/1628/stat : 1628 (java) R 1610 1610 1397 0 -1 4202560 4985 0 0 0 216 1 0 0 20 0 28 0 475734377 29458776064 165450 33554432000 4194304 4196468 140727292580352 139635447800432 139636188523456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1629] ppid=1610 vsize=28768336 memory=6154007684881928292 CPUtime=0.8 cores=0-7 /proc/1612/task/1629/stat : 1629 (java) S 1610 1610 1397 0 -1 1077944384 3809 0 0 0 79 1 0 0 20 0 28 0 475734377 29458776064 165450 33554432000 4194304 4196468 140727292580352 139635446766064 139636203612802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1630] ppid=1610 vsize=28768336 memory=1128 CPUtime=0 cores=0-7 /proc/1612/task/1630/stat : 1630 (java) S 1610 1610 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475734378 29458776064 165450 33554432000 4194304 4196468 140727292580352 139635445713504 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1631] ppid=1610 vsize=28768336 memory=772 CPUtime=0 cores=0-7 /proc/1612/task/1631/stat : 1631 (java) S 1610 1610 1397 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 28 0 475734378 29458776064 165450 33554432000 4194304 4196468 140727292580352 139635444660784 139636203612802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 Current children cumulated CPU time: 14.04 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 663252 KiB [startup+3.90147 s] /proc/loadavg: 5.20 6.01 6.67 12/219 1639 /proc/meminfo: memFree=17146256/32770624 swapFree=66998140/67108860 [pid=1610] ppid=1607 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1610/stat : 1610 (xcsp3-exec) S 1607 1610 1397 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475734371 115843072 363 33554432000 4194304 5098028 140733624830768 140733624828872 140331228201596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16793600 140733624832885 140733624833129 140733624833129 140733624836042 0 /proc/1610/statm: 28282 363 305 221 0 87 0 [pid=1612] ppid=1610 vsize=28768336 memory=663132 CPUtime=14.31 cores=0-7 /proc/1612/stat : 1612 (java) S 1610 1610 1397 0 -1 1077944320 37374 0 0 0 1385 46 0 0 20 0 28 0 475734372 29458776064 165783 33554432000 4194304 4196468 140727292580352 140727292562896 139636203601655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 /proc/1612/statm: 7192084 165783 3534 1 0 7153184 0 [pid=1612/tid=1613] ppid=1610 vsize=28768336 memory=413688 CPUtime=2.67 cores=0-7 /proc/1612/task/1613/stat : 1613 (java) S 1610 1610 1397 0 -1 1077944384 10847 0 0 0 256 11 0 0 20 0 28 0 475734372 29458776064 165783 33554432000 4194304 4196468 140727292580352 139636207842432 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1614] ppid=1610 vsize=28768336 memory=0 CPUtime=0.1 cores=0-7 /proc/1612/task/1614/stat : 1614 (java) S 1610 1610 1397 0 -1 1077944384 132 0 0 0 7 3 0 0 20 0 28 0 475734373 29458776064 165783 33554432000 4194304 4196468 140727292580352 139636166707856 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1615] ppid=1610 vsize=28768336 memory=4420 CPUtime=0.1 cores=0-7 /proc/1612/task/1615/stat : 1615 (java) S 1610 1610 1397 0 -1 1077944384 147 0 0 0 7 3 0 0 20 0 28 0 475734373 29458776064 165783 33554432000 4194304 4196468 140727292580352 139635753605648 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1616] ppid=1610 vsize=28768336 memory=0 CPUtime=0.1 cores=0-7 /proc/1612/task/1616/stat : 1616 (java) S 1610 1610 1397 0 -1 1077944384 604 0 0 0 7 3 0 0 20 0 28 0 475734373 29458776064 165783 33554432000 4194304 4196468 140727292580352 139635752552848 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1617] ppid=1610 vsize=28768336 memory=6944656592455350634 CPUtime=0.11 cores=0-7 /proc/1612/task/1617/stat : 1617 (java) S 1610 1610 1397 0 -1 1077944384 201 0 0 0 8 3 0 0 20 0 28 0 475734373 29458776064 165783 33554432000 4194304 4196468 140727292580352 139635751500048 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1618] ppid=1610 vsize=28768336 memory=6944652177228980320 CPUtime=0.11 cores=0-7 /proc/1612/task/1618/stat : 1618 (java) S 1610 1610 1397 0 -1 1077944384 216 0 0 0 8 3 0 0 20 0 28 0 475734373 29458776064 165783 33554432000 4194304 4196468 140727292580352 139635750448272 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1619] ppid=1610 vsize=28768336 memory=6944656575208382560 CPUtime=0.08 cores=0-7 /proc/1612/task/1619/stat : 1619 (java) S 1610 1610 1397 0 -1 1077944384 246 0 0 0 6 2 0 0 20 0 28 0 475734373 29458776064 165783 33554432000 4194304 4196468 140727292580352 139635749395472 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1620] ppid=1610 vsize=28768336 memory=1452 CPUtime=0.1 cores=0-7 /proc/1612/task/1620/stat : 1620 (java) S 1610 1610 1397 0 -1 1077944384 185 0 0 0 7 3 0 0 20 0 28 0 475734373 29458776064 165783 33554432000 4194304 4196468 140727292580352 139635748342672 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1621] ppid=1610 vsize=28768336 memory=341224 CPUtime=0.1 cores=0-7 /proc/1612/task/1621/stat : 1621 (java) S 1610 1610 1397 0 -1 1077944384 138 0 0 0 7 3 0 0 20 0 28 0 475734373 29458776064 165783 33554432000 4194304 4196468 140727292580352 139635747289872 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1622] ppid=1610 vsize=28768336 memory=8257237230052613020 CPUtime=0.01 cores=0-7 /proc/1612/task/1622/stat : 1622 (java) S 1610 1610 1397 0 -1 1077944384 755 0 0 0 1 0 0 0 20 0 28 0 475734374 29458776064 165783 33554432000 4194304 4196468 140727292580352 139635454134640 139636203612802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1623] ppid=1610 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1623/stat : 1623 (java) S 1610 1610 1397 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 475734375 29458776064 165783 33554432000 4194304 4196468 140727292580352 139635453080672 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1624] ppid=1610 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1624/stat : 1624 (java) S 1610 1610 1397 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 475734375 29458776064 165783 33554432000 4194304 4196468 140727292580352 139635452027776 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1625] ppid=1610 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1625/stat : 1625 (java) S 1610 1610 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475734377 29458776064 165783 33554432000 4194304 4196468 140727292580352 139635450976080 139636203620251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1626] ppid=1610 vsize=28768336 memory=0 CPUtime=2.05 cores=0-7 /proc/1612/task/1626/stat : 1626 (java) R 1610 1610 1397 0 -1 4202560 5696 0 0 0 204 1 0 0 20 0 28 0 475734377 29458776064 165783 33554432000 4194304 4196468 140727292580352 139635449924760 139636182820296 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1627] ppid=1610 vsize=28768336 memory=4126316290023845779 CPUtime=2.38 cores=0-7 /proc/1612/task/1627/stat : 1627 (java) R 1610 1610 1397 0 -1 4202560 6934 0 0 0 236 2 0 0 20 0 28 0 475734377 29458776064 165783 33554432000 4194304 4196468 140727292580352 139635448871664 139636203623002 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1628] ppid=1610 vsize=28768336 memory=0 CPUtime=2.24 cores=0-7 /proc/1612/task/1628/stat : 1628 (java) R 1610 1610 1397 0 -1 4202560 4996 0 0 0 223 1 0 0 20 0 28 0 475734377 29458776064 165783 33554432000 4194304 4196468 140727292580352 139635447818864 139636185145814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1629] ppid=1610 vsize=28768336 memory=0 CPUtime=0.8 cores=0-7 /proc/1612/task/1629/stat : 1629 (java) S 1610 1610 1397 0 -1 1077944384 3809 0 0 0 79 1 0 0 20 0 28 0 475734377 29458776064 165783 33554432000 4194304 4196468 140727292580352 139635446766064 139636203612802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1630] ppid=1610 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1630/stat : 1630 (java) S 1610 1610 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475734378 29458776064 165783 33554432000 4194304 4196468 140727292580352 139635445713504 139636203611861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 [pid=1612/tid=1631] ppid=1610 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/1612/task/1631/stat : 1631 (java) S 1610 1610 1397 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 28 0 475734378 29458776064 165783 33554432000 4194304 4196468 140727292580352 139635444660784 139636203612802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14163968 140727292589034 140727292589206 140727292589206 140727292592079 0 Current children cumulated CPU time: 14.31 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 664584 KiB Child status: 0 Real time (s): 3.94327 CPU time (s): 14.3978 CPU user time (s): 13.9206 CPU system time (s): 0.477191 CPU usage (%): 365.124 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 665060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13.9206 system time used= 0.477191 maximum resident set size= 665168 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38002 page faults= 0 swaps= 0 block input operations= 0 block output operations= 160 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4365 involuntary context switches= 177 # summary of solver processes directly reported to runsolver: # pid: 1610 # total CPU time (s): 14.3978 # total CPU user time (s): 13.9206 # total CPU system time (s): 0.477191 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.045766 second user time and 0.085563 second system time The end
Begin job on node106 at 2019-09-20 16:52:00 IDJOB=4404529 IDBENCH=120628 IDSOLVER=2865 FILE ID=node106/4404529-1568994801 RUNJOBID= node106-1568991066-1424 PBS_JOBID= 21704730 Free space on /tmp= 23488 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-ash608GPIA.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4404529-1568994801/watcher-4404529-1568994801 -o /tmp/evaluation-result-4404529-1568994801/solver-4404529-1568994801 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568991066-1424 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1523365411 HOME/instance-4404529-1568994801.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0df69417c613ef889e63c8df69e0b506 RANDOM SEED=1523365411 node106.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.79 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.79 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.79 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.79 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: 17794016 kB MemAvailable: 31854152 kB Buffers: 61044 kB Cached: 14072404 kB SwapCached: 4044 kB Active: 6738500 kB Inactive: 7402800 kB Active(anon): 4396 kB Inactive(anon): 46076 kB Active(file): 6734104 kB Inactive(file): 7356724 kB Unevictable: 109088 kB Mlocked: 109088 kB SwapTotal: 67108860 kB SwapFree: 66998140 kB Dirty: 26372 kB Writeback: 0 kB AnonPages: 233564 kB Mapped: 48564 kB Shmem: 33904 kB Slab: 427288 kB SReclaimable: 397768 kB SUnreclaim: 29520 kB KernelStack: 3536 kB PageTables: 5276 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497576 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 190464 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 23460 MiB End job on node106 at 2019-09-20 16:52:04