Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 3 | 14.6908 | 3.58941 |
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-4406929-1569344231.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406929-1569344231.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 9.44/2.87 c solve instance... 13.51/3.45 o 8 14.21/3.52 o 7 14.21/3.53 o 3 14.21/3.56 s OPTIMUM FOUND 14.21/3.56 v <instantiation> 14.21/3.56 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.21/3.56 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.21/3.56 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 (13555 MiB free) memory of node 1: 16384 MiB (14264 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406929-1569344231/watcher-4406929-1569344231 -o /var/tmp/evaluation-result-4406929-1569344231/solver-4406929-1569344231 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569335938-16167 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1229534081 HOME/instance-4406929-1569344231.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=17919, runsolver pid=17916 Current StackSize limit: 8192 KiB [startup+0.100135 s]* /proc/loadavg: 3.59 4.40 4.93 2/211 17940 /proc/meminfo: memFree=28471444/32770624 swapFree=67023920/67108860 [pid=17919] ppid=17916 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17919/stat : 17919 (xcsp3-exec) S 17916 17919 16140 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510695623 115843072 363 33554432000 4194304 5098028 140728081077712 140728081075816 140034655675004 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9814016 140728081085265 140728081085525 140728081085525 140728081088454 0 /proc/17919/statm: 28282 363 304 221 0 87 0 [pid=17921] ppid=17919 vsize=28227396 memory=30028 CPUtime=0.12 cores=0-7 /proc/17921/stat : 17921 (java) S 17919 17919 16140 0 -1 1077944320 5990 0 0 0 11 1 0 0 20 0 20 0 510695623 28904853504 7507 33554432000 4194304 4196468 140727541010944 140727540993488 139801310166775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 /proc/17921/statm: 7056849 7507 3121 1 0 7019032 0 [pid=17921/tid=17922] ppid=17919 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/17921/task/17922/stat : 17922 (java) R 17919 17919 16140 0 -1 4202560 3893 0 0 0 8 0 0 0 20 0 20 0 510695624 28904853504 7507 33554432000 4194304 4196468 140727541010944 139801314396192 139801310178710 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17923] ppid=17919 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/17921/task/17923/stat : 17923 (java) S 17919 17919 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510695624 28904853504 7507 33554432000 4194304 4196468 140727541010944 139801262787600 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17924] ppid=17919 vsize=28227396 memory=139953819838080 CPUtime=0 cores=0-7 /proc/17921/task/17924/stat : 17924 (java) S 17919 17919 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510695624 28904853504 7507 33554432000 4194304 4196468 140727541010944 139801261735056 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17925] ppid=17919 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17925/stat : 17925 (java) S 17919 17919 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510695624 28904853504 7507 33554432000 4194304 4196468 140727541010944 139801260682000 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17926] ppid=17919 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17926/stat : 17926 (java) S 17919 17919 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510695624 28904853504 7507 33554432000 4194304 4196468 140727541010944 139801259629456 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17927] ppid=17919 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17927/stat : 17927 (java) S 17919 17919 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510695624 28904853504 7507 33554432000 4194304 4196468 140727541010944 139801258576400 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17928] ppid=17919 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17921/task/17928/stat : 17928 (java) S 17919 17919 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510695624 28904853504 7507 33554432000 4194304 4196468 140727541010944 139801257523856 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17929] ppid=17919 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17929/stat : 17929 (java) S 17919 17919 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510695624 28904853504 7507 33554432000 4194304 4196468 140727541010944 139801256470800 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17930] ppid=17919 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17930/stat : 17930 (java) S 17919 17919 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510695624 28904853504 7507 33554432000 4194304 4196468 140727541010944 139801255418256 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17931] ppid=17919 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17931/stat : 17931 (java) S 17919 17919 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510695626 28904853504 7507 33554432000 4194304 4196468 140727541010944 139799689190128 139801310177922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17932] ppid=17919 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17932/stat : 17932 (java) S 17919 17919 16140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510695626 28904853504 7507 33554432000 4194304 4196468 140727541010944 139799688136352 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17933] ppid=17919 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17933/stat : 17933 (java) S 17919 17919 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510695627 28904853504 7507 33554432000 4194304 4196468 140727541010944 139799687083248 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17934] ppid=17919 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17934/stat : 17934 (java) S 17919 17919 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510695629 28904853504 7507 33554432000 4194304 4196468 140727541010944 139799686031824 139801310185371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17935] ppid=17919 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17935/stat : 17935 (java) S 17919 17919 16140 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 20 0 510695629 28904853504 7507 33554432000 4194304 4196468 140727541010944 139799684978928 139801310177922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17936] ppid=17919 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17936/stat : 17936 (java) S 17919 17919 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510695629 28904853504 7507 33554432000 4194304 4196468 140727541010944 139799683926384 139801310177922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17937] ppid=17919 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17937/stat : 17937 (java) S 17919 17919 16140 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 510695629 28904853504 7507 33554432000 4194304 4196468 140727541010944 139799682873328 139801310177922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17938] ppid=17919 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/17921/task/17938/stat : 17938 (java) R 17919 17919 16140 0 -1 4202560 335 0 0 0 2 0 0 0 20 0 20 0 510695629 28904853504 7507 33554432000 4194304 4196468 140727541010944 139799681820784 139801310178710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17939] ppid=17919 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17939/stat : 17939 (java) S 17919 17919 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510695629 28904853504 7507 33554432000 4194304 4196468 140727541010944 139799680768992 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17940] ppid=17919 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17921/task/17940/stat : 17940 (java) S 17919 17919 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510695630 28904853504 7507 33554432000 4194304 4196468 140727541010944 139799679716528 139801310177922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31480 KiB [startup+0.210426 s]* /proc/loadavg: 3.59 4.40 4.93 2/211 17940 /proc/meminfo: memFree=28458324/32770624 swapFree=67023920/67108860 [pid=17919] ppid=17916 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17919/stat : 17919 (xcsp3-exec) S 17916 17919 16140 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510695623 115843072 363 33554432000 4194304 5098028 140728081077712 140728081075816 140034655675004 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9814016 140728081085265 140728081085525 140728081085525 140728081088454 0 /proc/17919/statm: 28282 363 304 221 0 87 0 [pid=17921] ppid=17919 vsize=28227396 memory=41488 CPUtime=0.33 cores=0-7 /proc/17921/stat : 17921 (java) S 17919 17919 16140 0 -1 1077944320 9580 0 0 0 31 2 0 0 20 0 20 0 510695623 28904853504 10372 33554432000 4194304 4196468 140727541010944 140727540993488 139801310166775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 /proc/17921/statm: 7056849 10372 3309 1 0 7019032 0 [pid=17921/tid=17922] ppid=17919 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/17921/task/17922/stat : 17922 (java) R 17919 17919 16140 0 -1 4202560 6712 0 0 0 18 2 0 0 20 0 20 0 510695624 28904853504 10372 33554432000 4194304 4196468 140727541010944 139801314398016 139801294247262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17923] ppid=17919 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/17921/task/17923/stat : 17923 (java) S 17919 17919 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510695624 28904853504 10372 33554432000 4194304 4196468 140727541010944 139801262787600 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17924] ppid=17919 vsize=28227396 memory=288370329971549824 CPUtime=0 cores=0-7 /proc/17921/task/17924/stat : 17924 (java) S 17919 17919 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510695624 28904853504 10372 33554432000 4194304 4196468 140727541010944 139801261735056 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17925] ppid=17919 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17921/task/17925/stat : 17925 (java) S 17919 17919 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510695624 28904853504 10372 33554432000 4194304 4196468 140727541010944 139801260682000 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17926] ppid=17919 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17926/stat : 17926 (java) S 17919 17919 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510695624 28904853504 10372 33554432000 4194304 4196468 140727541010944 139801259629456 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17927] ppid=17919 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17927/stat : 17927 (java) S 17919 17919 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510695624 28904853504 10372 33554432000 4194304 4196468 140727541010944 139801258576400 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17928] ppid=17919 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17921/task/17928/stat : 17928 (java) S 17919 17919 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510695624 28904853504 10372 33554432000 4194304 4196468 140727541010944 139801257523856 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17929] ppid=17919 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17929/stat : 17929 (java) S 17919 17919 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510695624 28904853504 10372 33554432000 4194304 4196468 140727541010944 139801256470800 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17930] ppid=17919 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17930/stat : 17930 (java) S 17919 17919 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510695624 28904853504 10372 33554432000 4194304 4196468 140727541010944 139801255418256 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17931] ppid=17919 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17931/stat : 17931 (java) S 17919 17919 16140 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510695626 28904853504 10372 33554432000 4194304 4196468 140727541010944 139799689190128 139801310177922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17932] ppid=17919 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17932/stat : 17932 (java) S 17919 17919 16140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510695626 28904853504 10372 33554432000 4194304 4196468 140727541010944 139799688136352 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17933] ppid=17919 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17933/stat : 17933 (java) S 17919 17919 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510695627 28904853504 10372 33554432000 4194304 4196468 140727541010944 139799687083248 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17934] ppid=17919 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17934/stat : 17934 (java) S 17919 17919 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510695629 28904853504 10372 33554432000 4194304 4196468 140727541010944 139799686031824 139801310185371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17935] ppid=17919 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17921/task/17935/stat : 17935 (java) S 17919 17919 16140 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 20 0 510695629 28904853504 10372 33554432000 4194304 4196468 140727541010944 139799684978928 139801310177922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17936] ppid=17919 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17921/task/17936/stat : 17936 (java) S 17919 17919 16140 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 20 0 510695629 28904853504 10372 33554432000 4194304 4196468 140727541010944 139799683926384 139801310177922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17937] ppid=17919 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/17921/task/17937/stat : 17937 (java) S 17919 17919 16140 0 -1 1077944384 429 0 0 0 1 0 0 0 20 0 20 0 510695629 28904853504 10372 33554432000 4194304 4196468 140727541010944 139799682873328 139801310177922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17938] ppid=17919 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/17921/task/17938/stat : 17938 (java) R 17919 17919 16140 0 -1 4202560 690 0 0 0 8 0 0 0 20 0 20 0 510695629 28904853504 10372 33554432000 4194304 4196468 140727541010944 139799681820592 139801288822640 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17939] ppid=17919 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17939/stat : 17939 (java) S 17919 17919 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510695629 28904853504 10372 33554432000 4194304 4196468 140727541010944 139799680768992 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17940] ppid=17919 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17921/task/17940/stat : 17940 (java) S 17919 17919 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510695630 28904853504 10372 33554432000 4194304 4196468 140727541010944 139799679716528 139801310177922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42940 KiB [startup+0.309715 s]* /proc/loadavg: 3.59 4.40 4.93 4/211 17940 /proc/meminfo: memFree=28451848/32770624 swapFree=67023920/67108860 [pid=17919] ppid=17916 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17919/stat : 17919 (xcsp3-exec) S 17916 17919 16140 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510695623 115843072 363 33554432000 4194304 5098028 140728081077712 140728081075816 140034655675004 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9814016 140728081085265 140728081085525 140728081085525 140728081088454 0 /proc/17919/statm: 28282 363 304 221 0 87 0 [pid=17921] ppid=17919 vsize=28231652 memory=49984 CPUtime=0.52 cores=0-7 /proc/17921/stat : 17921 (java) S 17919 17919 16140 0 -1 1077944320 10866 0 0 0 48 4 0 0 20 0 20 0 510695623 28909211648 12496 33554432000 4194304 4196468 140727541010944 140727540993488 139801310166775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 /proc/17921/statm: 7057913 12496 3349 1 0 7019032 0 [pid=17921/tid=17922] ppid=17919 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/17921/task/17922/stat : 17922 (java) R 17919 17919 16140 0 -1 4202560 7800 0 0 0 27 3 0 0 20 0 20 0 510695624 28909211648 12496 33554432000 4194304 4196468 140727541010944 139801314397888 139801294247262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17923] ppid=17919 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17923/stat : 17923 (java) S 17919 17919 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510695624 28909211648 12496 33554432000 4194304 4196468 140727541010944 139801262787600 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17924] ppid=17919 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17924/stat : 17924 (java) S 17919 17919 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510695624 28909211648 12496 33554432000 4194304 4196468 140727541010944 139801261735056 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17925] ppid=17919 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17925/stat : 17925 (java) S 17919 17919 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510695624 28909211648 12496 33554432000 4194304 4196468 140727541010944 139801260682000 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17926] ppid=17919 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17926/stat : 17926 (java) S 17919 17919 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510695624 28909211648 12496 33554432000 4194304 4196468 140727541010944 139801259629456 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17927] ppid=17919 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/17921/task/17927/stat : 17927 (java) S 17919 17919 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510695624 28909211648 12496 33554432000 4194304 4196468 140727541010944 139801258576400 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17928] ppid=17919 vsize=28231652 memory=139953656918959 CPUtime=0 cores=0-7 /proc/17921/task/17928/stat : 17928 (java) S 17919 17919 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510695624 28909211648 12496 33554432000 4194304 4196468 140727541010944 139801257523856 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17929] ppid=17919 vsize=28231652 memory=139953656921264 CPUtime=0 cores=0-7 /proc/17921/task/17929/stat : 17929 (java) S 17919 17919 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510695624 28909211648 12496 33554432000 4194304 4196468 140727541010944 139801256470800 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17930] ppid=17919 vsize=28231652 memory=139953656923568 CPUtime=0 cores=0-7 /proc/17921/task/17930/stat : 17930 (java) S 17919 17919 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510695624 28909211648 12496 33554432000 4194304 4196468 140727541010944 139801255418256 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17931] ppid=17919 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17931/stat : 17931 (java) S 17919 17919 16140 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510695626 28909211648 12496 33554432000 4194304 4196468 140727541010944 139799689190128 139801310177922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17932] ppid=17919 vsize=28231652 memory=279907313854096 CPUtime=0 cores=0-7 /proc/17921/task/17932/stat : 17932 (java) S 17919 17919 16140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510695626 28909211648 12496 33554432000 4194304 4196468 140727541010944 139799688136352 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17933] ppid=17919 vsize=28231652 memory=279907313861008 CPUtime=0 cores=0-7 /proc/17921/task/17933/stat : 17933 (java) S 17919 17919 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510695627 28909211648 12496 33554432000 4194304 4196468 140727541010944 139799687083248 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17934] ppid=17919 vsize=28231652 memory=279907313802288 CPUtime=0 cores=0-7 /proc/17921/task/17934/stat : 17934 (java) S 17919 17919 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510695629 28909211648 12496 33554432000 4194304 4196468 140727541010944 139799686031824 139801310185371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17935] ppid=17919 vsize=28231652 memory=279907313874832 CPUtime=0.03 cores=0-7 /proc/17921/task/17935/stat : 17935 (java) R 17919 17919 16140 0 -1 4202560 495 0 0 0 3 0 0 0 20 0 20 0 510695629 28909211648 12496 33554432000 4194304 4196468 140727541010944 139799684978928 139801289413204 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17936] ppid=17919 vsize=28231652 memory=279907313881744 CPUtime=0.01 cores=0-7 /proc/17921/task/17936/stat : 17936 (java) S 17919 17919 16140 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 20 0 510695629 28909211648 12496 33554432000 4194304 4196468 140727541010944 139799683926384 139801310177922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17937] ppid=17919 vsize=28231652 memory=279907313879440 CPUtime=0.03 cores=0-7 /proc/17921/task/17937/stat : 17937 (java) S 17919 17919 16140 0 -1 1077944384 441 0 0 0 3 0 0 0 20 0 20 0 510695629 28909211648 12496 33554432000 4194304 4196468 140727541010944 139799682873328 139801310177922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17938] ppid=17919 vsize=28231652 memory=279907313895600 CPUtime=0.12 cores=0-7 /proc/17921/task/17938/stat : 17938 (java) S 17919 17919 16140 0 -1 1077944384 786 0 0 0 12 0 0 0 20 0 20 0 510695629 28909211648 12496 33554432000 4194304 4196468 140727541010944 139799681820784 139801310177922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17939] ppid=17919 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17939/stat : 17939 (java) S 17919 17919 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510695629 28909211648 12496 33554432000 4194304 4196468 140727541010944 139799680768992 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17940] ppid=17919 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/17921/task/17940/stat : 17940 (java) S 17919 17919 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510695630 28909211648 12496 33554432000 4194304 4196468 140727541010944 139799679716528 139801310177922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51436 KiB [startup+0.701022 s] /proc/loadavg: 3.59 4.40 4.93 4/211 17940 /proc/meminfo: memFree=28430692/32770624 swapFree=67023920/67108860 [pid=17919] ppid=17916 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17919/stat : 17919 (xcsp3-exec) S 17916 17919 16140 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510695623 115843072 363 33554432000 4194304 5098028 140728081077712 140728081075816 140034655675004 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9814016 140728081085265 140728081085525 140728081085525 140728081088454 0 /proc/17919/statm: 28282 363 304 221 0 87 0 [pid=17921] ppid=17919 vsize=28233776 memory=116284 CPUtime=1.92 cores=0-7 /proc/17921/stat : 17921 (java) S 17919 17919 16140 0 -1 1077944320 15701 0 0 0 187 5 0 0 20 0 20 0 510695623 28911386624 29071 33554432000 4194304 4196468 140727541010944 140727540993488 139801310166775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 /proc/17921/statm: 7058444 29071 3450 1 0 7019544 0 [pid=17921/tid=17922] ppid=17919 vsize=28233776 memory=279907314253488 CPUtime=0.67 cores=0-7 /proc/17921/task/17922/stat : 17922 (java) R 17919 17919 16140 0 -1 4202560 8431 0 0 0 64 3 0 0 20 0 20 0 510695624 28911386624 29071 33554432000 4194304 4196468 140727541010944 139801314403232 139800934959942 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17923] ppid=17919 vsize=28233776 memory=139953657127792 CPUtime=0 cores=0-7 /proc/17921/task/17923/stat : 17923 (java) S 17919 17919 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510695624 28911386624 29071 33554432000 4194304 4196468 140727541010944 139801262787600 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17924] ppid=17919 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17924/stat : 17924 (java) S 17919 17919 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510695624 28911386624 29071 33554432000 4194304 4196468 140727541010944 139801261735056 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17925] ppid=17919 vsize=28233776 memory=1076 CPUtime=0 cores=0-7 /proc/17921/task/17925/stat : 17925 (java) S 17919 17919 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510695624 28911386624 29071 33554432000 4194304 4196468 140727541010944 139801260682000 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 ################ # More data... # ################ [pid=17921/tid=17930] ppid=17919 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7 /proc/17921/task/17930/stat : 17930 (java) S 17919 17919 16140 0 -1 1077944384 574 0 0 0 5 1 0 0 20 0 28 0 510695624 29458776064 154496 33554432000 4194304 4196468 140727541010944 139801255418256 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17931] ppid=17919 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/17921/task/17931/stat : 17931 (java) S 17919 17919 16140 0 -1 1077944384 423 0 0 0 1 0 0 0 20 0 28 0 510695626 29458776064 154496 33554432000 4194304 4196468 140727541010944 139799689190128 139801310177922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17932] ppid=17919 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17932/stat : 17932 (java) S 17919 17919 16140 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 510695626 29458776064 154496 33554432000 4194304 4196468 140727541010944 139799688136416 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17933] ppid=17919 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17933/stat : 17933 (java) S 17919 17919 16140 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 510695627 29458776064 154496 33554432000 4194304 4196468 140727541010944 139799687083264 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17934] ppid=17919 vsize=28768336 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/17921/task/17934/stat : 17934 (java) S 17919 17919 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510695629 29458776064 154496 33554432000 4194304 4196468 140727541010944 139799686031824 139801310185371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17935] ppid=17919 vsize=28768336 memory=0 CPUtime=2.04 cores=0-7 /proc/17921/task/17935/stat : 17935 (java) R 17919 17919 16140 0 -1 4202560 6592 0 1 0 202 2 0 0 20 0 28 0 510695629 29458776064 154496 33554432000 4194304 4196468 140727541010944 139799684963888 139801295283919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17936] ppid=17919 vsize=28768336 memory=0 CPUtime=1.95 cores=0-7 /proc/17921/task/17936/stat : 17936 (java) R 17919 17919 16140 0 -1 4202560 5449 0 0 0 194 1 0 0 20 0 28 0 510695629 29458776064 154496 33554432000 4194304 4196468 140727541010944 139799683912352 139801290866106 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17937] ppid=17919 vsize=28768336 memory=0 CPUtime=2.17 cores=0-7 /proc/17921/task/17937/stat : 17937 (java) R 17919 17919 16140 0 -1 4202560 7597 0 0 0 216 1 0 0 20 0 28 0 510695629 29458776064 154496 33554432000 4194304 4196468 140727541010944 139799682859680 139801291711009 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17938] ppid=17919 vsize=28768336 memory=0 CPUtime=0.67 cores=0-7 /proc/17921/task/17938/stat : 17938 (java) R 17919 17919 16140 0 -1 1077944384 3275 0 0 0 66 1 0 0 20 0 28 0 510695629 29458776064 154496 33554432000 4194304 4196468 140727541010944 139799681820784 139801310177922 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17939] ppid=17919 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17939/stat : 17939 (java) S 17919 17919 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510695629 29458776064 154496 33554432000 4194304 4196468 140727541010944 139799680768992 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17940] ppid=17919 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17940/stat : 17940 (java) S 17919 17919 16140 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 510695630 29458776064 154496 33554432000 4194304 4196468 140727541010944 139799679716528 139801310177922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17941] ppid=17919 vsize=28768336 memory=0 CPUtime=0.18 cores=0-7 /proc/17921/task/17941/stat : 17941 (java) R 17919 17919 16140 0 -1 4202560 64 0 0 0 18 0 0 0 20 0 28 0 510695913 29458776064 154496 33554432000 4194304 4196468 140727541010944 139799670498184 139800933963935 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17942] ppid=17919 vsize=28768336 memory=0 CPUtime=0.21 cores=0-7 /proc/17921/task/17942/stat : 17942 (java) R 17919 17919 16140 0 -1 4202560 38 0 0 0 21 0 0 0 20 0 28 0 510695913 29458776064 154496 33554432000 4194304 4196468 140727541010944 139799669444464 139800933951221 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17943] ppid=17919 vsize=28768336 memory=3 CPUtime=0.27 cores=0-7 /proc/17921/task/17943/stat : 17943 (java) R 17919 17919 16140 0 -1 4202560 32 0 0 0 27 0 0 0 20 0 28 0 510695913 29458776064 154496 33554432000 4194304 4196468 140727541010944 139799668393944 139800933951232 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17944] ppid=17919 vsize=28768336 memory=0 CPUtime=0.19 cores=0-7 /proc/17921/task/17944/stat : 17944 (java) R 17919 17919 16140 0 -1 4202560 91 0 0 0 19 0 0 0 20 0 28 0 510695913 29458776064 154496 33554432000 4194304 4196468 140727541010944 139799667341656 139800939802832 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17945] ppid=17919 vsize=28768336 memory=0 CPUtime=0.27 cores=0-7 /proc/17921/task/17945/stat : 17945 (java) R 17919 17919 16140 0 -1 4202560 32 0 0 0 27 0 0 0 20 0 28 0 510695913 29458776064 154496 33554432000 4194304 4196468 140727541010944 139799666285344 139800933965773 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17946] ppid=17919 vsize=28768336 memory=0 CPUtime=0.17 cores=0-7 /proc/17921/task/17946/stat : 17946 (java) R 17919 17919 16140 0 -1 4202560 32 0 0 0 17 0 0 0 20 0 28 0 510695913 29458776064 154496 33554432000 4194304 4196468 140727541010944 139799665232568 139800934234752 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17947] ppid=17919 vsize=28768336 memory=0 CPUtime=0.19 cores=0-7 /proc/17921/task/17947/stat : 17947 (java) R 17919 17919 16140 0 -1 4202560 30 0 0 0 19 0 0 0 20 0 28 0 510695913 29458776064 154496 33554432000 4194304 4196468 140727541010944 139799664183528 139800933977080 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17948] ppid=17919 vsize=28768336 memory=0 CPUtime=0.27 cores=0-7 /proc/17921/task/17948/stat : 17948 (java) R 17919 17919 16140 0 -1 4202560 34 0 0 0 27 0 0 0 20 0 28 0 510695913 29458776064 154496 33554432000 4194304 4196468 140727541010944 139799663128272 139800933968944 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 Current children cumulated CPU time: 11.94 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 619436 KiB [startup+3.40465 s] /proc/loadavg: 3.59 4.40 4.93 13/219 17948 /proc/meminfo: memFree=27883420/32770624 swapFree=67023920/67108860 [pid=17919] ppid=17916 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17919/stat : 17919 (xcsp3-exec) S 17916 17919 16140 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510695623 115843072 363 33554432000 4194304 5098028 140728081077712 140728081075816 140034655675004 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9814016 140728081085265 140728081085525 140728081085525 140728081088454 0 /proc/17919/statm: 28282 363 304 221 0 87 0 [pid=17921] ppid=17919 vsize=28768336 memory=669052 CPUtime=13.51 cores=0-7 /proc/17921/stat : 17921 (java) S 17919 17919 16140 0 -1 1077944320 38962 0 1 0 1310 41 0 0 20 0 28 0 510695623 29458776064 167263 33554432000 4194304 4196468 140727541010944 140727540993488 139801310166775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 /proc/17921/statm: 7192084 167263 3516 1 0 7153184 0 [pid=17921/tid=17922] ppid=17919 vsize=28768336 memory=1244 CPUtime=2.77 cores=0-7 /proc/17921/task/17922/stat : 17922 (java) S 17919 17919 16140 0 -1 1077944384 11167 0 0 0 269 8 0 0 20 0 28 0 510695624 29458776064 167263 33554432000 4194304 4196468 140727541010944 139801314407552 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17923] ppid=17919 vsize=28768336 memory=14064 CPUtime=0.12 cores=0-7 /proc/17921/task/17923/stat : 17923 (java) S 17919 17919 16140 0 -1 1077944384 180 0 0 0 9 3 0 0 20 0 28 0 510695624 29458776064 167263 33554432000 4194304 4196468 140727541010944 139801262787600 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17924] ppid=17919 vsize=28768336 memory=23120 CPUtime=0.08 cores=0-7 /proc/17921/task/17924/stat : 17924 (java) S 17919 17919 16140 0 -1 1077944384 129 0 0 0 6 2 0 0 20 0 28 0 510695624 29458776064 167263 33554432000 4194304 4196468 140727541010944 139801261735056 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17925] ppid=17919 vsize=28768336 memory=2256 CPUtime=0.08 cores=0-7 /proc/17921/task/17925/stat : 17925 (java) S 17919 17919 16140 0 -1 1077944384 142 0 0 0 5 3 0 0 20 0 28 0 510695624 29458776064 167263 33554432000 4194304 4196468 140727541010944 139801260682000 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17926] ppid=17919 vsize=28768336 memory=12328 CPUtime=0.1 cores=0-7 /proc/17921/task/17926/stat : 17926 (java) S 17919 17919 16140 0 -1 1077944384 310 0 0 0 7 3 0 0 20 0 28 0 510695624 29458776064 167263 33554432000 4194304 4196468 140727541010944 139801259629456 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17927] ppid=17919 vsize=28768336 memory=279907313868688 CPUtime=0.1 cores=0-7 /proc/17921/task/17927/stat : 17927 (java) S 17919 17919 16140 0 -1 1077944384 187 0 0 0 7 3 0 0 20 0 28 0 510695624 29458776064 167263 33554432000 4194304 4196468 140727541010944 139801258576400 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17928] ppid=17919 vsize=28768336 memory=279907313647856 CPUtime=0.08 cores=0-7 /proc/17921/task/17928/stat : 17928 (java) S 17919 17919 16140 0 -1 1077944384 134 0 0 0 6 2 0 0 20 0 28 0 510695624 29458776064 167263 33554432000 4194304 4196468 140727541010944 139801257523856 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17929] ppid=17919 vsize=28768336 memory=279907313651088 CPUtime=0.1 cores=0-7 /proc/17921/task/17929/stat : 17929 (java) S 17919 17919 16140 0 -1 1077944384 227 0 0 0 7 3 0 0 20 0 28 0 510695624 29458776064 167263 33554432000 4194304 4196468 140727541010944 139801256470800 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17930] ppid=17919 vsize=28768336 memory=279907313650960 CPUtime=0.1 cores=0-7 /proc/17921/task/17930/stat : 17930 (java) S 17919 17919 16140 0 -1 1077944384 600 0 0 0 7 3 0 0 20 0 28 0 510695624 29458776064 167263 33554432000 4194304 4196468 140727541010944 139801255418256 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17931] ppid=17919 vsize=28768336 memory=6308 CPUtime=0.01 cores=0-7 /proc/17921/task/17931/stat : 17931 (java) S 17919 17919 16140 0 -1 1077944384 702 0 0 0 1 0 0 0 20 0 28 0 510695626 29458776064 167263 33554432000 4194304 4196468 140727541010944 139799689190128 139801310177922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17932] ppid=17919 vsize=28768336 memory=828 CPUtime=0 cores=0-7 /proc/17921/task/17932/stat : 17932 (java) S 17919 17919 16140 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 510695626 29458776064 167263 33554432000 4194304 4196468 140727541010944 139799688136416 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17933] ppid=17919 vsize=28768336 memory=736 CPUtime=0 cores=0-7 /proc/17921/task/17933/stat : 17933 (java) S 17919 17919 16140 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 510695627 29458776064 167263 33554432000 4194304 4196468 140727541010944 139799687083264 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17934] ppid=17919 vsize=28768336 memory=1608 CPUtime=0 cores=0-7 /proc/17921/task/17934/stat : 17934 (java) S 17919 17919 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510695629 29458776064 167263 33554432000 4194304 4196468 140727541010944 139799686031824 139801310185371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17935] ppid=17919 vsize=28768336 memory=1076 CPUtime=2.17 cores=0-7 /proc/17921/task/17935/stat : 17935 (java) R 17919 17919 16140 0 -1 4202560 6882 0 1 0 215 2 0 0 20 0 28 0 510695629 29458776064 167263 33554432000 4194304 4196468 140727541010944 139799684978016 139801293577576 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17936] ppid=17919 vsize=28768336 memory=3124 CPUtime=2.02 cores=0-7 /proc/17921/task/17936/stat : 17936 (java) R 17919 17919 16140 0 -1 4202560 5457 0 0 0 201 1 0 0 20 0 28 0 510695629 29458776064 167263 33554432000 4194304 4196468 140727541010944 139799683912928 139801291352560 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17937] ppid=17919 vsize=28768336 memory=1244 CPUtime=2.27 cores=0-7 /proc/17921/task/17937/stat : 17937 (java) S 17919 17919 16140 0 -1 1077944384 7812 0 0 0 226 1 0 0 20 0 28 0 510695629 29458776064 167263 33554432000 4194304 4196468 140727541010944 139799682873328 139801310177922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17938] ppid=17919 vsize=28768336 memory=14064 CPUtime=0.68 cores=0-7 /proc/17921/task/17938/stat : 17938 (java) R 17919 17919 16140 0 -1 1077944384 3291 0 0 0 67 1 0 0 20 0 28 0 510695629 29458776064 167263 33554432000 4194304 4196468 140727541010944 139799681820784 139801310177922 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17939] ppid=17919 vsize=28768336 memory=23120 CPUtime=0 cores=0-7 /proc/17921/task/17939/stat : 17939 (java) S 17919 17919 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510695629 29458776064 167263 33554432000 4194304 4196468 140727541010944 139799680768992 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17940] ppid=17919 vsize=28768336 memory=2256 CPUtime=0 cores=0-7 /proc/17921/task/17940/stat : 17940 (java) S 17919 17919 16140 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 510695630 29458776064 167263 33554432000 4194304 4196468 140727541010944 139799679716528 139801310177922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17941] ppid=17919 vsize=28768336 memory=279907314482256 CPUtime=0.3 cores=0-7 /proc/17921/task/17941/stat : 17941 (java) R 17919 17919 16140 0 -1 4202560 64 0 0 0 30 0 0 0 20 0 28 0 510695913 29458776064 167263 33554432000 4194304 4196468 140727541010944 139799670498440 139800942484815 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17942] ppid=17919 vsize=28768336 memory=589972050867744050 CPUtime=0.32 cores=0-7 /proc/17921/task/17942/stat : 17942 (java) R 17919 17919 16140 0 -1 4202560 41 0 0 0 32 0 0 0 20 0 28 0 510695913 29458776064 167263 33554432000 4194304 4196468 140727541010944 139799669447288 139800942227235 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17943] ppid=17919 vsize=28768336 memory=288284497924064107 CPUtime=0.39 cores=0-7 /proc/17921/task/17943/stat : 17943 (java) R 17919 17919 16140 0 -1 4202560 34 0 0 0 39 0 0 0 20 0 28 0 510695913 29458776064 167263 33554432000 4194304 4196468 140727541010944 139799668392072 139800942227235 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17944] ppid=17919 vsize=28768336 memory=0 CPUtime=0.34 cores=0-7 /proc/17921/task/17944/stat : 17944 (java) R 17919 17919 16140 0 -1 4202560 91 0 0 0 34 0 0 0 20 0 28 0 510695913 29458776064 167263 33554432000 4194304 4196468 140727541010944 139799667339248 139800942265469 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17945] ppid=17919 vsize=28768336 memory=0 CPUtime=0.42 cores=0-7 /proc/17921/task/17945/stat : 17945 (java) R 17919 17919 16140 0 -1 4202560 33 0 0 0 42 0 0 0 20 0 28 0 510695913 29458776064 167263 33554432000 4194304 4196468 140727541010944 139799666289712 139800942363931 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17946] ppid=17919 vsize=28768336 memory=0 CPUtime=0.25 cores=0-7 /proc/17921/task/17946/stat : 17946 (java) R 17919 17919 16140 0 -1 4202560 33 0 0 0 25 0 0 0 20 0 28 0 510695913 29458776064 167263 33554432000 4194304 4196468 140727541010944 139799665233576 139800942363996 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17947] ppid=17919 vsize=28768336 memory=0 CPUtime=0.28 cores=0-7 /proc/17921/task/17947/stat : 17947 (java) R 17919 17919 16140 0 -1 4202560 31 0 0 0 28 0 0 0 20 0 28 0 510695913 29458776064 167263 33554432000 4194304 4196468 140727541010944 139799664185288 139800942217788 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17948] ppid=17919 vsize=28768336 memory=0 CPUtime=0.36 cores=0-7 /proc/17921/task/17948/stat : 17948 (java) R 17919 17919 16140 0 -1 4202560 35 0 0 0 36 0 0 0 20 0 28 0 510695913 29458776064 167263 33554432000 4194304 4196468 140727541010944 139799663130472 139800942364027 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 Current children cumulated CPU time: 13.51 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 670504 KiB [startup+3.50165 s] /proc/loadavg: 3.59 4.40 4.93 13/219 17948 /proc/meminfo: memFree=27883420/32770624 swapFree=67023920/67108860 [pid=17919] ppid=17916 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17919/stat : 17919 (xcsp3-exec) S 17916 17919 16140 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510695623 115843072 363 33554432000 4194304 5098028 140728081077712 140728081075816 140034655675004 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9814016 140728081085265 140728081085525 140728081085525 140728081088454 0 /proc/17919/statm: 28282 363 304 221 0 87 0 [pid=17921] ppid=17919 vsize=28768336 memory=669932 CPUtime=14.21 cores=0-7 /proc/17921/stat : 17921 (java) S 17919 17919 16140 0 -1 1077944320 39235 0 1 0 1380 41 0 0 20 0 28 0 510695623 29458776064 167483 33554432000 4194304 4196468 140727541010944 140727540993488 139801310166775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 /proc/17921/statm: 7192084 167483 3524 1 0 7153184 0 [pid=17921/tid=17922] ppid=17919 vsize=28768336 memory=128672 CPUtime=2.77 cores=0-7 /proc/17921/task/17922/stat : 17922 (java) S 17919 17919 16140 0 -1 1077944384 11169 0 0 0 269 8 0 0 20 0 28 0 510695624 29458776064 167483 33554432000 4194304 4196468 140727541010944 139801314407552 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17923] ppid=17919 vsize=28768336 memory=1452 CPUtime=0.12 cores=0-7 /proc/17921/task/17923/stat : 17923 (java) S 17919 17919 16140 0 -1 1077944384 180 0 0 0 9 3 0 0 20 0 28 0 510695624 29458776064 167483 33554432000 4194304 4196468 140727541010944 139801262787600 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17924] ppid=17919 vsize=28768336 memory=659536 CPUtime=0.08 cores=0-7 /proc/17921/task/17924/stat : 17924 (java) S 17919 17919 16140 0 -1 1077944384 129 0 0 0 6 2 0 0 20 0 28 0 510695624 29458776064 167483 33554432000 4194304 4196468 140727541010944 139801261735056 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17925] ppid=17919 vsize=28768336 memory=56 CPUtime=0.08 cores=0-7 /proc/17921/task/17925/stat : 17925 (java) S 17919 17919 16140 0 -1 1077944384 142 0 0 0 5 3 0 0 20 0 28 0 510695624 29458776064 167483 33554432000 4194304 4196468 140727541010944 139801260682000 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17926] ppid=17919 vsize=28768336 memory=6944656592387989600 CPUtime=0.1 cores=0-7 /proc/17921/task/17926/stat : 17926 (java) S 17919 17919 16140 0 -1 1077944384 310 0 0 0 7 3 0 0 20 0 28 0 510695624 29458776064 167483 33554432000 4194304 4196468 140727541010944 139801259629456 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17927] ppid=17919 vsize=28768336 memory=0 CPUtime=0.1 cores=0-7 /proc/17921/task/17927/stat : 17927 (java) S 17919 17919 16140 0 -1 1077944384 187 0 0 0 7 3 0 0 20 0 28 0 510695624 29458776064 167483 33554432000 4194304 4196468 140727541010944 139801258576400 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17928] ppid=17919 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7 /proc/17921/task/17928/stat : 17928 (java) S 17919 17919 16140 0 -1 1077944384 134 0 0 0 6 2 0 0 20 0 28 0 510695624 29458776064 167483 33554432000 4194304 4196468 140727541010944 139801257523856 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17929] ppid=17919 vsize=28768336 memory=56 CPUtime=0.1 cores=0-7 /proc/17921/task/17929/stat : 17929 (java) S 17919 17919 16140 0 -1 1077944384 227 0 0 0 7 3 0 0 20 0 28 0 510695624 29458776064 167483 33554432000 4194304 4196468 140727541010944 139801256470800 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17930] ppid=17919 vsize=28768336 memory=13798 CPUtime=0.1 cores=0-7 /proc/17921/task/17930/stat : 17930 (java) S 17919 17919 16140 0 -1 1077944384 600 0 0 0 7 3 0 0 20 0 28 0 510695624 29458776064 167483 33554432000 4194304 4196468 140727541010944 139801255418256 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17931] ppid=17919 vsize=28768336 memory=3135787 CPUtime=0.01 cores=0-7 /proc/17921/task/17931/stat : 17931 (java) S 17919 17919 16140 0 -1 1077944384 702 0 0 0 1 0 0 0 20 0 28 0 510695626 29458776064 167483 33554432000 4194304 4196468 140727541010944 139799689190128 139801310177922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17932] ppid=17919 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17932/stat : 17932 (java) S 17919 17919 16140 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 510695626 29458776064 167483 33554432000 4194304 4196468 140727541010944 139799688136416 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17933] ppid=17919 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17933/stat : 17933 (java) S 17919 17919 16140 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 510695627 29458776064 167483 33554432000 4194304 4196468 140727541010944 139799687083264 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17934] ppid=17919 vsize=28768336 memory=1 CPUtime=0 cores=0-7 /proc/17921/task/17934/stat : 17934 (java) S 17919 17919 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510695629 29458776064 167483 33554432000 4194304 4196468 140727541010944 139799686031824 139801310185371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17935] ppid=17919 vsize=28768336 memory=0 CPUtime=2.24 cores=0-7 /proc/17921/task/17935/stat : 17935 (java) R 17919 17919 16140 0 -1 4202560 6905 0 1 0 222 2 0 0 20 0 28 0 510695629 29458776064 167483 33554432000 4194304 4196468 140727541010944 139799684967376 139801310178710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17936] ppid=17919 vsize=28768336 memory=0 CPUtime=2.04 cores=0-7 /proc/17921/task/17936/stat : 17936 (java) R 17919 17919 16140 0 -1 1077944384 5466 0 0 0 203 1 0 0 20 0 28 0 510695629 29458776064 167483 33554432000 4194304 4196468 140727541010944 139799683925568 139801310176981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17937] ppid=17919 vsize=28768336 memory=0 CPUtime=2.3 cores=0-7 /proc/17921/task/17937/stat : 17937 (java) S 17919 17919 16140 0 -1 1077944384 7823 0 0 0 229 1 0 0 20 0 28 0 510695629 29458776064 167483 33554432000 4194304 4196468 140727541010944 139799682873328 139801310177922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17938] ppid=17919 vsize=28768336 memory=210 CPUtime=0.7 cores=0-7 /proc/17921/task/17938/stat : 17938 (java) S 17919 17919 16140 0 -1 1077944384 3319 0 0 0 69 1 0 0 20 0 28 0 510695629 29458776064 167483 33554432000 4194304 4196468 140727541010944 139799681818576 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17939] ppid=17919 vsize=28768336 memory=57 CPUtime=0 cores=0-7 /proc/17921/task/17939/stat : 17939 (java) S 17919 17919 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510695629 29458776064 167483 33554432000 4194304 4196468 140727541010944 139799680768992 139801310176981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 [pid=17921/tid=17940] ppid=17919 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/17921/task/17940/stat : 17940 (java) S 17919 17919 16140 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 510695630 29458776064 167483 33554432000 4194304 4196468 140727541010944 139799679716528 139801310177922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16846848 140727541019606 140727541019782 140727541019782 140727541022671 0 Current children cumulated CPU time: 14.21 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 671384 KiB Child status: 0 Real time (s): 3.58941 CPU time (s): 14.6908 CPU user time (s): 14.2587 CPU system time (s): 0.432152 CPU usage (%): 409.282 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 671384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.2587 system time used= 0.432152 maximum resident set size= 671404 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40207 page faults= 1 swaps= 0 block input operations= 1048 block output operations= 104 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4253 involuntary context switches= 271 # summary of solver processes directly reported to runsolver: # pid: 17919 # total CPU time (s): 14.6908 # total CPU user time (s): 14.2587 # total CPU system time (s): 0.432152 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.057334 second user time and 0.069843 second system time The end
Begin job on node150 at 2019-09-24 18:56:30 IDJOB=4406929 IDBENCH=120628 IDSOLVER=2871 FILE ID=node150/4406929-1569344231 RUNJOBID= node150-1569335938-16167 PBS_JOBID= 21705047 Free space on /var/tmp= 13480 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 /var/tmp/evaluation-result-4406929-1569344231/watcher-4406929-1569344231 -o /var/tmp/evaluation-result-4406929-1569344231/solver-4406929-1569344231 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569335938-16167 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1229534081 HOME/instance-4406929-1569344231.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0df69417c613ef889e63c8df69e0b506 RANDOM SEED=1229534081 node150.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: 28487740 kB MemAvailable: 31817204 kB Buffers: 100664 kB Cached: 3335448 kB SwapCached: 8132 kB Active: 3335728 kB Inactive: 135084 kB Active(anon): 2384 kB Inactive(anon): 83648 kB Active(file): 3333344 kB Inactive(file): 51436 kB Unevictable: 109416 kB Mlocked: 109416 kB SwapTotal: 67108860 kB SwapFree: 67023920 kB Dirty: 26500 kB Writeback: 28 kB AnonPages: 135708 kB Mapped: 53896 kB Shmem: 42740 kB Slab: 402676 kB SReclaimable: 373144 kB SUnreclaim: 29532 kB KernelStack: 3376 kB PageTables: 5428 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514600 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: 99712 kB DirectMap2M: 33445888 kB Free space on /var/tmp at the end= 13456 MiB End job on node150 at 2019-09-24 18:56:34