Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 394 | 35.4095 | 6.31079 |
Name | Rlfap/Rlfap-opt/ Rlfap-graph-10-opt_c18.xml |
MD5SUM | d4eaac7549f90ed3ded0e25770a164a4 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 394 |
Best CPU time to get the best result obtained on this benchmark | 5.69025 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 3907 |
Number of domains | 6 |
Minimum domain size | 22 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":22,"count":40},{"size":24,"count":14},{"size":36,"count":146},{"size":42,"count":306},{"size":44,"count":174}] |
Minimum variable degree | 4 |
Maximum variable degree | 25 |
Distribution of variable degrees | [{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":15},{"degree":7,"count":36},{"degree":8,"count":71},{"degree":9,"count":62},{"degree":10,"count":71},{"degree":11,"count":58},{"degree":12,"count":55},{"degree":13,"count":34},{"degree":14,"count":33},{"degree":15,"count":44},{"degree":16,"count":63},{"degree":17,"count":60},{"degree":18,"count":44},{"degree":19,"count":19},{"degree":20,"count":5},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":3907}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 3907 |
Distribution of constraint types | [{"type":"intension","count":3907}] |
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-4394487-1568448108.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394487-1568448108.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 11.24/3.11 c solve instance... 34.23/6.14 o 792 34.89/6.22 o 778 34.89/6.25 o 764 34.89/6.27 o 394 34.89/6.28 s OPTIMUM FOUND 34.89/6.28 v <instantiation> 34.89/6.28 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] </list> 34.89/6.28 v <values>16 254 114 352 58 296 128 366 114 352 30 268 100 338 100 338 100 338 30 268 114 352 128 366 100 338 114 352 86 324 156 394 44 282 156 394 44 282 58 296 30 268 114 352 142 380 156 394 44 282 16 254 128 366 58 296 16 254 16 254 16 254 72 310 72 310 142 380 58 296 100 338 58 296 128 366 128 366 16 254 58 296 156 394 16 254 142 380 156 394 114 352 142 380 100 338 72 310 44 282 156 394 128 366 16 254 114 352 142 380 86 324 58 296 100 338 30 268 100 338 142 380 86 324 128 366 128 366 16 254 72 310 114 352 72 310 156 394 16 254 58 296 128 366 128 366 44 282 30 268 44 282 16 254 16 254 30 268 58 296 142 380 16 254 156 394 156 394 16 254 16 254 86 324 142 380 72 310 44 282 156 394 156 394 156 394 16 254 86 324 44 282 128 366 44 282 16 254 156 394 142 380 58 296 142 380 114 352 30 268 114 352 156 394 44 282 30 268 114 352 156 394 156 394 58 296 58 296 86 324 58 296 142 380 16 254 142 380 16 254 16 254 142 380 156 394 156 394 156 394 16 254 128 366 58 296 114 352 58 296 16 254 156 394 100 338 30 268 72 310 100 338 16 254 100 338 156 394 100 338 30 268 44 282 128 366 58 296 86 324 142 380 100 338 100 338 86 324 156 394 16 254 44 282 86 324 16 254 58 296 72 310 86 324 156 394 44 282 100 338 30 268 72 310 156 394 156 394 16 254 44 282 128 366 58 296 100 338 30 268 72 310 156 394 16 254 16 254 30 268 128 366 114 352 16 254 58 296 86 324 86 324 30 268 128 366 58 296 128 366 128 366 16 254 128 366 156 394 100 338 114 352 156 394 114 352 16 254 58 296 114 352 30 268 16 254 58 296 128 366 156 394 128 366 30 268 44 282 156 394 142 380 30 268 128 366 72 310 128 366 156 394 58 296 72 310 142 380 86 324 72 310 156 394 100 338 142 380 44 282 58 296 142 380 44 282 100 338 72 310 156 394 128 366 58 296 128 366 100 338 16 254 30 268 114 352 44 282 16 254 72 310 114 352 86 324 58 296 30 268 86 324 30 268 100 338 86 324 16 254 156 394 128 366 86 324 16 254 100 338 156 394 156 394 86 324 72 310 16 254 156 394 58 296 16 254 100 338 114 352 72 310 30 268 114 352 156 394 44 282 114 352 156 394 128 366 16 254 142 380 86 324 142 380 16 254 58 296 128 366 86 324 156 394 86 324 16 254 86 324 58 296 156 394 30 268 156 394 30 268 142 380 100 338 156 394 156 394 100 338 100 338 142 380 128 366 16 254 58 296 156 394 30 268 128 366 30 268 114 352 30 268 58 296 86 324 44 282 16 254 156 394 156 394 72 310 16 254 72 310 72 310 114 352 128 366 100 338 72 310 30 268 100 338 128 366 30 268 16 254 44 282 30 268 72 310 142 380 44 282 72 310 16 254 16 254 72 310 156 394 58 296 30 268 86 324 142 380 86 324 44 282 114 352 156 394 16 254 30 268 </values> 34.89/6.28 v </instantiation>
OK 394
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 (14096 MiB free) memory of node 1: 16384 MiB (15633 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394487-1568448108/watcher-4394487-1568448108 -o /tmp/evaluation-result-4394487-1568448108/solver-4394487-1568448108 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568441279-10680 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2063608418 HOME/instance-4394487-1568448108.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 Current StackSize limit: 8192 KiB solver pid=11615, runsolver pid=11612 [startup+0.100158 s]* /proc/loadavg: 7.40 8.06 8.18 2/210 11636 /proc/meminfo: memFree=30427500/32770624 swapFree=66932192/67108860 [pid=11615] ppid=11612 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 10653 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 421078850 115843072 363 33554432000 4194304 5098028 140737448614704 140737448612808 139846710362748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39796736 140737448620917 140737448621161 140737448621161 140737448624074 0 /proc/11615/statm: 28282 363 305 221 0 87 0 [pid=11617] ppid=11615 vsize=28227388 memory=29156 CPUtime=0.12 cores=0-7 /proc/11617/stat : 11617 (java) S 11615 11615 10653 0 -1 1077944320 5686 0 0 0 11 1 0 0 20 0 20 0 421078851 28904845312 7289 33554432000 4194304 4196468 140734076234944 140734076217488 140683407441655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 /proc/11617/statm: 7056847 7289 3136 1 0 7019032 0 [pid=11617/tid=11618] ppid=11615 vsize=28227388 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/11617/task/11618/stat : 11618 (java) R 11615 11615 10653 0 -1 4202560 3596 0 0 0 8 0 0 0 20 0 20 0 421078851 28904845312 7289 33554432000 4194304 4196468 140734076234944 140683411674928 140683391522142 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11619] ppid=11615 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/11617/task/11619/stat : 11619 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 7289 33554432000 4194304 4196468 140734076234944 140683360062480 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11620] ppid=11615 vsize=28227388 memory=140626315900544 CPUtime=0 cores=0-7 /proc/11617/task/11620/stat : 11620 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 7289 33554432000 4194304 4196468 140734076234944 140683359009936 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11621] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11621/stat : 11621 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 7289 33554432000 4194304 4196468 140734076234944 140683357956880 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11622] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11622/stat : 11622 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 7289 33554432000 4194304 4196468 140734076234944 140683356904336 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11623] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11623/stat : 11623 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 7289 33554432000 4194304 4196468 140734076234944 140683355851280 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11624] ppid=11615 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/11617/task/11624/stat : 11624 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 7289 33554432000 4194304 4196468 140734076234944 140683354798736 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11625] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11625/stat : 11625 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 7289 33554432000 4194304 4196468 140734076234944 140683353745680 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11626] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11626/stat : 11626 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 7289 33554432000 4194304 4196468 140734076234944 140683352693136 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11627] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11627/stat : 11627 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078853 28904845312 7289 33554432000 4194304 4196468 140734076234944 140682072951536 140683407452802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11628] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11628/stat : 11628 (java) S 11615 11615 10653 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421078854 28904845312 7289 33554432000 4194304 4196468 140734076234944 140682071897760 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11629] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11629/stat : 11629 (java) S 11615 11615 10653 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421078854 28904845312 7289 33554432000 4194304 4196468 140734076234944 140682070844656 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11630] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11630/stat : 11630 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078856 28904845312 7289 33554432000 4194304 4196468 140734076234944 140682069793232 140683407460251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11631] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11631/stat : 11631 (java) S 11615 11615 10653 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 20 0 421078856 28904845312 7289 33554432000 4194304 4196468 140734076234944 140682068740336 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11632] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11632/stat : 11632 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078856 28904845312 7289 33554432000 4194304 4196468 140734076234944 140682067687792 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11633] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11633/stat : 11633 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078856 28904845312 7289 33554432000 4194304 4196468 140734076234944 140682066634736 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11634] ppid=11615 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/11617/task/11634/stat : 11634 (java) R 11615 11615 10653 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 20 0 421078857 28904845312 7289 33554432000 4194304 4196468 140734076234944 140682065582192 140683407463002 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11635] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11635/stat : 11635 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078857 28904845312 7289 33554432000 4194304 4196468 140734076234944 140682064530400 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11636] ppid=11615 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/11617/task/11636/stat : 11636 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078857 28904845312 7289 33554432000 4194304 4196468 140734076234944 140682063477936 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30608 KiB [startup+0.210412 s]* /proc/loadavg: 7.40 8.06 8.18 3/210 11636 /proc/meminfo: memFree=30414492/32770624 swapFree=66932192/67108860 [pid=11615] ppid=11612 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 10653 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 421078850 115843072 363 33554432000 4194304 5098028 140737448614704 140737448612808 139846710362748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39796736 140737448620917 140737448621161 140737448621161 140737448624074 0 /proc/11615/statm: 28282 363 305 221 0 87 0 [pid=11617] ppid=11615 vsize=28227388 memory=41032 CPUtime=0.33 cores=0-7 /proc/11617/stat : 11617 (java) S 11615 11615 10653 0 -1 1077944320 9512 0 0 0 30 3 0 0 20 0 20 0 421078851 28904845312 10258 33554432000 4194304 4196468 140734076234944 140734076217488 140683407441655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 /proc/11617/statm: 7056847 10258 3274 1 0 7019032 0 [pid=11617/tid=11618] ppid=11615 vsize=28227388 memory=29681743523217448 CPUtime=0.2 cores=0-7 /proc/11617/task/11618/stat : 11618 (java) R 11615 11615 10653 0 -1 4202560 6631 0 0 0 18 2 0 0 20 0 20 0 421078851 28904845312 10258 33554432000 4194304 4196468 140734076234944 140683411674384 140683407453590 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11619] ppid=11615 vsize=28227388 memory=288230587528118625 CPUtime=0 cores=0-7 /proc/11617/task/11619/stat : 11619 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 10258 33554432000 4194304 4196468 140734076234944 140683360062480 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11620] ppid=11615 vsize=28227388 memory=140626315911897 CPUtime=0 cores=0-7 /proc/11617/task/11620/stat : 11620 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 10258 33554432000 4194304 4196468 140734076234944 140683359009936 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11621] ppid=11615 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/11617/task/11621/stat : 11621 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 10258 33554432000 4194304 4196468 140734076234944 140683357956880 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11622] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11622/stat : 11622 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 10258 33554432000 4194304 4196468 140734076234944 140683356904336 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11623] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11623/stat : 11623 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 10258 33554432000 4194304 4196468 140734076234944 140683355851280 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11624] ppid=11615 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/11617/task/11624/stat : 11624 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 10258 33554432000 4194304 4196468 140734076234944 140683354798736 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11625] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11625/stat : 11625 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 10258 33554432000 4194304 4196468 140734076234944 140683353745680 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11626] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11626/stat : 11626 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 10258 33554432000 4194304 4196468 140734076234944 140683352693136 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11627] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11627/stat : 11627 (java) S 11615 11615 10653 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421078853 28904845312 10258 33554432000 4194304 4196468 140734076234944 140682072951536 140683407452802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11628] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11628/stat : 11628 (java) S 11615 11615 10653 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421078854 28904845312 10258 33554432000 4194304 4196468 140734076234944 140682071897760 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11629] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11629/stat : 11629 (java) S 11615 11615 10653 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421078854 28904845312 10258 33554432000 4194304 4196468 140734076234944 140682070844656 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11630] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11630/stat : 11630 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078856 28904845312 10258 33554432000 4194304 4196468 140734076234944 140682069793232 140683407460251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11631] ppid=11615 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/11617/task/11631/stat : 11631 (java) S 11615 11615 10653 0 -1 1077944384 700 0 0 0 2 0 0 0 20 0 20 0 421078856 28904845312 10258 33554432000 4194304 4196468 140734076234944 140682068740336 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11632] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11632/stat : 11632 (java) S 11615 11615 10653 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 421078856 28904845312 10258 33554432000 4194304 4196468 140734076234944 140682067687792 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11633] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11633/stat : 11633 (java) S 11615 11615 10653 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 20 0 421078856 28904845312 10258 33554432000 4194304 4196468 140734076234944 140682066634736 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11634] ppid=11615 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7 /proc/11617/task/11634/stat : 11634 (java) S 11615 11615 10653 0 -1 1077944384 756 0 0 0 7 0 0 0 20 0 20 0 421078857 28904845312 10258 33554432000 4194304 4196468 140734076234944 140682065582192 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11635] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11635/stat : 11635 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078857 28904845312 10258 33554432000 4194304 4196468 140734076234944 140682064530400 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11636] ppid=11615 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/11617/task/11636/stat : 11636 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078857 28904845312 10258 33554432000 4194304 4196468 140734076234944 140682063477936 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42484 KiB [startup+0.309853 s]* /proc/loadavg: 7.40 8.06 8.18 6/210 11636 /proc/meminfo: memFree=30407484/32770624 swapFree=66932192/67108860 [pid=11615] ppid=11612 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 10653 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 421078850 115843072 363 33554432000 4194304 5098028 140737448614704 140737448612808 139846710362748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39796736 140737448620917 140737448621161 140737448621161 140737448624074 0 /proc/11615/statm: 28282 363 305 221 0 87 0 [pid=11617] ppid=11615 vsize=28231644 memory=49892 CPUtime=0.52 cores=0-7 /proc/11617/stat : 11617 (java) S 11615 11615 10653 0 -1 1077944320 10901 0 0 0 48 4 0 0 20 0 20 0 421078851 28909203456 12473 33554432000 4194304 4196468 140734076234944 140734076217488 140683407441655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 /proc/11617/statm: 7057911 12473 3319 1 0 7019032 0 [pid=11617/tid=11618] ppid=11615 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/11617/task/11618/stat : 11618 (java) R 11615 11615 10653 0 -1 4202560 7800 0 0 0 27 2 0 0 20 0 20 0 421078851 28909203456 12473 33554432000 4194304 4196468 140734076234944 140683411670000 140683391522142 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11619] ppid=11615 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11619/stat : 11619 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28909203456 12473 33554432000 4194304 4196468 140734076234944 140683360062480 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11620] ppid=11615 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11620/stat : 11620 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078852 28909203456 12473 33554432000 4194304 4196468 140734076234944 140683359009936 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11621] ppid=11615 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11621/stat : 11621 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078852 28909203456 12473 33554432000 4194304 4196468 140734076234944 140683357956880 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11622] ppid=11615 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11622/stat : 11622 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28909203456 12473 33554432000 4194304 4196468 140734076234944 140683356904336 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11623] ppid=11615 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11623/stat : 11623 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28909203456 12473 33554432000 4194304 4196468 140734076234944 140683355851280 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11624] ppid=11615 vsize=28231644 memory=140626154842799 CPUtime=0 cores=0-7 /proc/11617/task/11624/stat : 11624 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078852 28909203456 12473 33554432000 4194304 4196468 140734076234944 140683354798736 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11625] ppid=11615 vsize=28231644 memory=140626154845104 CPUtime=0 cores=0-7 /proc/11617/task/11625/stat : 11625 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28909203456 12473 33554432000 4194304 4196468 140734076234944 140683353745680 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11626] ppid=11615 vsize=28231644 memory=140626154847408 CPUtime=0 cores=0-7 /proc/11617/task/11626/stat : 11626 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28909203456 12473 33554432000 4194304 4196468 140734076234944 140683352693136 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11627] ppid=11615 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11627/stat : 11627 (java) S 11615 11615 10653 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421078853 28909203456 12473 33554432000 4194304 4196468 140734076234944 140682072951536 140683407452802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11628] ppid=11615 vsize=28231644 memory=281252309708688 CPUtime=0 cores=0-7 /proc/11617/task/11628/stat : 11628 (java) S 11615 11615 10653 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421078854 28909203456 12473 33554432000 4194304 4196468 140734076234944 140682071897760 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11629] ppid=11615 vsize=28231644 memory=281252309706384 CPUtime=0 cores=0-7 /proc/11617/task/11629/stat : 11629 (java) S 11615 11615 10653 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421078854 28909203456 12473 33554432000 4194304 4196468 140734076234944 140682070844656 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11630] ppid=11615 vsize=28231644 memory=281252309713296 CPUtime=0 cores=0-7 /proc/11617/task/11630/stat : 11630 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078856 28909203456 12473 33554432000 4194304 4196468 140734076234944 140682069793232 140683407460251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11631] ppid=11615 vsize=28231644 memory=281252309654576 CPUtime=0.03 cores=0-7 /proc/11617/task/11631/stat : 11631 (java) S 11615 11615 10653 0 -1 1077944384 713 0 0 0 3 0 0 0 20 0 20 0 421078856 28909203456 12473 33554432000 4194304 4196468 140734076234944 140682068740336 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11632] ppid=11615 vsize=28231644 memory=281252309727120 CPUtime=0.01 cores=0-7 /proc/11617/task/11632/stat : 11632 (java) S 11615 11615 10653 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 20 0 421078856 28909203456 12473 33554432000 4194304 4196468 140734076234944 140682067687792 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11633] ppid=11615 vsize=28231644 memory=281252309734032 CPUtime=0.02 cores=0-7 /proc/11617/task/11633/stat : 11633 (java) R 11615 11615 10653 0 -1 4202560 187 0 0 0 2 0 0 0 20 0 20 0 421078856 28909203456 12473 33554432000 4194304 4196468 140734076234944 140682066625120 140683390827132 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11634] ppid=11615 vsize=28231644 memory=281252309731728 CPUtime=0.12 cores=0-7 /proc/11617/task/11634/stat : 11634 (java) S 11615 11615 10653 0 -1 1077944384 851 0 0 0 12 0 0 0 20 0 20 0 421078857 28909203456 12473 33554432000 4194304 4196468 140734076234944 140682065582192 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11635] ppid=11615 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11635/stat : 11635 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078857 28909203456 12473 33554432000 4194304 4196468 140734076234944 140682064530400 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11636] ppid=11615 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/11617/task/11636/stat : 11636 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078857 28909203456 12473 33554432000 4194304 4196468 140734076234944 140682063477936 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51344 KiB [startup+0.700996 s] /proc/loadavg: 7.40 8.06 8.18 4/210 11636 /proc/meminfo: memFree=30385232/32770624 swapFree=66932192/67108860 [pid=11615] ppid=11612 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 10653 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 421078850 115843072 363 33554432000 4194304 5098028 140737448614704 140737448612808 139846710362748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39796736 140737448620917 140737448621161 140737448621161 140737448624074 0 /proc/11615/statm: 28282 363 305 221 0 87 0 [pid=11617] ppid=11615 vsize=28233768 memory=107708 CPUtime=1.99 cores=0-7 /proc/11617/stat : 11617 (java) S 11615 11615 10653 0 -1 1077944320 16951 0 0 0 192 7 0 0 20 0 20 0 421078851 28911378432 26927 33554432000 4194304 4196468 140734076234944 140734076217488 140683407441655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 /proc/11617/statm: 7058442 26927 3449 1 0 7019544 0 [pid=11617/tid=11618] ppid=11615 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7 /proc/11617/task/11618/stat : 11618 (java) R 11615 11615 10653 0 -1 4202560 9018 0 0 0 64 4 0 0 20 0 20 0 421078851 28911378432 26927 33554432000 4194304 4196468 140734076234944 140683411673600 140683407463581 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11619] ppid=11615 vsize=28233768 memory=2353 CPUtime=0 cores=0-7 /proc/11617/task/11619/stat : 11619 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28911378432 26927 33554432000 4194304 4196468 140734076234944 140683360062480 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11620] ppid=11615 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11620/stat : 11620 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078852 28911378432 26927 33554432000 4194304 4196468 140734076234944 140683359009936 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11621] ppid=11615 vsize=28233768 memory=1228 CPUtime=0 cores=0-7 /proc/11617/task/11621/stat : 11621 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078852 28911378432 26927 33554432000 4194304 4196468 140734076234944 140683357956880 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 ################ # More data... # ################ [pid=11617/tid=11623] ppid=11615 vsize=28233768 memory=1552 CPUtime=0 cores=0-7 /proc/11617/task/11623/stat : 11623 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28911378432 26927 33554432000 4194304 4196468 140734076234944 140683355851280 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11624] ppid=11615 vsize=28233768 memory=4096 CPUtime=0 cores=0-7 /proc/11617/task/11624/stat : 11624 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078852 28911378432 26927 33554432000 4194304 4196468 140734076234944 140683354798736 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11625] ppid=11615 vsize=28233768 memory=2832 CPUtime=0 cores=0-7 /proc/11617/task/11625/stat : 11625 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28911378432 26927 33554432000 4194304 4196468 140734076234944 140683353745680 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11626] ppid=11615 vsize=28233768 memory=772 CPUtime=0 cores=0-7 /proc/11617/task/11626/stat : 11626 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28911378432 26927 33554432000 4194304 4196468 140734076234944 140683352693136 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11627] ppid=11615 vsize=28233768 memory=1060 CPUtime=0 cores=0-7 /proc/11617/task/11627/stat : 11627 (java) S 11615 11615 10653 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421078853 28911378432 26927 33554432000 4194304 4196468 140734076234944 140682072951536 140683407452802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11628] ppid=11615 vsize=28233768 memory=1676 CPUtime=0 cores=0-7 /proc/11617/task/11628/stat : 11628 (java) S 11615 11615 10653 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421078854 28911378432 26927 33554432000 4194304 4196468 140734076234944 140682071897760 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11629] ppid=11615 vsize=28233768 memory=1096 CPUtime=0 cores=0-7 /proc/11617/task/11629/stat : 11629 (java) S 11615 11615 10653 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421078854 28911378432 26927 33554432000 4194304 4196468 140734076234944 140682070844656 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11630] ppid=11615 vsize=28233768 memory=1176 CPUtime=0 cores=0-7 /proc/11617/task/11630/stat : 11630 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078856 28911378432 26927 33554432000 4194304 4196468 140734076234944 140682069793232 140683407460251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11631] ppid=11615 vsize=28233768 memory=5964 CPUtime=0.28 cores=0-7 /proc/11617/task/11631/stat : 11631 (java) R 11615 11615 10653 0 -1 4202560 1704 0 0 0 28 0 0 0 20 0 20 0 421078856 28911378432 26927 33554432000 4194304 4196468 140734076234944 140682068740336 140683386631104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11632] ppid=11615 vsize=28233768 memory=780 CPUtime=0.29 cores=0-7 /proc/11617/task/11632/stat : 11632 (java) R 11615 11615 10653 0 -1 4202560 1276 0 0 0 29 0 0 0 20 0 20 0 421078856 28911378432 26927 33554432000 4194304 4196468 140734076234944 140682067668808 140683390938494 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11633] ppid=11615 vsize=28233768 memory=14008 CPUtime=0.33 cores=0-7 /proc/11617/task/11633/stat : 11633 (java) R 11615 11615 10653 0 -1 4202560 1135 0 0 0 33 0 0 0 20 0 20 0 421078856 28911378432 26927 33554432000 4194304 4196468 140734076234944 140682066615152 140683390938439 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11634] ppid=11615 vsize=28233768 memory=21244 CPUtime=0.36 cores=0-7 /proc/11617/task/11634/stat : 11634 (java) S 11615 11615 10653 0 -1 1077944384 2521 0 0 0 36 0 0 0 20 0 20 0 421078857 28911378432 26927 33554432000 4194304 4196468 140734076234944 140682065582192 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11635] ppid=11615 vsize=28233768 memory=2116 CPUtime=0 cores=0-7 /proc/11617/task/11635/stat : 11635 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078857 28911378432 26927 33554432000 4194304 4196468 140734076234944 140682064530400 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11636] ppid=11615 vsize=28233768 memory=11916 CPUtime=0 cores=0-7 /proc/11617/task/11636/stat : 11636 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078857 28911378432 26927 33554432000 4194304 4196468 140734076234944 140682063477936 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 Current children cumulated CPU time: 1.99 s Current children cumulated vsize: 28346896 KiB Current children cumulated memory: 109160 KiB [startup+1.51536 s] /proc/loadavg: 7.40 8.06 8.18 5/210 11636 /proc/meminfo: memFree=30282232/32770624 swapFree=66932192/67108860 [pid=11615] ppid=11612 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 10653 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 421078850 115843072 363 33554432000 4194304 5098028 140737448614704 140737448612808 139846710362748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39796736 140737448620917 140737448621161 140737448621161 140737448624074 0 /proc/11615/statm: 28282 363 305 221 0 87 0 [pid=11617] ppid=11615 vsize=28233768 memory=256440 CPUtime=5.56 cores=0-7 /proc/11617/stat : 11617 (java) S 11615 11615 10653 0 -1 1077944320 30311 0 0 0 538 18 0 0 20 0 20 0 421078851 28911378432 64110 33554432000 4194304 4196468 140734076234944 140734076217488 140683407441655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 /proc/11617/statm: 7058442 64110 3503 1 0 7019544 0 [pid=11617/tid=11618] ppid=11615 vsize=28233768 memory=0 CPUtime=1.45 cores=0-7 /proc/11617/task/11618/stat : 11618 (java) S 11615 11615 10653 0 -1 1077944384 9674 0 0 0 139 6 0 0 20 0 20 0 421078851 28911378432 64110 33554432000 4194304 4196468 140734076234944 140683411678592 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11619] ppid=11615 vsize=28233768 memory=0 CPUtime=0.01 cores=0-7 /proc/11617/task/11619/stat : 11619 (java) R 11615 11615 10653 0 -1 4202560 79 0 0 0 1 0 0 0 20 0 20 0 421078852 28911378432 64110 33554432000 4194304 4196468 140734076234944 140683360062680 140683391930591 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11620] ppid=11615 vsize=28233768 memory=2353 CPUtime=0.01 cores=0-7 /proc/11617/task/11620/stat : 11620 (java) R 11615 11615 10653 0 -1 4202560 54 0 0 0 1 0 0 0 20 0 20 0 421078852 28911378432 64110 33554432000 4194304 4196468 140734076234944 140683359010136 140683392485979 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11621] ppid=11615 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11621/stat : 11621 (java) R 11615 11615 10653 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 20 0 421078852 28911378432 64110 33554432000 4194304 4196468 140734076234944 140683357957000 140683400069863 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11622] ppid=11615 vsize=28233768 memory=6055744037267188125 CPUtime=0.01 cores=0-7 /proc/11617/task/11622/stat : 11622 (java) R 11615 11615 10653 0 -1 4202560 55 0 0 0 1 0 0 0 20 0 20 0 421078852 28911378432 64110 33554432000 4194304 4196468 140734076234944 140683356904224 140683400069863 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11623] ppid=11615 vsize=28233768 memory=0 CPUtime=0.02 cores=0-7 /proc/11617/task/11623/stat : 11623 (java) R 11615 11615 10653 0 -1 4202560 107 0 0 0 2 0 0 0 20 0 20 0 421078852 28911378432 64110 33554432000 4194304 4196468 140734076234944 140683355851480 140683400069863 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11624] ppid=11615 vsize=28233768 memory=186496405617776 CPUtime=0.01 cores=0-7 /proc/11617/task/11624/stat : 11624 (java) R 11615 11615 10653 0 -1 4202560 55 0 0 0 1 0 0 0 20 0 20 0 421078852 28911378432 64110 33554432000 4194304 4196468 140734076234944 140683354798856 140683400069863 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11625] ppid=11615 vsize=28233768 memory=49868865284509 CPUtime=0.02 cores=0-7 /proc/11617/task/11625/stat : 11625 (java) R 11615 11615 10653 0 -1 4202560 80 0 0 0 2 0 0 0 20 0 20 0 421078852 28911378432 64110 33554432000 4194304 4196468 140734076234944 140683353745680 140683400069863 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11626] ppid=11615 vsize=28233768 memory=49873160252767 CPUtime=0.03 cores=0-7 /proc/11617/task/11626/stat : 11626 (java) R 11615 11615 10653 0 -1 4202560 232 0 0 0 2 1 0 0 20 0 20 0 421078852 28911378432 64110 33554432000 4194304 4196468 140734076234944 140683352693336 140683400069863 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11627] ppid=11615 vsize=28233768 memory=1176 CPUtime=0 cores=0-7 /proc/11617/task/11627/stat : 11627 (java) S 11615 11615 10653 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 20 0 421078853 28911378432 64110 33554432000 4194304 4196468 140734076234944 140682072950048 140683407451861 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11628] ppid=11615 vsize=28233768 memory=5964 CPUtime=0 cores=0-7 /proc/11617/task/11628/stat : 11628 (java) S 11615 11615 10653 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 421078854 28911378432 64110 33554432000 4194304 4196468 140734076234944 140682071897760 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11629] ppid=11615 vsize=28233768 memory=780 CPUtime=0 cores=0-7 /proc/11617/task/11629/stat : 11629 (java) S 11615 11615 10653 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 421078854 28911378432 64110 33554432000 4194304 4196468 140734076234944 140682070844656 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11630] ppid=11615 vsize=28233768 memory=14008 CPUtime=0 cores=0-7 /proc/11617/task/11630/stat : 11630 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078856 28911378432 64110 33554432000 4194304 4196468 140734076234944 140682069793232 140683407460251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11631] ppid=11615 vsize=28233768 memory=21244 CPUtime=1.07 cores=0-7 /proc/11617/task/11631/stat : 11631 (java) S 11615 11615 10653 0 -1 1077944384 5683 0 0 0 105 2 0 0 20 0 20 0 421078856 28911378432 64110 33554432000 4194304 4196468 140734076234944 140682068725328 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11632] ppid=11615 vsize=28233768 memory=2116 CPUtime=1.1 cores=0-7 /proc/11617/task/11632/stat : 11632 (java) R 11615 11615 10653 0 -1 4202560 5107 0 0 0 109 1 0 0 20 0 20 0 421078856 28911378432 64110 33554432000 4194304 4196468 140734076234944 140682067668808 140683390938443 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11633] ppid=11615 vsize=28233768 memory=11916 CPUtime=1.12 cores=0-7 /proc/11617/task/11633/stat : 11633 (java) R 11615 11615 10653 0 -1 4202560 4086 0 0 0 112 0 0 0 20 0 20 0 421078856 28911378432 64110 33554432000 4194304 4196468 140734076234944 140682066617472 140683400538491 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11634] ppid=11615 vsize=28233768 memory=0 CPUtime=0.56 cores=0-7 /proc/11617/task/11634/stat : 11634 (java) S 11615 11615 10653 0 -1 1077944384 3629 0 0 0 56 0 0 0 20 0 20 0 421078857 28911378432 64110 33554432000 4194304 4196468 140734076234944 140682065582192 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11635] ppid=11615 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11635/stat : 11635 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078857 28911378432 64110 33554432000 4194304 4196468 140734076234944 140682064530400 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11636] ppid=11615 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11636/stat : 11636 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078857 28911378432 64110 33554432000 4194304 4196468 140734076234944 140682063477936 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 Current children cumulated CPU time: 5.56 s Current children cumulated vsize: 28346896 KiB Current children cumulated memory: 257892 KiB [startup+3.10995 s] /proc/loadavg: 7.40 8.06 8.18 2/210 11636 /proc/meminfo: memFree=29911504/32770624 swapFree=66932192/67108860 [pid=11615] ppid=11612 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 10653 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 421078850 115843072 363 33554432000 4194304 5098028 140737448614704 140737448612808 139846710362748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39796736 140737448620917 140737448621161 140737448621161 140737448624074 0 /proc/11615/statm: 28282 363 305 221 0 87 0 [pid=11617] ppid=11615 vsize=28233768 memory=625616 CPUtime=11.24 cores=0-7 /proc/11617/stat : 11617 (java) S 11615 11615 10653 0 -1 1077944320 38616 0 0 0 1081 43 0 0 20 0 20 0 421078851 28911378432 156404 33554432000 4194304 4196468 140734076234944 140734076217488 140683407441655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 /proc/11617/statm: 7058442 156404 3510 1 0 7019544 0 [pid=11617/tid=11618] ppid=11615 vsize=28233768 memory=421472 CPUtime=2.91 cores=0-7 /proc/11617/task/11618/stat : 11618 (java) R 11615 11615 10653 0 -1 4202560 11431 0 0 0 281 10 0 0 20 0 20 0 421078851 28911378432 156404 33554432000 4194304 4196468 140734076234944 140683411680736 140683019434962 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11619] ppid=11615 vsize=28233768 memory=0 CPUtime=0.11 cores=0-7 /proc/11617/task/11619/stat : 11619 (java) S 11615 11615 10653 0 -1 1077944384 179 0 0 0 8 3 0 0 20 0 20 0 421078852 28911378432 156404 33554432000 4194304 4196468 140734076234944 140683360062480 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11620] ppid=11615 vsize=28233768 memory=0 CPUtime=0.11 cores=0-7 /proc/11617/task/11620/stat : 11620 (java) S 11615 11615 10653 0 -1 1077944384 147 0 0 0 8 3 0 0 20 0 20 0 421078852 28911378432 156404 33554432000 4194304 4196468 140734076234944 140683359009936 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11621] ppid=11615 vsize=28233768 memory=281252309940816 CPUtime=0.09 cores=0-7 /proc/11617/task/11621/stat : 11621 (java) S 11615 11615 10653 0 -1 1077944384 142 0 0 0 7 2 0 0 20 0 20 0 421078852 28911378432 156404 33554432000 4194304 4196468 140734076234944 140683357956880 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11622] ppid=11615 vsize=28233768 memory=0 CPUtime=0.1 cores=0-7 /proc/11617/task/11622/stat : 11622 (java) S 11615 11615 10653 0 -1 1077944384 161 0 0 0 8 2 0 0 20 0 20 0 421078852 28911378432 156404 33554432000 4194304 4196468 140734076234944 140683356904336 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11623] ppid=11615 vsize=28233768 memory=45796 CPUtime=0.1 cores=0-7 /proc/11617/task/11623/stat : 11623 (java) S 11615 11615 10653 0 -1 1077944384 266 0 0 0 8 2 0 0 20 0 20 0 421078852 28911378432 156404 33554432000 4194304 4196468 140734076234944 140683355851280 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11624] ppid=11615 vsize=28233768 memory=6791534058613427641 CPUtime=0.12 cores=0-7 /proc/11617/task/11624/stat : 11624 (java) S 11615 11615 10653 0 -1 1077944384 635 0 0 0 8 4 0 0 20 0 20 0 421078852 28911378432 156404 33554432000 4194304 4196468 140734076234944 140683354798736 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11625] ppid=11615 vsize=28233768 memory=2581610891009 CPUtime=0.1 cores=0-7 /proc/11617/task/11625/stat : 11625 (java) S 11615 11615 10653 0 -1 1077944384 179 0 0 0 8 2 0 0 20 0 20 0 421078852 28911378432 156404 33554432000 4194304 4196468 140734076234944 140683353745680 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11626] ppid=11615 vsize=28233768 memory=2607380694785 CPUtime=0.11 cores=0-7 /proc/11617/task/11626/stat : 11626 (java) S 11615 11615 10653 0 -1 1077944384 341 0 0 0 8 3 0 0 20 0 20 0 421078852 28911378432 156404 33554432000 4194304 4196468 140734076234944 140683352693136 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11627] ppid=11615 vsize=28233768 memory=256440 CPUtime=0.01 cores=0-7 /proc/11617/task/11627/stat : 11627 (java) S 11615 11615 10653 0 -1 1077944384 553 0 0 0 1 0 0 0 20 0 20 0 421078853 28911378432 156404 33554432000 4194304 4196468 140734076234944 140682072951536 140683407452802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11628] ppid=11615 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11628/stat : 11628 (java) S 11615 11615 10653 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 421078854 28911378432 156404 33554432000 4194304 4196468 140734076234944 140682071897824 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11629] ppid=11615 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/11617/task/11629/stat : 11629 (java) S 11615 11615 10653 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 421078854 28911378432 156404 33554432000 4194304 4196468 140734076234944 140682070844672 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11630] ppid=11615 vsize=28233768 memory=2353 CPUtime=0 cores=0-7 /proc/11617/task/11630/stat : 11630 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078856 28911378432 156404 33554432000 4194304 4196468 140734076234944 140682069793232 140683407460251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11631] ppid=11615 vsize=28233768 memory=0 CPUtime=2.27 cores=0-7 /proc/11617/task/11631/stat : 11631 (java) R 11615 11615 10653 0 -1 4202560 6553 0 0 0 225 2 0 0 20 0 20 0 421078856 28911378432 156404 33554432000 4194304 4196468 140734076234944 140682068740336 140683386701955 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11632] ppid=11615 vsize=28233768 memory=0 CPUtime=2.24 cores=0-7 /proc/11617/task/11632/stat : 11632 (java) R 11615 11615 10653 0 -1 4202560 7622 0 0 0 222 2 0 0 20 0 20 0 421078856 28911378432 156404 33554432000 4194304 4196468 140734076234944 140682067687792 140683388986144 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11633] ppid=11615 vsize=28233768 memory=8740 CPUtime=2.23 cores=0-7 /proc/11617/task/11633/stat : 11633 (java) R 11615 11615 10653 0 -1 4202560 5345 0 0 0 222 1 0 0 20 0 20 0 421078856 28911378432 156404 33554432000 4194304 4196468 140734076234944 140682066625568 140683392342222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11634] ppid=11615 vsize=28233768 memory=0 CPUtime=0.61 cores=0-7 /proc/11617/task/11634/stat : 11634 (java) S 11615 11615 10653 0 -1 1077944384 3707 0 0 0 60 1 0 0 20 0 20 0 421078857 28911378432 156404 33554432000 4194304 4196468 140734076234944 140682065582192 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11635] ppid=11615 vsize=28233768 memory=22532 CPUtime=0 cores=0-7 /proc/11617/task/11635/stat : 11635 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078857 28911378432 156404 33554432000 4194304 4196468 140734076234944 140682064530400 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 [pid=11617/tid=11636] ppid=11615 vsize=28233768 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/11617/task/11636/stat : 11636 (java) S 11615 11615 10653 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 421078857 28911378432 156404 33554432000 4194304 4196468 140734076234944 140682063477936 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0 Current children cumulated CPU time: 11.24 s Current children cumulated vsize: 28346896 KiB Current children cumulated memory: 627068 KiB [startup+6.30115 s] /proc/loadavg: 7.37 8.04 8.17 12/218 11644 /proc/meminfo: memFree=29628892/32770624 swapFree=66932192/67108860 [pid=11615] ppid=11612 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 10653 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 421078850 115843072 363 33554432000 4194304 5098028 140737448614704 140737448612808 139846710362748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39796736 140737448620917 140737448621161 140737448621161 140737448624074 0 /proc/11615/statm: 28282 363 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB heavy processes: [startup+6.31076 s] # the end of solver process 11615 was just reported to runsolver # cumulated CPU time of all completed processes: user=34.527 s, system=0.882495 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+6.30115 s]* /proc/loadavg: 7.37 8.04 8.17 2/192 11676 /proc/meminfo: memFree=30345848/32770624 swapFree=66932192/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 0 Real time (s): 6.31079 CPU time (s): 35.4095 CPU user time (s): 34.527 CPU system time (s): 0.882495 CPU usage (%): 561.094 Max. virtual memory (cumulated for all children) (KiB): 28883536 Max. memory (cumulated for all children) (KiB): 824648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 34.527 system time used= 0.882495 maximum resident set size= 823468 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69662 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4923 involuntary context switches= 864 # summary of solver processes directly reported to runsolver: # pid: 11615 # total CPU time (s): 35.4095 # total CPU user time (s): 34.527 # total CPU system time (s): 0.882495 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.077754 second user time and 0.105859 second system time The end
Begin job on node139 at 2019-09-14 10:03:34 IDJOB=4394487 IDBENCH=141212 IDSOLVER=2843 FILE ID=node139/4394487-1568448108 RUNJOBID= node139-1568441279-10680 PBS_JOBID= 21702342 Free space on /tmp= 59556 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-10-opt_c18.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-4394487-1568448108/watcher-4394487-1568448108 -o /tmp/evaluation-result-4394487-1568448108/solver-4394487-1568448108 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568441279-10680 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2063608418 HOME/instance-4394487-1568448108.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d4eaac7549f90ed3ded0e25770a164a4 RANDOM SEED=2063608418 node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30443020 kB MemAvailable: 31825168 kB Buffers: 145432 kB Cached: 1516452 kB SwapCached: 74352 kB Active: 610048 kB Inactive: 1131096 kB Active(anon): 4492 kB Inactive(anon): 115400 kB Active(file): 605556 kB Inactive(file): 1015696 kB Unevictable: 107088 kB Mlocked: 107088 kB SwapTotal: 67108860 kB SwapFree: 66932192 kB Dirty: 26272 kB Writeback: 0 kB AnonPages: 129176 kB Mapped: 44176 kB Shmem: 32236 kB Slab: 181988 kB SReclaimable: 153460 kB SUnreclaim: 28528 kB KernelStack: 3712 kB PageTables: 5528 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 488200 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 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= 59528 MiB End job on node139 at 2019-09-14 10:03:40