Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 6 | 372.329 | 49.2583 |
Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-5.xml |
MD5SUM | 7175cc64c8263572fa1d1d1459976d33 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 6 |
Best CPU time to get the best result obtained on this benchmark | 58.1955 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 852 |
Number of constraints | 12201 |
Number of domains | 1 |
Minimum domain size | 852 |
Maximum domain size | 852 |
Distribution of domain sizes | [{"size":852,"count":852}] |
Minimum variable degree | 9 |
Maximum variable degree | 216 |
Distribution of variable degrees | [{"degree":9,"count":4},{"degree":10,"count":10},{"degree":11,"count":10},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":28},{"degree":15,"count":20},{"degree":16,"count":40},{"degree":17,"count":26},{"degree":18,"count":52},{"degree":19,"count":24},{"degree":20,"count":52},{"degree":21,"count":10},{"degree":22,"count":20},{"degree":23,"count":24},{"degree":24,"count":48},{"degree":25,"count":18},{"degree":26,"count":36},{"degree":27,"count":20},{"degree":28,"count":40},{"degree":29,"count":16},{"degree":30,"count":32},{"degree":31,"count":32},{"degree":32,"count":64},{"degree":33,"count":4},{"degree":34,"count":8},{"degree":35,"count":4},{"degree":36,"count":8},{"degree":41,"count":4},{"degree":42,"count":8},{"degree":43,"count":8},{"degree":44,"count":16},{"degree":45,"count":8},{"degree":46,"count":16},{"degree":47,"count":16},{"degree":48,"count":32},{"degree":58,"count":4},{"degree":61,"count":4},{"degree":62,"count":8},{"degree":63,"count":8},{"degree":64,"count":16},{"degree":111,"count":4},{"degree":112,"count":8},{"degree":216,"count":4}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":12201}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 12201 |
Distribution of constraint types | [{"type":"intension","count":12201}] |
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-4400124-1568709969.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400124-1568709969.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 10.57/3.47 c solve instance... 13.15/3.87 o 17 14.57/4.10 o 16 14.57/4.11 o 15 16.91/4.56 o 14 16.91/4.56 o 13 16.91/4.56 o 12 16.91/4.56 o 11 17.34/4.66 o 10 18.33/4.83 o 6 372.14/49.23 s OPTIMUM FOUND 372.14/49.23 v <instantiation> 372.14/49.23 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] </list> 372.14/49.23 v <values>5 3 1 1 6 3 0 0 5 2 1 6 5 6 5 3 5 6 1 3 3 2 1 6 2 3 3 1 0 0 0 1 0 0 1 0 6 0 6 6 2 2 2 6 2 2 6 6 3 0 6 1 5 6 5 0 2 6 2 1 5 2 0 6 5 6 1 1 5 6 2 2 5 2 1 6 1 1 5 0 5 0 0 1 0 0 0 0 2 6 5 5 6 5 5 6 6 2 5 6 5 0 6 1 3 3 0 6 6 6 3 3 5 3 3 3 5 3 5 6 5 6 3 3 5 2 3 6 0 3 0 0 0 3 2 0 0 3 3 3 6 6 3 2 2 2 6 3 6 6 6 6 3 3 2 3 1 1 0 1 5 1 1 0 1 1 0 1 5 5 5 1 1 1 1 1 5 1 1 1 1 0 0 1 5 0 1 1 0 1 0 1 5 5 0 1 5 5 1 5 5 1 1 5 0 1 5 0 6 3 1 2 4 0 4 4 5 4 2 1 5 4 4 4 4 4 5 4 4 4 4 1 3 4 1 3 4 0 1 0 4 3 0 4 0 4 0 4 2 0 2 4 2 2 2 2 2 4 2 2 4 4 4 1 4 2 1 4 4 4 4 4 5 4 1 4 4 4 1 1 2 5 4 2 4 4 4 4 1 0 4 0 4 4 0 1 0 4 1 4 5 5 4 5 4 4 5 5 4 4 4 4 4 0 5 4 2 3 3 0 3 3 3 0 3 3 4 3 3 4 4 3 3 3 2 3 4 4 3 4 4 3 4 4 3 4 4 3 3 4 3 4 4 3 4 3 3 4 2 2 3 3 3 2 4 3 2 3 1 1 4 0 1 4 0 1 1 4 0 1 4 1 4 1 1 1 1 4 4 4 1 4 4 4 4 0 0 0 3 1 4 0 0 1 1 1 4 4 4 4 4 4 1 1 1 1 1 0 4 0 4 4 4 2 3 3 1 0 3 6 1 6 0 0 6 0 3 3 5 6 3 5 2 2 5 3 6 3 3 6 6 6 3 6 0 6 0 0 6 6 2 3 6 3 2 6 2 3 2 6 6 6 3 0 6 6 2 6 6 0 5 0 6 2 6 2 6 6 2 5 5 0 2 5 6 6 5 2 2 6 5 6 5 0 5 6 0 5 0 6 5 0 2 0 5 2 6 5 6 2 2 6 6 2 5 6 2 5 6 2 3 6 5 3 2 3 5 3 0 3 5 3 5 2 3 2 2 2 2 2 3 2 3 2 3 3 6 0 2 6 0 0 6 6 3 3 3 2 3 6 3 3 2 2 3 2 2 3 2 2 1 5 5 6 5 5 5 5 6 6 0 6 6 0 5 6 6 6 5 5 5 6 5 5 5 0 0 0 0 6 6 5 0 6 5 5 6 5 0 0 5 0 0 5 5 5 6 5 6 6 5 6 5 6 5 5 4 4 1 6 1 3 4 1 5 4 4 4 4 4 5 1 3 4 4 1 4 4 4 3 4 4 1 5 4 4 1 1 5 4 1 4 1 4 4 4 4 1 1 4 4 4 1 1 4 1 1 1 1 4 1 1 5 4 1 4 5 4 1 4 5 4 4 1 1 4 4 1 5 4 4 4 1 1 4 1 5 1 1 1 4 4 4 4 4 4 5 1 5 5 5 1 1 4 5 5 5 4 1 4 1 4 4 4 3 1 1 3 4 4 1 3 4 3 4 4 3 3 1 3 1 4 1 3 3 3 3 1 4 3 4 4 3 1 1 4 4 3 3 1 4 1 3 1 1 3 1 1 1 3 3 3 4 1 1 1 1 1 4 4 1 4 4 1 1 4 1 1 4 4 4 1 1 1 4 1 6 4 4 6 4 4 4 6 1 1 4 4 4 6 6 1 4 1 3 1 1 1 1 4 4 4 4 4 4 3 1 3 0 6 4 2 </values> 372.14/49.23 v </instantiation>
OK 6
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 (14533 MiB free) memory of node 1: 16384 MiB (14114 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400124-1568709969/watcher-4400124-1568709969 -o /tmp/evaluation-result-4400124-1568709969/solver-4400124-1568709969 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568700441-10597 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1322679489 HOME/instance-4400124-1568709969.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=14173, runsolver pid=14170 Current StackSize limit: 8192 KiB [startup+0.10006 s]* /proc/loadavg: 8.63 8.40 8.26 3/211 14194 /proc/meminfo: memFree=29319452/32770624 swapFree=66939908/67108860 [pid=14173] ppid=14170 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14173/stat : 14173 (xcsp3-exec) S 14170 14173 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446911749 115843072 362 33554432000 4194304 5098028 140735177289056 140735177287160 139845166285436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30429184 140735177294715 140735177294958 140735177294958 140735177297866 0 /proc/14173/statm: 28282 362 304 221 0 87 0 [pid=14175] ppid=14173 vsize=28227396 memory=28744 CPUtime=0.12 cores=0-7 /proc/14175/stat : 14175 (java) S 14173 14173 10570 0 -1 1077944320 5689 0 0 0 11 1 0 0 20 0 20 0 446911750 28904853504 7186 33554432000 4194304 4196468 140720380969792 140720380952336 140418978184951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 /proc/14175/statm: 7056849 7186 3119 1 0 7019032 0 [pid=14175/tid=14176] ppid=14173 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7 /proc/14175/task/14176/stat : 14176 (java) R 14173 14173 10570 0 -1 4202560 3601 0 0 0 8 0 0 0 20 0 20 0 446911750 28904853504 7186 33554432000 4194304 4196468 140720380969792 140418982405848 140418978206877 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14177] ppid=14173 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/14175/task/14177/stat : 14177 (java) S 14173 14173 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446911751 28904853504 7186 33554432000 4194304 4196468 140720380969792 140418930805008 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14178] ppid=14173 vsize=28227396 memory=140562563217024 CPUtime=0 cores=0-7 /proc/14175/task/14178/stat : 14178 (java) S 14173 14173 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446911751 28904853504 7186 33554432000 4194304 4196468 140720380969792 140418929752464 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14179] ppid=14173 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14179/stat : 14179 (java) S 14173 14173 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446911751 28904853504 7186 33554432000 4194304 4196468 140720380969792 140418928699920 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14180] ppid=14173 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14180/stat : 14180 (java) S 14173 14173 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446911751 28904853504 7186 33554432000 4194304 4196468 140720380969792 140418927647376 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14181] ppid=14173 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14181/stat : 14181 (java) S 14173 14173 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446911751 28904853504 7186 33554432000 4194304 4196468 140720380969792 140418926594832 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14182] ppid=14173 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14175/task/14182/stat : 14182 (java) S 14173 14173 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446911751 28904853504 7186 33554432000 4194304 4196468 140720380969792 140418925542288 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14183] ppid=14173 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14183/stat : 14183 (java) S 14173 14173 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446911751 28904853504 7186 33554432000 4194304 4196468 140720380969792 140418924489744 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14184] ppid=14173 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14184/stat : 14184 (java) S 14173 14173 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446911751 28904853504 7186 33554432000 4194304 4196468 140720380969792 140418521881744 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14185] ppid=14173 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14185/stat : 14185 (java) S 14173 14173 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446911752 28904853504 7186 33554432000 4194304 4196468 140720380969792 140417959888880 140418978196098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14186] ppid=14173 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14186/stat : 14186 (java) S 14173 14173 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446911753 28904853504 7186 33554432000 4194304 4196468 140720380969792 140417958835104 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14187] ppid=14173 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14187/stat : 14187 (java) S 14173 14173 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446911753 28904853504 7186 33554432000 4194304 4196468 140720380969792 140417957782512 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14188] ppid=14173 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14188/stat : 14188 (java) S 14173 14173 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446911755 28904853504 7186 33554432000 4194304 4196468 140720380969792 140417956731088 140418978203547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14189] ppid=14173 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14189/stat : 14189 (java) S 14173 14173 10570 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 446911756 28904853504 7186 33554432000 4194304 4196468 140720380969792 140417955678704 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14190] ppid=14173 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14190/stat : 14190 (java) S 14173 14173 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446911756 28904853504 7186 33554432000 4194304 4196468 140720380969792 140417954626160 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14191] ppid=14173 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14191/stat : 14191 (java) S 14173 14173 10570 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 446911756 28904853504 7186 33554432000 4194304 4196468 140720380969792 140417953573616 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14192] ppid=14173 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/14175/task/14192/stat : 14192 (java) R 14173 14173 10570 0 -1 4202560 359 0 0 0 1 0 0 0 20 0 20 0 446911756 28904853504 7186 33554432000 4194304 4196468 140720380969792 140417952521072 140418978206298 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14193] ppid=14173 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14193/stat : 14193 (java) S 14173 14173 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446911756 28904853504 7186 33554432000 4194304 4196468 140720380969792 140417951467744 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14194] ppid=14173 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14175/task/14194/stat : 14194 (java) S 14173 14173 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446911756 28904853504 7186 33554432000 4194304 4196468 140720380969792 140417950415280 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30192 KiB [startup+0.210725 s]* /proc/loadavg: 8.63 8.40 8.26 3/211 14194 /proc/meminfo: memFree=29307372/32770624 swapFree=66939908/67108860 [pid=14173] ppid=14170 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14173/stat : 14173 (xcsp3-exec) S 14170 14173 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446911749 115843072 362 33554432000 4194304 5098028 140735177289056 140735177287160 139845166285436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30429184 140735177294715 140735177294958 140735177294958 140735177297866 0 /proc/14173/statm: 28282 362 304 221 0 87 0 [pid=14175] ppid=14173 vsize=28227396 memory=41084 CPUtime=0.33 cores=0-7 /proc/14175/stat : 14175 (java) S 14173 14173 10570 0 -1 1077944320 9516 0 0 0 30 3 0 0 20 0 20 0 446911750 28904853504 10271 33554432000 4194304 4196468 140720380969792 140720380952336 140418978184951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 /proc/14175/statm: 7056849 10271 3316 1 0 7019032 0 [pid=14175/tid=14176] ppid=14173 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/14175/task/14176/stat : 14176 (java) R 14173 14173 10570 0 -1 4202560 6631 0 0 0 18 2 0 0 20 0 20 0 446911750 28904853504 10271 33554432000 4194304 4196468 140720380969792 140418982417680 140418960425167 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14177] ppid=14173 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/14175/task/14177/stat : 14177 (java) S 14173 14173 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446911751 28904853504 10271 33554432000 4194304 4196468 140720380969792 140418930805008 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14178] ppid=14173 vsize=28227396 memory=288370938714928768 CPUtime=0 cores=0-7 /proc/14175/task/14178/stat : 14178 (java) S 14173 14173 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446911751 28904853504 10271 33554432000 4194304 4196468 140720380969792 140418929752464 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14179] ppid=14173 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14175/task/14179/stat : 14179 (java) S 14173 14173 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446911751 28904853504 10271 33554432000 4194304 4196468 140720380969792 140418928699920 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14180] ppid=14173 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14180/stat : 14180 (java) S 14173 14173 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446911751 28904853504 10271 33554432000 4194304 4196468 140720380969792 140418927647376 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14181] ppid=14173 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14181/stat : 14181 (java) S 14173 14173 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446911751 28904853504 10271 33554432000 4194304 4196468 140720380969792 140418926594832 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14182] ppid=14173 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14175/task/14182/stat : 14182 (java) S 14173 14173 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446911751 28904853504 10271 33554432000 4194304 4196468 140720380969792 140418925542288 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14183] ppid=14173 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14183/stat : 14183 (java) S 14173 14173 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446911751 28904853504 10271 33554432000 4194304 4196468 140720380969792 140418924489744 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14184] ppid=14173 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14184/stat : 14184 (java) S 14173 14173 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446911751 28904853504 10271 33554432000 4194304 4196468 140720380969792 140418521881744 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14185] ppid=14173 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14185/stat : 14185 (java) S 14173 14173 10570 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 446911752 28904853504 10271 33554432000 4194304 4196468 140720380969792 140417959888880 140418978196098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14186] ppid=14173 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14186/stat : 14186 (java) S 14173 14173 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446911753 28904853504 10271 33554432000 4194304 4196468 140720380969792 140417958835104 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14187] ppid=14173 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14187/stat : 14187 (java) S 14173 14173 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446911753 28904853504 10271 33554432000 4194304 4196468 140720380969792 140417957782512 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14188] ppid=14173 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14188/stat : 14188 (java) S 14173 14173 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446911755 28904853504 10271 33554432000 4194304 4196468 140720380969792 140417956731088 140418978203547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14189] ppid=14173 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14189/stat : 14189 (java) S 14173 14173 10570 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 446911756 28904853504 10271 33554432000 4194304 4196468 140720380969792 140417955678704 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14190] ppid=14173 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/14175/task/14190/stat : 14190 (java) S 14173 14173 10570 0 -1 1077944384 280 0 0 0 2 0 0 0 20 0 20 0 446911756 28904853504 10271 33554432000 4194304 4196468 140720380969792 140417954626160 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14191] ppid=14173 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/14175/task/14191/stat : 14191 (java) S 14173 14173 10570 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 20 0 446911756 28904853504 10271 33554432000 4194304 4196468 140720380969792 140417953573616 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14192] ppid=14173 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/14175/task/14192/stat : 14192 (java) R 14173 14173 10570 0 -1 4202560 772 0 0 0 7 0 0 0 20 0 20 0 446911756 28904853504 10271 33554432000 4194304 4196468 140720380969792 140417952521072 140418970422078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14193] ppid=14173 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14193/stat : 14193 (java) S 14173 14173 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446911756 28904853504 10271 33554432000 4194304 4196468 140720380969792 140417951467744 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14194] ppid=14173 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14175/task/14194/stat : 14194 (java) S 14173 14173 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446911756 28904853504 10271 33554432000 4194304 4196468 140720380969792 140417950415280 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42532 KiB [startup+0.310588 s]* /proc/loadavg: 8.63 8.40 8.26 4/211 14194 /proc/meminfo: memFree=29299368/32770624 swapFree=66939908/67108860 [pid=14173] ppid=14170 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14173/stat : 14173 (xcsp3-exec) S 14170 14173 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446911749 115843072 362 33554432000 4194304 5098028 140735177289056 140735177287160 139845166285436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30429184 140735177294715 140735177294958 140735177294958 140735177297866 0 /proc/14173/statm: 28282 362 304 221 0 87 0 [pid=14175] ppid=14173 vsize=28231652 memory=49980 CPUtime=0.52 cores=0-7 /proc/14175/stat : 14175 (java) S 14173 14173 10570 0 -1 1077944320 10900 0 0 0 48 4 0 0 20 0 20 0 446911750 28909211648 12495 33554432000 4194304 4196468 140720380969792 140720380952336 140418978184951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 /proc/14175/statm: 7057913 12495 3360 1 0 7019032 0 [pid=14175/tid=14176] ppid=14173 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/14175/task/14176/stat : 14176 (java) R 14173 14173 10570 0 -1 4202560 7798 0 0 0 27 3 0 0 20 0 20 0 446911750 28909211648 12495 33554432000 4194304 4196468 140720380969792 140418982416064 140418962265468 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14177] ppid=14173 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14177/stat : 14177 (java) S 14173 14173 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446911751 28909211648 12495 33554432000 4194304 4196468 140720380969792 140418930805008 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14178] ppid=14173 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14178/stat : 14178 (java) S 14173 14173 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446911751 28909211648 12495 33554432000 4194304 4196468 140720380969792 140418929752464 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14179] ppid=14173 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14179/stat : 14179 (java) S 14173 14173 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446911751 28909211648 12495 33554432000 4194304 4196468 140720380969792 140418928699920 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14180] ppid=14173 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14180/stat : 14180 (java) S 14173 14173 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446911751 28909211648 12495 33554432000 4194304 4196468 140720380969792 140418927647376 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14181] ppid=14173 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14181/stat : 14181 (java) S 14173 14173 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446911751 28909211648 12495 33554432000 4194304 4196468 140720380969792 140418926594832 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14182] ppid=14173 vsize=28231652 memory=140562401421999 CPUtime=0 cores=0-7 /proc/14175/task/14182/stat : 14182 (java) S 14173 14173 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446911751 28909211648 12495 33554432000 4194304 4196468 140720380969792 140418925542288 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14183] ppid=14173 vsize=28231652 memory=140562401424304 CPUtime=0 cores=0-7 /proc/14175/task/14183/stat : 14183 (java) S 14173 14173 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446911751 28909211648 12495 33554432000 4194304 4196468 140720380969792 140418924489744 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14184] ppid=14173 vsize=28231652 memory=140562401426608 CPUtime=0 cores=0-7 /proc/14175/task/14184/stat : 14184 (java) S 14173 14173 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446911751 28909211648 12495 33554432000 4194304 4196468 140720380969792 140418521881744 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14185] ppid=14173 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14185/stat : 14185 (java) S 14173 14173 10570 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 446911752 28909211648 12495 33554432000 4194304 4196468 140720380969792 140417959888880 140418978196098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14186] ppid=14173 vsize=28231652 memory=281124802867088 CPUtime=0 cores=0-7 /proc/14175/task/14186/stat : 14186 (java) S 14173 14173 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446911753 28909211648 12495 33554432000 4194304 4196468 140720380969792 140417958835104 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14187] ppid=14173 vsize=28231652 memory=281124802864784 CPUtime=0 cores=0-7 /proc/14175/task/14187/stat : 14187 (java) S 14173 14173 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446911753 28909211648 12495 33554432000 4194304 4196468 140720380969792 140417957782512 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14188] ppid=14173 vsize=28231652 memory=281124802871696 CPUtime=0 cores=0-7 /proc/14175/task/14188/stat : 14188 (java) S 14173 14173 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446911755 28909211648 12495 33554432000 4194304 4196468 140720380969792 140417956731088 140418978203547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14189] ppid=14173 vsize=28231652 memory=281124802812976 CPUtime=0.01 cores=0-7 /proc/14175/task/14189/stat : 14189 (java) S 14173 14173 10570 0 -1 1077944384 318 0 0 0 1 0 0 0 20 0 20 0 446911756 28909211648 12495 33554432000 4194304 4196468 140720380969792 140417955678704 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14190] ppid=14173 vsize=28231652 memory=281124802885520 CPUtime=0.04 cores=0-7 /proc/14175/task/14190/stat : 14190 (java) S 14173 14173 10570 0 -1 1077944384 289 0 0 0 4 0 0 0 20 0 20 0 446911756 28909211648 12495 33554432000 4194304 4196468 140720380969792 140417954626160 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14191] ppid=14173 vsize=28231652 memory=281124802892432 CPUtime=0.03 cores=0-7 /proc/14175/task/14191/stat : 14191 (java) R 14173 14173 10570 0 -1 4202560 335 0 0 0 3 0 0 0 20 0 20 0 446911756 28909211648 12495 33554432000 4194304 4196468 140720380969792 140417953564000 140418963311248 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14192] ppid=14173 vsize=28231652 memory=281124802890128 CPUtime=0.12 cores=0-7 /proc/14175/task/14192/stat : 14192 (java) S 14173 14173 10570 0 -1 1077944384 872 0 0 0 12 0 0 0 20 0 20 0 446911756 28909211648 12495 33554432000 4194304 4196468 140720380969792 140417952521072 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14193] ppid=14173 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14193/stat : 14193 (java) S 14173 14173 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446911756 28909211648 12495 33554432000 4194304 4196468 140720380969792 140417951467744 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14194] ppid=14173 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/14175/task/14194/stat : 14194 (java) S 14173 14173 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446911756 28909211648 12495 33554432000 4194304 4196468 140720380969792 140417950415280 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51428 KiB [startup+0.701008 s] /proc/loadavg: 8.63 8.40 8.26 3/211 14194 /proc/meminfo: memFree=29277100/32770624 swapFree=66939908/67108860 [pid=14173] ppid=14170 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14173/stat : 14173 (xcsp3-exec) S 14170 14173 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446911749 115843072 362 33554432000 4194304 5098028 140735177289056 140735177287160 139845166285436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30429184 140735177294715 140735177294958 140735177294958 140735177297866 0 /proc/14173/statm: 28282 362 304 221 0 87 0 [pid=14175] ppid=14173 vsize=28233776 memory=126764 CPUtime=1.98 cores=0-7 /proc/14175/stat : 14175 (java) S 14173 14173 10570 0 -1 1077944320 15755 0 0 0 191 7 0 0 20 0 20 0 446911750 28911386624 31691 33554432000 4194304 4196468 140720380969792 140720380952336 140418978184951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 /proc/14175/statm: 7058444 31691 3448 1 0 7019544 0 [pid=14175/tid=14176] ppid=14173 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/14175/task/14176/stat : 14176 (java) R 14173 14173 10570 0 -1 4202560 8371 0 0 0 64 4 0 0 20 0 20 0 446911750 28911386624 31691 33554432000 4194304 4196468 140720380969792 140418982423552 140418603843887 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14177] ppid=14173 vsize=28233776 memory=140562401633136 CPUtime=0 cores=0-7 /proc/14175/task/14177/stat : 14177 (java) S 14173 14173 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446911751 28911386624 31691 33554432000 4194304 4196468 140720380969792 140418930805008 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14178] ppid=14173 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/14175/task/14178/stat : 14178 (java) S 14173 14173 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446911751 28911386624 31691 33554432000 4194304 4196468 140720380969792 140418929752464 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14179] ppid=14173 vsize=28233776 memory=1256 CPUtime=0 cores=0-7 /proc/14175/task/14179/stat : 14179 (java) S 14173 14173 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446911751 28911386624 31691 33554432000 4194304 4196468 140720380969792 140418928699920 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 ################ # More data... # ################ [pid=14175/tid=14192] ppid=14173 vsize=28834900 memory=1984 CPUtime=0.96 cores=0-7 /proc/14175/task/14192/stat : 14192 (java) S 14173 14173 10570 0 -1 1077944384 11039 0 0 0 94 2 0 0 20 0 28 0 446911756 29526937600 862556 33554432000 4194304 4196468 140720380969792 140417952521072 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14193] ppid=14173 vsize=28834900 memory=1440 CPUtime=0 cores=0-7 /proc/14175/task/14193/stat : 14193 (java) S 14173 14173 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446911756 29526937600 862556 33554432000 4194304 4196468 140720380969792 140417951467744 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14194] ppid=14173 vsize=28834900 memory=816 CPUtime=0.01 cores=0-7 /proc/14175/task/14194/stat : 14194 (java) S 14173 14173 10570 0 -1 1077944384 1044 0 0 0 0 1 0 0 20 0 28 0 446911756 29526937600 862556 33554432000 4194304 4196468 140720380969792 140417950415280 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14267] ppid=14173 vsize=28834900 memory=2580 CPUtime=42.33 cores=0-7 /proc/14175/task/14267/stat : 14267 (java) R 14173 14173 10570 0 -1 4202560 7713 0 0 0 4198 35 0 0 20 0 28 0 446912233 29526937600 862556 33554432000 4194304 4196468 140720380969792 140417935116648 140418613374951 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14268] ppid=14173 vsize=28834900 memory=1760 CPUtime=42.4 cores=0-7 /proc/14175/task/14268/stat : 14268 (java) R 14173 14173 10570 0 -1 4202560 519 0 0 0 4240 0 0 0 20 0 28 0 446912233 29526937600 862556 33554432000 4194304 4196468 140720380969792 140417930915928 140418613132636 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14269] ppid=14173 vsize=28834900 memory=111636 CPUtime=42.35 cores=0-7 /proc/14175/task/14269/stat : 14269 (java) R 14173 14173 10570 0 -1 4202560 439 0 0 0 4235 0 0 0 20 0 28 0 446912233 29526937600 862556 33554432000 4194304 4196468 140720380969792 140417940382392 140418608434410 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14270] ppid=14173 vsize=28834900 memory=808 CPUtime=42.49 cores=0-7 /proc/14175/task/14270/stat : 14270 (java) R 14173 14173 10570 0 -1 4202560 2624 0 0 0 4242 7 0 0 20 0 28 0 446912233 29526937600 862556 33554432000 4194304 4196468 140720380969792 140417936173736 140418613133067 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14271] ppid=14173 vsize=28834900 memory=1808 CPUtime=42.35 cores=0-7 /proc/14175/task/14271/stat : 14271 (java) R 14173 14173 10570 0 -1 4202560 762 0 0 0 4235 0 0 0 20 0 28 0 446912233 29526937600 862556 33554432000 4194304 4196468 140720380969792 140417941434952 140418608434081 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14272] ppid=14173 vsize=28834900 memory=924 CPUtime=42.58 cores=0-7 /proc/14175/task/14272/stat : 14272 (java) R 14173 14173 10570 0 -1 4202560 699 0 0 0 4258 0 0 0 20 0 28 0 446912233 29526937600 862556 33554432000 4194304 4196468 140720380969792 140417934066424 140418612510404 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14273] ppid=14173 vsize=28834900 memory=4872 CPUtime=42.49 cores=0-7 /proc/14175/task/14273/stat : 14273 (java) R 14173 14173 10570 0 -1 4202560 9218 0 0 0 4209 40 0 0 20 0 28 0 446912233 29526937600 862556 33554432000 4194304 4196468 140720380969792 140417937222936 140418613594503 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14274] ppid=14173 vsize=28834900 memory=4096 CPUtime=42.7 cores=0-7 /proc/14175/task/14274/stat : 14274 (java) R 14173 14173 10570 0 -1 4202560 842 0 0 0 4270 0 0 0 20 0 28 0 446912233 29526937600 862556 33554432000 4194304 4196468 140720380969792 140417939329016 140418612510404 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 Current children cumulated CPU time: 362.57 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 3451672 KiB [startup+48.802 s] /proc/loadavg: 8.16 8.30 8.23 9/219 14277 /proc/meminfo: memFree=25894556/32770624 swapFree=66939908/67108860 [pid=14173] ppid=14170 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14173/stat : 14173 (xcsp3-exec) S 14170 14173 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446911749 115843072 362 33554432000 4194304 5098028 140735177289056 140735177287160 139845166285436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30429184 140735177294715 140735177294958 140735177294958 140735177297866 0 /proc/14173/statm: 28282 362 304 221 0 87 0 [pid=14175] ppid=14173 vsize=28834900 memory=3460728 CPUtime=368.87 cores=0-7 /proc/14175/stat : 14175 (java) S 14173 14173 10570 0 -1 1077944320 98957 0 0 0 36706 181 0 0 20 0 28 0 446911750 29526937600 865182 33554432000 4194304 4196468 140720380969792 140720380952336 140418978184951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 /proc/14175/statm: 7208725 865182 3530 1 0 7169825 0 [pid=14175/tid=14176] ppid=14173 vsize=28834900 memory=6791534058613427641 CPUtime=3.32 cores=0-7 /proc/14175/task/14176/stat : 14176 (java) S 14173 14173 10570 0 -1 1077944384 11227 0 0 0 321 11 0 0 20 0 28 0 446911750 29526937600 865182 33554432000 4194304 4196468 140720380969792 140418982425728 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14177] ppid=14173 vsize=28834900 memory=14698517092373773 CPUtime=0.21 cores=0-7 /proc/14175/task/14177/stat : 14177 (java) S 14173 14173 10570 0 -1 1077944384 484 0 0 0 13 8 0 0 20 0 28 0 446911751 29526937600 865182 33554432000 4194304 4196468 140720380969792 140418930805008 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14178] ppid=14173 vsize=28834900 memory=1436 CPUtime=0.21 cores=0-7 /proc/14175/task/14178/stat : 14178 (java) S 14173 14173 10570 0 -1 1077944384 791 0 0 0 14 7 0 0 20 0 28 0 446911751 29526937600 865182 33554432000 4194304 4196468 140720380969792 140418929752464 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14179] ppid=14173 vsize=28834900 memory=4152 CPUtime=0.23 cores=0-7 /proc/14175/task/14179/stat : 14179 (java) S 14173 14173 10570 0 -1 1077944384 455 0 0 0 15 8 0 0 20 0 28 0 446911751 29526937600 865182 33554432000 4194304 4196468 140720380969792 140418928699920 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14180] ppid=14173 vsize=28834900 memory=1548 CPUtime=0.23 cores=0-7 /proc/14175/task/14180/stat : 14180 (java) S 14173 14173 10570 0 -1 1077944384 435 0 0 0 15 8 0 0 20 0 28 0 446911751 29526937600 865182 33554432000 4194304 4196468 140720380969792 140418927647376 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14181] ppid=14173 vsize=28834900 memory=6791534058613427641 CPUtime=0.22 cores=0-7 /proc/14175/task/14181/stat : 14181 (java) S 14173 14173 10570 0 -1 1077944384 1491 0 0 0 15 7 0 0 20 0 28 0 446911751 29526937600 865182 33554432000 4194304 4196468 140720380969792 140418926594832 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14182] ppid=14173 vsize=28834900 memory=7014466797695887213 CPUtime=0.22 cores=0-7 /proc/14175/task/14182/stat : 14182 (java) S 14173 14173 10570 0 -1 1077944384 380 0 0 0 15 7 0 0 20 0 28 0 446911751 29526937600 865182 33554432000 4194304 4196468 140720380969792 140418925542288 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14183] ppid=14173 vsize=28834900 memory=1448 CPUtime=0.25 cores=0-7 /proc/14175/task/14183/stat : 14183 (java) S 14173 14173 10570 0 -1 1077944384 938 0 0 0 17 8 0 0 20 0 28 0 446911751 29526937600 865182 33554432000 4194304 4196468 140720380969792 140418924489744 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14184] ppid=14173 vsize=28834900 memory=3454320 CPUtime=0.21 cores=0-7 /proc/14175/task/14184/stat : 14184 (java) S 14173 14173 10570 0 -1 1077944384 586 0 0 0 14 7 0 0 20 0 28 0 446911751 29526937600 865182 33554432000 4194304 4196468 140720380969792 140418521881744 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14185] ppid=14173 vsize=28834900 memory=1448 CPUtime=0.03 cores=0-7 /proc/14175/task/14185/stat : 14185 (java) S 14173 14173 10570 0 -1 1077944384 3611 0 0 0 3 0 0 0 20 0 28 0 446911752 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417959888880 140418978196098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14186] ppid=14173 vsize=28834900 memory=3450224 CPUtime=0 cores=0-7 /proc/14175/task/14186/stat : 14186 (java) S 14173 14173 10570 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 446911753 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417958835168 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14187] ppid=14173 vsize=28834900 memory=1620 CPUtime=0 cores=0-7 /proc/14175/task/14187/stat : 14187 (java) S 14173 14173 10570 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 446911753 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417957782528 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14188] ppid=14173 vsize=28834900 memory=1052 CPUtime=0 cores=0-7 /proc/14175/task/14188/stat : 14188 (java) S 14173 14173 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446911755 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417956731088 140418978203547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14189] ppid=14173 vsize=28834900 memory=776 CPUtime=4 cores=0-7 /proc/14175/task/14189/stat : 14189 (java) S 14173 14173 10570 0 -1 1077944384 11511 0 0 0 397 3 0 0 20 0 28 0 446911756 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417955678704 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14190] ppid=14173 vsize=28834900 memory=2832 CPUtime=4.13 cores=0-7 /proc/14175/task/14190/stat : 14190 (java) S 14173 14173 10570 0 -1 1077944384 12880 0 0 0 410 3 0 0 20 0 28 0 446911756 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417954626160 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14191] ppid=14173 vsize=28834900 memory=0 CPUtime=4.08 cores=0-7 /proc/14175/task/14191/stat : 14191 (java) S 14173 14173 10570 0 -1 1077944384 15930 0 0 0 405 3 0 0 20 0 28 0 446911756 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417953573616 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14192] ppid=14173 vsize=28834900 memory=7233433383222143087 CPUtime=0.96 cores=0-7 /proc/14175/task/14192/stat : 14192 (java) S 14173 14173 10570 0 -1 1077944384 11039 0 0 0 94 2 0 0 20 0 28 0 446911756 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417952521072 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14193] ppid=14173 vsize=28834900 memory=1448 CPUtime=0 cores=0-7 /proc/14175/task/14193/stat : 14193 (java) S 14173 14173 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446911756 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417951467744 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14194] ppid=14173 vsize=28834900 memory=3450224 CPUtime=0.01 cores=0-7 /proc/14175/task/14194/stat : 14194 (java) S 14173 14173 10570 0 -1 1077944384 1044 0 0 0 0 1 0 0 20 0 28 0 446911756 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417950415280 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14267] ppid=14173 vsize=28834900 memory=0 CPUtime=43.12 cores=0-7 /proc/14175/task/14267/stat : 14267 (java) R 14173 14173 10570 0 -1 4202560 7820 0 0 0 4277 35 0 0 20 0 28 0 446912233 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417935116808 140418613602530 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14268] ppid=14173 vsize=28834900 memory=7588944044007975274 CPUtime=43.18 cores=0-7 /proc/14175/task/14268/stat : 14268 (java) R 14173 14173 10570 0 -1 4202560 523 0 0 0 4318 0 0 0 20 0 28 0 446912233 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417930916056 140418613135165 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14269] ppid=14173 vsize=28834900 memory=7588944044007975274 CPUtime=43.14 cores=0-7 /proc/14175/task/14269/stat : 14269 (java) R 14173 14173 10570 0 -1 4202560 442 0 0 0 4314 0 0 0 20 0 28 0 446912233 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417940382392 140418608434494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14270] ppid=14173 vsize=28834900 memory=7306361768574872370 CPUtime=43.25 cores=0-7 /proc/14175/task/14270/stat : 14270 (java) R 14173 14173 10570 0 -1 4202560 2655 0 0 0 4318 7 0 0 20 0 28 0 446912233 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417936171152 140418608944787 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14271] ppid=14173 vsize=28834900 memory=6791534058613427641 CPUtime=43.14 cores=0-7 /proc/14175/task/14271/stat : 14271 (java) R 14173 14173 10570 0 -1 4202560 773 0 0 0 4314 0 0 0 20 0 28 0 446912233 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417941434888 140418612510385 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14272] ppid=14173 vsize=28834900 memory=48344 CPUtime=43.36 cores=0-7 /proc/14175/task/14272/stat : 14272 (java) R 14173 14173 10570 0 -1 4202560 721 0 0 0 4336 0 0 0 20 0 28 0 446912233 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417934066288 140418612510385 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14273] ppid=14173 vsize=28834900 memory=988 CPUtime=43.27 cores=0-7 /proc/14175/task/14273/stat : 14273 (java) R 14173 14173 10570 0 -1 4202560 9320 0 0 0 4287 40 0 0 20 0 28 0 446912233 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417937225392 140418609152864 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14274] ppid=14173 vsize=28834900 memory=2008 CPUtime=43.48 cores=0-7 /proc/14175/task/14274/stat : 14274 (java) R 14173 14173 10570 0 -1 4202560 853 0 0 0 4348 0 0 0 20 0 28 0 446912233 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417939328504 140418610919667 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 Current children cumulated CPU time: 368.87 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 3462176 KiB [startup+49.212 s] /proc/loadavg: 8.16 8.30 8.23 9/219 14277 /proc/meminfo: memFree=25883800/32770624 swapFree=66939908/67108860 [pid=14173] ppid=14170 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14173/stat : 14173 (xcsp3-exec) S 14170 14173 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446911749 115843072 362 33554432000 4194304 5098028 140735177289056 140735177287160 139845166285436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30429184 140735177294715 140735177294958 140735177294958 140735177297866 0 /proc/14173/statm: 28282 362 304 221 0 87 0 [pid=14175] ppid=14173 vsize=28834900 memory=3460728 CPUtime=372.14 cores=0-7 /proc/14175/stat : 14175 (java) S 14173 14173 10570 0 -1 1077944320 99061 0 0 0 37032 182 0 0 20 0 28 0 446911750 29526937600 865182 33554432000 4194304 4196468 140720380969792 140720380952336 140418978184951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 /proc/14175/statm: 7208725 865182 3530 1 0 7169825 0 [pid=14175/tid=14176] ppid=14173 vsize=28834900 memory=1984 CPUtime=3.32 cores=0-7 /proc/14175/task/14176/stat : 14176 (java) S 14173 14173 10570 0 -1 1077944384 11227 0 0 0 321 11 0 0 20 0 28 0 446911750 29526937600 865182 33554432000 4194304 4196468 140720380969792 140418982425728 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14177] ppid=14173 vsize=28834900 memory=1440 CPUtime=0.21 cores=0-7 /proc/14175/task/14177/stat : 14177 (java) S 14173 14173 10570 0 -1 1077944384 484 0 0 0 13 8 0 0 20 0 28 0 446911751 29526937600 865182 33554432000 4194304 4196468 140720380969792 140418930805008 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14178] ppid=14173 vsize=28834900 memory=816 CPUtime=0.21 cores=0-7 /proc/14175/task/14178/stat : 14178 (java) S 14173 14173 10570 0 -1 1077944384 791 0 0 0 14 7 0 0 20 0 28 0 446911751 29526937600 865182 33554432000 4194304 4196468 140720380969792 140418929752464 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14179] ppid=14173 vsize=28834900 memory=2580 CPUtime=0.23 cores=0-7 /proc/14175/task/14179/stat : 14179 (java) S 14173 14173 10570 0 -1 1077944384 455 0 0 0 15 8 0 0 20 0 28 0 446911751 29526937600 865182 33554432000 4194304 4196468 140720380969792 140418928699920 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14180] ppid=14173 vsize=28834900 memory=1760 CPUtime=0.23 cores=0-7 /proc/14175/task/14180/stat : 14180 (java) S 14173 14173 10570 0 -1 1077944384 435 0 0 0 15 8 0 0 20 0 28 0 446911751 29526937600 865182 33554432000 4194304 4196468 140720380969792 140418927647376 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14181] ppid=14173 vsize=28834900 memory=288230574492221466 CPUtime=0.22 cores=0-7 /proc/14175/task/14181/stat : 14181 (java) S 14173 14173 10570 0 -1 1077944384 1491 0 0 0 15 7 0 0 20 0 28 0 446911751 29526937600 865182 33554432000 4194304 4196468 140720380969792 140418926594832 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14182] ppid=14173 vsize=28834900 memory=288230596050944315 CPUtime=0.22 cores=0-7 /proc/14175/task/14182/stat : 14182 (java) S 14173 14173 10570 0 -1 1077944384 380 0 0 0 15 7 0 0 20 0 28 0 446911751 29526937600 865182 33554432000 4194304 4196468 140720380969792 140418925542288 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14183] ppid=14173 vsize=28834900 memory=14698517092373773 CPUtime=0.25 cores=0-7 /proc/14175/task/14183/stat : 14183 (java) S 14173 14173 10570 0 -1 1077944384 938 0 0 0 17 8 0 0 20 0 28 0 446911751 29526937600 865182 33554432000 4194304 4196468 140720380969792 140418924489744 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14184] ppid=14173 vsize=28834900 memory=924 CPUtime=0.21 cores=0-7 /proc/14175/task/14184/stat : 14184 (java) S 14173 14173 10570 0 -1 1077944384 586 0 0 0 14 7 0 0 20 0 28 0 446911751 29526937600 865182 33554432000 4194304 4196468 140720380969792 140418521881744 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14185] ppid=14173 vsize=28834900 memory=4872 CPUtime=0.03 cores=0-7 /proc/14175/task/14185/stat : 14185 (java) S 14173 14173 10570 0 -1 1077944384 3611 0 0 0 3 0 0 0 20 0 28 0 446911752 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417959888880 140418978196098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14186] ppid=14173 vsize=28834900 memory=4096 CPUtime=0 cores=0-7 /proc/14175/task/14186/stat : 14186 (java) S 14173 14173 10570 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 446911753 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417958835168 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14187] ppid=14173 vsize=28834900 memory=1412 CPUtime=0 cores=0-7 /proc/14175/task/14187/stat : 14187 (java) S 14173 14173 10570 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 446911753 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417957782528 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14188] ppid=14173 vsize=28834900 memory=3292 CPUtime=0 cores=0-7 /proc/14175/task/14188/stat : 14188 (java) S 14173 14173 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446911755 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417956731088 140418978203547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14189] ppid=14173 vsize=28834900 memory=1448 CPUtime=4 cores=0-7 /proc/14175/task/14189/stat : 14189 (java) S 14173 14173 10570 0 -1 1077944384 11511 0 0 0 397 3 0 0 20 0 28 0 446911756 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417955678704 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14190] ppid=14173 vsize=28834900 memory=3450224 CPUtime=4.13 cores=0-7 /proc/14175/task/14190/stat : 14190 (java) S 14173 14173 10570 0 -1 1077944384 12880 0 0 0 410 3 0 0 20 0 28 0 446911756 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417954626160 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14191] ppid=14173 vsize=28834900 memory=1620 CPUtime=4.08 cores=0-7 /proc/14175/task/14191/stat : 14191 (java) S 14173 14173 10570 0 -1 1077944384 15930 0 0 0 405 3 0 0 20 0 28 0 446911756 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417953573616 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14192] ppid=14173 vsize=28834900 memory=8317482817917895235 CPUtime=0.96 cores=0-7 /proc/14175/task/14192/stat : 14192 (java) S 14173 14173 10570 0 -1 1077944384 11039 0 0 0 94 2 0 0 20 0 28 0 446911756 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417952521072 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14193] ppid=14173 vsize=28834900 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/14175/task/14193/stat : 14193 (java) S 14173 14173 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446911756 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417951467744 140418978195157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14194] ppid=14173 vsize=28834900 memory=0 CPUtime=0.01 cores=0-7 /proc/14175/task/14194/stat : 14194 (java) S 14173 14173 10570 0 -1 1077944384 1044 0 0 0 0 1 0 0 20 0 28 0 446911756 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417950415280 140418978196098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14267] ppid=14173 vsize=28834900 memory=0 CPUtime=43.53 cores=0-7 /proc/14175/task/14267/stat : 14267 (java) R 14173 14173 10570 0 -1 4202560 7864 0 0 0 4317 36 0 0 20 0 28 0 446912233 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417935116808 140418608434330 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14268] ppid=14173 vsize=28834900 memory=7649539942422666721 CPUtime=43.58 cores=0-7 /proc/14175/task/14268/stat : 14268 (java) R 14173 14173 10570 0 -1 4202560 523 0 0 0 4358 0 0 0 20 0 28 0 446912233 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417930916056 140418610776977 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14269] ppid=14173 vsize=28834900 memory=7433226614969284914 CPUtime=43.55 cores=0-7 /proc/14175/task/14269/stat : 14269 (java) R 14173 14173 10570 0 -1 4202560 442 0 0 0 4355 0 0 0 20 0 28 0 446912233 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417940382392 140418613294159 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14270] ppid=14173 vsize=28834900 memory=7649399384315081777 CPUtime=43.65 cores=0-7 /proc/14175/task/14270/stat : 14270 (java) R 14173 14173 10570 0 -1 4202560 2665 0 0 0 4358 7 0 0 20 0 28 0 446912233 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417936171152 140418612674145 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14271] ppid=14173 vsize=28834900 memory=7649399388610049073 CPUtime=43.55 cores=0-7 /proc/14175/task/14271/stat : 14271 (java) R 14173 14173 10570 0 -1 4202560 773 0 0 0 4355 0 0 0 20 0 28 0 446912233 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417941434888 140418612510826 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14272] ppid=14173 vsize=28834900 memory=7649399392905016369 CPUtime=43.77 cores=0-7 /proc/14175/task/14272/stat : 14272 (java) R 14173 14173 10570 0 -1 4202560 723 0 0 0 4377 0 0 0 20 0 28 0 446912233 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417934066424 140418612510399 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14273] ppid=14173 vsize=28834900 memory=7649399397199983665 CPUtime=43.69 cores=0-7 /proc/14175/task/14273/stat : 14273 (java) R 14173 14173 10570 0 -1 4202560 9368 0 0 0 4328 41 0 0 20 0 28 0 446912233 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417937225392 140418613294238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 [pid=14175/tid=14274] ppid=14173 vsize=28834900 memory=7649399358562055217 CPUtime=43.89 cores=0-7 /proc/14175/task/14274/stat : 14274 (java) R 14173 14173 10570 0 -1 4202560 853 0 0 0 4389 0 0 0 20 0 28 0 446912233 29526937600 865182 33554432000 4194304 4196468 140720380969792 140417939328504 140418613294003 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140720380978160 140720380978331 140720380978331 140720380981199 0 Current children cumulated CPU time: 372.14 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 3462176 KiB Child status: 0 Real time (s): 49.2583 CPU time (s): 372.329 CPU user time (s): 370.481 CPU system time (s): 1.84848 CPU usage (%): 755.871 Max. virtual memory (cumulated for all children) (KiB): 28949852 Max. memory (cumulated for all children) (KiB): 3462176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 370.481 system time used= 1.84848 maximum resident set size= 3460792 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 100825 page faults= 0 swaps= 0 block input operations= 0 block output operations= 192 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6663 involuntary context switches= 4962 # summary of solver processes directly reported to runsolver: # pid: 14173 # total CPU time (s): 372.329 # total CPU user time (s): 370.481 # total CPU system time (s): 1.84848 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.488418 second user time and 0.593466 second system time The end
Begin job on node119 at 2019-09-17 10:45:29 IDJOB=4400124 IDBENCH=120609 IDSOLVER=2855 FILE ID=node119/4400124-1568709969 RUNJOBID= node119-1568700441-10597 PBS_JOBID= 21703893 Free space on /tmp= 61344 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-2-fullins-5.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-4400124-1568709969/watcher-4400124-1568709969 -o /tmp/evaluation-result-4400124-1568709969/solver-4400124-1568709969 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568700441-10597 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1322679489 HOME/instance-4400124-1568709969.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7175cc64c8263572fa1d1d1459976d33 RANDOM SEED=1322679489 node119.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.47 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.47 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.47 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.47 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: 29335284 kB MemAvailable: 31820104 kB Buffers: 130212 kB Cached: 2638400 kB SwapCached: 61072 kB Active: 1404484 kB Inactive: 1430868 kB Active(anon): 5844 kB Inactive(anon): 110908 kB Active(file): 1398640 kB Inactive(file): 1319960 kB Unevictable: 107484 kB Mlocked: 107484 kB SwapTotal: 67108860 kB SwapFree: 66939908 kB Dirty: 26520 kB Writeback: 0 kB AnonPages: 114152 kB Mapped: 48196 kB Shmem: 41008 kB Slab: 193000 kB SReclaimable: 164108 kB SUnreclaim: 28892 kB KernelStack: 3360 kB PageTables: 5964 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506848 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: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61320 MiB End job on node119 at 2019-09-17 10:46:18