Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 3 | 17.0891 | 4.69756 |
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.32046 |
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-4407229-1569346687.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407229-1569346687.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 8.60/2.78 c solve instance... 11.20/3.19 o 8 13.33/3.42 o 7 14.40/3.68 o 6 15.56/3.94 o 5 15.96/4.05 o 4 15.96/4.06 o 3 17.07/4.68 s OPTIMUM FOUND 17.07/4.68 v <instantiation> 17.07/4.68 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> 17.07/4.68 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> 17.07/4.68 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 (13219 MiB free) memory of node 1: 16384 MiB (11601 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407229-1569346687/watcher-4407229-1569346687 -o /tmp/evaluation-result-4407229-1569346687/solver-4407229-1569346687 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569336112-9884 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1201978005 HOME/instance-4407229-1569346687.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Starting watchdog thread solver pid=12822, runsolver pid=12819 Current StackSize limit: 8192 KiB [startup+0.100268 s]* /proc/loadavg: 7.91 8.02 8.13 3/210 12843 /proc/meminfo: memFree=25399196/32770624 swapFree=66941040/67108860 [pid=12822] ppid=12819 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/12822/stat : 12822 (xcsp3-exec) S 12819 12822 9857 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510939477 115843072 362 33554432000 4194304 5098028 140722444878800 140722444876904 139765244473980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25538560 140722444882811 140722444883054 140722444883054 140722444885962 0 /proc/12822/statm: 28282 362 304 221 0 87 0 [pid=12824] ppid=12822 vsize=28227396 memory=30084 CPUtime=0.12 cores=0-7 /proc/12824/stat : 12824 (java) S 12822 12822 9857 0 -1 1077944320 5486 0 0 0 11 1 0 0 20 0 20 0 510939477 28904853504 7521 33554432000 4194304 4196468 140721710045568 140721710028112 140251999776503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 /proc/12824/statm: 7056849 7521 3117 1 0 7019032 0 [pid=12824/tid=12825] ppid=12822 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/12824/task/12825/stat : 12825 (java) R 12822 12822 9857 0 -1 4202560 3401 0 0 0 8 0 0 0 20 0 20 0 510939477 28904853504 7521 33554432000 4194304 4196468 140721710045568 140252004000912 140251999788438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12826] ppid=12822 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/12824/task/12826/stat : 12826 (java) S 12822 12822 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 7521 33554432000 4194304 4196468 140721710045568 140251551095952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12827] ppid=12822 vsize=28227396 memory=140328465049216 CPUtime=0 cores=0-7 /proc/12824/task/12827/stat : 12827 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 7521 33554432000 4194304 4196468 140721710045568 140251550043152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12828] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12828/stat : 12828 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 7521 33554432000 4194304 4196468 140721710045568 140251548990352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12829] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12829/stat : 12829 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 7521 33554432000 4194304 4196468 140721710045568 140251547937552 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12830] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12830/stat : 12830 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 7521 33554432000 4194304 4196468 140721710045568 140251546884752 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12831] ppid=12822 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12824/task/12831/stat : 12831 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 7521 33554432000 4194304 4196468 140721710045568 140251545831952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12832] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12832/stat : 12832 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 7521 33554432000 4194304 4196468 140721710045568 140251544779152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12833] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12833/stat : 12833 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 7521 33554432000 4194304 4196468 140721710045568 140251543726352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12834] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12834/stat : 12834 (java) S 12822 12822 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510939479 28904853504 7521 33554432000 4194304 4196468 140721710045568 140250530642800 140251999787650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12835] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12835/stat : 12835 (java) S 12822 12822 9857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510939480 28904853504 7521 33554432000 4194304 4196468 140721710045568 140250529588768 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12836] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12836/stat : 12836 (java) S 12822 12822 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510939480 28904853504 7521 33554432000 4194304 4196468 140721710045568 140250528535920 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12837] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12837/stat : 12837 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939483 28904853504 7521 33554432000 4194304 4196468 140721710045568 140250527484240 140251999795099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12838] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12838/stat : 12838 (java) R 12822 12822 9857 0 -1 4202560 324 0 0 0 0 0 0 0 20 0 20 0 510939483 28904853504 7521 33554432000 4194304 4196468 140721710045568 140250526423248 140251983212241 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12839] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12839/stat : 12839 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510939483 28904853504 7521 33554432000 4194304 4196468 140721710045568 140250525378800 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12840] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12840/stat : 12840 (java) S 12822 12822 9857 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 510939483 28904853504 7521 33554432000 4194304 4196468 140721710045568 140250524326000 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12841] ppid=12822 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/12824/task/12841/stat : 12841 (java) R 12822 12822 9857 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 20 0 510939483 28904853504 7521 33554432000 4194304 4196468 140721710045568 140250523273200 140251978708528 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12842] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12842/stat : 12842 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510939483 28904853504 7521 33554432000 4194304 4196468 140721710045568 140250522221664 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12843] ppid=12822 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12824/task/12843/stat : 12843 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939483 28904853504 7521 33554432000 4194304 4196468 140721710045568 140250521168944 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31532 KiB [startup+0.210634 s]* /proc/loadavg: 7.91 8.02 8.13 3/210 12843 /proc/meminfo: memFree=25386688/32770624 swapFree=66941040/67108860 [pid=12822] ppid=12819 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/12822/stat : 12822 (xcsp3-exec) S 12819 12822 9857 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510939477 115843072 362 33554432000 4194304 5098028 140722444878800 140722444876904 139765244473980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25538560 140722444882811 140722444883054 140722444883054 140722444885962 0 /proc/12822/statm: 28282 362 304 221 0 87 0 [pid=12824] ppid=12822 vsize=28227396 memory=41264 CPUtime=0.34 cores=0-7 /proc/12824/stat : 12824 (java) S 12822 12822 9857 0 -1 1077944320 9038 0 0 0 31 3 0 0 20 0 20 0 510939477 28904853504 10316 33554432000 4194304 4196468 140721710045568 140721710028112 140251999776503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 /proc/12824/statm: 7056849 10316 3299 1 0 7019032 0 [pid=12824/tid=12825] ppid=12822 vsize=28227396 memory=29681743523217448 CPUtime=0.2 cores=0-7 /proc/12824/task/12825/stat : 12825 (java) R 12822 12822 9857 0 -1 4202560 6211 0 0 0 18 2 0 0 20 0 20 0 510939477 28904853504 10316 33554432000 4194304 4196468 140721710045568 140252004013264 140251999798429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12826] ppid=12822 vsize=28227396 memory=288230587528118625 CPUtime=0 cores=0-7 /proc/12824/task/12826/stat : 12826 (java) S 12822 12822 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 10316 33554432000 4194304 4196468 140721710045568 140251551095952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12827] ppid=12822 vsize=28227396 memory=140328465061603 CPUtime=0 cores=0-7 /proc/12824/task/12827/stat : 12827 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 10316 33554432000 4194304 4196468 140721710045568 140251550043152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12828] ppid=12822 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12824/task/12828/stat : 12828 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 10316 33554432000 4194304 4196468 140721710045568 140251548990352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12829] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12829/stat : 12829 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 10316 33554432000 4194304 4196468 140721710045568 140251547937552 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12830] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12830/stat : 12830 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 10316 33554432000 4194304 4196468 140721710045568 140251546884752 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12831] ppid=12822 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12824/task/12831/stat : 12831 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 10316 33554432000 4194304 4196468 140721710045568 140251545831952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12832] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12832/stat : 12832 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 10316 33554432000 4194304 4196468 140721710045568 140251544779152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12833] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12833/stat : 12833 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 10316 33554432000 4194304 4196468 140721710045568 140251543726352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12834] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12834/stat : 12834 (java) S 12822 12822 9857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510939479 28904853504 10316 33554432000 4194304 4196468 140721710045568 140250530642800 140251999787650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12835] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12835/stat : 12835 (java) S 12822 12822 9857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510939480 28904853504 10316 33554432000 4194304 4196468 140721710045568 140250529588768 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12836] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12836/stat : 12836 (java) S 12822 12822 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510939480 28904853504 10316 33554432000 4194304 4196468 140721710045568 140250528535920 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12837] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12837/stat : 12837 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939483 28904853504 10316 33554432000 4194304 4196468 140721710045568 140250527484240 140251999795099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12838] ppid=12822 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/12824/task/12838/stat : 12838 (java) S 12822 12822 9857 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 20 0 510939483 28904853504 10316 33554432000 4194304 4196468 140721710045568 140250526431600 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12839] ppid=12822 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/12824/task/12839/stat : 12839 (java) S 12822 12822 9857 0 -1 1077944384 186 0 0 0 1 0 0 0 20 0 20 0 510939483 28904853504 10316 33554432000 4194304 4196468 140721710045568 140250525378800 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12840] ppid=12822 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/12824/task/12840/stat : 12840 (java) S 12822 12822 9857 0 -1 1077944384 155 0 0 0 1 0 0 0 20 0 20 0 510939483 28904853504 10316 33554432000 4194304 4196468 140721710045568 140250524326000 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12841] ppid=12822 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/12824/task/12841/stat : 12841 (java) S 12822 12822 9857 0 -1 1077944384 735 0 0 0 8 0 0 0 20 0 20 0 510939483 28904853504 10316 33554432000 4194304 4196468 140721710045568 140250523273200 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12842] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12842/stat : 12842 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510939483 28904853504 10316 33554432000 4194304 4196468 140721710045568 140250522221664 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12843] ppid=12822 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12824/task/12843/stat : 12843 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939483 28904853504 10316 33554432000 4194304 4196468 140721710045568 140250521168944 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42712 KiB [startup+0.310272 s]* /proc/loadavg: 7.91 8.02 8.13 4/210 12843 /proc/meminfo: memFree=25379172/32770624 swapFree=66941040/67108860 [pid=12822] ppid=12819 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/12822/stat : 12822 (xcsp3-exec) S 12819 12822 9857 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510939477 115843072 362 33554432000 4194304 5098028 140722444878800 140722444876904 139765244473980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25538560 140722444882811 140722444883054 140722444883054 140722444885962 0 /proc/12822/statm: 28282 362 304 221 0 87 0 [pid=12824] ppid=12822 vsize=28231652 memory=50068 CPUtime=0.52 cores=0-7 /proc/12824/stat : 12824 (java) S 12822 12822 9857 0 -1 1077944320 10410 0 0 0 48 4 0 0 20 0 20 0 510939477 28909211648 12517 33554432000 4194304 4196468 140721710045568 140721710028112 140251999776503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 /proc/12824/statm: 7057913 12517 3339 1 0 7019032 0 [pid=12824/tid=12825] ppid=12822 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/12824/task/12825/stat : 12825 (java) R 12822 12822 9857 0 -1 4202560 7350 0 0 0 26 3 0 0 20 0 20 0 510939477 28909211648 12582 33554432000 4194304 4196468 140721710045568 140252004007616 140251983856990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12826] ppid=12822 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12826/stat : 12826 (java) S 12822 12822 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510939478 28909211648 12582 33554432000 4194304 4196468 140721710045568 140251551095952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12827] ppid=12822 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12827/stat : 12827 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28909211648 12586 33554432000 4194304 4196468 140721710045568 140251550043152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12828] ppid=12822 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12828/stat : 12828 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28909211648 12586 33554432000 4194304 4196468 140721710045568 140251548990352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12829] ppid=12822 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12829/stat : 12829 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28909211648 12586 33554432000 4194304 4196468 140721710045568 140251547937552 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12830] ppid=12822 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12830/stat : 12830 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28909211648 12586 33554432000 4194304 4196468 140721710045568 140251546884752 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12831] ppid=12822 vsize=28231652 memory=140328325704367 CPUtime=0 cores=0-7 /proc/12824/task/12831/stat : 12831 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28909211648 12586 33554432000 4194304 4196468 140721710045568 140251545831952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12832] ppid=12822 vsize=28231652 memory=140328325706672 CPUtime=0 cores=0-7 /proc/12824/task/12832/stat : 12832 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28909211648 12586 33554432000 4194304 4196468 140721710045568 140251544779152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12833] ppid=12822 vsize=28231652 memory=140328325708976 CPUtime=0 cores=0-7 /proc/12824/task/12833/stat : 12833 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510939478 28909211648 12586 33554432000 4194304 4196468 140721710045568 140251543726352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12834] ppid=12822 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12834/stat : 12834 (java) S 12822 12822 9857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510939479 28909211648 12586 33554432000 4194304 4196468 140721710045568 140250530642800 140251999787650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12835] ppid=12822 vsize=28231652 memory=280656651431824 CPUtime=0 cores=0-7 /proc/12824/task/12835/stat : 12835 (java) S 12822 12822 9857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510939480 28909211648 12586 33554432000 4194304 4196468 140721710045568 140250529588768 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12836] ppid=12822 vsize=28231652 memory=280656651429520 CPUtime=0 cores=0-7 /proc/12824/task/12836/stat : 12836 (java) S 12822 12822 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510939480 28909211648 12586 33554432000 4194304 4196468 140721710045568 140250528535920 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12837] ppid=12822 vsize=28231652 memory=280656651436432 CPUtime=0 cores=0-7 /proc/12824/task/12837/stat : 12837 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939483 28909211648 12586 33554432000 4194304 4196468 140721710045568 140250527484240 140251999795099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12838] ppid=12822 vsize=28231652 memory=280656651377712 CPUtime=0.02 cores=0-7 /proc/12824/task/12838/stat : 12838 (java) S 12822 12822 9857 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 20 0 510939483 28909211648 12586 33554432000 4194304 4196468 140721710045568 140250526431600 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12839] ppid=12822 vsize=28231652 memory=280656651450256 CPUtime=0.03 cores=0-7 /proc/12824/task/12839/stat : 12839 (java) R 12822 12822 9857 0 -1 4202560 298 0 0 0 3 0 0 0 20 0 20 0 510939483 28909211648 12586 33554432000 4194304 4196468 140721710045568 140250525369184 140251984888868 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12840] ppid=12822 vsize=28231652 memory=280656651457168 CPUtime=0.02 cores=0-7 /proc/12824/task/12840/stat : 12840 (java) S 12822 12822 9857 0 -1 1077944384 172 0 0 0 2 0 0 0 20 0 20 0 510939483 28909211648 12586 33554432000 4194304 4196468 140721710045568 140250524326000 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12841] ppid=12822 vsize=28231652 memory=280656651454864 CPUtime=0.12 cores=0-7 /proc/12824/task/12841/stat : 12841 (java) S 12822 12822 9857 0 -1 1077944384 845 0 0 0 12 0 0 0 20 0 20 0 510939483 28909211648 12586 33554432000 4194304 4196468 140721710045568 140250523273200 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12842] ppid=12822 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12842/stat : 12842 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510939483 28909211648 12586 33554432000 4194304 4196468 140721710045568 140250522221664 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12843] ppid=12822 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/12824/task/12843/stat : 12843 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939483 28909211648 12586 33554432000 4194304 4196468 140721710045568 140250521168944 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51516 KiB [startup+0.701023 s] /proc/loadavg: 7.91 8.02 8.13 4/210 12843 /proc/meminfo: memFree=25358604/32770624 swapFree=66941040/67108860 [pid=12822] ppid=12819 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/12822/stat : 12822 (xcsp3-exec) S 12819 12822 9857 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510939477 115843072 362 33554432000 4194304 5098028 140722444878800 140722444876904 139765244473980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25538560 140722444882811 140722444883054 140722444883054 140722444885962 0 /proc/12822/statm: 28282 362 304 221 0 87 0 [pid=12824] ppid=12822 vsize=28233776 memory=113372 CPUtime=1.92 cores=0-7 /proc/12824/stat : 12824 (java) S 12822 12822 9857 0 -1 1077944320 14962 0 0 0 186 6 0 0 20 0 20 0 510939477 28911386624 28343 33554432000 4194304 4196468 140721710045568 140721710028112 140251999776503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 /proc/12824/statm: 7058444 28343 3450 1 0 7019544 0 [pid=12824/tid=12825] ppid=12822 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/12824/task/12825/stat : 12825 (java) R 12822 12822 9857 0 -1 4202560 7880 0 0 0 63 4 0 0 20 0 20 0 510939477 28911386624 28343 33554432000 4194304 4196468 140721710045568 140252004010208 140251638623150 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12826] ppid=12822 vsize=28233776 memory=2353 CPUtime=0 cores=0-7 /proc/12824/task/12826/stat : 12826 (java) S 12822 12822 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510939478 28911386624 28343 33554432000 4194304 4196468 140721710045568 140251551095952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12827] ppid=12822 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12827/stat : 12827 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28911386624 28343 33554432000 4194304 4196468 140721710045568 140251550043152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12828] ppid=12822 vsize=28233776 memory=1416 CPUtime=0 cores=0-7 ################ # More data... # ################ /proc/loadavg: 7.60 7.95 8.11 4/218 12883 /proc/meminfo: memFree=24764228/32770624 swapFree=66941040/67108860 [pid=12822] ppid=12819 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/12822/stat : 12822 (xcsp3-exec) S 12819 12822 9857 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510939477 115843072 362 33554432000 4194304 5098028 140722444878800 140722444876904 139765244473980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25538560 140722444882811 140722444883054 140722444883054 140722444885962 0 /proc/12822/statm: 28282 362 304 221 0 87 0 [pid=12824] ppid=12822 vsize=28768336 memory=663348 CPUtime=15.96 cores=0-7 /proc/12824/stat : 12824 (java) S 12822 12822 9857 0 -1 1077944320 36667 0 0 0 1549 47 0 0 20 0 28 0 510939477 29458776064 165837 33554432000 4194304 4196468 140721710045568 140721710028112 140251999776503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 /proc/12824/statm: 7192084 165837 3528 1 0 7153184 0 [pid=12824/tid=12825] ppid=12822 vsize=28768336 memory=6791534058613427641 CPUtime=2.7 cores=0-7 /proc/12824/task/12825/stat : 12825 (java) S 12822 12822 9857 0 -1 1077944384 10745 0 0 0 260 10 0 0 20 0 28 0 510939477 29458776064 165837 33554432000 4194304 4196468 140721710045568 140252004017280 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12826] ppid=12822 vsize=28768336 memory=4126316290023845779 CPUtime=0.1 cores=0-7 /proc/12824/task/12826/stat : 12826 (java) S 12822 12822 9857 0 -1 1077944384 164 0 0 0 7 3 0 0 20 0 28 0 510939478 29458776064 165837 33554432000 4194304 4196468 140721710045568 140251551095952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12827] ppid=12822 vsize=28768336 memory=1448 CPUtime=0.1 cores=0-7 /proc/12824/task/12827/stat : 12827 (java) S 12822 12822 9857 0 -1 1077944384 169 0 0 0 7 3 0 0 20 0 28 0 510939478 29458776064 165837 33554432000 4194304 4196468 140721710045568 140251550043152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12828] ppid=12822 vsize=28768336 memory=1748 CPUtime=0.09 cores=0-7 /proc/12824/task/12828/stat : 12828 (java) S 12822 12822 9857 0 -1 1077944384 307 0 0 0 6 3 0 0 20 0 28 0 510939478 29458776064 165837 33554432000 4194304 4196468 140721710045568 140251548990352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12829] ppid=12822 vsize=28768336 memory=111632 CPUtime=0.09 cores=0-7 /proc/12824/task/12829/stat : 12829 (java) S 12822 12822 9857 0 -1 1077944384 140 0 0 0 6 3 0 0 20 0 28 0 510939478 29458776064 165837 33554432000 4194304 4196468 140721710045568 140251547937552 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12830] ppid=12822 vsize=28768336 memory=808 CPUtime=0.09 cores=0-7 /proc/12824/task/12830/stat : 12830 (java) S 12822 12822 9857 0 -1 1077944384 185 0 0 0 6 3 0 0 20 0 28 0 510939478 29458776064 165837 33554432000 4194304 4196468 140721710045568 140251546884752 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12831] ppid=12822 vsize=28768336 memory=1804 CPUtime=0.09 cores=0-7 /proc/12824/task/12831/stat : 12831 (java) S 12822 12822 9857 0 -1 1077944384 594 0 0 0 6 3 0 0 20 0 28 0 510939478 29458776064 165837 33554432000 4194304 4196468 140721710045568 140251545831952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12832] ppid=12822 vsize=28768336 memory=916 CPUtime=0.09 cores=0-7 /proc/12824/task/12832/stat : 12832 (java) S 12822 12822 9857 0 -1 1077944384 158 0 0 0 6 3 0 0 20 0 28 0 510939478 29458776064 165837 33554432000 4194304 4196468 140721710045568 140251544779152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12833] ppid=12822 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7 /proc/12824/task/12833/stat : 12833 (java) S 12822 12822 9857 0 -1 1077944384 112 0 0 0 6 3 0 0 20 0 28 0 510939478 29458776064 165837 33554432000 4194304 4196468 140721710045568 140251543726352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12834] ppid=12822 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/12824/task/12834/stat : 12834 (java) S 12822 12822 9857 0 -1 1077944384 732 0 0 0 1 0 0 0 20 0 28 0 510939479 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250530642800 140251999787650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12835] ppid=12822 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12835/stat : 12835 (java) S 12822 12822 9857 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 510939480 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250529588832 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12836] ppid=12822 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12836/stat : 12836 (java) S 12822 12822 9857 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 510939480 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250528535936 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12837] ppid=12822 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12837/stat : 12837 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510939483 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250527484240 140251999795099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12838] ppid=12822 vsize=28768336 memory=0 CPUtime=2.36 cores=0-7 /proc/12824/task/12838/stat : 12838 (java) R 12822 12822 9857 0 -1 4202560 5858 0 0 0 235 1 0 0 20 0 28 0 510939483 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250526431896 140251984062522 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12839] ppid=12822 vsize=28768336 memory=0 CPUtime=2.39 cores=0-7 /proc/12824/task/12839/stat : 12839 (java) R 12822 12822 9857 0 -1 4202560 5270 0 0 0 238 1 0 0 20 0 28 0 510939483 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250525368288 140251981320721 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12840] ppid=12822 vsize=28768336 memory=0 CPUtime=2.41 cores=0-7 /proc/12824/task/12840/stat : 12840 (java) S 12822 12822 9857 0 -1 1077944384 6088 0 0 0 240 1 0 0 20 0 28 0 510939483 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250524326000 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12841] ppid=12822 vsize=28768336 memory=0 CPUtime=0.79 cores=0-7 /proc/12824/task/12841/stat : 12841 (java) S 12822 12822 9857 0 -1 1077944384 3753 0 0 0 78 1 0 0 20 0 28 0 510939483 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250523273200 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12842] ppid=12822 vsize=28768336 memory=4049353029310363698 CPUtime=0 cores=0-7 /proc/12824/task/12842/stat : 12842 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510939483 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250522221664 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12843] ppid=12822 vsize=28768336 memory=4123100572737352760 CPUtime=0 cores=0-7 /proc/12824/task/12843/stat : 12843 (java) S 12822 12822 9857 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 510939483 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250521168944 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12876] ppid=12822 vsize=28768336 memory=3473455227061286196 CPUtime=0.01 cores=0-7 /proc/12824/task/12876/stat : 12876 (java) S 12822 12822 9857 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 28 0 510939871 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250507980672 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12877] ppid=12822 vsize=28768336 memory=7454130749351154278 CPUtime=0 cores=0-7 /proc/12824/task/12877/stat : 12877 (java) S 12822 12822 9857 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 510939871 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250511140048 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12878] ppid=12822 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7 /proc/12824/task/12878/stat : 12878 (java) R 12822 12822 9857 0 -1 4202560 19 0 0 0 5 0 0 0 20 0 28 0 510939871 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250510083392 140251637041526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12879] ppid=12822 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/12824/task/12879/stat : 12879 (java) S 12822 12822 9857 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 510939871 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250504823760 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12880] ppid=12822 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/12824/task/12880/stat : 12880 (java) S 12822 12822 9857 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 510939871 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250506928976 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12881] ppid=12822 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/12824/task/12881/stat : 12881 (java) S 12822 12822 9857 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 510939871 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250505876176 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12882] ppid=12822 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/12824/task/12882/stat : 12882 (java) S 12822 12822 9857 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 510939871 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250512193104 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12883] ppid=12822 vsize=28768336 memory=5936404468539617873 CPUtime=0 cores=0-7 /proc/12824/task/12883/stat : 12883 (java) S 12822 12822 9857 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 510939871 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250509034960 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 Current children cumulated CPU time: 15.96 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 664796 KiB [startup+4.40094 s] /proc/loadavg: 7.60 7.95 8.11 4/218 12883 /proc/meminfo: memFree=24764228/32770624 swapFree=66941040/67108860 [pid=12822] ppid=12819 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/12822/stat : 12822 (xcsp3-exec) S 12819 12822 9857 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510939477 115843072 362 33554432000 4194304 5098028 140722444878800 140722444876904 139765244473980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25538560 140722444882811 140722444883054 140722444883054 140722444885962 0 /proc/12822/statm: 28282 362 304 221 0 87 0 [pid=12824] ppid=12822 vsize=28768336 memory=664160 CPUtime=17.07 cores=0-7 /proc/12824/stat : 12824 (java) S 12822 12822 9857 0 -1 1077944320 37080 0 0 0 1660 47 0 0 20 0 18 0 510939477 29458776064 166040 33554432000 4194304 4196468 140721710045568 140721710028112 140251999776503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 /proc/12824/statm: 7192084 166040 3528 1 0 7153184 0 [pid=12824/tid=12825] ppid=12822 vsize=28768336 memory=6791534058613427641 CPUtime=2.7 cores=0-7 /proc/12824/task/12825/stat : 12825 (java) D 12822 12822 9857 0 -1 4202560 10751 0 0 0 260 10 0 0 20 0 18 0 510939477 29458776064 166040 33554432000 4194304 4196468 140721710045568 140252004019512 140251992462135 0 0 0 16800975 18446744072100686981 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12826] ppid=12822 vsize=28768336 memory=-2970219127293634922 CPUtime=0.1 cores=0-7 /proc/12824/task/12826/stat : 12826 (java) S 12822 12822 9857 0 -1 1077944384 164 0 0 0 7 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251551095952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12827] ppid=12822 vsize=28768336 memory=-7025452035942946156 CPUtime=0.1 cores=0-7 /proc/12824/task/12827/stat : 12827 (java) S 12822 12822 9857 0 -1 1077944384 169 0 0 0 7 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251550043152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12828] ppid=12822 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7 /proc/12824/task/12828/stat : 12828 (java) S 12822 12822 9857 0 -1 1077944384 307 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251548990352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12829] ppid=12822 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7 /proc/12824/task/12829/stat : 12829 (java) S 12822 12822 9857 0 -1 1077944384 140 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251547937552 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12830] ppid=12822 vsize=28768336 memory=-7737605721172012177 CPUtime=0.09 cores=0-7 /proc/12824/task/12830/stat : 12830 (java) S 12822 12822 9857 0 -1 1077944384 185 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251546884752 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12831] ppid=12822 vsize=28768336 memory=7661024744918380394 CPUtime=0.09 cores=0-7 /proc/12824/task/12831/stat : 12831 (java) S 12822 12822 9857 0 -1 1077944384 594 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251545831952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12832] ppid=12822 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7 /proc/12824/task/12832/stat : 12832 (java) S 12822 12822 9857 0 -1 1077944384 158 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251544779152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12833] ppid=12822 vsize=28768336 memory=288289986875491089 CPUtime=0.09 cores=0-7 /proc/12824/task/12833/stat : 12833 (java) S 12822 12822 9857 0 -1 1077944384 112 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251543726352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12835] ppid=12822 vsize=28768336 memory=4051050778339865182 CPUtime=0 cores=0-7 /proc/12824/task/12835/stat : 12835 (java) S 12822 12822 9857 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 18 0 510939480 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250529588832 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12836] ppid=12822 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12836/stat : 12836 (java) S 12822 12822 9857 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 18 0 510939480 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250528535936 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12837] ppid=12822 vsize=28768336 memory=140328465070801 CPUtime=0 cores=0-7 /proc/12824/task/12837/stat : 12837 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250527483888 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12838] ppid=12822 vsize=28768336 memory=7884224497273628736 CPUtime=2.55 cores=0-7 /proc/12824/task/12838/stat : 12838 (java) S 12822 12822 9857 0 -1 1077944384 5883 0 0 0 254 1 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250526416672 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12839] ppid=12822 vsize=28768336 memory=7597132098393106257 CPUtime=2.55 cores=0-7 /proc/12824/task/12839/stat : 12839 (java) S 12822 12822 9857 0 -1 1077944384 5308 0 0 0 254 1 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250525365920 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12840] ppid=12822 vsize=28768336 memory=663192 CPUtime=2.62 cores=0-7 /proc/12824/task/12840/stat : 12840 (java) S 12822 12822 9857 0 -1 1077944384 6123 0 0 0 261 1 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250524310512 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12841] ppid=12822 vsize=28768336 memory=1416 CPUtime=0.8 cores=0-7 /proc/12824/task/12841/stat : 12841 (java) S 12822 12822 9857 0 -1 1077944384 3773 0 0 0 79 1 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250523273200 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12842] ppid=12822 vsize=28768336 memory=10728 CPUtime=0 cores=0-7 /proc/12824/task/12842/stat : 12842 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250522221664 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 Current children cumulated CPU time: 17.07 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 665608 KiB [startup+4.60084 s] /proc/loadavg: 7.60 7.95 8.11 4/218 12883 /proc/meminfo: memFree=24764228/32770624 swapFree=66941040/67108860 [pid=12822] ppid=12819 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/12822/stat : 12822 (xcsp3-exec) S 12819 12822 9857 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510939477 115843072 362 33554432000 4194304 5098028 140722444878800 140722444876904 139765244473980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25538560 140722444882811 140722444883054 140722444883054 140722444885962 0 /proc/12822/statm: 28282 362 304 221 0 87 0 [pid=12824] ppid=12822 vsize=28768336 memory=664160 CPUtime=17.07 cores=0-7 /proc/12824/stat : 12824 (java) S 12822 12822 9857 0 -1 1077944320 37080 0 0 0 1660 47 0 0 20 0 18 0 510939477 29458776064 166040 33554432000 4194304 4196468 140721710045568 140721710028112 140251999776503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 /proc/12824/statm: 7192084 166040 3528 1 0 7153184 0 [pid=12824/tid=12825] ppid=12822 vsize=28768336 memory=2832 CPUtime=2.7 cores=0-7 /proc/12824/task/12825/stat : 12825 (java) D 12822 12822 9857 0 -1 4202560 10751 0 0 0 260 10 0 0 20 0 18 0 510939477 29458776064 166040 33554432000 4194304 4196468 140721710045568 140252004019512 140251992462135 0 0 0 16800975 18446744072100686981 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12826] ppid=12822 vsize=28768336 memory=784 CPUtime=0.1 cores=0-7 /proc/12824/task/12826/stat : 12826 (java) S 12822 12822 9857 0 -1 1077944384 164 0 0 0 7 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251551095952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12827] ppid=12822 vsize=28768336 memory=1060 CPUtime=0.1 cores=0-7 /proc/12824/task/12827/stat : 12827 (java) S 12822 12822 9857 0 -1 1077944384 169 0 0 0 7 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251550043152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12828] ppid=12822 vsize=28768336 memory=1724 CPUtime=0.09 cores=0-7 /proc/12824/task/12828/stat : 12828 (java) S 12822 12822 9857 0 -1 1077944384 307 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251548990352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12829] ppid=12822 vsize=28768336 memory=1096 CPUtime=0.09 cores=0-7 /proc/12824/task/12829/stat : 12829 (java) S 12822 12822 9857 0 -1 1077944384 140 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251547937552 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12830] ppid=12822 vsize=28768336 memory=1228 CPUtime=0.09 cores=0-7 /proc/12824/task/12830/stat : 12830 (java) S 12822 12822 9857 0 -1 1077944384 185 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251546884752 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12831] ppid=12822 vsize=28768336 memory=6140 CPUtime=0.09 cores=0-7 /proc/12824/task/12831/stat : 12831 (java) S 12822 12822 9857 0 -1 1077944384 594 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251545831952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12832] ppid=12822 vsize=28768336 memory=780 CPUtime=0.09 cores=0-7 /proc/12824/task/12832/stat : 12832 (java) S 12822 12822 9857 0 -1 1077944384 158 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251544779152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12833] ppid=12822 vsize=28768336 memory=14008 CPUtime=0.09 cores=0-7 /proc/12824/task/12833/stat : 12833 (java) S 12822 12822 9857 0 -1 1077944384 112 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251543726352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12835] ppid=12822 vsize=28768336 memory=33556 CPUtime=0 cores=0-7 /proc/12824/task/12835/stat : 12835 (java) S 12822 12822 9857 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 18 0 510939480 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250529588832 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12836] ppid=12822 vsize=28768336 memory=2116 CPUtime=0 cores=0-7 /proc/12824/task/12836/stat : 12836 (java) S 12822 12822 9857 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 18 0 510939480 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250528535936 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12837] ppid=12822 vsize=28768336 memory=12024 CPUtime=0 cores=0-7 /proc/12824/task/12837/stat : 12837 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250527483888 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12838] ppid=12822 vsize=28768336 memory=1560 CPUtime=2.55 cores=0-7 /proc/12824/task/12838/stat : 12838 (java) S 12822 12822 9857 0 -1 1077944384 5883 0 0 0 254 1 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250526416672 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12839] ppid=12822 vsize=28768336 memory=6481105650894 CPUtime=2.55 cores=0-7 /proc/12824/task/12839/stat : 12839 (java) S 12822 12822 9857 0 -1 1077944384 5308 0 0 0 254 1 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250525365920 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12840] ppid=12822 vsize=28768336 memory=6791534058613427641 CPUtime=2.62 cores=0-7 /proc/12824/task/12840/stat : 12840 (java) S 12822 12822 9857 0 -1 1077944384 6123 0 0 0 261 1 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250524310512 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12841] ppid=12822 vsize=28768336 memory=0 CPUtime=0.8 cores=0-7 /proc/12824/task/12841/stat : 12841 (java) S 12822 12822 9857 0 -1 1077944384 3773 0 0 0 79 1 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250523273200 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 [pid=12824/tid=12842] ppid=12822 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/12824/task/12842/stat : 12842 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250522221664 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0 Current children cumulated CPU time: 17.07 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 665608 KiB Child status: 0 Real time (s): 4.69756 CPU time (s): 17.0891 CPU user time (s): 16.6041 CPU system time (s): 0.485031 CPU usage (%): 363.788 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 665608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.6041 system time used= 0.485031 maximum resident set size= 664848 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37663 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4691 involuntary context switches= 176 # summary of solver processes directly reported to runsolver: # pid: 12822 # total CPU time (s): 17.0891 # total CPU user time (s): 16.6041 # total CPU system time (s): 0.485031 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.064763 second user time and 0.082708 second system time The end
Begin job on node139 at 2019-09-24 19:40:20 IDJOB=4407229 IDBENCH=120628 IDSOLVER=2872 FILE ID=node139/4407229-1569346687 RUNJOBID= node139-1569336112-9884 PBS_JOBID= 21705055 Free space on /tmp= 5144 MiB SOLVER NAME= choco-solver 2019-09-24 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-4407229-1569346687/watcher-4407229-1569346687 -o /tmp/evaluation-result-4407229-1569346687/solver-4407229-1569346687 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569336112-9884 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1201978005 HOME/instance-4407229-1569346687.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0df69417c613ef889e63c8df69e0b506 RANDOM SEED=1201978005 node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 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.57 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.57 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.57 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: 25417080 kB MemAvailable: 31781996 kB Buffers: 105124 kB Cached: 6348252 kB SwapCached: 64832 kB Active: 3224872 kB Inactive: 3297336 kB Active(anon): 3128 kB Inactive(anon): 121752 kB Active(file): 3221744 kB Inactive(file): 3175584 kB Unevictable: 107100 kB Mlocked: 107100 kB SwapTotal: 67108860 kB SwapFree: 66941040 kB Dirty: 26480 kB Writeback: 0 kB AnonPages: 112344 kB Mapped: 57240 kB Shmem: 47380 kB Slab: 425244 kB SReclaimable: 396048 kB SUnreclaim: 29196 kB KernelStack: 3312 kB PageTables: 5176 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505052 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 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= 5120 MiB End job on node139 at 2019-09-24 19:40:25