Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 310 | 1934.9 | 243.581 |
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-4407406-1569347656.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407406-1569347656.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 5.67/1.64 c solve instance... 8.46/2.03 o 328 8.46/2.09 o 326 8.46/2.10 o 325 9.23/2.12 o 324 9.23/2.13 o 323 9.23/2.14 o 322 9.23/2.17 o 321 9.23/2.18 o 320 9.23/2.19 o 319 9.23/2.20 o 318 9.86/2.25 o 317 11.38/2.42 o 316 12.17/2.58 o 315 13.73/2.71 o 313 13.73/2.72 o 312 15.28/2.94 o 311 18.46/3.34 o 310 1934.44/243.56 s OPTIMUM FOUND 1934.44/243.56 v <instantiation> 1934.44/243.56 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> 1934.44/243.56 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> 1934.44/243.56 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 (12254 MiB free) memory of node 1: 16384 MiB (12588 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407406-1569347656/watcher-4407406-1569347656 -o /tmp/evaluation-result-4407406-1569347656/solver-4407406-1569347656 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569335936-24493 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1396051300 HOME/instance-4407406-1569347656.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=30088, runsolver pid=30085 Current StackSize limit: 8192 KiB [startup+0.100137 s]* /proc/loadavg: 7.64 7.63 7.94 2/213 30109 /proc/meminfo: memFree=25421472/32770624 swapFree=66975640/67108860 [pid=30088] ppid=30085 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30088/stat : 30088 (xcsp3-exec) S 30085 30088 24466 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511032349 115843072 362 33554432000 4194304 5098028 140732102269680 140732102267784 140565850395260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12460032 140732102271867 140732102272110 140732102272110 140732102275018 0 /proc/30088/statm: 28282 362 304 221 0 87 0 [pid=30090] ppid=30088 vsize=28227396 memory=30080 CPUtime=0.12 cores=0-7 /proc/30090/stat : 30090 (java) S 30088 30088 24466 0 -1 1077944320 5487 0 0 0 11 1 0 0 20 0 20 0 511032350 28904853504 7520 33554432000 4194304 4196468 140730638580928 140730638563472 139642895498999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 /proc/30090/statm: 7056849 7520 3119 1 0 7019032 0 [pid=30090/tid=30091] ppid=30088 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/30090/task/30091/stat : 30091 (java) R 30088 30088 24466 0 -1 4202560 3396 0 0 0 8 1 0 0 20 0 20 0 511032350 28904853504 7520 33554432000 4194304 4196468 140730638580928 139642899722000 139642895520346 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30092] ppid=30088 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30092/stat : 30092 (java) S 30088 30088 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511032351 28904853504 7520 33554432000 4194304 4196468 140730638580928 139642815351696 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30093] ppid=30088 vsize=28227396 memory=139727524419200 CPUtime=0 cores=0-7 /proc/30090/task/30093/stat : 30093 (java) S 30088 30088 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511032351 28904853504 7520 33554432000 4194304 4196468 140730638580928 139642814298896 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30094] ppid=30088 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30094/stat : 30094 (java) S 30088 30088 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511032351 28904853504 7520 33554432000 4194304 4196468 140730638580928 139642813246608 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30095] ppid=30088 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30095/stat : 30095 (java) S 30088 30088 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511032351 28904853504 7520 33554432000 4194304 4196468 140730638580928 139642812193808 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30096] ppid=30088 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30096/stat : 30096 (java) S 30088 30088 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511032351 28904853504 7520 33554432000 4194304 4196468 140730638580928 139642811140496 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30097] ppid=30088 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30090/task/30097/stat : 30097 (java) S 30088 30088 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511032351 28904853504 7520 33554432000 4194304 4196468 140730638580928 139642810087696 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30098] ppid=30088 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30098/stat : 30098 (java) S 30088 30088 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511032351 28904853504 7520 33554432000 4194304 4196468 140730638580928 139642440637072 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30099] ppid=30088 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30099/stat : 30099 (java) S 30088 30088 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511032351 28904853504 7520 33554432000 4194304 4196468 140730638580928 139642439584272 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30100] ppid=30088 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30100/stat : 30100 (java) S 30088 30088 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511032352 28904853504 7520 33554432000 4194304 4196468 140730638580928 139641493854832 139642895510146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30101] ppid=30088 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30101/stat : 30101 (java) S 30088 30088 24466 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511032353 28904853504 7520 33554432000 4194304 4196468 140730638580928 139641492800800 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30102] ppid=30088 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30102/stat : 30102 (java) S 30088 30088 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511032353 28904853504 7520 33554432000 4194304 4196468 140730638580928 139641491748464 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30103] ppid=30088 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30103/stat : 30103 (java) S 30088 30088 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511032355 28904853504 7520 33554432000 4194304 4196468 140730638580928 139641490696784 139642895517595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30104] ppid=30088 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30104/stat : 30104 (java) S 30088 30088 24466 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 511032355 28904853504 7520 33554432000 4194304 4196468 140730638580928 139641489643632 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30105] ppid=30088 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30105/stat : 30105 (java) S 30088 30088 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511032355 28904853504 7520 33554432000 4194304 4196468 140730638580928 139641488590832 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30106] ppid=30088 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30106/stat : 30106 (java) S 30088 30088 24466 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 511032355 28904853504 7520 33554432000 4194304 4196468 140730638580928 139641487538544 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30107] ppid=30088 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/30090/task/30107/stat : 30107 (java) R 30088 30088 24466 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 20 0 511032355 28904853504 7520 33554432000 4194304 4196468 140730638580928 139641486485744 139642874902049 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30108] ppid=30088 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30108/stat : 30108 (java) S 30088 30088 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511032356 28904853504 7520 33554432000 4194304 4196468 140730638580928 139641485433696 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30109] ppid=30088 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30090/task/30109/stat : 30109 (java) S 30088 30088 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511032356 28904853504 7520 33554432000 4194304 4196468 140730638580928 139641484380976 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31528 KiB [startup+0.210786 s]* /proc/loadavg: 7.64 7.63 7.94 3/213 30109 /proc/meminfo: memFree=25409660/32770624 swapFree=66975640/67108860 [pid=30088] ppid=30085 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30088/stat : 30088 (xcsp3-exec) S 30085 30088 24466 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511032349 115843072 362 33554432000 4194304 5098028 140732102269680 140732102267784 140565850395260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12460032 140732102271867 140732102272110 140732102272110 140732102275018 0 /proc/30088/statm: 28282 362 304 221 0 87 0 [pid=30090] ppid=30088 vsize=28227396 memory=41472 CPUtime=0.34 cores=0-7 /proc/30090/stat : 30090 (java) S 30088 30088 24466 0 -1 1077944320 9065 0 0 0 31 3 0 0 20 0 20 0 511032350 28904853504 10368 33554432000 4194304 4196468 140730638580928 140730638563472 139642895498999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 /proc/30090/statm: 7056849 10368 3299 1 0 7019032 0 [pid=30090/tid=30091] ppid=30088 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/30090/task/30091/stat : 30091 (java) R 30088 30088 24466 0 -1 4202560 6211 0 0 0 18 2 0 0 20 0 20 0 511032350 28904853504 10368 33554432000 4194304 4196468 140730638580928 139642899736816 139642895520346 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30092] ppid=30088 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/30090/task/30092/stat : 30092 (java) S 30088 30088 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511032351 28904853504 10368 33554432000 4194304 4196468 140730638580928 139642815351696 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30093] ppid=30088 vsize=28227396 memory=3906506853096969888 CPUtime=0 cores=0-7 /proc/30090/task/30093/stat : 30093 (java) S 30088 30088 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511032351 28904853504 10368 33554432000 4194304 4196468 140730638580928 139642814298896 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30094] ppid=30088 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30090/task/30094/stat : 30094 (java) S 30088 30088 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511032351 28904853504 10368 33554432000 4194304 4196468 140730638580928 139642813246608 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30095] ppid=30088 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30095/stat : 30095 (java) S 30088 30088 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511032351 28904853504 10368 33554432000 4194304 4196468 140730638580928 139642812193808 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30096] ppid=30088 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30096/stat : 30096 (java) S 30088 30088 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511032351 28904853504 10368 33554432000 4194304 4196468 140730638580928 139642811140496 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30097] ppid=30088 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30090/task/30097/stat : 30097 (java) S 30088 30088 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511032351 28904853504 10368 33554432000 4194304 4196468 140730638580928 139642810087696 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30098] ppid=30088 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30098/stat : 30098 (java) S 30088 30088 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511032351 28904853504 10368 33554432000 4194304 4196468 140730638580928 139642440637072 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30099] ppid=30088 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30099/stat : 30099 (java) S 30088 30088 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511032351 28904853504 10368 33554432000 4194304 4196468 140730638580928 139642439584272 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30100] ppid=30088 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30100/stat : 30100 (java) S 30088 30088 24466 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511032352 28904853504 10368 33554432000 4194304 4196468 140730638580928 139641493854832 139642895510146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30101] ppid=30088 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30101/stat : 30101 (java) S 30088 30088 24466 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511032353 28904853504 10368 33554432000 4194304 4196468 140730638580928 139641492800800 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30102] ppid=30088 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30102/stat : 30102 (java) S 30088 30088 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511032353 28904853504 10368 33554432000 4194304 4196468 140730638580928 139641491748464 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30103] ppid=30088 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30103/stat : 30103 (java) S 30088 30088 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511032355 28904853504 10368 33554432000 4194304 4196468 140730638580928 139641490696784 139642895517595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30104] ppid=30088 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30090/task/30104/stat : 30104 (java) S 30088 30088 24466 0 -1 1077944384 541 0 0 0 1 0 0 0 20 0 20 0 511032355 28904853504 10368 33554432000 4194304 4196468 140730638580928 139641489643632 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30105] ppid=30088 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30090/task/30105/stat : 30105 (java) S 30088 30088 24466 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 20 0 511032355 28904853504 10368 33554432000 4194304 4196468 140730638580928 139641488590832 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30106] ppid=30088 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/30090/task/30106/stat : 30106 (java) R 30088 30088 24466 0 -1 4202560 223 0 0 0 2 0 0 0 20 0 20 0 511032355 28904853504 10368 33554432000 4194304 4196468 140730638580928 139641487538544 139642895510146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30107] ppid=30088 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/30090/task/30107/stat : 30107 (java) S 30088 30088 24466 0 -1 1077944384 744 0 0 0 8 0 0 0 20 0 20 0 511032355 28904853504 10368 33554432000 4194304 4196468 140730638580928 139641486485744 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30108] ppid=30088 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30108/stat : 30108 (java) S 30088 30088 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511032356 28904853504 10368 33554432000 4194304 4196468 140730638580928 139641485433696 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30109] ppid=30088 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30090/task/30109/stat : 30109 (java) S 30088 30088 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511032356 28904853504 10368 33554432000 4194304 4196468 140730638580928 139641484380976 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42920 KiB [startup+0.316261 s]* /proc/loadavg: 7.64 7.63 7.94 3/213 30109 /proc/meminfo: memFree=25403732/32770624 swapFree=66975640/67108860 [pid=30088] ppid=30085 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30088/stat : 30088 (xcsp3-exec) S 30085 30088 24466 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511032349 115843072 362 33554432000 4194304 5098028 140732102269680 140732102267784 140565850395260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12460032 140732102271867 140732102272110 140732102272110 140732102275018 0 /proc/30088/statm: 28282 362 304 221 0 87 0 [pid=30090] ppid=30088 vsize=28231652 memory=50296 CPUtime=0.53 cores=0-7 /proc/30090/stat : 30090 (java) S 30088 30088 24466 0 -1 1077944320 10503 0 0 0 50 3 0 0 20 0 20 0 511032350 28909211648 12574 33554432000 4194304 4196468 140730638580928 140730638563472 139642895498999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 /proc/30090/statm: 7057913 12574 3342 1 0 7019032 0 [pid=30090/tid=30091] ppid=30088 vsize=28231652 memory=6791534058613427641 CPUtime=0.31 cores=0-7 /proc/30090/task/30091/stat : 30091 (java) R 30088 30088 24466 0 -1 4202560 7412 0 0 0 28 3 0 0 20 0 20 0 511032350 28909211648 12574 33554432000 4194304 4196468 140730638580928 139642899735824 139642895520925 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30092] ppid=30088 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30092/stat : 30092 (java) S 30088 30088 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511032351 28909211648 12574 33554432000 4194304 4196468 140730638580928 139642815351696 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30093] ppid=30088 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30093/stat : 30093 (java) S 30088 30088 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511032351 28909211648 12574 33554432000 4194304 4196468 140730638580928 139642814298896 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30094] ppid=30088 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30094/stat : 30094 (java) S 30088 30088 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511032351 28909211648 12574 33554432000 4194304 4196468 140730638580928 139642813246608 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30095] ppid=30088 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30095/stat : 30095 (java) S 30088 30088 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511032351 28909211648 12574 33554432000 4194304 4196468 140730638580928 139642812193808 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30096] ppid=30088 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/30090/task/30096/stat : 30096 (java) S 30088 30088 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511032351 28909211648 12574 33554432000 4194304 4196468 140730638580928 139642811140496 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30097] ppid=30088 vsize=28231652 memory=139727365829551 CPUtime=0 cores=0-7 /proc/30090/task/30097/stat : 30097 (java) S 30088 30088 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511032351 28909211648 12574 33554432000 4194304 4196468 140730638580928 139642810087696 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30098] ppid=30088 vsize=28231652 memory=139727365831856 CPUtime=0 cores=0-7 /proc/30090/task/30098/stat : 30098 (java) S 30088 30088 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511032351 28909211648 12574 33554432000 4194304 4196468 140730638580928 139642440637072 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30099] ppid=30088 vsize=28231652 memory=139727365834160 CPUtime=0 cores=0-7 /proc/30090/task/30099/stat : 30099 (java) S 30088 30088 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511032351 28909211648 12574 33554432000 4194304 4196468 140730638580928 139642439584272 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30100] ppid=30088 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30100/stat : 30100 (java) S 30088 30088 24466 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511032352 28909211648 12574 33554432000 4194304 4196468 140730638580928 139641493854832 139642895510146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30101] ppid=30088 vsize=28231652 memory=279454731675280 CPUtime=0 cores=0-7 /proc/30090/task/30101/stat : 30101 (java) S 30088 30088 24466 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511032353 28909211648 12574 33554432000 4194304 4196468 140730638580928 139641492800800 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30102] ppid=30088 vsize=28231652 memory=279454731682192 CPUtime=0 cores=0-7 /proc/30090/task/30102/stat : 30102 (java) S 30088 30088 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511032353 28909211648 12574 33554432000 4194304 4196468 140730638580928 139641491748464 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30103] ppid=30088 vsize=28231652 memory=279454731623472 CPUtime=0 cores=0-7 /proc/30090/task/30103/stat : 30103 (java) S 30088 30088 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511032355 28909211648 12574 33554432000 4194304 4196468 140730638580928 139641490696784 139642895517595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30104] ppid=30088 vsize=28231652 memory=279454731696016 CPUtime=0.02 cores=0-7 /proc/30090/task/30104/stat : 30104 (java) S 30088 30088 24466 0 -1 1077944384 555 0 0 0 2 0 0 0 20 0 20 0 511032355 28909211648 12574 33554432000 4194304 4196468 140730638580928 139641489643632 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30105] ppid=30088 vsize=28231652 memory=279454731702928 CPUtime=0.02 cores=0-7 /proc/30090/task/30105/stat : 30105 (java) S 30088 30088 24466 0 -1 1077944384 64 0 0 0 2 0 0 0 20 0 20 0 511032355 28909211648 12574 33554432000 4194304 4196468 140730638580928 139641488590832 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30106] ppid=30088 vsize=28231652 memory=279454731700624 CPUtime=0.04 cores=0-7 /proc/30090/task/30106/stat : 30106 (java) S 30088 30088 24466 0 -1 1077944384 315 0 0 0 4 0 0 0 20 0 20 0 511032355 28909211648 12574 33554432000 4194304 4196468 140730638580928 139641487538544 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30107] ppid=30088 vsize=28231652 memory=279454731716784 CPUtime=0.12 cores=0-7 /proc/30090/task/30107/stat : 30107 (java) S 30088 30088 24466 0 -1 1077944384 844 0 0 0 12 0 0 0 20 0 20 0 511032355 28909211648 12574 33554432000 4194304 4196468 140730638580928 139641486485744 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30108] ppid=30088 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30108/stat : 30108 (java) S 30088 30088 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511032356 28909211648 12574 33554432000 4194304 4196468 140730638580928 139641485433696 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30109] ppid=30088 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/30090/task/30109/stat : 30109 (java) S 30088 30088 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511032356 28909211648 12574 33554432000 4194304 4196468 140730638580928 139641484380976 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51744 KiB [startup+0.702762 s] /proc/loadavg: 7.64 7.63 7.94 5/213 30109 /proc/meminfo: memFree=25375320/32770624 swapFree=66975640/67108860 [pid=30088] ppid=30085 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30088/stat : 30088 (xcsp3-exec) S 30085 30088 24466 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511032349 115843072 362 33554432000 4194304 5098028 140732102269680 140732102267784 140565850395260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12460032 140732102271867 140732102272110 140732102272110 140732102275018 0 /proc/30088/statm: 28282 362 304 221 0 87 0 [pid=30090] ppid=30088 vsize=28233776 memory=119652 CPUtime=2.06 cores=0-7 /proc/30090/stat : 30090 (java) S 30088 30088 24466 0 -1 1077944320 14560 0 0 0 201 5 0 0 20 0 20 0 511032350 28911386624 29913 33554432000 4194304 4196468 140730638580928 140730638563472 139642895498999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 /proc/30090/statm: 7058444 29913 3450 1 0 7019544 0 [pid=30090/tid=30091] ppid=30088 vsize=28234800 memory=279454732074672 CPUtime=0.68 cores=0-7 /proc/30090/task/30091/stat : 30091 (java) R 30088 30088 24466 0 -1 4202560 8142 0 0 0 64 4 0 0 20 0 20 0 511032350 28912435200 29913 33554432000 4194304 4196468 140730638580928 139642899707296 139642888178717 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30092] ppid=30088 vsize=28234800 memory=139727366038384 CPUtime=0 cores=0-7 /proc/30090/task/30092/stat : 30092 (java) S 30088 30088 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511032351 28912435200 29913 33554432000 4194304 4196468 140730638580928 139642815351696 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30093] ppid=30088 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30090/task/30093/stat : 30093 (java) S 30088 30088 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511032351 28911386624 29913 33554432000 4194304 4196468 140730638580928 139642814298896 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30094] ppid=30088 vsize=28233776 memory=2832 CPUtime=0 cores=0-7 /proc/30090/task/30094/stat : 30094 (java) S 30088 30088 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511032351 28911386624 29913 33554432000 4194304 4196468 140730638580928 139642813246608 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 ################ # More data... # ################ [pid=30090/tid=30107] ppid=30088 vsize=28769364 memory=1980 CPUtime=0.83 cores=0-7 /proc/30090/task/30107/stat : 30107 (java) S 30088 30088 24466 0 -1 1077944384 9151 0 0 0 82 1 0 0 20 0 28 0 511032355 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641486485744 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30108] ppid=30088 vsize=28769364 memory=2572 CPUtime=0 cores=0-7 /proc/30090/task/30108/stat : 30108 (java) S 30088 30088 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511032356 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641485433696 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30109] ppid=30088 vsize=28769364 memory=884 CPUtime=0.1 cores=0-7 /proc/30090/task/30109/stat : 30109 (java) S 30088 30088 24466 0 -1 1077944384 2170 0 0 0 0 10 0 0 20 0 28 0 511032356 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641484380976 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30247] ppid=30088 vsize=28769364 memory=1432 CPUtime=238.85 cores=0-7 /proc/30090/task/30247/stat : 30247 (java) R 30088 30088 24466 0 -1 4202560 5229 0 0 0 23882 3 0 0 20 0 28 0 511032684 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641470950224 139642497422177 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30248] ppid=30088 vsize=28769364 memory=1764 CPUtime=239.48 cores=0-7 /proc/30090/task/30248/stat : 30248 (java) R 30088 30088 24466 0 -1 4202560 719 0 0 0 23947 1 0 0 20 0 28 0 511032684 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641468847048 139642497421348 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30249] ppid=30088 vsize=28769364 memory=111632 CPUtime=237.23 cores=0-7 /proc/30090/task/30249/stat : 30249 (java) R 30088 30088 24466 0 -1 4202560 2024 0 0 0 23721 2 0 0 20 0 28 0 511032684 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641467793816 139642497387296 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30250] ppid=30088 vsize=28769364 memory=804 CPUtime=238.64 cores=0-7 /proc/30090/task/30250/stat : 30250 (java) R 30088 30088 24466 0 -1 4202560 8529 0 0 0 23836 28 0 0 20 0 28 0 511032684 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641475162312 139642499562188 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30251] ppid=30088 vsize=28769364 memory=1804 CPUtime=238.57 cores=0-7 /proc/30090/task/30251/stat : 30251 (java) R 30088 30088 24466 0 -1 4202560 1304 0 0 0 23854 3 0 0 20 0 28 0 511032684 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641472004152 139642497594211 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30252] ppid=30088 vsize=28769364 memory=920 CPUtime=239.33 cores=0-7 /proc/30090/task/30252/stat : 30252 (java) R 30088 30088 24466 0 -1 4202560 2379 0 0 0 23921 12 0 0 20 0 28 0 511032684 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641469898904 139642497594463 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30253] ppid=30088 vsize=28769364 memory=4540 CPUtime=238.01 cores=0-7 /proc/30090/task/30253/stat : 30253 (java) R 30088 30088 24466 0 -1 4202560 3006 0 0 0 23799 2 0 0 20 0 28 0 511032684 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641399268168 139642496929881 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30254] ppid=30088 vsize=28769364 memory=1724 CPUtime=239.35 cores=0-7 /proc/30090/task/30254/stat : 30254 (java) R 30088 30088 24466 0 -1 4202560 597 0 0 0 23935 0 0 0 20 0 28 0 511032685 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641473057480 139642497422207 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 Current children cumulated CPU time: 1932.04 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 2202560 KiB [startup+243.401 s] /proc/loadavg: 8.25 7.95 8.00 9/219 30269 /proc/meminfo: memFree=23250868/32770624 swapFree=66975640/67108860 [pid=30088] ppid=30085 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30088/stat : 30088 (xcsp3-exec) S 30085 30088 24466 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511032349 115843072 362 33554432000 4194304 5098028 140732102269680 140732102267784 140565850395260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12460032 140732102271867 140732102272110 140732102272110 140732102275018 0 /proc/30088/statm: 28282 362 304 221 0 87 0 [pid=30090] ppid=30088 vsize=28769364 memory=2201112 CPUtime=1933.64 cores=0-7 /proc/30090/stat : 30090 (java) S 30088 30088 24466 0 -1 1077944320 104972 0 0 0 193252 112 0 0 20 0 28 0 511032350 29459828736 550278 33554432000 4194304 4196468 140730638580928 140730638563472 139642895498999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 /proc/30090/statm: 7192341 550278 3528 1 0 7153441 0 [pid=30090/tid=30091] ppid=30088 vsize=28769364 memory=159 CPUtime=1.59 cores=0-7 /proc/30090/task/30091/stat : 30091 (java) S 30088 30088 24466 0 -1 1077944384 8794 0 0 0 151 8 0 0 20 0 28 0 511032350 29459828736 550278 33554432000 4194304 4196468 140730638580928 139642899739776 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30092] ppid=30088 vsize=28769364 memory=6791534058613427641 CPUtime=0.1 cores=0-7 /proc/30090/task/30092/stat : 30092 (java) S 30088 30088 24466 0 -1 1077944384 298 0 0 0 7 3 0 0 20 0 28 0 511032351 29459828736 550278 33554432000 4194304 4196468 140730638580928 139642815351696 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30093] ppid=30088 vsize=28769364 memory=2201112 CPUtime=0.12 cores=0-7 /proc/30090/task/30093/stat : 30093 (java) S 30088 30088 24466 0 -1 1077944384 621 0 0 0 8 4 0 0 20 0 28 0 511032351 29459828736 550278 33554432000 4194304 4196468 140730638580928 139642814298896 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30094] ppid=30088 vsize=28769364 memory=6791534058613427641 CPUtime=0.1 cores=0-7 /proc/30090/task/30094/stat : 30094 (java) S 30088 30088 24466 0 -1 1077944384 1367 0 0 0 7 3 0 0 20 0 28 0 511032351 29459828736 550278 33554432000 4194304 4196468 140730638580928 139642813246608 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30095] ppid=30088 vsize=28769364 memory=2201112 CPUtime=0.14 cores=0-7 /proc/30090/task/30095/stat : 30095 (java) S 30088 30088 24466 0 -1 1077944384 390 0 0 0 9 5 0 0 20 0 28 0 511032351 29459828736 550278 33554432000 4194304 4196468 140730638580928 139642812193808 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30096] ppid=30088 vsize=28769364 memory=884 CPUtime=0.13 cores=0-7 /proc/30090/task/30096/stat : 30096 (java) S 30088 30088 24466 0 -1 1077944384 298 0 0 0 9 4 0 0 20 0 28 0 511032351 29459828736 550278 33554432000 4194304 4196468 140730638580928 139642811140496 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30097] ppid=30088 vsize=28769364 memory=1432 CPUtime=0.13 cores=0-7 /proc/30090/task/30097/stat : 30097 (java) S 30088 30088 24466 0 -1 1077944384 1173 0 0 0 9 4 0 0 20 0 28 0 511032351 29459828736 550278 33554432000 4194304 4196468 140730638580928 139642810087696 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30098] ppid=30088 vsize=28769364 memory=2201112 CPUtime=0.12 cores=0-7 /proc/30090/task/30098/stat : 30098 (java) S 30088 30088 24466 0 -1 1077944384 558 0 0 0 9 3 0 0 20 0 28 0 511032351 29459828736 550278 33554432000 4194304 4196468 140730638580928 139642440637072 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30099] ppid=30088 vsize=28769364 memory=14008 CPUtime=0.13 cores=0-7 /proc/30090/task/30099/stat : 30099 (java) S 30088 30088 24466 0 -1 1077944384 344 0 0 0 9 4 0 0 20 0 28 0 511032351 29459828736 550278 33554432000 4194304 4196468 140730638580928 139642439584272 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30100] ppid=30088 vsize=28769364 memory=12040 CPUtime=0.04 cores=0-7 /proc/30090/task/30100/stat : 30100 (java) S 30088 30088 24466 0 -1 1077944384 3352 0 0 0 3 1 0 0 20 0 28 0 511032352 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641493854832 139642895510146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30101] ppid=30088 vsize=28769364 memory=33516 CPUtime=0 cores=0-7 /proc/30090/task/30101/stat : 30101 (java) S 30088 30088 24466 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 511032353 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641492800864 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30102] ppid=30088 vsize=28769364 memory=2120 CPUtime=0 cores=0-7 /proc/30090/task/30102/stat : 30102 (java) S 30088 30088 24466 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 511032353 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641491748480 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30103] ppid=30088 vsize=28769364 memory=500 CPUtime=0 cores=0-7 /proc/30090/task/30103/stat : 30103 (java) S 30088 30088 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511032355 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641490696784 139642895517595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30104] ppid=30088 vsize=28769364 memory=0 CPUtime=2.7 cores=0-7 /proc/30090/task/30104/stat : 30104 (java) S 30088 30088 24466 0 -1 1077944384 10125 0 0 0 268 2 0 0 20 0 28 0 511032355 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641489643632 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30105] ppid=30088 vsize=28769364 memory=4420 CPUtime=3.11 cores=0-7 /proc/30090/task/30105/stat : 30105 (java) S 30088 30088 24466 0 -1 1077944384 19461 0 0 0 307 4 0 0 20 0 28 0 511032355 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641488590832 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30106] ppid=30088 vsize=28769364 memory=6628 CPUtime=3.41 cores=0-7 /proc/30090/task/30106/stat : 30106 (java) S 30088 30088 24466 0 -1 1077944384 19129 0 0 0 337 4 0 0 20 0 28 0 511032355 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641487538544 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30107] ppid=30088 vsize=28769364 memory=8836 CPUtime=0.83 cores=0-7 /proc/30090/task/30107/stat : 30107 (java) S 30088 30088 24466 0 -1 1077944384 9151 0 0 0 82 1 0 0 20 0 28 0 511032355 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641486485744 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30108] ppid=30088 vsize=28769364 memory=11044 CPUtime=0 cores=0-7 /proc/30090/task/30108/stat : 30108 (java) S 30088 30088 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511032356 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641485433696 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30109] ppid=30088 vsize=28769364 memory=13252 CPUtime=0.1 cores=0-7 /proc/30090/task/30109/stat : 30109 (java) S 30088 30088 24466 0 -1 1077944384 2170 0 0 0 0 10 0 0 20 0 28 0 511032356 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641484380976 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30247] ppid=30088 vsize=28769364 memory=1448 CPUtime=239.05 cores=0-7 /proc/30090/task/30247/stat : 30247 (java) R 30088 30088 24466 0 -1 4202560 5229 0 0 0 23902 3 0 0 20 0 28 0 511032684 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641470950224 139642497423850 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30248] ppid=30088 vsize=28769364 memory=2201112 CPUtime=239.68 cores=0-7 /proc/30090/task/30248/stat : 30248 (java) R 30088 30088 24466 0 -1 4202560 719 0 0 0 23967 1 0 0 20 0 28 0 511032684 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641468847048 139642497422146 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30249] ppid=30088 vsize=28769364 memory=884 CPUtime=237.43 cores=0-7 /proc/30090/task/30249/stat : 30249 (java) R 30088 30088 24466 0 -1 4202560 2024 0 0 0 23741 2 0 0 20 0 28 0 511032684 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641467793816 139642497422197 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30250] ppid=30088 vsize=28769364 memory=1432 CPUtime=238.84 cores=0-7 /proc/30090/task/30250/stat : 30250 (java) R 30088 30088 24466 0 -1 4202560 8538 0 0 0 23856 28 0 0 20 0 28 0 511032684 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641475162312 139642497422448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30251] ppid=30088 vsize=28769364 memory=1764 CPUtime=238.77 cores=0-7 /proc/30090/task/30251/stat : 30251 (java) R 30088 30088 24466 0 -1 4202560 1305 0 0 0 23874 3 0 0 20 0 28 0 511032684 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641472004152 139642497851148 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30252] ppid=30088 vsize=28769364 memory=111632 CPUtime=239.53 cores=0-7 /proc/30090/task/30252/stat : 30252 (java) R 30088 30088 24466 0 -1 4202560 2379 0 0 0 23941 12 0 0 20 0 28 0 511032684 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641469898904 139642496929405 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30253] ppid=30088 vsize=28769364 memory=804 CPUtime=238.21 cores=0-7 /proc/30090/task/30253/stat : 30253 (java) R 30088 30088 24466 0 -1 4202560 3006 0 0 0 23819 2 0 0 20 0 28 0 511032684 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641399268168 139642497594440 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30254] ppid=30088 vsize=28769364 memory=4100 CPUtime=239.55 cores=0-7 /proc/30090/task/30254/stat : 30254 (java) R 30088 30088 24466 0 -1 4202560 597 0 0 0 23955 0 0 0 20 0 28 0 511032685 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641473057480 139642497422033 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 Current children cumulated CPU time: 1933.64 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 2202560 KiB [startup+243.501 s] /proc/loadavg: 8.25 7.95 8.00 9/219 30269 /proc/meminfo: memFree=23250868/32770624 swapFree=66975640/67108860 [pid=30088] ppid=30085 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30088/stat : 30088 (xcsp3-exec) S 30085 30088 24466 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511032349 115843072 362 33554432000 4194304 5098028 140732102269680 140732102267784 140565850395260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12460032 140732102271867 140732102272110 140732102272110 140732102275018 0 /proc/30088/statm: 28282 362 304 221 0 87 0 [pid=30090] ppid=30088 vsize=28769364 memory=2201112 CPUtime=1934.44 cores=0-7 /proc/30090/stat : 30090 (java) S 30088 30088 24466 0 -1 1077944320 104976 0 0 0 193332 112 0 0 20 0 28 0 511032350 29459828736 550278 33554432000 4194304 4196468 140730638580928 140730638563472 139642895498999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 /proc/30090/statm: 7192341 550278 3528 1 0 7153441 0 [pid=30090/tid=30091] ppid=30088 vsize=28769364 memory=2201112 CPUtime=1.59 cores=0-7 /proc/30090/task/30091/stat : 30091 (java) S 30088 30088 24466 0 -1 1077944384 8794 0 0 0 151 8 0 0 20 0 28 0 511032350 29459828736 550278 33554432000 4194304 4196468 140730638580928 139642899739776 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30092] ppid=30088 vsize=28769364 memory=2201112 CPUtime=0.1 cores=0-7 /proc/30090/task/30092/stat : 30092 (java) S 30088 30088 24466 0 -1 1077944384 298 0 0 0 7 3 0 0 20 0 28 0 511032351 29459828736 550278 33554432000 4194304 4196468 140730638580928 139642815351696 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30093] ppid=30088 vsize=28769364 memory=1448 CPUtime=0.12 cores=0-7 /proc/30090/task/30093/stat : 30093 (java) S 30088 30088 24466 0 -1 1077944384 621 0 0 0 8 4 0 0 20 0 28 0 511032351 29459828736 550278 33554432000 4194304 4196468 140730638580928 139642814298896 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30094] ppid=30088 vsize=28769364 memory=2201112 CPUtime=0.1 cores=0-7 /proc/30090/task/30094/stat : 30094 (java) S 30088 30088 24466 0 -1 1077944384 1367 0 0 0 7 3 0 0 20 0 28 0 511032351 29459828736 550278 33554432000 4194304 4196468 140730638580928 139642813246608 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30095] ppid=30088 vsize=28769364 memory=1448 CPUtime=0.14 cores=0-7 /proc/30090/task/30095/stat : 30095 (java) S 30088 30088 24466 0 -1 1077944384 390 0 0 0 9 5 0 0 20 0 28 0 511032351 29459828736 550278 33554432000 4194304 4196468 140730638580928 139642812193808 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30096] ppid=30088 vsize=28769364 memory=259845521468498 CPUtime=0.13 cores=0-7 /proc/30090/task/30096/stat : 30096 (java) S 30088 30088 24466 0 -1 1077944384 298 0 0 0 9 4 0 0 20 0 28 0 511032351 29459828736 550278 33554432000 4194304 4196468 140730638580928 139642811140496 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30097] ppid=30088 vsize=28769364 memory=33516 CPUtime=0.13 cores=0-7 /proc/30090/task/30097/stat : 30097 (java) S 30088 30088 24466 0 -1 1077944384 1173 0 0 0 9 4 0 0 20 0 28 0 511032351 29459828736 550278 33554432000 4194304 4196468 140730638580928 139642810087696 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30098] ppid=30088 vsize=28769364 memory=2120 CPUtime=0.12 cores=0-7 /proc/30090/task/30098/stat : 30098 (java) S 30088 30088 24466 0 -1 1077944384 558 0 0 0 9 3 0 0 20 0 28 0 511032351 29459828736 550278 33554432000 4194304 4196468 140730638580928 139642440637072 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30099] ppid=30088 vsize=28769364 memory=1210636 CPUtime=0.13 cores=0-7 /proc/30090/task/30099/stat : 30099 (java) S 30088 30088 24466 0 -1 1077944384 344 0 0 0 9 4 0 0 20 0 28 0 511032351 29459828736 550278 33554432000 4194304 4196468 140730638580928 139642439584272 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30100] ppid=30088 vsize=28769364 memory=0 CPUtime=0.04 cores=0-7 /proc/30090/task/30100/stat : 30100 (java) S 30088 30088 24466 0 -1 1077944384 3352 0 0 0 3 1 0 0 20 0 28 0 511032352 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641493854832 139642895510146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30101] ppid=30088 vsize=28769364 memory=500 CPUtime=0 cores=0-7 /proc/30090/task/30101/stat : 30101 (java) S 30088 30088 24466 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 511032353 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641492800864 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30102] ppid=30088 vsize=28769364 memory=1556 CPUtime=0 cores=0-7 /proc/30090/task/30102/stat : 30102 (java) S 30088 30088 24466 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 511032353 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641491748480 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30103] ppid=30088 vsize=28769364 memory=83 CPUtime=0 cores=0-7 /proc/30090/task/30103/stat : 30103 (java) S 30088 30088 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511032355 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641490696784 139642895517595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30104] ppid=30088 vsize=28769364 memory=0 CPUtime=2.7 cores=0-7 /proc/30090/task/30104/stat : 30104 (java) S 30088 30088 24466 0 -1 1077944384 10125 0 0 0 268 2 0 0 20 0 28 0 511032355 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641489643632 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30105] ppid=30088 vsize=28769364 memory=2201112 CPUtime=3.11 cores=0-7 /proc/30090/task/30105/stat : 30105 (java) S 30088 30088 24466 0 -1 1077944384 19461 0 0 0 307 4 0 0 20 0 28 0 511032355 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641488590832 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30106] ppid=30088 vsize=28769364 memory=3620 CPUtime=3.41 cores=0-7 /proc/30090/task/30106/stat : 30106 (java) S 30088 30088 24466 0 -1 1077944384 19129 0 0 0 337 4 0 0 20 0 28 0 511032355 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641487538544 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30107] ppid=30088 vsize=28769364 memory=1448 CPUtime=0.83 cores=0-7 /proc/30090/task/30107/stat : 30107 (java) S 30088 30088 24466 0 -1 1077944384 9151 0 0 0 82 1 0 0 20 0 28 0 511032355 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641486485744 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30108] ppid=30088 vsize=28769364 memory=2201112 CPUtime=0 cores=0-7 /proc/30090/task/30108/stat : 30108 (java) S 30088 30088 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511032356 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641485433696 139642895509205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30109] ppid=30088 vsize=28769364 memory=2201112 CPUtime=0.1 cores=0-7 /proc/30090/task/30109/stat : 30109 (java) S 30088 30088 24466 0 -1 1077944384 2170 0 0 0 0 10 0 0 20 0 28 0 511032356 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641484380976 139642895510146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30247] ppid=30088 vsize=28769364 memory=1448 CPUtime=239.15 cores=0-7 /proc/30090/task/30247/stat : 30247 (java) R 30088 30088 24466 0 -1 4202560 5229 0 0 0 23912 3 0 0 20 0 28 0 511032684 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641470950224 139642496988256 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30248] ppid=30088 vsize=28769364 memory=2201112 CPUtime=239.78 cores=0-7 /proc/30090/task/30248/stat : 30248 (java) R 30088 30088 24466 0 -1 4202560 719 0 0 0 23977 1 0 0 20 0 28 0 511032684 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641468847048 139642497422102 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30249] ppid=30088 vsize=28769364 memory=4100 CPUtime=237.53 cores=0-7 /proc/30090/task/30249/stat : 30249 (java) R 30088 30088 24466 0 -1 4202560 2024 0 0 0 23751 2 0 0 20 0 28 0 511032684 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641467793816 139642497183809 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30250] ppid=30088 vsize=28769364 memory=1412 CPUtime=238.94 cores=0-7 /proc/30090/task/30250/stat : 30250 (java) R 30088 30088 24466 0 -1 4202560 8542 0 0 0 23866 28 0 0 20 0 28 0 511032684 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641475162312 139642497183809 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30251] ppid=30088 vsize=28769364 memory=3620 CPUtime=238.87 cores=0-7 /proc/30090/task/30251/stat : 30251 (java) R 30088 30088 24466 0 -1 4202560 1305 0 0 0 23884 3 0 0 20 0 28 0 511032684 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641472004152 139642496929881 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30252] ppid=30088 vsize=28769364 memory=1448 CPUtime=239.63 cores=0-7 /proc/30090/task/30252/stat : 30252 (java) R 30088 30088 24466 0 -1 4202560 2379 0 0 0 23951 12 0 0 20 0 28 0 511032684 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641469898904 139642496929417 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30253] ppid=30088 vsize=28769364 memory=2201112 CPUtime=238.31 cores=0-7 /proc/30090/task/30253/stat : 30253 (java) R 30088 30088 24466 0 -1 4202560 3006 0 0 0 23829 2 0 0 20 0 28 0 511032684 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641399268168 139642496988196 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 [pid=30090/tid=30254] ppid=30088 vsize=28769364 memory=1448 CPUtime=239.65 cores=0-7 /proc/30090/task/30254/stat : 30254 (java) R 30088 30088 24466 0 -1 4202560 597 0 0 0 23965 0 0 0 20 0 28 0 511032685 29459828736 550278 33554432000 4194304 4196468 140730638580928 139641473057480 139642497422298 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140730638582768 140730638582939 140730638582939 140730638585807 0 Current children cumulated CPU time: 1934.44 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 2202560 KiB Child status: 0 Real time (s): 243.581 CPU time (s): 1934.9 CPU user time (s): 1933.75 CPU system time (s): 1.14759 CPU usage (%): 794.358 Max. virtual memory (cumulated for all children) (KiB): 28884612 Max. memory (cumulated for all children) (KiB): 2202560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1933.75 system time used= 1.14759 maximum resident set size= 2201164 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 106364 page faults= 0 swaps= 0 block input operations= 0 block output operations= 392 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10973 involuntary context switches= 22051 # summary of solver processes directly reported to runsolver: # pid: 30088 # total CPU time (s): 1934.9 # total CPU user time (s): 1933.75 # total CPU system time (s): 1.14759 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.87372 second user time and 2.07517 second system time The end
Begin job on node125 at 2019-09-24 19:53:33 IDJOB=4407406 IDBENCH=134964 IDSOLVER=2872 FILE ID=node125/4407406-1569347656 RUNJOBID= node125-1569335936-24493 PBS_JOBID= 21705060 Free space on /tmp= 4252 MiB SOLVER NAME= choco-solver 2019-09-24 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 /tmp/evaluation-result-4407406-1569347656/watcher-4407406-1569347656 -o /tmp/evaluation-result-4407406-1569347656/solver-4407406-1569347656 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569335936-24493 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1396051300 HOME/instance-4407406-1569347656.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= bcb3f3ceeead4664bdf41fd123f1defa RANDOM SEED=1396051300 node125.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.29 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.29 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.29 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.29 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: 25439988 kB MemAvailable: 31814992 kB Buffers: 121260 kB Cached: 6315776 kB SwapCached: 29856 kB Active: 3205560 kB Inactive: 3266704 kB Active(anon): 4960 kB Inactive(anon): 86620 kB Active(file): 3200600 kB Inactive(file): 3180084 kB Unevictable: 107156 kB Mlocked: 107156 kB SwapTotal: 67108860 kB SwapFree: 66975640 kB Dirty: 26632 kB Writeback: 0 kB AnonPages: 397484 kB Mapped: 56660 kB Shmem: 47476 kB Slab: 452180 kB SReclaimable: 422780 kB SUnreclaim: 29400 kB KernelStack: 3904 kB PageTables: 4888 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514492 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 352256 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 4228 MiB End job on node125 at 2019-09-24 19:57:36