Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 8 | 924.097 | 118.331 |
Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-5-fullins-4.xml |
MD5SUM | 9a110b3288dcdd83da8fcc132ac433c6 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 8 |
Best CPU time to get the best result obtained on this benchmark | 75.1369 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1085 |
Number of constraints | 11395 |
Number of domains | 1 |
Minimum domain size | 1085 |
Maximum domain size | 1085 |
Distribution of domain sizes | [{"size":1085,"count":1085}] |
Minimum variable degree | 7 |
Maximum variable degree | 161 |
Distribution of variable degrees | [{"degree":7,"count":4},{"degree":8,"count":22},{"degree":9,"count":16},{"degree":10,"count":80},{"degree":11,"count":22},{"degree":12,"count":110},{"degree":13,"count":19},{"degree":14,"count":60},{"degree":15,"count":60},{"degree":16,"count":300},{"degree":19,"count":7},{"degree":20,"count":35},{"degree":21,"count":7},{"degree":22,"count":35},{"degree":30,"count":7},{"degree":33,"count":7},{"degree":34,"count":35},{"degree":35,"count":35},{"degree":36,"count":175},{"degree":55,"count":7},{"degree":56,"count":35},{"degree":161,"count":7}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":11395}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 11395 |
Distribution of constraint types | [{"type":"intension","count":11395}] |
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-4400068-1568710065.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400068-1568710065.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 10.82/3.43 c solve instance... 13.66/3.90 o 22 16.50/4.25 o 21 16.50/4.28 o 17 18.32/4.57 o 16 19.48/4.76 o 13 20.75/4.97 o 8 923.89/118.30 s OPTIMUM FOUND 923.89/118.30 v <instantiation> 923.89/118.30 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] </list> 923.89/118.30 v <values>0 1 2 1 0 0 3 1 0 0 1 4 0 0 6 0 2 5 1 3 4 2 4 2 2 3 0 3 2 2 0 4 2 0 0 6 0 2 5 8 3 4 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 1 1 1 1 1 2 2 2 2 2 0 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 1 0 1 0 1 0 1 0 1 1 1 0 1 1 0 0 1 1 1 1 0 2 0 2 2 2 0 2 0 2 0 0 0 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 1 2 7 5 4 0 3 1 2 1 3 1 1 1 3 2 1 1 1 2 6 7 2 5 1 3 4 2 3 2 2 3 4 2 2 2 2 2 2 2 2 6 7 2 5 7 3 4 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 1 2 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 1 2 6 3 4 </values> 923.89/118.30 v </instantiation>
OK 8
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 (15323 MiB free) memory of node 1: 16384 MiB (13324 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400068-1568710065/watcher-4400068-1568710065 -o /tmp/evaluation-result-4400068-1568710065/solver-4400068-1568710065 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568701156-7383 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1400329067 HOME/instance-4400068-1568710065.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 threader pid=4 , stack expansion will9670 Current StackSize limit: 8192 KiB [startup+0.100149 s]* /proc/loadavg: 7.85 8.00 8.08 2/211 9694 /proc/meminfo: memFree=29317804/32770624 swapFree=66958320/67108860 [pid=9673] ppid=9670 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9673/stat : 9673 (xcsp3-exec) S 9670 9673 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446943036 115843072 362 33554432000 4194304 5098028 140726064320032 140726064318136 140342666248828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26599424 140726064325499 140726064325742 140726064325742 140726064328650 0 /proc/9673/statm: 28282 362 304 221 0 87 0 [pid=9675] ppid=9673 vsize=28227396 memory=30412 CPUtime=0.12 cores=0-7 /proc/9675/stat : 9675 (java) S 9673 9673 7356 0 -1 1077944320 5579 0 0 0 11 1 0 0 20 0 20 0 446943036 28904853504 7603 33554432000 4194304 4196468 140731483589920 140731483572464 140344693182199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 /proc/9675/statm: 7056849 7603 3127 1 0 7019032 0 [pid=9675/tid=9676] ppid=9673 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/9675/task/9676/stat : 9676 (java) R 9673 9673 7356 0 -1 4202560 3518 0 0 0 8 1 0 0 20 0 20 0 446943037 28904853504 7603 33554432000 4194304 4196468 140731483589920 140344697415088 140344674577402 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9677] ppid=9673 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/9675/task/9677/stat : 9677 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 7603 33554432000 4194304 4196468 140731483589920 140344645802768 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9678] ppid=9673 vsize=28227396 memory=140574333978240 CPUtime=0 cores=0-7 /proc/9675/task/9678/stat : 9678 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 7603 33554432000 4194304 4196468 140731483589920 140344644750224 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9679] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9679/stat : 9679 (java) S 9673 9673 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 7603 33554432000 4194304 4196468 140731483589920 140344643697680 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9680] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9680/stat : 9680 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 7603 33554432000 4194304 4196468 140731483589920 140344642645136 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9681] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9681/stat : 9681 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 7603 33554432000 4194304 4196468 140731483589920 140344641591568 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9682] ppid=9673 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9675/task/9682/stat : 9682 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 7603 33554432000 4194304 4196468 140731483589920 140344640539024 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9683] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9683/stat : 9683 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 7603 33554432000 4194304 4196468 140731483589920 140344639486480 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9684] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9684/stat : 9684 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 7603 33554432000 4194304 4196468 140731483589920 140344638433936 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9685] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9685/stat : 9685 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943039 28904853504 7603 33554432000 4194304 4196468 140731483589920 140342821693936 140344693193346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9686] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9686/stat : 9686 (java) S 9673 9673 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446943040 28904853504 7603 33554432000 4194304 4196468 140731483589920 140342820640160 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9687] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9687/stat : 9687 (java) S 9673 9673 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446943040 28904853504 7603 33554432000 4194304 4196468 140731483589920 140342819587568 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9688] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9688/stat : 9688 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943042 28904853504 7603 33554432000 4194304 4196468 140731483589920 140342818536144 140344693200795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9689] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9689/stat : 9689 (java) S 9673 9673 7356 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 446943042 28904853504 7603 33554432000 4194304 4196468 140731483589920 140342817482736 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9690] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9690/stat : 9690 (java) S 9673 9673 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446943042 28904853504 7603 33554432000 4194304 4196468 140731483589920 140342816430192 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9691] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9691/stat : 9691 (java) S 9673 9673 7356 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 446943042 28904853504 7603 33554432000 4194304 4196468 140731483589920 140342815377648 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9692] ppid=9673 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/9675/task/9692/stat : 9692 (java) R 9673 9673 7356 0 -1 4202560 324 0 0 0 1 0 0 0 20 0 20 0 446943042 28904853504 7603 33554432000 4194304 4196468 140731483589920 140342814325104 140344693203546 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9693] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9693/stat : 9693 (java) S 9673 9673 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446943042 28904853504 7603 33554432000 4194304 4196468 140731483589920 140342813272800 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9694] ppid=9673 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9675/task/9694/stat : 9694 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943043 28904853504 7603 33554432000 4194304 4196468 140731483589920 140342812220336 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31860 KiB [startup+0.210612 s]* /proc/loadavg: 7.85 8.00 8.08 3/211 9694 /proc/meminfo: memFree=29304164/32770624 swapFree=66958320/67108860 [pid=9673] ppid=9670 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9673/stat : 9673 (xcsp3-exec) S 9670 9673 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446943036 115843072 362 33554432000 4194304 5098028 140726064320032 140726064318136 140342666248828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26599424 140726064325499 140726064325742 140726064325742 140726064328650 0 /proc/9673/statm: 28282 362 304 221 0 87 0 [pid=9675] ppid=9673 vsize=28227396 memory=42652 CPUtime=0.33 cores=0-7 /proc/9675/stat : 9675 (java) S 9673 9673 7356 0 -1 1077944320 9441 0 0 0 30 3 0 0 20 0 20 0 446943036 28904853504 10663 33554432000 4194304 4196468 140731483589920 140731483572464 140344693182199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 /proc/9675/statm: 7056849 10663 3271 1 0 7019032 0 [pid=9675/tid=9676] ppid=9673 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/9675/task/9676/stat : 9676 (java) R 9673 9673 7356 0 -1 4202560 6547 0 0 0 18 2 0 0 20 0 20 0 446943037 28904853504 10663 33554432000 4194304 4196468 140731483589920 140344697414112 140344677262686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9677] ppid=9673 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/9675/task/9677/stat : 9677 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 10663 33554432000 4194304 4196468 140731483589920 140344645802768 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9678] ppid=9673 vsize=28227396 memory=140574333988166 CPUtime=0 cores=0-7 /proc/9675/task/9678/stat : 9678 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 10663 33554432000 4194304 4196468 140731483589920 140344644750224 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9679] ppid=9673 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9675/task/9679/stat : 9679 (java) S 9673 9673 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 10663 33554432000 4194304 4196468 140731483589920 140344643697680 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9680] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9680/stat : 9680 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 10663 33554432000 4194304 4196468 140731483589920 140344642645136 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9681] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9681/stat : 9681 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 10663 33554432000 4194304 4196468 140731483589920 140344641591568 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9682] ppid=9673 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9675/task/9682/stat : 9682 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 10663 33554432000 4194304 4196468 140731483589920 140344640539024 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9683] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9683/stat : 9683 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 10663 33554432000 4194304 4196468 140731483589920 140344639486480 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9684] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9684/stat : 9684 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 10663 33554432000 4194304 4196468 140731483589920 140344638433936 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9685] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9685/stat : 9685 (java) S 9673 9673 7356 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446943039 28904853504 10663 33554432000 4194304 4196468 140731483589920 140342821693936 140344693193346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9686] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9686/stat : 9686 (java) S 9673 9673 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446943040 28904853504 10663 33554432000 4194304 4196468 140731483589920 140342820640160 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9687] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9687/stat : 9687 (java) S 9673 9673 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446943040 28904853504 10663 33554432000 4194304 4196468 140731483589920 140342819587568 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9688] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9688/stat : 9688 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943042 28904853504 10663 33554432000 4194304 4196468 140731483589920 140342818536144 140344693200795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9689] ppid=9673 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/9675/task/9689/stat : 9689 (java) S 9673 9673 7356 0 -1 1077944384 398 0 0 0 1 0 0 0 20 0 20 0 446943042 28904853504 10663 33554432000 4194304 4196468 140731483589920 140342817482736 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9690] ppid=9673 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/9675/task/9690/stat : 9690 (java) S 9673 9673 7356 0 -1 1077944384 241 0 0 0 1 0 0 0 20 0 20 0 446943042 28904853504 10663 33554432000 4194304 4196468 140731483589920 140342816430192 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9691] ppid=9673 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/9675/task/9691/stat : 9691 (java) S 9673 9673 7356 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 20 0 446943042 28904853504 10663 33554432000 4194304 4196468 140731483589920 140342815377648 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9692] ppid=9673 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/9675/task/9692/stat : 9692 (java) R 9673 9673 7356 0 -1 4202560 749 0 0 0 7 0 0 0 20 0 20 0 446943042 28904853504 10663 33554432000 4194304 4196468 140731483589920 140342814325104 140344685419326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9693] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9693/stat : 9693 (java) S 9673 9673 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446943042 28904853504 10663 33554432000 4194304 4196468 140731483589920 140342813272800 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9694] ppid=9673 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9675/task/9694/stat : 9694 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943043 28904853504 10663 33554432000 4194304 4196468 140731483589920 140342812220336 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 44100 KiB [startup+0.311974 s]* /proc/loadavg: 7.85 8.00 8.08 4/211 9694 /proc/meminfo: memFree=29296768/32770624 swapFree=66958320/67108860 [pid=9673] ppid=9670 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9673/stat : 9673 (xcsp3-exec) S 9670 9673 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446943036 115843072 362 33554432000 4194304 5098028 140726064320032 140726064318136 140342666248828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26599424 140726064325499 140726064325742 140726064325742 140726064328650 0 /proc/9673/statm: 28282 362 304 221 0 87 0 [pid=9675] ppid=9673 vsize=28231652 memory=51996 CPUtime=0.53 cores=0-7 /proc/9675/stat : 9675 (java) S 9673 9673 7356 0 -1 1077944320 10844 0 0 0 48 5 0 0 20 0 20 0 446943036 28909211648 12999 33554432000 4194304 4196468 140731483589920 140731483572464 140344693182199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 /proc/9675/statm: 7057913 12999 3357 1 0 7019032 0 [pid=9675/tid=9676] ppid=9673 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/9675/task/9676/stat : 9676 (java) R 9673 9673 7356 0 -1 4202560 7737 0 0 0 27 3 0 0 20 0 20 0 446943037 28909211648 13064 33554432000 4194304 4196468 140731483589920 140344697415984 140344677262686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9677] ppid=9673 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9677/stat : 9677 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943038 28909211648 13064 33554432000 4194304 4196468 140731483589920 140344645802768 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9678] ppid=9673 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9678/stat : 9678 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943038 28909211648 13064 33554432000 4194304 4196468 140731483589920 140344644750224 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9679] ppid=9673 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9679/stat : 9679 (java) S 9673 9673 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446943038 28909211648 13064 33554432000 4194304 4196468 140731483589920 140344643697680 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9680] ppid=9673 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9680/stat : 9680 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943038 28909211648 13064 33554432000 4194304 4196468 140731483589920 140344642645136 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9681] ppid=9673 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9681/stat : 9681 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28909211648 13064 33554432000 4194304 4196468 140731483589920 140344641591568 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9682] ppid=9673 vsize=28231652 memory=140574212582063 CPUtime=0 cores=0-7 /proc/9675/task/9682/stat : 9682 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28909211648 13064 33554432000 4194304 4196468 140731483589920 140344640539024 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9683] ppid=9673 vsize=28231652 memory=140574212584368 CPUtime=0 cores=0-7 /proc/9675/task/9683/stat : 9683 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28909211648 13064 33554432000 4194304 4196468 140731483589920 140344639486480 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9684] ppid=9673 vsize=28231652 memory=140574212586672 CPUtime=0 cores=0-7 /proc/9675/task/9684/stat : 9684 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28909211648 13064 33554432000 4194304 4196468 140731483589920 140344638433936 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9685] ppid=9673 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9685/stat : 9685 (java) S 9673 9673 7356 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446943039 28909211648 13064 33554432000 4194304 4196468 140731483589920 140342821693936 140344693193346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9686] ppid=9673 vsize=28231652 memory=281148425187216 CPUtime=0 cores=0-7 /proc/9675/task/9686/stat : 9686 (java) S 9673 9673 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446943040 28909211648 13064 33554432000 4194304 4196468 140731483589920 140342820640160 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9687] ppid=9673 vsize=28231652 memory=281148425184912 CPUtime=0 cores=0-7 /proc/9675/task/9687/stat : 9687 (java) S 9673 9673 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446943040 28909211648 13064 33554432000 4194304 4196468 140731483589920 140342819587568 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9688] ppid=9673 vsize=28231652 memory=281148425191824 CPUtime=0 cores=0-7 /proc/9675/task/9688/stat : 9688 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943042 28909211648 13070 33554432000 4194304 4196468 140731483589920 140342818536144 140344693200795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9689] ppid=9673 vsize=28231652 memory=281148425133072 CPUtime=0.03 cores=0-7 /proc/9675/task/9689/stat : 9689 (java) S 9673 9673 7356 0 -1 1077944384 413 0 0 0 3 0 0 0 20 0 20 0 446943042 28909211648 13070 33554432000 4194304 4196468 140731483589920 140342817482736 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9690] ppid=9673 vsize=28231652 memory=281148425205648 CPUtime=0.03 cores=0-7 /proc/9675/task/9690/stat : 9690 (java) R 9673 9673 7356 0 -1 4202560 348 0 0 0 3 0 0 0 20 0 20 0 446943042 28909211648 13070 33554432000 4194304 4196468 140731483589920 140342816411208 140344693182864 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9691] ppid=9673 vsize=28231652 memory=281148425212560 CPUtime=0.01 cores=0-7 /proc/9675/task/9691/stat : 9691 (java) S 9673 9673 7356 0 -1 1077944384 202 0 0 0 1 0 0 0 20 0 20 0 446943042 28909211648 13070 33554432000 4194304 4196468 140731483589920 140342815377648 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9692] ppid=9673 vsize=28231652 memory=281148425210256 CPUtime=0.12 cores=0-7 /proc/9675/task/9692/stat : 9692 (java) S 9673 9673 7356 0 -1 1077944384 845 0 0 0 12 0 0 0 20 0 20 0 446943042 28909211648 13070 33554432000 4194304 4196468 140731483589920 140342814325104 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9693] ppid=9673 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9693/stat : 9693 (java) S 9673 9673 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446943042 28909211648 13070 33554432000 4194304 4196468 140731483589920 140342813272800 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9694] ppid=9673 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/9675/task/9694/stat : 9694 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943043 28909211648 13070 33554432000 4194304 4196468 140731483589920 140342812220336 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 53444 KiB [startup+0.700985 s] /proc/loadavg: 7.85 8.00 8.08 4/211 9694 /proc/meminfo: memFree=29275688/32770624 swapFree=66958320/67108860 [pid=9673] ppid=9670 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9673/stat : 9673 (xcsp3-exec) S 9670 9673 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446943036 115843072 362 33554432000 4194304 5098028 140726064320032 140726064318136 140342666248828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26599424 140726064325499 140726064325742 140726064325742 140726064328650 0 /proc/9673/statm: 28282 362 304 221 0 87 0 [pid=9675] ppid=9673 vsize=28233776 memory=120064 CPUtime=1.95 cores=0-7 /proc/9675/stat : 9675 (java) S 9673 9673 7356 0 -1 1077944320 14560 0 0 0 188 7 0 0 20 0 20 0 446943036 28911386624 30016 33554432000 4194304 4196468 140731483589920 140731483572464 140344693182199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 /proc/9675/statm: 7058444 30016 3451 1 0 7019544 0 [pid=9675/tid=9676] ppid=9673 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/9675/task/9676/stat : 9676 (java) R 9673 9673 7356 0 -1 4202560 8261 0 0 0 64 4 0 0 20 0 20 0 446943037 28911386624 30016 33554432000 4194304 4196468 140731483589920 140344697420800 140344314402448 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9677] ppid=9673 vsize=28233776 memory=140574212793200 CPUtime=0 cores=0-7 /proc/9675/task/9677/stat : 9677 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943038 28911386624 30016 33554432000 4194304 4196468 140731483589920 140344645802768 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9678] ppid=9673 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9678/stat : 9678 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943038 28911386624 30016 33554432000 4194304 4196468 140731483589920 140344644750224 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9679] ppid=9673 vsize=28233776 memory=8024 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=9675/tid=9684] ppid=9673 vsize=28768336 memory=4100 CPUtime=0.24 cores=0-7 /proc/9675/task/9684/stat : 9684 (java) S 9673 9673 7356 0 -1 1077944384 776 0 0 0 17 7 0 0 20 0 28 0 446943038 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140344638433936 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9685] ppid=9673 vsize=28768336 memory=1412 CPUtime=0.04 cores=0-7 /proc/9675/task/9685/stat : 9685 (java) S 9673 9673 7356 0 -1 1077944384 3856 0 0 0 3 1 0 0 20 0 28 0 446943039 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342821693936 140344693193346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9686] ppid=9673 vsize=28768336 memory=3472 CPUtime=0 cores=0-7 /proc/9675/task/9686/stat : 9686 (java) S 9673 9673 7356 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 446943040 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342820640224 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9687] ppid=9673 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/9675/task/9687/stat : 9687 (java) S 9673 9673 7356 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 446943040 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342819587584 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9688] ppid=9673 vsize=28768336 memory=5413684 CPUtime=0 cores=0-7 /proc/9675/task/9688/stat : 9688 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342818536144 140344693200795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9689] ppid=9673 vsize=28768336 memory=5413684 CPUtime=4.02 cores=0-7 /proc/9675/task/9689/stat : 9689 (java) S 9673 9673 7356 0 -1 1077944384 14809 0 0 0 399 3 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342817482736 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9690] ppid=9673 vsize=28768336 memory=8112282956445269571 CPUtime=4.4 cores=0-7 /proc/9675/task/9690/stat : 9690 (java) S 9673 9673 7356 0 -1 1077944384 17266 0 0 0 437 3 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342816430192 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9691] ppid=9673 vsize=28768336 memory=8112282956445269571 CPUtime=4.19 cores=0-7 /proc/9675/task/9691/stat : 9691 (java) S 9673 9673 7356 0 -1 1077944384 15628 0 0 0 415 4 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342815377648 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9692] ppid=9673 vsize=28768336 memory=14408211662899591 CPUtime=0.96 cores=0-7 /proc/9675/task/9692/stat : 9692 (java) S 9673 9673 7356 0 -1 1077944384 11115 0 0 0 93 3 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342814325104 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9693] ppid=9673 vsize=28768336 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/9675/task/9693/stat : 9693 (java) S 9673 9673 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342813272800 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9694] ppid=9673 vsize=28768336 memory=4872558044660077418 CPUtime=0.04 cores=0-7 /proc/9675/task/9694/stat : 9694 (java) S 9673 9673 7356 0 -1 1077944384 780 0 0 0 2 2 0 0 20 0 28 0 446943043 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342812220336 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9743] ppid=9673 vsize=28768336 memory=14408211662899591 CPUtime=111.63 cores=0-7 /proc/9675/task/9743/stat : 9743 (java) R 9673 9673 7356 0 -1 4202560 8840 0 0 0 11110 53 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342801946760 140344323907015 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9744] ppid=9673 vsize=28768336 memory=880 CPUtime=112.46 cores=0-7 /proc/9675/task/9744/stat : 9744 (java) R 9673 9673 7356 0 -1 4202560 936 0 0 0 11245 1 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342796686024 140344319200114 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9745] ppid=9673 vsize=28768336 memory=4872558044660077418 CPUtime=112.31 cores=0-7 /proc/9675/task/9745/stat : 9745 (java) R 9673 9673 7356 0 -1 4202560 9992 0 0 0 11201 30 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342798790472 140344323886320 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9746] ppid=9673 vsize=28768336 memory=4062848 CPUtime=112.32 cores=0-7 /proc/9675/task/9746/stat : 9746 (java) R 9673 9673 7356 0 -1 4202560 5133 0 0 0 11210 22 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342803001368 140344324022782 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9747] ppid=9673 vsize=28768336 memory=14408211662899591 CPUtime=112.2 cores=0-7 /proc/9675/task/9747/stat : 9747 (java) R 9673 9673 7356 0 -1 4202560 979 0 0 0 11218 2 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342795632712 140344323489028 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9748] ppid=9673 vsize=28768336 memory=3487360 CPUtime=112.07 cores=0-7 /proc/9675/task/9748/stat : 9748 (java) R 9673 9673 7356 0 -1 4202560 1787 0 0 0 11204 3 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342799843328 140344319199649 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9749] ppid=9673 vsize=28768336 memory=1448 CPUtime=111.69 cores=0-7 /proc/9675/task/9749/stat : 9749 (java) R 9673 9673 7356 0 -1 4202560 1330 0 0 0 11164 5 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342797738456 140344323488657 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9750] ppid=9673 vsize=28768336 memory=3485312 CPUtime=112.25 cores=0-7 /proc/9675/task/9750/stat : 9750 (java) R 9673 9673 7356 0 -1 4202560 15032 0 0 0 11167 58 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342800895160 140344323734241 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 Current children cumulated CPU time: 922.36 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 5415132 KiB [startup+118.202 s] /proc/loadavg: 8.01 8.00 8.07 9/219 9758 /proc/meminfo: memFree=23922580/32770624 swapFree=66958320/67108860 [pid=9673] ppid=9670 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9673/stat : 9673 (xcsp3-exec) S 9670 9673 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446943036 115843072 362 33554432000 4194304 5098028 140726064320032 140726064318136 140342666248828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26599424 140726064325499 140726064325742 140726064325742 140726064328650 0 /proc/9673/statm: 28282 362 304 221 0 87 0 [pid=9675] ppid=9673 vsize=28768336 memory=5413684 CPUtime=923.89 cores=0-7 /proc/9675/stat : 9675 (java) S 9673 9673 7356 0 -1 1077944320 129775 0 0 0 92123 266 0 0 20 0 28 0 446943036 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140731483572464 140344693182199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 /proc/9675/statm: 7192084 1353421 3532 1 0 7153184 0 [pid=9675/tid=9676] ppid=9673 vsize=28768336 memory=14408211662899591 CPUtime=3.31 cores=0-7 /proc/9675/task/9676/stat : 9676 (java) S 9673 9673 7356 0 -1 1077944384 11738 0 0 0 320 11 0 0 20 0 28 0 446943037 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140344697422976 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9677] ppid=9673 vsize=28768336 memory=5413684 CPUtime=0.18 cores=0-7 /proc/9675/task/9677/stat : 9677 (java) S 9673 9673 7356 0 -1 1077944384 439 0 0 0 13 5 0 0 20 0 28 0 446943038 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140344645802768 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9678] ppid=9673 vsize=28768336 memory=1660 CPUtime=0.23 cores=0-7 /proc/9675/task/9678/stat : 9678 (java) S 9673 9673 7356 0 -1 1077944384 1253 0 0 0 16 7 0 0 20 0 28 0 446943038 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140344644750224 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9679] ppid=9673 vsize=28768336 memory=1398722017469774279 CPUtime=0.24 cores=0-7 /proc/9675/task/9679/stat : 9679 (java) S 9673 9673 7356 0 -1 1077944384 968 0 0 0 17 7 0 0 20 0 28 0 446943038 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140344643697680 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9680] ppid=9673 vsize=28768336 memory=4872558044660077418 CPUtime=0.2 cores=0-7 /proc/9675/task/9680/stat : 9680 (java) S 9673 9673 7356 0 -1 1077944384 1286 0 0 0 13 7 0 0 20 0 28 0 446943038 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140344642645136 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9681] ppid=9673 vsize=28768336 memory=2496 CPUtime=0.23 cores=0-7 /proc/9675/task/9681/stat : 9681 (java) S 9673 9673 7356 0 -1 1077944384 1283 0 0 0 16 7 0 0 20 0 28 0 446943038 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140344641591568 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9682] ppid=9673 vsize=28768336 memory=1760 CPUtime=0.23 cores=0-7 /proc/9675/task/9682/stat : 9682 (java) S 9673 9673 7356 0 -1 1077944384 946 0 0 0 17 6 0 0 20 0 28 0 446943038 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140344640539024 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9683] ppid=9673 vsize=28768336 memory=1448 CPUtime=0.22 cores=0-7 /proc/9675/task/9683/stat : 9683 (java) S 9673 9673 7356 0 -1 1077944384 947 0 0 0 15 7 0 0 20 0 28 0 446943038 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140344639486480 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9684] ppid=9673 vsize=28768336 memory=5413684 CPUtime=0.24 cores=0-7 /proc/9675/task/9684/stat : 9684 (java) S 9673 9673 7356 0 -1 1077944384 776 0 0 0 17 7 0 0 20 0 28 0 446943038 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140344638433936 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9685] ppid=9673 vsize=28768336 memory=9047017150487036571 CPUtime=0.04 cores=0-7 /proc/9675/task/9685/stat : 9685 (java) S 9673 9673 7356 0 -1 1077944384 3856 0 0 0 3 1 0 0 20 0 28 0 446943039 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342821693936 140344693193346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9686] ppid=9673 vsize=28768336 memory=8514701219730522529 CPUtime=0 cores=0-7 /proc/9675/task/9686/stat : 9686 (java) S 9673 9673 7356 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 446943040 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342820640224 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9687] ppid=9673 vsize=28768336 memory=1560 CPUtime=0 cores=0-7 /proc/9675/task/9687/stat : 9687 (java) S 9673 9673 7356 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 446943040 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342819587584 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9688] ppid=9673 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/9675/task/9688/stat : 9688 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342818536144 140344693200795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9689] ppid=9673 vsize=28768336 memory=1448 CPUtime=4.02 cores=0-7 /proc/9675/task/9689/stat : 9689 (java) S 9673 9673 7356 0 -1 1077944384 14809 0 0 0 399 3 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342817482736 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9690] ppid=9673 vsize=28768336 memory=5413684 CPUtime=4.4 cores=0-7 /proc/9675/task/9690/stat : 9690 (java) S 9673 9673 7356 0 -1 1077944384 17266 0 0 0 437 3 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342816430192 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9691] ppid=9673 vsize=28768336 memory=7824336315716348491 CPUtime=4.19 cores=0-7 /proc/9675/task/9691/stat : 9691 (java) S 9673 9673 7356 0 -1 1077944384 15628 0 0 0 415 4 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342815377648 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9692] ppid=9673 vsize=28768336 memory=7884228899497271635 CPUtime=0.96 cores=0-7 /proc/9675/task/9692/stat : 9692 (java) S 9673 9673 7356 0 -1 1077944384 11115 0 0 0 93 3 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342814325104 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9693] ppid=9673 vsize=28768336 memory=6947762674367883369 CPUtime=0 cores=0-7 /proc/9675/task/9693/stat : 9693 (java) S 9673 9673 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342813272800 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9694] ppid=9673 vsize=28768336 memory=7584172180673161326 CPUtime=0.04 cores=0-7 /proc/9675/task/9694/stat : 9694 (java) S 9673 9673 7356 0 -1 1077944384 780 0 0 0 2 2 0 0 20 0 28 0 446943043 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342812220336 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9743] ppid=9673 vsize=28768336 memory=5450909908396308010 CPUtime=111.82 cores=0-7 /proc/9675/task/9743/stat : 9743 (java) R 9673 9673 7356 0 -1 4202560 8849 0 0 0 11129 53 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342801946760 140344324022096 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9744] ppid=9673 vsize=28768336 memory=7668336488552228457 CPUtime=112.65 cores=0-7 /proc/9675/task/9744/stat : 9744 (java) R 9673 9673 7356 0 -1 4202560 936 0 0 0 11264 1 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342796686024 140344324022782 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9745] ppid=9673 vsize=28768336 memory=7813572070403625585 CPUtime=112.5 cores=0-7 /proc/9675/task/9745/stat : 9745 (java) R 9673 9673 7356 0 -1 4202560 9998 0 0 0 11220 30 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342798790472 140344323734270 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9746] ppid=9673 vsize=28768336 memory=7381515690686174310 CPUtime=112.51 cores=0-7 /proc/9675/task/9746/stat : 9746 (java) R 9673 9673 7356 0 -1 4202560 5134 0 0 0 11229 22 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342803001368 140344323734255 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9747] ppid=9673 vsize=28768336 memory=7596282171657053288 CPUtime=112.39 cores=0-7 /proc/9675/task/9747/stat : 9747 (java) R 9673 9673 7356 0 -1 4202560 980 0 0 0 11237 2 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342795632712 140344323415716 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9748] ppid=9673 vsize=28768336 memory=8514701219781834910 CPUtime=112.26 cores=0-7 /proc/9675/task/9748/stat : 9748 (java) R 9673 9673 7356 0 -1 4202560 1787 0 0 0 11223 3 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342799843328 140344315450701 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9749] ppid=9673 vsize=28768336 memory=5860423842835163747 CPUtime=111.88 cores=0-7 /proc/9675/task/9749/stat : 9749 (java) R 9673 9673 7356 0 -1 4202560 1330 0 0 0 11183 5 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342797738456 140344324022028 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9750] ppid=9673 vsize=28768336 memory=7955438739718957167 CPUtime=112.44 cores=0-7 /proc/9675/task/9750/stat : 9750 (java) R 9673 9673 7356 0 -1 4202560 15044 0 0 0 11186 58 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342800895160 140344325564121 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 Current children cumulated CPU time: 923.89 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 5415132 KiB [startup+118.301 s] /proc/loadavg: 8.01 8.00 8.07 9/219 9758 /proc/meminfo: memFree=23922580/32770624 swapFree=66958320/67108860 [pid=9673] ppid=9670 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9673/stat : 9673 (xcsp3-exec) S 9670 9673 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446943036 115843072 362 33554432000 4194304 5098028 140726064320032 140726064318136 140342666248828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26599424 140726064325499 140726064325742 140726064325742 140726064328650 0 /proc/9673/statm: 28282 362 304 221 0 87 0 [pid=9675] ppid=9673 vsize=28768336 memory=5413144 CPUtime=924.05 cores=0-7 /proc/9675/stat : 9675 (java) S 9673 9673 7356 0 -1 1077944320 130449 0 0 0 92139 266 0 0 20 0 20 0 446943036 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140731483572464 140344693182199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 /proc/9675/statm: 7192084 1353286 3532 1 0 7153184 0 [pid=9675/tid=9676] ppid=9673 vsize=28768336 memory=5413684 CPUtime=3.31 cores=0-7 /proc/9675/task/9676/stat : 9676 (java) R 9673 9673 7356 0 -1 4202560 12117 0 0 0 320 11 0 0 20 0 20 0 446943037 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140344697419312 140344693196490 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9677] ppid=9673 vsize=28768336 memory=1448 CPUtime=0.18 cores=0-7 /proc/9675/task/9677/stat : 9677 (java) S 9673 9673 7356 0 -1 1077944384 439 0 0 0 13 5 0 0 20 0 20 0 446943038 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140344645802768 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9678] ppid=9673 vsize=28768336 memory=281148426863136 CPUtime=0.23 cores=0-7 /proc/9675/task/9678/stat : 9678 (java) S 9673 9673 7356 0 -1 1077944384 1253 0 0 0 16 7 0 0 20 0 20 0 446943038 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140344644750224 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9679] ppid=9673 vsize=28768336 memory=281148427221136 CPUtime=0.24 cores=0-7 /proc/9675/task/9679/stat : 9679 (java) S 9673 9673 7356 0 -1 1077944384 968 0 0 0 17 7 0 0 20 0 20 0 446943038 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140344643697680 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9680] ppid=9673 vsize=28768336 memory=5413684 CPUtime=0.2 cores=0-7 /proc/9675/task/9680/stat : 9680 (java) S 9673 9673 7356 0 -1 1077944384 1286 0 0 0 13 7 0 0 20 0 20 0 446943038 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140344642645136 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9681] ppid=9673 vsize=28768336 memory=1448 CPUtime=0.23 cores=0-7 /proc/9675/task/9681/stat : 9681 (java) S 9673 9673 7356 0 -1 1077944384 1283 0 0 0 16 7 0 0 20 0 20 0 446943038 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140344641591568 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9682] ppid=9673 vsize=28768336 memory=1448 CPUtime=0.23 cores=0-7 /proc/9675/task/9682/stat : 9682 (java) S 9673 9673 7356 0 -1 1077944384 946 0 0 0 17 6 0 0 20 0 20 0 446943038 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140344640539024 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9683] ppid=9673 vsize=28768336 memory=18 CPUtime=0.22 cores=0-7 /proc/9675/task/9683/stat : 9683 (java) S 9673 9673 7356 0 -1 1077944384 947 0 0 0 15 7 0 0 20 0 20 0 446943038 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140344639486480 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9684] ppid=9673 vsize=28768336 memory=1196 CPUtime=0.24 cores=0-7 /proc/9675/task/9684/stat : 9684 (java) S 9673 9673 7356 0 -1 1077944384 776 0 0 0 17 7 0 0 20 0 20 0 446943038 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140344638433936 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9685] ppid=9673 vsize=28768336 memory=1044 CPUtime=0.04 cores=0-7 /proc/9675/task/9685/stat : 9685 (java) S 9673 9673 7356 0 -1 1077944384 3856 0 0 0 3 1 0 0 20 0 20 0 446943039 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140342821693936 140344693193346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9686] ppid=9673 vsize=28768336 memory=47752 CPUtime=0 cores=0-7 /proc/9675/task/9686/stat : 9686 (java) S 9673 9673 7356 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 446943040 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140342820640224 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9687] ppid=9673 vsize=28768336 memory=988 CPUtime=0 cores=0-7 /proc/9675/task/9687/stat : 9687 (java) S 9673 9673 7356 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 20 0 446943040 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140342819587584 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9688] ppid=9673 vsize=28768336 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/9675/task/9688/stat : 9688 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943042 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140342818536144 140344693200795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9689] ppid=9673 vsize=28768336 memory=5460384 CPUtime=4.02 cores=0-7 /proc/9675/task/9689/stat : 9689 (java) S 9673 9673 7356 0 -1 1077944384 14809 0 0 0 399 3 0 0 20 0 20 0 446943042 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140342817482736 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9690] ppid=9673 vsize=28768336 memory=1448 CPUtime=4.4 cores=0-7 /proc/9675/task/9690/stat : 9690 (java) S 9673 9673 7356 0 -1 1077944384 17266 0 0 0 437 3 0 0 20 0 20 0 446943042 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140342816430192 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9691] ppid=9673 vsize=28768336 memory=1448 CPUtime=4.19 cores=0-7 /proc/9675/task/9691/stat : 9691 (java) S 9673 9673 7356 0 -1 1077944384 15628 0 0 0 415 4 0 0 20 0 20 0 446943042 29458776064 1353287 33554432000 4194304 4196468 140731483589920 140342815377648 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9692] ppid=9673 vsize=28768336 memory=5413684 CPUtime=0.96 cores=0-7 /proc/9675/task/9692/stat : 9692 (java) S 9673 9673 7356 0 -1 1077944384 11247 0 0 0 93 3 0 0 20 0 20 0 446943042 29458776064 1353287 33554432000 4194304 4196468 140731483589920 140342814325104 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9693] ppid=9673 vsize=28768336 memory=15257060526784562 CPUtime=0 cores=0-7 /proc/9675/task/9693/stat : 9693 (java) S 9673 9673 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446943042 29458776064 1353287 33554432000 4194304 4196468 140731483589920 140342813272800 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 [pid=9675/tid=9694] ppid=9673 vsize=28768336 memory=281148424978672 CPUtime=0.04 cores=0-7 /proc/9675/task/9694/stat : 9694 (java) S 9673 9673 7356 0 -1 1077944384 780 0 0 0 2 2 0 0 20 0 20 0 446943043 29458776064 1353287 33554432000 4194304 4196468 140731483589920 140342812220336 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0 Current children cumulated CPU time: 924.05 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 5414592 KiB Child status: 0 Real time (s): 118.331 CPU time (s): 924.097 CPU user time (s): 921.402 CPU system time (s): 2.69502 CPU usage (%): 780.941 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 5463480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 921.402 system time used= 2.69502 maximum resident set size= 5463680 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 131208 page faults= 0 swaps= 0 block input operations= 0 block output operations= 296 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8641 involuntary context switches= 10901 # summary of solver processes directly reported to runsolver: # pid: 9673 # total CPU time (s): 924.097 # total CPU user time (s): 921.402 # total CPU system time (s): 2.69502 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.40656 second user time and 1.02305 second system time The end
Begin job on node145 at 2019-09-17 10:47:04 IDJOB=4400068 IDBENCH=120658 IDSOLVER=2855 FILE ID=node145/4400068-1568710065 RUNJOBID= node145-1568701156-7383 PBS_JOBID= 21703915 Free space on /tmp= 59532 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-5-fullins-4.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-4400068-1568710065/watcher-4400068-1568710065 -o /tmp/evaluation-result-4400068-1568710065/solver-4400068-1568710065 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568701156-7383 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1400329067 HOME/instance-4400068-1568710065.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9a110b3288dcdd83da8fcc132ac433c6 RANDOM SEED=1400329067 node145.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.59 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.59 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.59 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.59 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: 29336308 kB MemAvailable: 31853088 kB Buffers: 189848 kB Cached: 2617576 kB SwapCached: 41072 kB Active: 1386484 kB Inactive: 1465424 kB Active(anon): 7024 kB Inactive(anon): 86528 kB Active(file): 1379460 kB Inactive(file): 1378896 kB Unevictable: 109612 kB Mlocked: 109612 kB SwapTotal: 67108860 kB SwapFree: 66958320 kB Dirty: 26388 kB Writeback: 0 kB AnonPages: 53932 kB Mapped: 48664 kB Shmem: 40616 kB Slab: 177016 kB SReclaimable: 148520 kB SUnreclaim: 28496 kB KernelStack: 3712 kB PageTables: 5120 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506328 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 59508 MiB End job on node145 at 2019-09-17 10:49:02