Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 310 | 1896.71 | 238.884 |
Name | PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32e3.xml |
MD5SUM | bcb3f3ceeead4664bdf41fd123f1defa |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 310 |
Best CPU time to get the best result obtained on this benchmark | 91.9577 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 660 |
Number of constraints | 5350 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":660}] |
Minimum variable degree | 3 |
Maximum variable degree | 107 |
Distribution of variable degrees | [{"degree":3,"count":138},{"degree":12,"count":3},{"degree":13,"count":3},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":3},{"degree":18,"count":3},{"degree":19,"count":3},{"degree":20,"count":6},{"degree":21,"count":15},{"degree":22,"count":3},{"degree":23,"count":9},{"degree":24,"count":30},{"degree":25,"count":3},{"degree":26,"count":18},{"degree":27,"count":3},{"degree":28,"count":30},{"degree":29,"count":9},{"degree":30,"count":3},{"degree":31,"count":15},{"degree":32,"count":6},{"degree":33,"count":3},{"degree":34,"count":141},{"degree":36,"count":3},{"degree":37,"count":3},"...",{"degree":71,"count":3}, {"degree":72,"count":3}, {"degree":73,"count":6}, {"degree":74,"count":12}, {"degree":75,"count":6}, {"degree":76,"count":3}, {"degree":77,"count":12}, {"degree":78,"count":18}, {"degree":79,"count":12}, {"degree":80,"count":18}, {"degree":81,"count":12}, {"degree":82,"count":3}, {"degree":83,"count":6}, {"degree":84,"count":12}, {"degree":85,"count":6}, {"degree":86,"count":3}, {"degree":87,"count":3}, {"degree":89,"count":3}, {"degree":91,"count":3}, {"degree":92,"count":6}, {"degree":93,"count":3}, {"degree":94,"count":3}, {"degree":95,"count":3}, {"degree":96,"count":3}, {"degree":107,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 32 |
Distribution of constraint arities | [{"arity":2,"count":4842},{"arity":3,"count":46},{"arity":32,"count":462}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":5350}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405006-1569004718.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4405006-1569004718.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 5.64/1.69 c solve instance... 7.41/1.97 o 328 8.19/2.03 o 326 8.19/2.05 o 325 8.19/2.07 o 324 8.19/2.11 o 323 9.01/2.13 o 322 9.01/2.16 o 321 9.01/2.17 o 320 9.01/2.19 o 319 9.64/2.20 o 318 9.64/2.26 o 317 10.36/2.35 o 316 12.76/2.64 o 315 14.29/2.85 o 313 14.29/2.86 o 312 15.97/3.05 o 311 19.82/3.53 o 310 1896.27/238.85 s OPTIMUM FOUND 1896.27/238.85 v <instantiation> 1896.27/238.85 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] </list> 1896.27/238.85 v <values>1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 </values> 1896.27/238.85 v </instantiation>
OK 310
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 (4611 MiB free) memory of node 1: 16384 MiB (6909 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405006-1569004718/watcher-4405006-1569004718 -o /var/tmp/evaluation-result-4405006-1569004718/solver-4405006-1569004718 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1568994522-3227 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 2141721183 HOME/instance-4405006-1569004718.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Starting watchdog thread solver pid=13287, runsolver pid=13284 Current StackSize limit: 8192 KiB [startup+0.100118 s]* /proc/loadavg: 8.02 8.16 8.18 2/211 13308 /proc/meminfo: memFree=11779360/32770624 swapFree=66956720/67108860 [pid=13287] ppid=13284 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13287/stat : 13287 (xcsp3-exec) S 13284 13287 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476710433 115843072 364 33554432000 4194304 5098028 140730748570144 140730748568248 140633919664764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22351872 140730748576599 140730748576858 140730748576858 140730748579782 0 /proc/13287/statm: 28282 364 305 221 0 87 0 [pid=13289] ppid=13287 vsize=28227396 memory=29920 CPUtime=0.12 cores=0-7 /proc/13289/stat : 13289 (java) S 13287 13287 3200 0 -1 1077944320 5962 0 0 0 10 2 0 0 20 0 20 0 476710433 28904853504 7480 33554432000 4194304 4196468 140727273876832 140727273859376 140317154664183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 /proc/13289/statm: 7056849 7480 3118 1 0 7019032 0 [pid=13289/tid=13290] ppid=13287 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/13289/task/13290/stat : 13290 (java) R 13287 13287 3200 0 -1 4202560 3908 0 0 0 8 1 0 0 20 0 20 0 476710433 28904853504 7480 33554432000 4194304 4196468 140727273876832 140317158896112 140317154676118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13291] ppid=13287 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/13289/task/13291/stat : 13291 (java) S 13287 13287 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476710434 28904853504 7480 33554432000 4194304 4196468 140727273876832 140317119945744 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13292] ppid=13287 vsize=28227396 memory=140669794092672 CPUtime=0 cores=0-7 /proc/13289/task/13292/stat : 13292 (java) S 13287 13287 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476710434 28904853504 7480 33554432000 4194304 4196468 140727273876832 140316705074320 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13293] ppid=13287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13293/stat : 13293 (java) S 13287 13287 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476710434 28904853504 7480 33554432000 4194304 4196468 140727273876832 140316704021264 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13294] ppid=13287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13294/stat : 13294 (java) S 13287 13287 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476710434 28904853504 7480 33554432000 4194304 4196468 140727273876832 140316702968720 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13295] ppid=13287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13295/stat : 13295 (java) S 13287 13287 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476710434 28904853504 7480 33554432000 4194304 4196468 140727273876832 140316701915664 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13296] ppid=13287 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13289/task/13296/stat : 13296 (java) S 13287 13287 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476710434 28904853504 7480 33554432000 4194304 4196468 140727273876832 140316700863120 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13297] ppid=13287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13297/stat : 13297 (java) S 13287 13287 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476710434 28904853504 7480 33554432000 4194304 4196468 140727273876832 140316699810064 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13298] ppid=13287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13298/stat : 13298 (java) S 13287 13287 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476710434 28904853504 7480 33554432000 4194304 4196468 140727273876832 140316698757520 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13299] ppid=13287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13299/stat : 13299 (java) S 13287 13287 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476710436 28904853504 7480 33554432000 4194304 4196468 140727273876832 140315752954608 140317154675330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13300] ppid=13287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13300/stat : 13300 (java) S 13287 13287 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476710436 28904853504 7480 33554432000 4194304 4196468 140727273876832 140315751900832 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13301] ppid=13287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13301/stat : 13301 (java) S 13287 13287 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476710436 28904853504 7480 33554432000 4194304 4196468 140727273876832 140315750847728 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13302] ppid=13287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13302/stat : 13302 (java) S 13287 13287 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476710439 28904853504 7480 33554432000 4194304 4196468 140727273876832 140315749796304 140317154682779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13303] ppid=13287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13303/stat : 13303 (java) S 13287 13287 3200 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 476710439 28904853504 7480 33554432000 4194304 4196468 140727273876832 140315748743408 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13304] ppid=13287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13304/stat : 13304 (java) S 13287 13287 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476710439 28904853504 7480 33554432000 4194304 4196468 140727273876832 140315747690864 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13305] ppid=13287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13305/stat : 13305 (java) S 13287 13287 3200 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 476710439 28904853504 7480 33554432000 4194304 4196468 140727273876832 140315746637808 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13306] ppid=13287 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/13289/task/13306/stat : 13306 (java) S 13287 13287 3200 0 -1 1077944384 324 0 0 0 1 0 0 0 20 0 20 0 476710439 28904853504 7480 33554432000 4194304 4196468 140727273876832 140315745585264 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13307] ppid=13287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13307/stat : 13307 (java) S 13287 13287 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476710439 28904853504 7480 33554432000 4194304 4196468 140727273876832 140315744533472 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13308] ppid=13287 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13289/task/13308/stat : 13308 (java) S 13287 13287 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476710439 28904853504 7480 33554432000 4194304 4196468 140727273876832 140315743481008 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31376 KiB [startup+0.210499 s]* /proc/loadavg: 8.02 8.16 8.18 2/211 13308 /proc/meminfo: memFree=11766696/32770624 swapFree=66956720/67108860 [pid=13287] ppid=13284 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13287/stat : 13287 (xcsp3-exec) S 13284 13287 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476710433 115843072 364 33554432000 4194304 5098028 140730748570144 140730748568248 140633919664764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22351872 140730748576599 140730748576858 140730748576858 140730748579782 0 /proc/13287/statm: 28282 364 305 221 0 87 0 [pid=13289] ppid=13287 vsize=28227396 memory=41120 CPUtime=0.33 cores=0-7 /proc/13289/stat : 13289 (java) S 13287 13287 3200 0 -1 1077944320 9552 0 0 0 30 3 0 0 20 0 20 0 476710433 28904853504 10280 33554432000 4194304 4196468 140727273876832 140727273859376 140317154664183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 /proc/13289/statm: 7056849 10280 3246 1 0 7019032 0 [pid=13289/tid=13290] ppid=13287 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/13289/task/13290/stat : 13290 (java) R 13287 13287 3200 0 -1 4202560 6713 0 0 0 17 2 0 0 20 0 20 0 476710433 28904853504 10280 33554432000 4194304 4196468 140727273876832 140317158901248 140317154676118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13291] ppid=13287 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/13289/task/13291/stat : 13291 (java) S 13287 13287 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476710434 28904853504 10280 33554432000 4194304 4196468 140727273876832 140317119945744 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13292] ppid=13287 vsize=28227396 memory=140669797633410 CPUtime=0 cores=0-7 /proc/13289/task/13292/stat : 13292 (java) S 13287 13287 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476710434 28904853504 10280 33554432000 4194304 4196468 140727273876832 140316705074320 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13293] ppid=13287 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13289/task/13293/stat : 13293 (java) S 13287 13287 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476710434 28904853504 10280 33554432000 4194304 4196468 140727273876832 140316704021264 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13294] ppid=13287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13294/stat : 13294 (java) S 13287 13287 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476710434 28904853504 10280 33554432000 4194304 4196468 140727273876832 140316702968720 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13295] ppid=13287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13295/stat : 13295 (java) S 13287 13287 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476710434 28904853504 10280 33554432000 4194304 4196468 140727273876832 140316701915664 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13296] ppid=13287 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13289/task/13296/stat : 13296 (java) S 13287 13287 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476710434 28904853504 10280 33554432000 4194304 4196468 140727273876832 140316700863120 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13297] ppid=13287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13297/stat : 13297 (java) S 13287 13287 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476710434 28904853504 10280 33554432000 4194304 4196468 140727273876832 140316699810064 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13298] ppid=13287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13298/stat : 13298 (java) S 13287 13287 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476710434 28904853504 10280 33554432000 4194304 4196468 140727273876832 140316698757520 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13299] ppid=13287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13299/stat : 13299 (java) S 13287 13287 3200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476710436 28904853504 10280 33554432000 4194304 4196468 140727273876832 140315752954608 140317154675330 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13300] ppid=13287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13300/stat : 13300 (java) S 13287 13287 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476710436 28904853504 10280 33554432000 4194304 4196468 140727273876832 140315751900832 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13301] ppid=13287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13301/stat : 13301 (java) S 13287 13287 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476710436 28904853504 10280 33554432000 4194304 4196468 140727273876832 140315750847728 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13302] ppid=13287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13302/stat : 13302 (java) S 13287 13287 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476710439 28904853504 10280 33554432000 4194304 4196468 140727273876832 140315749796304 140317154682779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13303] ppid=13287 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/13289/task/13303/stat : 13303 (java) R 13287 13287 3200 0 -1 1077944384 405 0 0 0 1 0 0 0 20 0 20 0 476710439 28904853504 10280 33554432000 4194304 4196468 140727273876832 140315748743408 140317154675330 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13304] ppid=13287 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/13289/task/13304/stat : 13304 (java) R 13287 13287 3200 0 -1 1077944384 240 0 0 0 2 0 0 0 20 0 20 0 476710439 28904853504 10280 33554432000 4194304 4196468 140727273876832 140315747690864 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13305] ppid=13287 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13289/task/13305/stat : 13305 (java) S 13287 13287 3200 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 20 0 476710439 28904853504 10280 33554432000 4194304 4196468 140727273876832 140315746637808 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13306] ppid=13287 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/13289/task/13306/stat : 13306 (java) R 13287 13287 3200 0 -1 4202560 750 0 0 0 7 0 0 0 20 0 20 0 476710439 28904853504 10280 33554432000 4194304 4196468 140727273876832 140315745585072 140316790935673 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13307] ppid=13287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13307/stat : 13307 (java) S 13287 13287 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476710439 28904853504 10280 33554432000 4194304 4196468 140727273876832 140315744533472 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13308] ppid=13287 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13289/task/13308/stat : 13308 (java) S 13287 13287 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476710439 28904853504 10280 33554432000 4194304 4196468 140727273876832 140315743481008 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42576 KiB [startup+0.310381 s]* /proc/loadavg: 8.02 8.16 8.18 3/211 13308 /proc/meminfo: memFree=11759924/32770624 swapFree=66956720/67108860 [pid=13287] ppid=13284 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13287/stat : 13287 (xcsp3-exec) S 13284 13287 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476710433 115843072 364 33554432000 4194304 5098028 140730748570144 140730748568248 140633919664764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22351872 140730748576599 140730748576858 140730748576858 140730748579782 0 /proc/13287/statm: 28282 364 305 221 0 87 0 [pid=13289] ppid=13287 vsize=28231652 memory=49524 CPUtime=0.51 cores=0-7 /proc/13289/stat : 13289 (java) S 13287 13287 3200 0 -1 1077944320 10729 0 0 0 47 4 0 0 20 0 20 0 476710433 28909211648 12381 33554432000 4194304 4196468 140727273876832 140727273859376 140317154664183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 /proc/13289/statm: 7057913 12381 3336 1 0 7019032 0 [pid=13289/tid=13290] ppid=13287 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/13289/task/13290/stat : 13290 (java) R 13287 13287 3200 0 -1 4202560 7800 0 0 0 27 2 0 0 20 0 20 0 476710433 28909211648 12381 33554432000 4194304 4196468 140727273876832 140317158895296 140317138744670 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13291] ppid=13287 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13291/stat : 13291 (java) S 13287 13287 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476710434 28909211648 12381 33554432000 4194304 4196468 140727273876832 140317119945744 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13292] ppid=13287 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13292/stat : 13292 (java) S 13287 13287 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476710434 28909211648 12381 33554432000 4194304 4196468 140727273876832 140316705074320 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13293] ppid=13287 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13293/stat : 13293 (java) S 13287 13287 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476710434 28909211648 12381 33554432000 4194304 4196468 140727273876832 140316704021264 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13294] ppid=13287 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13294/stat : 13294 (java) S 13287 13287 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476710434 28909211648 12381 33554432000 4194304 4196468 140727273876832 140316702968720 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13295] ppid=13287 vsize=28231396 memory=2244 CPUtime=0 cores=0-7 /proc/13289/task/13295/stat : 13295 (java) S 13287 13287 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476710434 28908949504 12408 33554432000 4194304 4196468 140727273876832 140316701915664 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13296] ppid=13287 vsize=28231652 memory=140669641388975 CPUtime=0 cores=0-7 /proc/13289/task/13296/stat : 13296 (java) S 13287 13287 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476710434 28909211648 12408 33554432000 4194304 4196468 140727273876832 140316700863120 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13297] ppid=13287 vsize=28231652 memory=140669641391280 CPUtime=0 cores=0-7 /proc/13289/task/13297/stat : 13297 (java) S 13287 13287 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476710434 28909211648 12408 33554432000 4194304 4196468 140727273876832 140316699810064 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13298] ppid=13287 vsize=28231652 memory=140669641393584 CPUtime=0 cores=0-7 /proc/13289/task/13298/stat : 13298 (java) S 13287 13287 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476710434 28909211648 12408 33554432000 4194304 4196468 140727273876832 140316698757520 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13299] ppid=13287 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13299/stat : 13299 (java) S 13287 13287 3200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476710436 28909211648 12408 33554432000 4194304 4196468 140727273876832 140315752954608 140317154675330 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13300] ppid=13287 vsize=28231652 memory=281339282794128 CPUtime=0 cores=0-7 /proc/13289/task/13300/stat : 13300 (java) S 13287 13287 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476710436 28909211648 12408 33554432000 4194304 4196468 140727273876832 140315751900832 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13301] ppid=13287 vsize=28231652 memory=281339282801040 CPUtime=0 cores=0-7 /proc/13289/task/13301/stat : 13301 (java) S 13287 13287 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476710436 28909211648 12408 33554432000 4194304 4196468 140727273876832 140315750847728 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13302] ppid=13287 vsize=28231652 memory=281339282742192 CPUtime=0 cores=0-7 /proc/13289/task/13302/stat : 13302 (java) S 13287 13287 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476710439 28909211648 12408 33554432000 4194304 4196468 140727273876832 140315749796304 140317154682779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13303] ppid=13287 vsize=28231652 memory=281339282814864 CPUtime=0.02 cores=0-7 /proc/13289/task/13303/stat : 13303 (java) S 13287 13287 3200 0 -1 1077944384 414 0 0 0 2 0 0 0 20 0 20 0 476710439 28909211648 12408 33554432000 4194304 4196468 140727273876832 140315748743408 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13304] ppid=13287 vsize=28231652 memory=281339282821776 CPUtime=0.03 cores=0-7 /proc/13289/task/13304/stat : 13304 (java) S 13287 13287 3200 0 -1 1077944384 243 0 0 0 3 0 0 0 20 0 20 0 476710439 28909211648 12408 33554432000 4194304 4196468 140727273876832 140315747690864 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13305] ppid=13287 vsize=28231652 memory=281339282819472 CPUtime=0.01 cores=0-7 /proc/13289/task/13305/stat : 13305 (java) S 13287 13287 3200 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 20 0 476710439 28909211648 12408 33554432000 4194304 4196468 140727273876832 140315746637808 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13306] ppid=13287 vsize=28231652 memory=281339282835632 CPUtime=0.12 cores=0-7 /proc/13289/task/13306/stat : 13306 (java) S 13287 13287 3200 0 -1 1077944384 828 0 0 0 12 0 0 0 20 0 20 0 476710439 28909211648 12408 33554432000 4194304 4196468 140727273876832 140315745585264 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13307] ppid=13287 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13307/stat : 13307 (java) S 13287 13287 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476710439 28909211648 12408 33554432000 4194304 4196468 140727273876832 140315744533472 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13308] ppid=13287 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/13289/task/13308/stat : 13308 (java) S 13287 13287 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476710439 28909211648 12408 33554432000 4194304 4196468 140727273876832 140315743481008 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50980 KiB [startup+0.700917 s] /proc/loadavg: 8.02 8.16 8.18 6/211 13308 /proc/meminfo: memFree=11735568/32770624 swapFree=66956720/67108860 [pid=13287] ppid=13284 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13287/stat : 13287 (xcsp3-exec) S 13284 13287 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476710433 115843072 364 33554432000 4194304 5098028 140730748570144 140730748568248 140633919664764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22351872 140730748576599 140730748576858 140730748576858 140730748579782 0 /proc/13287/statm: 28282 364 305 221 0 87 0 [pid=13289] ppid=13287 vsize=28234800 memory=123140 CPUtime=2.02 cores=0-7 /proc/13289/stat : 13289 (java) S 13287 13287 3200 0 -1 1077944320 15713 0 0 0 196 6 0 0 20 0 20 0 476710433 28912435200 30785 33554432000 4194304 4196468 140727273876832 140727273859376 140317154664183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 /proc/13289/statm: 7058700 30785 3451 1 0 7019800 0 [pid=13289/tid=13290] ppid=13287 vsize=28233776 memory=281339283193520 CPUtime=0.68 cores=0-7 /proc/13289/task/13290/stat : 13290 (java) R 13287 13287 3200 0 -1 1077944384 8891 0 0 0 64 4 0 0 20 0 20 0 476710433 28911386624 30785 33554432000 4194304 4196468 140727273876832 140317158872448 140317147343405 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13291] ppid=13287 vsize=28233776 memory=140669641597808 CPUtime=0 cores=0-7 /proc/13289/task/13291/stat : 13291 (java) S 13287 13287 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476710434 28911386624 30785 33554432000 4194304 4196468 140727273876832 140317119945744 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13292] ppid=13287 vsize=28234800 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13292/stat : 13292 (java) S 13287 13287 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476710434 28912435200 30785 33554432000 4194304 4196468 140727273876832 140316705074320 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13293] ppid=13287 vsize=28234800 memory=6032 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=13289/tid=13306] ppid=13287 vsize=28769364 memory=780 CPUtime=0.86 cores=0-7 /proc/13289/task/13306/stat : 13306 (java) S 13287 13287 3200 0 -1 1077944384 9289 0 0 0 84 2 0 0 20 0 28 0 476710439 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315745585264 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13307] ppid=13287 vsize=28769364 memory=6032 CPUtime=0 cores=0-7 /proc/13289/task/13307/stat : 13307 (java) S 13287 13287 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476710439 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315744533472 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13308] ppid=13287 vsize=28769364 memory=6791534058613427641 CPUtime=0.07 cores=0-7 /proc/13289/task/13308/stat : 13308 (java) S 13287 13287 3200 0 -1 1077944384 2019 0 0 0 2 5 0 0 20 0 28 0 476710439 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315743481008 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13445] ppid=13287 vsize=28769364 memory=1436 CPUtime=233.59 cores=0-7 /proc/13289/task/13445/stat : 13445 (java) R 13287 13287 3200 0 -1 4202560 6470 0 0 0 23356 3 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315733207312 140316798702166 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13446] ppid=13287 vsize=28769364 memory=808 CPUtime=233.66 cores=0-7 /proc/13289/task/13446/stat : 13446 (java) R 13287 13287 3200 0 -1 4202560 1003 0 0 0 23366 0 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315723743528 140316798418723 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13447] ppid=13287 vsize=28769364 memory=1764 CPUtime=232.69 cores=0-7 /proc/13289/task/13447/stat : 13447 (java) R 13287 13287 3200 0 -1 4202560 2175 0 0 0 23268 1 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315734261672 140316799429436 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13448] ppid=13287 vsize=28769364 memory=111628 CPUtime=233.39 cores=0-7 /proc/13289/task/13448/stat : 13448 (java) R 13287 13287 3200 0 -1 4202560 12814 0 0 0 23284 55 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315730051112 140316798702166 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13449] ppid=13287 vsize=28769364 memory=800 CPUtime=233.16 cores=0-7 /proc/13289/task/13449/stat : 13449 (java) R 13287 13287 3200 0 -1 4202560 1961 0 0 0 23314 2 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315726892792 140316798384038 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13450] ppid=13287 vsize=28769364 memory=1988 CPUtime=232.05 cores=0-7 /proc/13289/task/13450/stat : 13450 (java) R 13287 13287 3200 0 -1 4202560 2002 0 0 0 23202 3 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315731103592 140316798383657 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13451] ppid=13287 vsize=28769364 memory=988 CPUtime=233.65 cores=0-7 /proc/13289/task/13451/stat : 13451 (java) R 13287 13287 3200 0 -1 4202560 775 0 0 0 23365 0 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315727946152 140316798391744 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13452] ppid=13287 vsize=28769364 memory=1428 CPUtime=231.53 cores=0-7 /proc/13289/task/13452/stat : 13452 (java) R 13287 13287 3200 0 -1 4202560 3344 0 0 0 23142 11 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315728998952 140316799429545 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 Current children cumulated CPU time: 1886.7 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 2186248 KiB [startup+238.402 s] /proc/loadavg: 8.22 8.25 8.22 9/221 13475 /proc/meminfo: memFree=9624628/32770624 swapFree=66956720/67108860 [pid=13287] ppid=13284 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13287/stat : 13287 (xcsp3-exec) S 13284 13287 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476710433 115843072 364 33554432000 4194304 5098028 140730748570144 140730748568248 140633919664764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22351872 140730748576599 140730748576858 140730748576858 140730748579782 0 /proc/13287/statm: 28282 364 305 221 0 87 0 [pid=13289] ppid=13287 vsize=28769364 memory=2184792 CPUtime=1893.08 cores=0-7 /proc/13289/stat : 13289 (java) S 13287 13287 3200 0 -1 1077944320 123103 0 0 0 189170 138 0 0 20 0 28 0 476710433 29459828736 546198 33554432000 4194304 4196468 140727273876832 140727273859376 140317154664183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 /proc/13289/statm: 7192341 546198 3527 1 0 7153441 0 [pid=13289/tid=13290] ppid=13287 vsize=28769364 memory=1456 CPUtime=1.63 cores=0-7 /proc/13289/task/13290/stat : 13290 (java) S 13287 13287 3200 0 -1 1077944384 9354 0 0 0 156 7 0 0 20 0 28 0 476710433 29459828736 546198 33554432000 4194304 4196468 140727273876832 140317158904960 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13291] ppid=13287 vsize=28769364 memory=1456 CPUtime=0.12 cores=0-7 /proc/13289/task/13291/stat : 13291 (java) S 13287 13287 3200 0 -1 1077944384 947 0 0 0 9 3 0 0 20 0 28 0 476710434 29459828736 546198 33554432000 4194304 4196468 140727273876832 140317119945744 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13292] ppid=13287 vsize=28769364 memory=3620 CPUtime=0.11 cores=0-7 /proc/13289/task/13292/stat : 13292 (java) S 13287 13287 3200 0 -1 1077944384 443 0 0 0 8 3 0 0 20 0 28 0 476710434 29459828736 546198 33554432000 4194304 4196468 140727273876832 140316705074320 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13293] ppid=13287 vsize=28769364 memory=54936 CPUtime=0.12 cores=0-7 /proc/13289/task/13293/stat : 13293 (java) S 13287 13287 3200 0 -1 1077944384 1553 0 0 0 9 3 0 0 20 0 28 0 476710434 29459828736 546198 33554432000 4194304 4196468 140727273876832 140316704021264 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13294] ppid=13287 vsize=28769364 memory=2184792 CPUtime=0.12 cores=0-7 /proc/13289/task/13294/stat : 13294 (java) S 13287 13287 3200 0 -1 1077944384 1897 0 0 0 8 4 0 0 20 0 28 0 476710434 29459828736 546198 33554432000 4194304 4196468 140727273876832 140316702968720 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13295] ppid=13287 vsize=28769364 memory=1456 CPUtime=0.12 cores=0-7 /proc/13289/task/13295/stat : 13295 (java) S 13287 13287 3200 0 -1 1077944384 298 0 0 0 8 4 0 0 20 0 28 0 476710434 29459828736 546198 33554432000 4194304 4196468 140727273876832 140316701915664 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13296] ppid=13287 vsize=28769364 memory=2184792 CPUtime=0.12 cores=0-7 /proc/13289/task/13296/stat : 13296 (java) S 13287 13287 3200 0 -1 1077944384 392 0 0 0 8 4 0 0 20 0 28 0 476710434 29459828736 546198 33554432000 4194304 4196468 140727273876832 140316700863120 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13297] ppid=13287 vsize=28769364 memory=6791534058613427641 CPUtime=0.12 cores=0-7 /proc/13289/task/13297/stat : 13297 (java) S 13287 13287 3200 0 -1 1077944384 273 0 0 0 8 4 0 0 20 0 28 0 476710434 29459828736 546198 33554432000 4194304 4196468 140727273876832 140316699810064 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13298] ppid=13287 vsize=28769364 memory=2184792 CPUtime=0.12 cores=0-7 /proc/13289/task/13298/stat : 13298 (java) S 13287 13287 3200 0 -1 1077944384 499 0 0 0 9 3 0 0 20 0 28 0 476710434 29459828736 546198 33554432000 4194304 4196468 140727273876832 140316698757520 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13299] ppid=13287 vsize=28769364 memory=54936 CPUtime=0.04 cores=0-7 /proc/13289/task/13299/stat : 13299 (java) S 13287 13287 3200 0 -1 1077944384 3666 0 0 0 3 1 0 0 20 0 28 0 476710436 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315752954608 140317154675330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13300] ppid=13287 vsize=28769364 memory=1988 CPUtime=0 cores=0-7 /proc/13289/task/13300/stat : 13300 (java) S 13287 13287 3200 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 476710436 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315751900896 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13301] ppid=13287 vsize=28769364 memory=624 CPUtime=0 cores=0-7 /proc/13289/task/13301/stat : 13301 (java) S 13287 13287 3200 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 476710436 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315750847744 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13302] ppid=13287 vsize=28769364 memory=3636 CPUtime=0 cores=0-7 /proc/13289/task/13302/stat : 13302 (java) S 13287 13287 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476710439 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315749796304 140317154682779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13303] ppid=13287 vsize=28769364 memory=2832 CPUtime=3.34 cores=0-7 /proc/13289/task/13303/stat : 13303 (java) S 13287 13287 3200 0 -1 1077944384 24368 0 0 0 329 5 0 0 20 0 28 0 476710439 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315748743408 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13304] ppid=13287 vsize=28769364 memory=14012 CPUtime=2.87 cores=0-7 /proc/13289/task/13304/stat : 13304 (java) S 13287 13287 3200 0 -1 1077944384 17423 0 0 0 285 2 0 0 20 0 28 0 476710439 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315747690864 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13305] ppid=13287 vsize=28769364 memory=2112 CPUtime=2.76 cores=0-7 /proc/13289/task/13305/stat : 13305 (java) S 13287 13287 3200 0 -1 1077944384 16109 0 0 0 273 3 0 0 20 0 28 0 476710439 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315746637808 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13306] ppid=13287 vsize=28769364 memory=12040 CPUtime=0.86 cores=0-7 /proc/13289/task/13306/stat : 13306 (java) S 13287 13287 3200 0 -1 1077944384 9289 0 0 0 84 2 0 0 20 0 28 0 476710439 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315745585264 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13307] ppid=13287 vsize=28769364 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/13289/task/13307/stat : 13307 (java) S 13287 13287 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476710439 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315744533472 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13308] ppid=13287 vsize=28769364 memory=1556 CPUtime=0.07 cores=0-7 /proc/13289/task/13308/stat : 13308 (java) S 13287 13287 3200 0 -1 1077944384 2019 0 0 0 2 5 0 0 20 0 28 0 476710439 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315743481008 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13445] ppid=13287 vsize=28769364 memory=532 CPUtime=234.39 cores=0-7 /proc/13289/task/13445/stat : 13445 (java) R 13287 13287 3200 0 -1 4202560 6470 0 0 0 23436 3 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315733207312 140316798347423 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13446] ppid=13287 vsize=28769364 memory=928 CPUtime=234.46 cores=0-7 /proc/13289/task/13446/stat : 13446 (java) R 13287 13287 3200 0 -1 4202560 1003 0 0 0 23446 0 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315723743528 140316798702161 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13447] ppid=13287 vsize=28769364 memory=1720 CPUtime=233.49 cores=0-7 /proc/13289/task/13447/stat : 13447 (java) R 13287 13287 3200 0 -1 4202560 2175 0 0 0 23348 1 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315734261672 140316798702065 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13448] ppid=13287 vsize=28769364 memory=1976 CPUtime=234.19 cores=0-7 /proc/13289/task/13448/stat : 13448 (java) R 13287 13287 3200 0 -1 4202560 12822 0 0 0 23364 55 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315730051112 140316798702161 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13449] ppid=13287 vsize=28769364 memory=1808 CPUtime=233.96 cores=0-7 /proc/13289/task/13449/stat : 13449 (java) R 13287 13287 3200 0 -1 4202560 1961 0 0 0 23394 2 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315726892792 140316798702091 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13450] ppid=13287 vsize=28769364 memory=924 CPUtime=232.83 cores=0-7 /proc/13289/task/13450/stat : 13450 (java) R 13287 13287 3200 0 -1 4202560 2002 0 0 0 23280 3 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315731103592 140316798702215 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13451] ppid=13287 vsize=28769364 memory=4840 CPUtime=234.45 cores=0-7 /proc/13289/task/13451/stat : 13451 (java) R 13287 13287 3200 0 -1 4202560 775 0 0 0 23445 0 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315727946152 140316798702285 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13452] ppid=13287 vsize=28769364 memory=4096 CPUtime=232.33 cores=0-7 /proc/13289/task/13452/stat : 13452 (java) R 13287 13287 3200 0 -1 4202560 3350 0 0 0 23222 11 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315728998952 140316798702241 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 Current children cumulated CPU time: 1893.08 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 2186248 KiB [startup+238.802 s] /proc/loadavg: 8.22 8.25 8.22 9/221 13475 /proc/meminfo: memFree=9624628/32770624 swapFree=66956720/67108860 [pid=13287] ppid=13284 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13287/stat : 13287 (xcsp3-exec) S 13284 13287 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476710433 115843072 364 33554432000 4194304 5098028 140730748570144 140730748568248 140633919664764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22351872 140730748576599 140730748576858 140730748576858 140730748579782 0 /proc/13287/statm: 28282 364 305 221 0 87 0 [pid=13289] ppid=13287 vsize=28769364 memory=2184792 CPUtime=1896.27 cores=0-7 /proc/13289/stat : 13289 (java) S 13287 13287 3200 0 -1 1077944320 123115 0 0 0 189489 138 0 0 20 0 28 0 476710433 29459828736 546198 33554432000 4194304 4196468 140727273876832 140727273859376 140317154664183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 /proc/13289/statm: 7192341 546198 3527 1 0 7153441 0 [pid=13289/tid=13290] ppid=13287 vsize=28769364 memory=2112 CPUtime=1.63 cores=0-7 /proc/13289/task/13290/stat : 13290 (java) S 13287 13287 3200 0 -1 1077944384 9354 0 0 0 156 7 0 0 20 0 28 0 476710433 29459828736 546198 33554432000 4194304 4196468 140727273876832 140317158904960 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13291] ppid=13287 vsize=28769364 memory=12040 CPUtime=0.12 cores=0-7 /proc/13289/task/13291/stat : 13291 (java) S 13287 13287 3200 0 -1 1077944384 947 0 0 0 9 3 0 0 20 0 28 0 476710434 29459828736 546198 33554432000 4194304 4196468 140727273876832 140317119945744 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13292] ppid=13287 vsize=28769364 memory=2184740 CPUtime=0.11 cores=0-7 /proc/13289/task/13292/stat : 13292 (java) S 13287 13287 3200 0 -1 1077944384 443 0 0 0 8 3 0 0 20 0 28 0 476710434 29459828736 546198 33554432000 4194304 4196468 140727273876832 140316705074320 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13293] ppid=13287 vsize=28769364 memory=2184740 CPUtime=0.12 cores=0-7 /proc/13289/task/13293/stat : 13293 (java) S 13287 13287 3200 0 -1 1077944384 1553 0 0 0 9 3 0 0 20 0 28 0 476710434 29459828736 546198 33554432000 4194304 4196468 140727273876832 140316704021264 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13294] ppid=13287 vsize=28769364 memory=6791534058613427641 CPUtime=0.12 cores=0-7 /proc/13289/task/13294/stat : 13294 (java) S 13287 13287 3200 0 -1 1077944384 1897 0 0 0 8 4 0 0 20 0 28 0 476710434 29459828736 546198 33554432000 4194304 4196468 140727273876832 140316702968720 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13295] ppid=13287 vsize=28769364 memory=2184740 CPUtime=0.12 cores=0-7 /proc/13289/task/13295/stat : 13295 (java) S 13287 13287 3200 0 -1 1077944384 298 0 0 0 8 4 0 0 20 0 28 0 476710434 29459828736 546198 33554432000 4194304 4196468 140727273876832 140316701915664 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13296] ppid=13287 vsize=28769364 memory=0 CPUtime=0.12 cores=0-7 /proc/13289/task/13296/stat : 13296 (java) S 13287 13287 3200 0 -1 1077944384 392 0 0 0 8 4 0 0 20 0 28 0 476710434 29459828736 546198 33554432000 4194304 4196468 140727273876832 140316700863120 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13297] ppid=13287 vsize=28769364 memory=1388640 CPUtime=0.12 cores=0-7 /proc/13289/task/13297/stat : 13297 (java) S 13287 13287 3200 0 -1 1077944384 273 0 0 0 8 4 0 0 20 0 28 0 476710434 29459828736 546198 33554432000 4194304 4196468 140727273876832 140316699810064 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13298] ppid=13287 vsize=28769364 memory=1364064 CPUtime=0.12 cores=0-7 /proc/13289/task/13298/stat : 13298 (java) S 13287 13287 3200 0 -1 1077944384 499 0 0 0 9 3 0 0 20 0 28 0 476710434 29459828736 546198 33554432000 4194304 4196468 140727273876832 140316698757520 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13299] ppid=13287 vsize=28769364 memory=0 CPUtime=0.04 cores=0-7 /proc/13289/task/13299/stat : 13299 (java) S 13287 13287 3200 0 -1 1077944384 3666 0 0 0 3 1 0 0 20 0 28 0 476710436 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315752954608 140317154675330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13300] ppid=13287 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13300/stat : 13300 (java) S 13287 13287 3200 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 476710436 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315751900896 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13301] ppid=13287 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13301/stat : 13301 (java) S 13287 13287 3200 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 476710436 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315750847744 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13302] ppid=13287 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/13289/task/13302/stat : 13302 (java) S 13287 13287 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476710439 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315749796304 140317154682779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13303] ppid=13287 vsize=28769364 memory=0 CPUtime=3.34 cores=0-7 /proc/13289/task/13303/stat : 13303 (java) S 13287 13287 3200 0 -1 1077944384 24368 0 0 0 329 5 0 0 20 0 28 0 476710439 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315748743408 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13304] ppid=13287 vsize=28769364 memory=0 CPUtime=2.87 cores=0-7 /proc/13289/task/13304/stat : 13304 (java) S 13287 13287 3200 0 -1 1077944384 17423 0 0 0 285 2 0 0 20 0 28 0 476710439 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315747690864 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13305] ppid=13287 vsize=28769364 memory=1764 CPUtime=2.76 cores=0-7 /proc/13289/task/13305/stat : 13305 (java) S 13287 13287 3200 0 -1 1077944384 16109 0 0 0 273 3 0 0 20 0 28 0 476710439 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315746637808 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13306] ppid=13287 vsize=28769364 memory=111628 CPUtime=0.86 cores=0-7 /proc/13289/task/13306/stat : 13306 (java) S 13287 13287 3200 0 -1 1077944384 9289 0 0 0 84 2 0 0 20 0 28 0 476710439 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315745585264 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13307] ppid=13287 vsize=28769364 memory=800 CPUtime=0 cores=0-7 /proc/13289/task/13307/stat : 13307 (java) S 13287 13287 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476710439 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315744533472 140317154674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13308] ppid=13287 vsize=28769364 memory=1808 CPUtime=0.07 cores=0-7 /proc/13289/task/13308/stat : 13308 (java) S 13287 13287 3200 0 -1 1077944384 2019 0 0 0 2 5 0 0 20 0 28 0 476710439 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315743481008 140317154675330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13445] ppid=13287 vsize=28769364 memory=924 CPUtime=234.79 cores=0-7 /proc/13289/task/13445/stat : 13445 (java) R 13287 13287 3200 0 -1 4202560 6473 0 0 0 23476 3 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315733207312 140316798702215 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13446] ppid=13287 vsize=28769364 memory=4840 CPUtime=234.86 cores=0-7 /proc/13289/task/13446/stat : 13446 (java) R 13287 13287 3200 0 -1 4202560 1003 0 0 0 23486 0 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315723743528 140316798702161 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13447] ppid=13287 vsize=28769364 memory=4096 CPUtime=233.89 cores=0-7 /proc/13289/task/13447/stat : 13447 (java) R 13287 13287 3200 0 -1 4202560 2175 0 0 0 23388 1 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315734261672 140316792070103 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13448] ppid=13287 vsize=28769364 memory=1412 CPUtime=234.59 cores=0-7 /proc/13289/task/13448/stat : 13448 (java) R 13287 13287 3200 0 -1 4202560 12826 0 0 0 23404 55 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315730051112 140316793525402 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13449] ppid=13287 vsize=28769364 memory=3724 CPUtime=234.36 cores=0-7 /proc/13289/task/13449/stat : 13449 (java) R 13287 13287 3200 0 -1 4202560 1961 0 0 0 23434 2 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315726892792 140316798702261 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13450] ppid=13287 vsize=28769364 memory=1456 CPUtime=233.23 cores=0-7 /proc/13289/task/13450/stat : 13450 (java) R 13287 13287 3200 0 -1 4202560 2002 0 0 0 23320 3 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315731103592 140316799253376 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13451] ppid=13287 vsize=28769364 memory=2184792 CPUtime=234.85 cores=0-7 /proc/13289/task/13451/stat : 13451 (java) R 13287 13287 3200 0 -1 4202560 775 0 0 0 23485 0 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315727946152 140316798702091 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 [pid=13289/tid=13452] ppid=13287 vsize=28769364 memory=6791534058613427641 CPUtime=232.73 cores=0-7 /proc/13289/task/13452/stat : 13452 (java) R 13287 13287 3200 0 -1 4202560 3355 0 0 0 23262 11 0 0 20 0 28 0 476710787 29459828736 546198 33554432000 4194304 4196468 140727273876832 140315728998952 140316798702166 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 33894400 140727273878492 140727273878667 140727273878667 140727273881551 0 Current children cumulated CPU time: 1896.27 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 2186248 KiB Child status: 0 Real time (s): 238.884 CPU time (s): 1896.71 CPU user time (s): 1895.31 CPU system time (s): 1.4021 CPU usage (%): 793.989 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 2186248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1895.31 system time used= 1.4021 maximum resident set size= 2184792 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 125212 page faults= 0 swaps= 0 block input operations= 0 block output operations= 432 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11527 involuntary context switches= 23006 # summary of solver processes directly reported to runsolver: # pid: 13287 # total CPU time (s): 1896.71 # total CPU user time (s): 1895.31 # total CPU system time (s): 1.4021 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.48195 second user time and 2.38708 second system time The end
Begin job on node149 at 2019-09-20 20:38:00 IDJOB=4405006 IDBENCH=134964 IDSOLVER=2866 FILE ID=node149/4405006-1569004718 RUNJOBID= node149-1568994522-3227 PBS_JOBID= 21704727 Free space on /var/tmp= 13484 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-dimacs/Pb-ii32e3.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405006-1569004718/watcher-4405006-1569004718 -o /var/tmp/evaluation-result-4405006-1569004718/solver-4405006-1569004718 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1568994522-3227 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 2141721183 HOME/instance-4405006-1569004718.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= bcb3f3ceeead4664bdf41fd123f1defa RANDOM SEED=2141721183 node149.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.81 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.81 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.81 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.81 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: 11796972 kB MemAvailable: 31813512 kB Buffers: 166248 kB Cached: 19742468 kB SwapCached: 41664 kB Active: 9630692 kB Inactive: 10322364 kB Active(anon): 5088 kB Inactive(anon): 83688 kB Active(file): 9625604 kB Inactive(file): 10238676 kB Unevictable: 110220 kB Mlocked: 110220 kB SwapTotal: 67108860 kB SwapFree: 66956720 kB Dirty: 26460 kB Writeback: 120 kB AnonPages: 136632 kB Mapped: 51884 kB Shmem: 35688 kB Slab: 610884 kB SReclaimable: 580720 kB SUnreclaim: 30164 kB KernelStack: 3712 kB PageTables: 5300 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507192 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 90112 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /var/tmp at the end= 13456 MiB End job on node149 at 2019-09-20 20:41:59