Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 6 | 382.635 | 50.8577 |
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.2779 |
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-4404624-1568994748.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404624-1568994748.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 11.66/3.82 c solve instance... 15.28/4.37 o 17 16.43/4.54 o 16 16.43/4.55 o 15 16.43/4.56 o 14 17.34/4.72 o 13 18.33/4.93 o 12 18.70/5.03 o 8 19.22/5.16 o 7 19.68/5.27 o 6 382.54/50.83 s OPTIMUM FOUND 382.54/50.83 v <instantiation> 382.54/50.83 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> 382.54/50.83 v <values>0 1 0 1 0 1 0 1 2 3 4 5 0 1 0 1 0 1 0 1 2 3 4 5 0 1 0 1 0 1 0 1 2 3 4 6 0 1 0 1 0 1 0 1 2 5 5 5 3 6 5 4 0 2 0 2 0 2 0 3 2 3 4 5 0 2 0 2 0 2 0 3 2 3 4 5 0 2 0 2 0 2 0 3 2 3 4 6 0 2 0 2 0 2 0 5 2 5 5 5 3 6 5 4 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 0 2 0 2 0 2 2 2 2 2 0 2 0 2 0 2 0 2 2 2 2 2 0 2 0 2 0 2 0 2 2 2 2 2 0 2 0 2 0 2 0 2 2 2 2 2 2 2 2 2 3 1 2 4 3 1 4 1 5 1 3 1 2 3 4 5 3 1 4 1 5 1 3 1 2 3 4 5 3 1 4 1 6 1 3 1 2 3 4 6 5 1 5 1 5 1 5 1 2 5 5 5 3 6 5 4 2 2 2 2 2 2 3 3 2 3 4 5 2 2 2 2 2 2 3 3 2 3 4 5 2 2 2 2 2 2 3 3 2 3 4 6 2 2 2 2 2 2 5 5 2 5 5 5 3 6 5 4 3 1 4 1 1 1 1 1 1 1 1 1 3 1 4 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 1 2 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 0 1 3 </values> 382.54/50.83 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 (5823 MiB free) memory of node 1: 16384 MiB (11554 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404624-1568994748/watcher-4404624-1568994748 -o /tmp/evaluation-result-4404624-1568994748/solver-4404624-1568994748 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568991066-1424 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 453697935 HOME/instance-4404624-1568994748.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=1441, runsolver pid=1438 Current StackSize limit: 8192 KiB [startup+0.100133 s]* /proc/loadavg: 4.04 5.97 6.70 2/211 1462 /proc/meminfo: memFree=17779028/32770624 swapFree=66998140/67108860 [pid=1441] ppid=1438 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1441/stat : 1441 (xcsp3-exec) S 1438 1441 1397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475729029 115843072 363 33554432000 4194304 5098028 140734080032624 140734080030728 140387114746492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27762688 140734080041846 140734080042089 140734080042089 140734080045002 0 /proc/1441/statm: 28282 363 304 221 0 87 0 [pid=1443] ppid=1441 vsize=28227396 memory=28952 CPUtime=0.12 cores=0-7 /proc/1443/stat : 1443 (java) S 1441 1441 1397 0 -1 1077944320 5690 0 0 0 11 1 0 0 20 0 20 0 475729029 28904853504 7238 33554432000 4194304 4196468 140720350597952 140720350580496 140709414026999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 /proc/1443/statm: 7056849 7238 3127 1 0 7019032 0 [pid=1443/tid=1444] ppid=1441 vsize=28227396 memory=-3103912127665269910 CPUtime=0.08 cores=0-7 /proc/1443/task/1444/stat : 1444 (java) R 1441 1441 1397 0 -1 4202560 3607 0 0 0 8 0 0 0 20 0 20 0 475729030 28904853504 7238 33554432000 4194304 4196468 140720350597952 140709418255024 140709414038934 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1445] ppid=1441 vsize=28227396 memory=3461361991549258287 CPUtime=0 cores=0-7 /proc/1443/task/1445/stat : 1445 (java) S 1441 1441 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475729030 28904853504 7238 33554432000 4194304 4196468 140720350597952 140708965112592 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1446] ppid=1441 vsize=28227396 memory=140244222019200 CPUtime=0 cores=0-7 /proc/1443/task/1446/stat : 1446 (java) S 1441 1441 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475729030 28904853504 7238 33554432000 4194304 4196468 140720350597952 140708964060048 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1447] ppid=1441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1447/stat : 1447 (java) S 1441 1441 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475729030 28904853504 7238 33554432000 4194304 4196468 140720350597952 140708963007504 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1448] ppid=1441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1448/stat : 1448 (java) S 1441 1441 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475729030 28904853504 7238 33554432000 4194304 4196468 140720350597952 140708961954960 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1449] ppid=1441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1449/stat : 1449 (java) S 1441 1441 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475729030 28904853504 7238 33554432000 4194304 4196468 140720350597952 140708960901392 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1450] ppid=1441 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1443/task/1450/stat : 1450 (java) S 1441 1441 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475729030 28904853504 7238 33554432000 4194304 4196468 140720350597952 140708959848848 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1451] ppid=1441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1451/stat : 1451 (java) S 1441 1441 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475729030 28904853504 7238 33554432000 4194304 4196468 140720350597952 140708958796304 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1452] ppid=1441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1452/stat : 1452 (java) S 1441 1441 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475729030 28904853504 7238 33554432000 4194304 4196468 140720350597952 140708957743760 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1453] ppid=1441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1453/stat : 1453 (java) S 1441 1441 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475729032 28904853504 7238 33554432000 4194304 4196468 140720350597952 140708012280304 140709414038146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1454] ppid=1441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1454/stat : 1454 (java) S 1441 1441 1397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475729032 28904853504 7238 33554432000 4194304 4196468 140720350597952 140708011226528 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1455] ppid=1441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1455/stat : 1455 (java) S 1441 1441 1397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475729033 28904853504 7238 33554432000 4194304 4196468 140720350597952 140708010173936 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1456] ppid=1441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1456/stat : 1456 (java) S 1441 1441 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475729035 28904853504 7238 33554432000 4194304 4196468 140720350597952 140708009122512 140709414045595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1457] ppid=1441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1457/stat : 1457 (java) S 1441 1441 1397 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 475729035 28904853504 7238 33554432000 4194304 4196468 140720350597952 140708008069104 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1458] ppid=1441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1458/stat : 1458 (java) S 1441 1441 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475729035 28904853504 7238 33554432000 4194304 4196468 140720350597952 140708007016560 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1459] ppid=1441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1459/stat : 1459 (java) S 1441 1441 1397 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 475729035 28904853504 7238 33554432000 4194304 4196468 140720350597952 140708005964016 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1460] ppid=1441 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/1443/task/1460/stat : 1460 (java) R 1441 1441 1397 0 -1 4202560 351 0 0 0 1 0 0 0 20 0 20 0 475729035 28904853504 7238 33554432000 4194304 4196468 140720350597952 140708004911472 140709414038934 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1461] ppid=1441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1461/stat : 1461 (java) S 1441 1441 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475729035 28904853504 7238 33554432000 4194304 4196468 140720350597952 140708003859168 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1462] ppid=1441 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1443/task/1462/stat : 1462 (java) S 1441 1441 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475729035 28904853504 7238 33554432000 4194304 4196468 140720350597952 140708002806704 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30404 KiB [startup+0.210639 s]* /proc/loadavg: 4.04 5.97 6.70 3/211 1462 /proc/meminfo: memFree=17765804/32770624 swapFree=66998140/67108860 [pid=1441] ppid=1438 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1441/stat : 1441 (xcsp3-exec) S 1438 1441 1397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475729029 115843072 363 33554432000 4194304 5098028 140734080032624 140734080030728 140387114746492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27762688 140734080041846 140734080042089 140734080042089 140734080045002 0 /proc/1441/statm: 28282 363 304 221 0 87 0 [pid=1443] ppid=1441 vsize=28227396 memory=41152 CPUtime=0.34 cores=0-7 /proc/1443/stat : 1443 (java) S 1441 1441 1397 0 -1 1077944320 9533 0 0 0 31 3 0 0 20 0 20 0 475729029 28904853504 10288 33554432000 4194304 4196468 140720350597952 140720350580496 140709414026999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 /proc/1443/statm: 7056849 10288 3296 1 0 7019032 0 [pid=1443/tid=1444] ppid=1441 vsize=28227396 memory=8390339637985935414 CPUtime=0.2 cores=0-7 /proc/1443/task/1444/stat : 1444 (java) R 1441 1441 1397 0 -1 4202560 6640 0 0 0 18 2 0 0 20 0 20 0 475729030 28904853504 10288 33554432000 4194304 4196468 140720350597952 140709418260736 140709414038934 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1445] ppid=1441 vsize=28227396 memory=288230596118052887 CPUtime=0 cores=0-7 /proc/1443/task/1445/stat : 1445 (java) S 1441 1441 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475729030 28904853504 10288 33554432000 4194304 4196468 140720350597952 140708965112592 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1446] ppid=1441 vsize=28227396 memory=3762675864308614816 CPUtime=0 cores=0-7 /proc/1443/task/1446/stat : 1446 (java) S 1441 1441 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475729030 28904853504 10288 33554432000 4194304 4196468 140720350597952 140708964060048 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1447] ppid=1441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1447/stat : 1447 (java) S 1441 1441 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475729030 28904853504 10288 33554432000 4194304 4196468 140720350597952 140708963007504 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1448] ppid=1441 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1443/task/1448/stat : 1448 (java) S 1441 1441 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475729030 28904853504 10288 33554432000 4194304 4196468 140720350597952 140708961954960 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1449] ppid=1441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1449/stat : 1449 (java) S 1441 1441 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475729030 28904853504 10288 33554432000 4194304 4196468 140720350597952 140708960901392 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1450] ppid=1441 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1443/task/1450/stat : 1450 (java) S 1441 1441 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475729030 28904853504 10288 33554432000 4194304 4196468 140720350597952 140708959848848 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1451] ppid=1441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1451/stat : 1451 (java) S 1441 1441 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475729030 28904853504 10288 33554432000 4194304 4196468 140720350597952 140708958796304 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1452] ppid=1441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1452/stat : 1452 (java) S 1441 1441 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475729030 28904853504 10288 33554432000 4194304 4196468 140720350597952 140708957743760 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1453] ppid=1441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1453/stat : 1453 (java) S 1441 1441 1397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475729032 28904853504 10288 33554432000 4194304 4196468 140720350597952 140708012280304 140709414038146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1454] ppid=1441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1454/stat : 1454 (java) S 1441 1441 1397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475729032 28904853504 10288 33554432000 4194304 4196468 140720350597952 140708011226528 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1455] ppid=1441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1455/stat : 1455 (java) S 1441 1441 1397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475729033 28904853504 10288 33554432000 4194304 4196468 140720350597952 140708010173936 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1456] ppid=1441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1456/stat : 1456 (java) S 1441 1441 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475729035 28904853504 10288 33554432000 4194304 4196468 140720350597952 140708009122512 140709414045595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1457] ppid=1441 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/1443/task/1457/stat : 1457 (java) S 1441 1441 1397 0 -1 1077944384 437 0 0 0 2 0 0 0 20 0 20 0 475729035 28904853504 10288 33554432000 4194304 4196468 140720350597952 140708008069104 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1458] ppid=1441 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/1443/task/1458/stat : 1458 (java) S 1441 1441 1397 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 20 0 475729035 28904853504 10288 33554432000 4194304 4196468 140720350597952 140708007016560 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1459] ppid=1441 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/1443/task/1459/stat : 1459 (java) S 1441 1441 1397 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 20 0 475729035 28904853504 10288 33554432000 4194304 4196468 140720350597952 140708005964016 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1460] ppid=1441 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/1443/task/1460/stat : 1460 (java) R 1441 1441 1397 0 -1 4202560 733 0 0 0 7 0 0 0 20 0 20 0 475729035 28904853504 10288 33554432000 4194304 4196468 140720350597952 140708004911472 140709414038934 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1461] ppid=1441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1461/stat : 1461 (java) S 1441 1441 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475729035 28904853504 10288 33554432000 4194304 4196468 140720350597952 140708003859168 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1462] ppid=1441 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1443/task/1462/stat : 1462 (java) S 1441 1441 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475729035 28904853504 10288 33554432000 4194304 4196468 140720350597952 140708002806704 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42604 KiB [startup+0.310819 s]* /proc/loadavg: 4.04 5.97 6.70 2/211 1462 /proc/meminfo: memFree=17758656/32770624 swapFree=66998140/67108860 [pid=1441] ppid=1438 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1441/stat : 1441 (xcsp3-exec) S 1438 1441 1397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475729029 115843072 363 33554432000 4194304 5098028 140734080032624 140734080030728 140387114746492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27762688 140734080041846 140734080042089 140734080042089 140734080045002 0 /proc/1441/statm: 28282 363 304 221 0 87 0 [pid=1443] ppid=1441 vsize=28231652 memory=49892 CPUtime=0.51 cores=0-7 /proc/1443/stat : 1443 (java) S 1441 1441 1397 0 -1 1077944320 10827 0 0 0 47 4 0 0 20 0 20 0 475729029 28909211648 12473 33554432000 4194304 4196468 140720350597952 140720350580496 140709414026999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 /proc/1443/statm: 7057913 12473 3350 1 0 7019032 0 [pid=1443/tid=1444] ppid=1441 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/1443/task/1444/stat : 1444 (java) R 1441 1441 1397 0 -1 4202560 7829 0 0 0 27 3 0 0 20 0 20 0 475729030 28909211648 12538 33554432000 4194304 4196468 140720350597952 140709418260784 140709398107486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1445] ppid=1441 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/1443/task/1445/stat : 1445 (java) S 1441 1441 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475729030 28909211648 12538 33554432000 4194304 4196468 140720350597952 140708965112592 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1446] ppid=1441 vsize=28231652 memory=1056 CPUtime=0 cores=0-7 /proc/1443/task/1446/stat : 1446 (java) S 1441 1441 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475729030 28909211648 12538 33554432000 4194304 4196468 140720350597952 140708964060048 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1447] ppid=1441 vsize=28231652 memory=1720 CPUtime=0 cores=0-7 /proc/1443/task/1447/stat : 1447 (java) S 1441 1441 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475729030 28909211648 12538 33554432000 4194304 4196468 140720350597952 140708963007504 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1448] ppid=1441 vsize=28231652 memory=6140 CPUtime=0 cores=0-7 /proc/1443/task/1448/stat : 1448 (java) S 1441 1441 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475729030 28909211648 12538 33554432000 4194304 4196468 140720350597952 140708961954960 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1449] ppid=1441 vsize=28231652 memory=14012 CPUtime=0 cores=0-7 /proc/1443/task/1449/stat : 1449 (java) S 1441 1441 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475729030 28909211648 12538 33554432000 4194304 4196468 140720350597952 140708960901392 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1450] ppid=1441 vsize=28231652 memory=4104 CPUtime=0 cores=0-7 /proc/1443/task/1450/stat : 1450 (java) S 1441 1441 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475729030 28909211648 12538 33554432000 4194304 4196468 140720350597952 140708959848848 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1451] ppid=1441 vsize=28231652 memory=2116 CPUtime=0 cores=0-7 /proc/1443/task/1451/stat : 1451 (java) S 1441 1441 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475729030 28909211648 12538 33554432000 4194304 4196468 140720350597952 140708958796304 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1452] ppid=1441 vsize=28231652 memory=18572 CPUtime=0 cores=0-7 /proc/1443/task/1452/stat : 1452 (java) S 1441 1441 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475729030 28909211648 12538 33554432000 4194304 4196468 140720350597952 140708957743760 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1453] ppid=1441 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1453/stat : 1453 (java) S 1441 1441 1397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475729032 28909211648 12538 33554432000 4194304 4196468 140720350597952 140708012280304 140709414038146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1454] ppid=1441 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1454/stat : 1454 (java) S 1441 1441 1397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475729032 28909211648 12538 33554432000 4194304 4196468 140720350597952 140708011226528 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1455] ppid=1441 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1455/stat : 1455 (java) S 1441 1441 1397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475729033 28909211648 12538 33554432000 4194304 4196468 140720350597952 140708010173936 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1456] ppid=1441 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1456/stat : 1456 (java) S 1441 1441 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475729035 28909211648 12538 33554432000 4194304 4196468 140720350597952 140708009122512 140709414045595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1457] ppid=1441 vsize=28231652 memory=140244104086991 CPUtime=0.02 cores=0-7 /proc/1443/task/1457/stat : 1457 (java) S 1441 1441 1397 0 -1 1077944384 440 0 0 0 2 0 0 0 20 0 20 0 475729035 28909211648 12538 33554432000 4194304 4196468 140720350597952 140708008069104 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1458] ppid=1441 vsize=28231652 memory=67 CPUtime=0.02 cores=0-7 /proc/1443/task/1458/stat : 1458 (java) S 1441 1441 1397 0 -1 1077944384 49 0 0 0 2 0 0 0 20 0 20 0 475729035 28909211648 12538 33554432000 4194304 4196468 140720350597952 140708007016560 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1459] ppid=1441 vsize=28231652 memory=51172 CPUtime=0.02 cores=0-7 /proc/1443/task/1459/stat : 1459 (java) S 1441 1441 1397 0 -1 1077944384 412 0 0 0 2 0 0 0 20 0 20 0 475729035 28909211648 12538 33554432000 4194304 4196468 140720350597952 140708005964016 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1460] ppid=1441 vsize=28231652 memory=53476 CPUtime=0.12 cores=0-7 /proc/1443/task/1460/stat : 1460 (java) S 1441 1441 1397 0 -1 1077944384 825 0 0 0 12 0 0 0 20 0 20 0 475729035 28909211648 12538 33554432000 4194304 4196468 140720350597952 140708004911472 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1461] ppid=1441 vsize=28231652 memory=110297088 CPUtime=0 cores=0-7 /proc/1443/task/1461/stat : 1461 (java) S 1441 1441 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475729035 28909211648 12538 33554432000 4194304 4196468 140720350597952 140708003859168 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1462] ppid=1441 vsize=28231652 memory=115843071 CPUtime=0 cores=0-7 /proc/1443/task/1462/stat : 1462 (java) S 1441 1441 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475729035 28909211648 12538 33554432000 4194304 4196468 140720350597952 140708002806704 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51344 KiB [startup+0.701027 s] /proc/loadavg: 4.04 5.97 6.70 4/211 1462 /proc/meminfo: memFree=17738312/32770624 swapFree=66998140/67108860 [pid=1441] ppid=1438 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1441/stat : 1441 (xcsp3-exec) S 1438 1441 1397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475729029 115843072 363 33554432000 4194304 5098028 140734080032624 140734080030728 140387114746492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27762688 140734080041846 140734080042089 140734080042089 140734080045002 0 /proc/1441/statm: 28282 363 304 221 0 87 0 [pid=1443] ppid=1441 vsize=28233776 memory=125108 CPUtime=1.94 cores=0-7 /proc/1443/stat : 1443 (java) S 1441 1441 1397 0 -1 1077944320 15265 0 0 0 188 6 0 0 20 0 20 0 475729029 28911386624 31277 33554432000 4194304 4196468 140720350597952 140720350580496 140709414026999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 /proc/1443/statm: 7058444 31277 3449 1 0 7019544 0 [pid=1443/tid=1444] ppid=1441 vsize=28233776 memory=4580 CPUtime=0.68 cores=0-7 /proc/1443/task/1444/stat : 1444 (java) R 1441 1441 1397 0 -1 4202560 8338 0 0 0 64 4 0 0 20 0 20 0 475729030 28911386624 31277 33554432000 4194304 4196468 140720350597952 140709418263424 140709051124735 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1445] ppid=1441 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1445/stat : 1445 (java) S 1441 1441 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475729030 28911386624 31277 33554432000 4194304 4196468 140720350597952 140708965112592 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1446] ppid=1441 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/1443/task/1446/stat : 1446 (java) S 1441 1441 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475729030 28911386624 31277 33554432000 4194304 4196468 140720350597952 140708964060048 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1447] ppid=1441 vsize=28233776 memory=2024 CPUtime=0 cores=0-7 /proc/1443/task/1447/stat : 1447 (java) S 1441 1441 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475729030 28911386624 31277 33554432000 4194304 4196468 140720350597952 140708963007504 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 ################ # More data... # ################ [pid=1443/tid=1460] ppid=1441 vsize=29167720 memory=3462404 CPUtime=0.93 cores=0-7 /proc/1443/task/1460/stat : 1460 (java) S 1441 1441 1397 0 -1 1077944384 7697 0 0 0 91 2 0 0 20 0 28 0 475729035 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708004911472 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1461] ppid=1441 vsize=29167720 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/1443/task/1461/stat : 1461 (java) S 1441 1441 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475729035 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708003859168 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1462] ppid=1441 vsize=29167720 memory=3904 CPUtime=0.02 cores=0-7 /proc/1443/task/1462/stat : 1462 (java) S 1441 1441 1397 0 -1 1077944384 673 0 0 0 0 2 0 0 20 0 28 0 475729035 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708002806704 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1535] ppid=1441 vsize=29167720 memory=1408 CPUtime=43.85 cores=0-7 /proc/1443/task/1535/stat : 1535 (java) R 1441 1441 1397 0 -1 4202560 6266 0 0 0 4349 36 0 0 20 0 28 0 475729556 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707983067944 140709052124119 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1536] ppid=1441 vsize=29167720 memory=3232 CPUtime=43.72 cores=0-7 /proc/1443/task/1536/stat : 1536 (java) R 1441 1441 1397 0 -1 4202560 447 0 0 0 4372 0 0 0 20 0 28 0 475729556 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707982017112 140709055117709 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1537] ppid=1441 vsize=29167720 memory=0 CPUtime=43.65 cores=0-7 /proc/1443/task/1537/stat : 1537 (java) R 1441 1441 1397 0 -1 4202560 431 0 0 0 4365 0 0 0 20 0 28 0 475729556 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707979910872 140709055117272 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1538] ppid=1441 vsize=29167720 memory=3648 CPUtime=43.71 cores=0-7 /proc/1443/task/1538/stat : 1538 (java) R 1441 1441 1397 0 -1 4202560 2413 0 0 0 4362 9 0 0 20 0 28 0 475729556 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707991482328 140709060560223 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1539] ppid=1441 vsize=29167720 memory=948 CPUtime=43.69 cores=0-7 /proc/1443/task/1539/stat : 1539 (java) R 1441 1441 1397 0 -1 4202560 516 0 0 0 4369 0 0 0 20 0 28 0 475729556 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707980963912 140709059646299 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1540] ppid=1441 vsize=29167720 memory=2832 CPUtime=44.09 cores=0-7 /proc/1443/task/1540/stat : 1540 (java) R 1441 1441 1397 0 -1 4202560 807 0 0 0 4408 1 0 0 20 0 28 0 475729556 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707988324600 140709059646371 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1541] ppid=1441 vsize=29167720 memory=9492 CPUtime=43.74 cores=0-7 /proc/1443/task/1541/stat : 1541 (java) R 1441 1441 1397 0 -1 4202560 8049 0 0 0 4313 61 0 0 20 0 28 0 475729557 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707978857992 140709061352732 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1542] ppid=1441 vsize=29167720 memory=1548 CPUtime=43.89 cores=0-7 /proc/1443/task/1542/stat : 1542 (java) R 1441 1441 1397 0 -1 4202560 850 0 0 0 4388 1 0 0 20 0 28 0 475729557 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707992535296 140709059646304 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 Current children cumulated CPU time: 373.12 s Current children cumulated vsize: 29280848 KiB Current children cumulated memory: 3463856 KiB [startup+50.4018 s] /proc/loadavg: 6.05 6.20 6.74 9/219 1545 /proc/meminfo: memFree=14341592/32770624 swapFree=66998140/67108860 [pid=1441] ppid=1438 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1441/stat : 1441 (xcsp3-exec) S 1438 1441 1397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475729029 115843072 363 33554432000 4194304 5098028 140734080032624 140734080030728 140387114746492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27762688 140734080041846 140734080042089 140734080042089 140734080045002 0 /proc/1441/statm: 28282 363 304 221 0 87 0 [pid=1443] ppid=1441 vsize=29167720 memory=3462404 CPUtime=379.49 cores=0-7 /proc/1443/stat : 1443 (java) S 1441 1441 1397 0 -1 1077944320 81572 0 0 0 37753 196 0 0 20 0 28 0 475729029 29867745280 865601 33554432000 4194304 4196468 140720350597952 140720350580496 140709414026999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 /proc/1443/statm: 7291930 865601 3532 1 0 7253030 0 [pid=1443/tid=1444] ppid=1441 vsize=29167720 memory=984 CPUtime=3.68 cores=0-7 /proc/1443/task/1444/stat : 1444 (java) S 1441 1441 1397 0 -1 1077944384 10934 0 0 0 355 13 0 0 20 0 28 0 475729030 29867745280 865601 33554432000 4194304 4196468 140720350597952 140709418267776 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1445] ppid=1441 vsize=29167720 memory=8112282956445269571 CPUtime=0.22 cores=0-7 /proc/1443/task/1445/stat : 1445 (java) S 1441 1441 1397 0 -1 1077944384 396 0 0 0 16 6 0 0 20 0 28 0 475729030 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708965112592 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1446] ppid=1441 vsize=29167720 memory=4104 CPUtime=0.24 cores=0-7 /proc/1443/task/1446/stat : 1446 (java) S 1441 1441 1397 0 -1 1077944384 748 0 0 0 17 7 0 0 20 0 28 0 475729030 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708964060048 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1447] ppid=1441 vsize=29167720 memory=2116 CPUtime=0.22 cores=0-7 /proc/1443/task/1447/stat : 1447 (java) S 1441 1441 1397 0 -1 1077944384 387 0 0 0 15 7 0 0 20 0 28 0 475729030 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708963007504 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1448] ppid=1441 vsize=29167720 memory=18572 CPUtime=0.21 cores=0-7 /proc/1443/task/1448/stat : 1448 (java) S 1441 1441 1397 0 -1 1077944384 771 0 0 0 15 6 0 0 20 0 28 0 475729030 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708961954960 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1449] ppid=1441 vsize=29167720 memory=1128 CPUtime=0.21 cores=0-7 /proc/1443/task/1449/stat : 1449 (java) S 1441 1441 1397 0 -1 1077944384 669 0 0 0 15 6 0 0 20 0 28 0 475729030 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708960901392 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1450] ppid=1441 vsize=29167720 memory=772 CPUtime=0.24 cores=0-7 /proc/1443/task/1450/stat : 1450 (java) S 1441 1441 1397 0 -1 1077944384 1264 0 0 0 16 8 0 0 20 0 28 0 475729030 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708959848848 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1451] ppid=1441 vsize=29167720 memory=3648 CPUtime=0.21 cores=0-7 /proc/1443/task/1451/stat : 1451 (java) S 1441 1441 1397 0 -1 1077944384 373 0 0 0 15 6 0 0 20 0 28 0 475729030 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708958796304 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1452] ppid=1441 vsize=29167720 memory=948 CPUtime=0.21 cores=0-7 /proc/1443/task/1452/stat : 1452 (java) S 1441 1441 1397 0 -1 1077944384 1311 0 0 0 15 6 0 0 20 0 28 0 475729030 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708957743760 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1453] ppid=1441 vsize=29167720 memory=2832 CPUtime=0.03 cores=0-7 /proc/1443/task/1453/stat : 1453 (java) S 1441 1441 1397 0 -1 1077944384 3624 0 0 0 2 1 0 0 20 0 28 0 475729032 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708012280304 140709414038146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1454] ppid=1441 vsize=29167720 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/1443/task/1454/stat : 1454 (java) S 1441 1441 1397 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 475729032 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708011226592 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1455] ppid=1441 vsize=29167720 memory=14012 CPUtime=0 cores=0-7 /proc/1443/task/1455/stat : 1455 (java) S 1441 1441 1397 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 475729033 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708010173952 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1456] ppid=1441 vsize=29167720 memory=4104 CPUtime=0 cores=0-7 /proc/1443/task/1456/stat : 1456 (java) S 1441 1441 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475729035 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708009122512 140709414045595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1457] ppid=1441 vsize=29167720 memory=2116 CPUtime=3.94 cores=0-7 /proc/1443/task/1457/stat : 1457 (java) S 1441 1441 1397 0 -1 1077944384 11686 0 0 0 391 3 0 0 20 0 28 0 475729035 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708008069104 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1458] ppid=1441 vsize=29167720 memory=1980 CPUtime=3.74 cores=0-7 /proc/1443/task/1458/stat : 1458 (java) S 1441 1441 1397 0 -1 1077944384 9226 0 0 0 373 1 0 0 20 0 28 0 475729035 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708007016560 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1459] ppid=1441 vsize=29167720 memory=2552 CPUtime=3.6 cores=0-7 /proc/1443/task/1459/stat : 1459 (java) S 1441 1441 1397 0 -1 1077944384 8401 0 0 0 358 2 0 0 20 0 28 0 475729035 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708005964016 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1460] ppid=1441 vsize=29167720 memory=1760 CPUtime=0.93 cores=0-7 /proc/1443/task/1460/stat : 1460 (java) S 1441 1441 1397 0 -1 1077944384 7697 0 0 0 91 2 0 0 20 0 28 0 475729035 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708004911472 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1461] ppid=1441 vsize=29167720 memory=111632 CPUtime=0 cores=0-7 /proc/1443/task/1461/stat : 1461 (java) S 1441 1441 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475729035 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708003859168 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1462] ppid=1441 vsize=29167720 memory=1452 CPUtime=0.02 cores=0-7 /proc/1443/task/1462/stat : 1462 (java) R 1441 1441 1397 0 -1 1077944384 673 0 0 0 0 2 0 0 20 0 28 0 475729035 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708002806704 140709414038146 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1535] ppid=1441 vsize=29167720 memory=3462404 CPUtime=44.65 cores=0-7 /proc/1443/task/1535/stat : 1535 (java) R 1441 1441 1397 0 -1 4202560 6372 0 0 0 4428 37 0 0 20 0 28 0 475729556 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707983067944 140709057111874 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1536] ppid=1441 vsize=29167720 memory=1556 CPUtime=44.52 cores=0-7 /proc/1443/task/1536/stat : 1536 (java) R 1441 1441 1397 0 -1 4202560 447 0 0 0 4452 0 0 0 20 0 28 0 475729556 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707982017112 140709055308293 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1537] ppid=1441 vsize=29167720 memory=8112282956445269571 CPUtime=44.43 cores=0-7 /proc/1443/task/1537/stat : 1537 (java) R 1441 1441 1397 0 -1 4202560 431 0 0 0 4443 0 0 0 20 0 28 0 475729556 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707979910872 140709060099578 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1538] ppid=1441 vsize=29167720 memory=2930180 CPUtime=44.5 cores=0-7 /proc/1443/task/1538/stat : 1538 (java) R 1441 1441 1397 0 -1 4202560 2427 0 0 0 4441 9 0 0 20 0 28 0 475729556 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707991482328 140709060097083 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1539] ppid=1441 vsize=29167720 memory=1808 CPUtime=44.49 cores=0-7 /proc/1443/task/1539/stat : 1539 (java) R 1441 1441 1397 0 -1 4202560 516 0 0 0 4449 0 0 0 20 0 28 0 475729556 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707980963912 140709059646285 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1540] ppid=1441 vsize=29167720 memory=920 CPUtime=44.89 cores=0-7 /proc/1443/task/1540/stat : 1540 (java) R 1441 1441 1397 0 -1 4202560 807 0 0 0 4488 1 0 0 20 0 28 0 475729556 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707988324600 140709059646633 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1541] ppid=1441 vsize=29167720 memory=3904 CPUtime=44.54 cores=0-7 /proc/1443/task/1541/stat : 1541 (java) R 1441 1441 1397 0 -1 4202560 8161 0 0 0 4392 62 0 0 20 0 28 0 475729557 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707978857992 140709060513569 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1542] ppid=1441 vsize=29167720 memory=1408 CPUtime=44.7 cores=0-7 /proc/1443/task/1542/stat : 1542 (java) R 1441 1441 1397 0 -1 4202560 850 0 0 0 4469 1 0 0 20 0 28 0 475729557 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707992535296 140709059646185 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 Current children cumulated CPU time: 379.49 s Current children cumulated vsize: 29280848 KiB Current children cumulated memory: 3463856 KiB [startup+50.8011 s] /proc/loadavg: 6.05 6.20 6.74 9/219 1545 /proc/meminfo: memFree=14341592/32770624 swapFree=66998140/67108860 [pid=1441] ppid=1438 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1441/stat : 1441 (xcsp3-exec) S 1438 1441 1397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475729029 115843072 363 33554432000 4194304 5098028 140734080032624 140734080030728 140387114746492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27762688 140734080041846 140734080042089 140734080042089 140734080045002 0 /proc/1441/statm: 28282 363 304 221 0 87 0 [pid=1443] ppid=1441 vsize=29167720 memory=3462404 CPUtime=382.54 cores=0-7 /proc/1443/stat : 1443 (java) S 1441 1441 1397 0 -1 1077944320 81787 0 0 0 38058 196 0 0 20 0 28 0 475729029 29867745280 865601 33554432000 4194304 4196468 140720350597952 140720350580496 140709414026999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 /proc/1443/statm: 7291930 865601 3532 1 0 7253030 0 [pid=1443/tid=1444] ppid=1441 vsize=29167720 memory=7526486018442672184 CPUtime=3.68 cores=0-7 /proc/1443/task/1444/stat : 1444 (java) S 1441 1441 1397 0 -1 1077944384 10934 0 0 0 355 13 0 0 20 0 28 0 475729030 29867745280 865601 33554432000 4194304 4196468 140720350597952 140709418267776 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1445] ppid=1441 vsize=29167720 memory=0 CPUtime=0.22 cores=0-7 /proc/1443/task/1445/stat : 1445 (java) S 1441 1441 1397 0 -1 1077944384 396 0 0 0 16 6 0 0 20 0 28 0 475729030 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708965112592 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1446] ppid=1441 vsize=29167720 memory=6944656592455097440 CPUtime=0.24 cores=0-7 /proc/1443/task/1446/stat : 1446 (java) S 1441 1441 1397 0 -1 1077944384 748 0 0 0 17 7 0 0 20 0 28 0 475729030 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708964060048 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1447] ppid=1441 vsize=29167720 memory=6656426216303648864 CPUtime=0.22 cores=0-7 /proc/1443/task/1447/stat : 1447 (java) S 1441 1441 1397 0 -1 1077944384 387 0 0 0 15 7 0 0 20 0 28 0 475729030 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708963007504 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1448] ppid=1441 vsize=29167720 memory=6944656592455360604 CPUtime=0.21 cores=0-7 /proc/1443/task/1448/stat : 1448 (java) S 1441 1441 1397 0 -1 1077944384 771 0 0 0 15 6 0 0 20 0 28 0 475729030 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708961954960 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1449] ppid=1441 vsize=29167720 memory=30343474836 CPUtime=0.21 cores=0-7 /proc/1443/task/1449/stat : 1449 (java) S 1441 1441 1397 0 -1 1077944384 669 0 0 0 15 6 0 0 20 0 28 0 475729030 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708960901392 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1450] ppid=1441 vsize=29167720 memory=280488209706704 CPUtime=0.24 cores=0-7 /proc/1443/task/1450/stat : 1450 (java) S 1441 1441 1397 0 -1 1077944384 1264 0 0 0 16 8 0 0 20 0 28 0 475729030 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708959848848 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1451] ppid=1441 vsize=29167720 memory=0 CPUtime=0.21 cores=0-7 /proc/1443/task/1451/stat : 1451 (java) S 1441 1441 1397 0 -1 1077944384 373 0 0 0 15 6 0 0 20 0 28 0 475729030 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708958796304 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1452] ppid=1441 vsize=29167720 memory=3739 CPUtime=0.21 cores=0-7 /proc/1443/task/1452/stat : 1452 (java) S 1441 1441 1397 0 -1 1077944384 1311 0 0 0 15 6 0 0 20 0 28 0 475729030 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708957743760 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1453] ppid=1441 vsize=29167720 memory=2320116513221305012 CPUtime=0.03 cores=0-7 /proc/1443/task/1453/stat : 1453 (java) S 1441 1441 1397 0 -1 1077944384 3624 0 0 0 2 1 0 0 20 0 28 0 475729032 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708012280304 140709414038146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1454] ppid=1441 vsize=29167720 memory=3472468548114377621 CPUtime=0 cores=0-7 /proc/1443/task/1454/stat : 1454 (java) S 1441 1441 1397 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 475729032 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708011226592 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1455] ppid=1441 vsize=29167720 memory=8371428133610 CPUtime=0 cores=0-7 /proc/1443/task/1455/stat : 1455 (java) S 1441 1441 1397 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 475729033 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708010173952 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1456] ppid=1441 vsize=29167720 memory=6080515387064685226 CPUtime=0 cores=0-7 /proc/1443/task/1456/stat : 1456 (java) S 1441 1441 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475729035 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708009122512 140709414045595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1457] ppid=1441 vsize=29167720 memory=6080515387064685226 CPUtime=3.94 cores=0-7 /proc/1443/task/1457/stat : 1457 (java) S 1441 1441 1397 0 -1 1077944384 11686 0 0 0 391 3 0 0 20 0 28 0 475729035 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708008069104 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1458] ppid=1441 vsize=29167720 memory=6080515387064685226 CPUtime=3.74 cores=0-7 /proc/1443/task/1458/stat : 1458 (java) S 1441 1441 1397 0 -1 1077944384 9226 0 0 0 373 1 0 0 20 0 28 0 475729035 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708007016560 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1459] ppid=1441 vsize=29167720 memory=6080515387064685226 CPUtime=3.6 cores=0-7 /proc/1443/task/1459/stat : 1459 (java) S 1441 1441 1397 0 -1 1077944384 8401 0 0 0 358 2 0 0 20 0 28 0 475729035 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708005964016 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1460] ppid=1441 vsize=29167720 memory=6080515387064685226 CPUtime=0.93 cores=0-7 /proc/1443/task/1460/stat : 1460 (java) S 1441 1441 1397 0 -1 1077944384 7697 0 0 0 91 2 0 0 20 0 28 0 475729035 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708004911472 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1461] ppid=1441 vsize=29167720 memory=6080515387064685226 CPUtime=0 cores=0-7 /proc/1443/task/1461/stat : 1461 (java) S 1441 1441 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475729035 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708003859168 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1462] ppid=1441 vsize=29167720 memory=6080515387064685226 CPUtime=0.02 cores=0-7 /proc/1443/task/1462/stat : 1462 (java) S 1441 1441 1397 0 -1 1077944384 673 0 0 0 0 2 0 0 20 0 28 0 475729035 29867745280 865601 33554432000 4194304 4196468 140720350597952 140708002806704 140709414038146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1535] ppid=1441 vsize=29167720 memory=6080515382769717930 CPUtime=45.05 cores=0-7 /proc/1443/task/1535/stat : 1535 (java) R 1441 1441 1397 0 -1 4202560 6411 0 0 0 4468 37 0 0 20 0 28 0 475729556 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707983067944 140709060559369 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1536] ppid=1441 vsize=29167720 memory=6080515382769717930 CPUtime=44.9 cores=0-7 /proc/1443/task/1536/stat : 1536 (java) S 1441 1441 1397 0 -1 1077944384 472 0 0 0 4490 0 0 0 20 0 28 0 475729556 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707982022224 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1537] ppid=1441 vsize=29167720 memory=6080515382769717930 CPUtime=44.8 cores=0-7 /proc/1443/task/1537/stat : 1537 (java) S 1441 1441 1397 0 -1 1077944384 451 0 0 0 4480 0 0 0 20 0 28 0 475729556 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707979915984 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1538] ppid=1441 vsize=29167720 memory=6080515382769717930 CPUtime=44.88 cores=0-7 /proc/1443/task/1538/stat : 1538 (java) S 1441 1441 1397 0 -1 1077944384 2470 0 0 0 4479 9 0 0 20 0 28 0 475729556 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707991487312 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1539] ppid=1441 vsize=29167720 memory=0 CPUtime=44.86 cores=0-7 /proc/1443/task/1539/stat : 1539 (java) S 1441 1441 1397 0 -1 1077944384 520 0 0 0 4486 0 0 0 20 0 28 0 475729556 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707980968912 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1540] ppid=1441 vsize=29167720 memory=280488210583488 CPUtime=45.26 cores=0-7 /proc/1443/task/1540/stat : 1540 (java) S 1441 1441 1397 0 -1 1077944384 814 0 0 0 4525 1 0 0 20 0 28 0 475729556 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707988329552 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1541] ppid=1441 vsize=29167720 memory=280488210593456 CPUtime=44.94 cores=0-7 /proc/1443/task/1541/stat : 1541 (java) R 1441 1441 1397 0 -1 4202560 8216 0 0 0 4432 62 0 0 20 0 28 0 475729557 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707978857992 140709060560139 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 [pid=1443/tid=1542] ppid=1441 vsize=29167720 memory=0 CPUtime=45.07 cores=0-7 /proc/1443/task/1542/stat : 1542 (java) S 1441 1441 1397 0 -1 1077944384 872 0 0 0 4506 1 0 0 20 0 28 0 475729557 29867745280 865601 33554432000 4194304 4196468 140720350597952 140707992540496 140709414037205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25948160 140720350606314 140720350606486 140720350606486 140720350609359 0 Current children cumulated CPU time: 382.54 s Current children cumulated vsize: 29280848 KiB Current children cumulated memory: 3463856 KiB Child status: 0 Real time (s): 50.8577 CPU time (s): 382.635 CPU user time (s): 380.64 CPU system time (s): 1.99548 CPU usage (%): 752.365 Max. virtual memory (cumulated for all children) (KiB): 29280848 Max. memory (cumulated for all children) (KiB): 3463856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 380.64 system time used= 1.99548 maximum resident set size= 3462480 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 83470 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= 7322 involuntary context switches= 4599 # summary of solver processes directly reported to runsolver: # pid: 1441 # total CPU time (s): 382.635 # total CPU user time (s): 380.64 # total CPU system time (s): 1.99548 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.471767 second user time and 0.608835 second system time The end
Begin job on node106 at 2019-09-20 16:51:07 IDJOB=4404624 IDBENCH=120609 IDSOLVER=2865 FILE ID=node106/4404624-1568994748 RUNJOBID= node106-1568991066-1424 PBS_JOBID= 21704730 Free space on /tmp= 23488 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-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-4404624-1568994748/watcher-4404624-1568994748 -o /tmp/evaluation-result-4404624-1568994748/solver-4404624-1568994748 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568991066-1424 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 453697935 HOME/instance-4404624-1568994748.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7175cc64c8263572fa1d1d1459976d33 RANDOM SEED=453697935 node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 17796384 kB MemAvailable: 31856544 kB Buffers: 60944 kB Cached: 14071892 kB SwapCached: 4044 kB Active: 6737968 kB Inactive: 7403564 kB Active(anon): 3960 kB Inactive(anon): 46804 kB Active(file): 6734008 kB Inactive(file): 7356760 kB Unevictable: 109680 kB Mlocked: 109680 kB SwapTotal: 67108860 kB SwapFree: 66998140 kB Dirty: 26400 kB Writeback: 0 kB AnonPages: 112220 kB Mapped: 48316 kB Shmem: 33904 kB Slab: 426820 kB SReclaimable: 397852 kB SUnreclaim: 28968 kB KernelStack: 3360 kB PageTables: 6052 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497336 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 23460 MiB End job on node106 at 2019-09-20 16:51:58