Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | SAT (TO) | 24 | 1995.11 | 252.108 |
Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25a.xml |
MD5SUM | 395c447fdc403b125102e151795ddb76 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 31.2143 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 450 |
Number of constraints | 8260 |
Number of domains | 1 |
Minimum domain size | 450 |
Maximum domain size | 450 |
Distribution of domain sizes | [{"size":450,"count":450}] |
Minimum variable degree | 3 |
Maximum variable degree | 129 |
Distribution of variable degrees | [{"degree":3,"count":4},{"degree":4,"count":9},{"degree":5,"count":12},{"degree":6,"count":13},{"degree":7,"count":7},{"degree":8,"count":10},{"degree":9,"count":2},{"degree":10,"count":8},{"degree":11,"count":3},{"degree":12,"count":4},{"degree":13,"count":5},{"degree":14,"count":1},{"degree":15,"count":4},{"degree":16,"count":1},{"degree":17,"count":5},{"degree":18,"count":4},{"degree":19,"count":7},{"degree":20,"count":13},{"degree":21,"count":10},{"degree":22,"count":8},{"degree":23,"count":4},{"degree":24,"count":2},{"degree":25,"count":11},{"degree":26,"count":11},{"degree":27,"count":3},"...",{"degree":72,"count":1}, {"degree":73,"count":1}, {"degree":74,"count":1}, {"degree":75,"count":1}, {"degree":76,"count":3}, {"degree":77,"count":7}, {"degree":78,"count":4}, {"degree":79,"count":6}, {"degree":81,"count":1}, {"degree":82,"count":1}, {"degree":83,"count":2}, {"degree":84,"count":1}, {"degree":85,"count":2}, {"degree":86,"count":1}, {"degree":87,"count":2}, {"degree":89,"count":1}, {"degree":90,"count":2}, {"degree":91,"count":1}, {"degree":92,"count":1}, {"degree":93,"count":1}, {"degree":96,"count":1}, {"degree":98,"count":1}, {"degree":99,"count":1}, {"degree":107,"count":1}, {"degree":129,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":8260}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 8260 |
Distribution of constraint types | [{"type":"intension","count":8260}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400306-1568709812.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400306-1568709812.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 8.04/2.78 c solve instance... 10.53/3.15 o 449 11.72/3.35 o 27 12.30/3.46 o 26 13.08/3.58 o 25 13.64/3.65 o 24 1994.48/252.07 s SATISFIABLE 1994.48/252.07 v <instantiation> 1994.48/252.07 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] </list> 1994.48/252.07 v <values>9 9 0 12 15 1 21 2 11 20 6 21 1 0 3 8 4 0 9 22 11 14 9 5 0 14 0 0 5 20 12 0 5 1 1 2 22 2 2 12 1 0 1 10 4 10 1 21 0 5 10 6 1 19 3 4 10 23 6 3 22 8 9 2 7 1 14 0 9 24 13 0 19 19 8 12 11 6 17 8 1 4 10 6 7 3 0 3 5 17 13 18 3 11 5 5 12 1 15 19 2 18 2 12 9 21 2 1 7 4 8 7 6 11 6 10 2 0 18 3 11 4 22 0 0 12 20 24 1 1 18 4 8 11 4 3 4 10 0 8 15 20 6 13 5 5 12 1 16 16 0 23 10 2 1 5 19 9 14 8 9 7 11 19 11 2 0 0 21 23 0 5 6 3 16 1 20 16 0 2 7 10 20 3 7 10 21 6 11 6 2 13 1 2 14 9 10 22 16 14 3 7 10 5 1 8 21 6 12 4 0 7 7 0 1 12 6 0 21 13 15 0 11 9 0 9 2 11 16 13 3 0 0 22 0 8 6 23 21 0 3 2 0 0 18 10 0 1 1 0 3 10 0 0 1 17 13 3 22 8 3 2 11 2 21 20 0 1 5 9 7 0 3 4 16 1 19 1 0 13 13 5 1 23 1 24 22 5 6 24 10 18 5 5 0 12 11 7 0 4 10 17 0 0 4 23 10 2 11 4 6 8 16 0 1 1 0 16 7 3 2 0 1 0 4 3 14 13 12 13 0 16 14 9 2 14 12 1 23 14 2 24 15 7 9 18 24 15 5 4 11 22 0 0 12 23 5 9 2 2 8 1 11 12 20 11 13 18 20 9 10 3 0 19 15 8 17 24 18 21 22 5 14 24 24 13 0 10 0 10 8 7 1 5 7 7 20 19 17 24 23 3 0 1 8 23 20 0 13 23 9 1 7 9 22 5 4 21 15 0 1 4 0 0 12 3 1 0 2 22 0 4 15 1 8 1 0 9 15 20 2 17 24 17 10 14 0 1 4 12 </values> 1994.48/252.07 v </instantiation> 1994.48/252.07 c Unexpected resolution interruption!
OK 24
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 (15320 MiB free) memory of node 1: 16384 MiB (13324 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400306-1568709812/watcher-4400306-1568709812 -o /tmp/evaluation-result-4400306-1568709812/solver-4400306-1568709812 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568701156-7383 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1291555358 HOME/instance-4400306-1568709812.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=9523, runsolver pid=9520 Current StackSize limit: 8192 KiB [startup+0.100104 s]* /proc/loadavg: 8.04 8.09 8.14 3/212 9544 /proc/meminfo: memFree=29317008/32770624 swapFree=66958320/67108860 [pid=9523] ppid=9520 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9523/stat : 9523 (xcsp3-exec) S 9520 9523 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446917650 115843072 362 33554432000 4194304 5098028 140729015160640 140729015158744 140141667504764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23244800 140729015165819 140729015166062 140729015166062 140729015168970 0 /proc/9523/statm: 28282 362 304 221 0 87 0 [pid=9525] ppid=9523 vsize=28227396 memory=27344 CPUtime=0.12 cores=0-7 /proc/9525/stat : 9525 (java) S 9523 9523 7356 0 -1 1077944320 5806 0 0 0 11 1 0 0 20 0 20 0 446917650 28904853504 6836 33554432000 4194304 4196468 140736107106224 140736107088768 139782423858935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 /proc/9525/statm: 7056849 6836 3122 1 0 7019032 0 [pid=9525/tid=9526] ppid=9523 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/9525/task/9526/stat : 9526 (java) R 9523 9523 7356 0 -1 4202560 3653 0 0 0 8 0 0 0 20 0 20 0 446917650 28904853504 6836 33554432000 4194304 4196468 140736107106224 139782428098176 139782423870870 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9527] ppid=9523 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/9525/task/9527/stat : 9527 (java) S 9523 9523 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781975083536 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9528] ppid=9523 vsize=28227396 memory=140269195376256 CPUtime=0 cores=0-7 /proc/9525/task/9528/stat : 9528 (java) S 9523 9523 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781974030992 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9529] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9529/stat : 9529 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781972977936 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9530] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9530/stat : 9530 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781971925392 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9531] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9531/stat : 9531 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781970873360 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9532] ppid=9523 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9525/task/9532/stat : 9532 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781969820816 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9533] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9533/stat : 9533 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781968767760 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9534] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9534/stat : 9534 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781967715216 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9535] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9535/stat : 9535 (java) S 9523 9523 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917652 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781606594800 139782423870082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9536] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9536/stat : 9536 (java) S 9523 9523 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446917653 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781605541024 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9537] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9537/stat : 9537 (java) S 9523 9523 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446917653 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781604487920 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9538] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9538/stat : 9538 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917656 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781603436496 139782423877531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9539] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9539/stat : 9539 (java) S 9523 9523 7356 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 446917656 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781602384624 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9540] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9540/stat : 9540 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917656 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781601332080 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9541] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9541/stat : 9541 (java) S 9523 9523 7356 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 446917656 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781600279024 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9542] ppid=9523 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/9525/task/9542/stat : 9542 (java) S 9523 9523 7356 0 -1 1077944384 404 0 0 0 1 0 0 0 20 0 20 0 446917656 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781599226480 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9543] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9543/stat : 9543 (java) S 9523 9523 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917656 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781598173664 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9544] ppid=9523 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9525/task/9544/stat : 9544 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917656 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781597121200 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 28792 KiB [startup+0.210887 s]* /proc/loadavg: 8.04 8.09 8.14 2/212 9544 /proc/meminfo: memFree=29303876/32770624 swapFree=66958320/67108860 [pid=9523] ppid=9520 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9523/stat : 9523 (xcsp3-exec) S 9520 9523 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446917650 115843072 362 33554432000 4194304 5098028 140729015160640 140729015158744 140141667504764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23244800 140729015165819 140729015166062 140729015166062 140729015168970 0 /proc/9523/statm: 28282 362 304 221 0 87 0 [pid=9525] ppid=9523 vsize=28227396 memory=39936 CPUtime=0.33 cores=0-7 /proc/9525/stat : 9525 (java) S 9523 9523 7356 0 -1 1077944320 9746 0 0 0 30 3 0 0 20 0 20 0 446917650 28904853504 9984 33554432000 4194304 4196468 140736107106224 140736107088768 139782423858935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 /proc/9525/statm: 7056849 9984 3311 1 0 7019032 0 [pid=9525/tid=9526] ppid=9523 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/9525/task/9526/stat : 9526 (java) R 9523 9523 7356 0 -1 4202560 6689 0 0 0 18 2 0 0 20 0 20 0 446917650 28904853504 9984 33554432000 4194304 4196468 140736107106224 139782428087648 139782407939422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9527] ppid=9523 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/9525/task/9527/stat : 9527 (java) S 9523 9523 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781975083536 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9528] ppid=9523 vsize=28227396 memory=140269195385848 CPUtime=0 cores=0-7 /proc/9525/task/9528/stat : 9528 (java) S 9523 9523 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781974030992 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9529] ppid=9523 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9525/task/9529/stat : 9529 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781972977936 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9530] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9530/stat : 9530 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781971925392 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9531] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9531/stat : 9531 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781970873360 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9532] ppid=9523 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9525/task/9532/stat : 9532 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781969820816 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9533] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9533/stat : 9533 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781968767760 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9534] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9534/stat : 9534 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781967715216 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9535] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9535/stat : 9535 (java) S 9523 9523 7356 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446917652 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781606594800 139782423870082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9536] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9536/stat : 9536 (java) S 9523 9523 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446917653 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781605541024 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9537] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9537/stat : 9537 (java) S 9523 9523 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446917653 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781604487920 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9538] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9538/stat : 9538 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917656 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781603436496 139782423877531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9539] ppid=9523 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/9525/task/9539/stat : 9539 (java) S 9523 9523 7356 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 20 0 446917656 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781602384624 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9540] ppid=9523 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/9525/task/9540/stat : 9540 (java) S 9523 9523 7356 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 20 0 446917656 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781601332080 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9541] ppid=9523 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/9525/task/9541/stat : 9541 (java) S 9523 9523 7356 0 -1 1077944384 398 0 0 0 1 0 0 0 20 0 20 0 446917656 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781600279024 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9542] ppid=9523 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/9525/task/9542/stat : 9542 (java) R 9523 9523 7356 0 -1 4202560 908 0 0 0 7 0 0 0 20 0 20 0 446917656 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781599226480 139782423870870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9543] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9543/stat : 9543 (java) S 9523 9523 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917656 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781598173664 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9544] ppid=9523 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9525/task/9544/stat : 9544 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917656 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781597121200 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41384 KiB [startup+0.310639 s]* /proc/loadavg: 8.04 8.09 8.14 3/212 9544 /proc/meminfo: memFree=29298952/32770624 swapFree=66958320/67108860 [pid=9523] ppid=9520 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9523/stat : 9523 (xcsp3-exec) S 9520 9523 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446917650 115843072 362 33554432000 4194304 5098028 140729015160640 140729015158744 140141667504764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23244800 140729015165819 140729015166062 140729015166062 140729015168970 0 /proc/9523/statm: 28282 362 304 221 0 87 0 [pid=9525] ppid=9523 vsize=28231652 memory=48904 CPUtime=0.52 cores=0-7 /proc/9525/stat : 9525 (java) S 9523 9523 7356 0 -1 1077944320 11183 0 0 0 48 4 0 0 20 0 20 0 446917650 28909211648 12226 33554432000 4194304 4196468 140736107106224 140736107088768 139782423858935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 /proc/9525/statm: 7057913 12226 3349 1 0 7019032 0 [pid=9525/tid=9526] ppid=9523 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/9525/task/9526/stat : 9526 (java) R 9523 9523 7356 0 -1 4202560 7785 0 0 0 27 2 0 0 20 0 20 0 446917650 28909211648 12292 33554432000 4194304 4196468 140736107106224 139782428092552 139782407939422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9527] ppid=9523 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9527/stat : 9527 (java) S 9523 9523 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917651 28909211648 12292 33554432000 4194304 4196468 140736107106224 139781975083536 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9528] ppid=9523 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9528/stat : 9528 (java) S 9523 9523 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917651 28909211648 12292 33554432000 4194304 4196468 140736107106224 139781974030992 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9529] ppid=9523 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9529/stat : 9529 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28909211648 12292 33554432000 4194304 4196468 140736107106224 139781972977936 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9530] ppid=9523 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9530/stat : 9530 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28909211648 12292 33554432000 4194304 4196468 140736107106224 139781971925392 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9531] ppid=9523 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9531/stat : 9531 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28909211648 12292 33554432000 4194304 4196468 140736107106224 139781970873360 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9532] ppid=9523 vsize=28231652 memory=140269068577455 CPUtime=0 cores=0-7 /proc/9525/task/9532/stat : 9532 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28909211648 12292 33554432000 4194304 4196468 140736107106224 139781969820816 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9533] ppid=9523 vsize=28231652 memory=140269068579760 CPUtime=0 cores=0-7 /proc/9525/task/9533/stat : 9533 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28909211648 12292 33554432000 4194304 4196468 140736107106224 139781968767760 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9534] ppid=9523 vsize=28231652 memory=140269068582064 CPUtime=0 cores=0-7 /proc/9525/task/9534/stat : 9534 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28909211648 12292 33554432000 4194304 4196468 140736107106224 139781967715216 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9535] ppid=9523 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9535/stat : 9535 (java) S 9523 9523 7356 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446917652 28909211648 12292 33554432000 4194304 4196468 140736107106224 139781606594800 139782423870082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9536] ppid=9523 vsize=28231524 memory=280538137178000 CPUtime=0 cores=0-7 /proc/9525/task/9536/stat : 9536 (java) S 9523 9523 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446917653 28909080576 12332 33554432000 4194304 4196468 140736107106224 139781605541024 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9537] ppid=9523 vsize=28231652 memory=280538137175696 CPUtime=0 cores=0-7 /proc/9525/task/9537/stat : 9537 (java) S 9523 9523 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446917653 28909211648 12332 33554432000 4194304 4196468 140736107106224 139781604487920 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9538] ppid=9523 vsize=28231652 memory=280538137182608 CPUtime=0 cores=0-7 /proc/9525/task/9538/stat : 9538 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917656 28909211648 12332 33554432000 4194304 4196468 140736107106224 139781603436496 139782423877531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9539] ppid=9523 vsize=28231652 memory=280538137123856 CPUtime=0.02 cores=0-7 /proc/9525/task/9539/stat : 9539 (java) R 9523 9523 7356 0 -1 4202560 468 0 0 0 2 0 0 0 20 0 20 0 446917656 28909211648 12332 33554432000 4194304 4196468 140736107106224 139781602365640 139782401606248 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9540] ppid=9523 vsize=28231652 memory=280538137196432 CPUtime=0.02 cores=0-7 /proc/9525/task/9540/stat : 9540 (java) S 9523 9523 7356 0 -1 1077944384 127 0 0 0 2 0 0 0 20 0 20 0 446917656 28909211648 12332 33554432000 4194304 4196468 140736107106224 139781601332080 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9541] ppid=9523 vsize=28231652 memory=280538137203344 CPUtime=0.02 cores=0-7 /proc/9525/task/9541/stat : 9541 (java) S 9523 9523 7356 0 -1 1077944384 422 0 0 0 2 0 0 0 20 0 20 0 446917656 28909211648 12332 33554432000 4194304 4196468 140736107106224 139781600279024 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9542] ppid=9523 vsize=28231652 memory=280538137201040 CPUtime=0.12 cores=0-7 /proc/9525/task/9542/stat : 9542 (java) S 9523 9523 7356 0 -1 1077944384 1096 0 0 0 12 0 0 0 20 0 20 0 446917656 28909211648 12332 33554432000 4194304 4196468 140736107106224 139781599226480 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9543] ppid=9523 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9543/stat : 9543 (java) S 9523 9523 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917656 28909211648 12332 33554432000 4194304 4196468 140736107106224 139781598173664 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9544] ppid=9523 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/9525/task/9544/stat : 9544 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917656 28909211648 12332 33554432000 4194304 4196468 140736107106224 139781597121200 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50352 KiB [startup+0.700983 s] /proc/loadavg: 8.04 8.09 8.14 5/212 9544 /proc/meminfo: memFree=29276168/32770624 swapFree=66958320/67108860 [pid=9523] ppid=9520 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9523/stat : 9523 (xcsp3-exec) S 9520 9523 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446917650 115843072 362 33554432000 4194304 5098028 140729015160640 140729015158744 140141667504764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23244800 140729015165819 140729015166062 140729015166062 140729015168970 0 /proc/9523/statm: 28282 362 304 221 0 87 0 [pid=9525] ppid=9523 vsize=28233776 memory=111436 CPUtime=1.95 cores=0-7 /proc/9525/stat : 9525 (java) S 9523 9523 7356 0 -1 1077944320 15466 0 0 0 187 8 0 0 20 0 20 0 446917650 28911386624 27859 33554432000 4194304 4196468 140736107106224 140736107088768 139782423858935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 /proc/9525/statm: 7058444 27859 3450 1 0 7019544 0 [pid=9525/tid=9526] ppid=9523 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/9525/task/9526/stat : 9526 (java) R 9523 9523 7356 0 -1 4202560 8464 0 0 0 64 4 0 0 20 0 20 0 446917650 28911386624 27859 33554432000 4194304 4196468 140736107106224 139782428094832 139782064958282 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9527] ppid=9523 vsize=28233776 memory=140269068788592 CPUtime=0 cores=0-7 /proc/9525/task/9527/stat : 9527 (java) S 9523 9523 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917651 28911386624 27859 33554432000 4194304 4196468 140736107106224 139781975083536 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9528] ppid=9523 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/9525/task/9528/stat : 9528 (java) S 9523 9523 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917651 28911386624 27859 33554432000 4194304 4196468 140736107106224 139781974030992 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9529] ppid=9523 vsize=28233776 memory=8024 CPUtime=0 cores=0-7 /proc/9525/task/9529/stat : 9529 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28911386624 27859 33554432000 4194304 4196468 140736107106224 139781972977936 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 ################ # More data... # ################ [pid=9525/tid=9592] ppid=9523 vsize=28768336 memory=2120 CPUtime=157.36 cores=0-7 /proc/9525/task/9592/stat : 9592 (java) R 9523 9523 7356 0 -1 4202560 3079 0 0 0 15715 21 0 0 20 0 28 0 446918017 29458776064 865390 33554432000 4194304 4196468 140736107106224 139780592459424 139782068924798 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 Current children cumulated CPU time: 1278.87 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 3463008 KiB [startup+222.301 s] /proc/loadavg: 8.07 8.03 8.09 9/219 9606 /proc/meminfo: memFree=25880976/32770624 swapFree=66958320/67108860 [pid=9523] ppid=9520 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9523/stat : 9523 (xcsp3-exec) S 9520 9523 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446917650 115843072 362 33554432000 4194304 5098028 140729015160640 140729015158744 140141667504764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23244800 140729015165819 140729015166062 140729015166062 140729015168970 0 /proc/9523/statm: 28282 362 304 221 0 87 0 [pid=9525] ppid=9523 vsize=28768336 memory=3459880 CPUtime=1757.48 cores=0-7 /proc/9525/stat : 9525 (java) S 9523 9523 7356 0 -1 1077944320 134456 0 0 0 175496 252 0 0 20 0 28 0 446917650 29458776064 864970 33554432000 4194304 4196468 140736107106224 140736107088768 139782423858935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 /proc/9525/statm: 7192084 864970 3541 1 0 7153184 0 [pid=9525/tid=9526] ppid=9523 vsize=28768336 memory=3459880 CPUtime=2.71 cores=0-7 /proc/9525/task/9526/stat : 9526 (java) S 9523 9523 7356 0 -1 1077944384 11882 0 0 0 260 11 0 0 20 0 28 0 446917650 29458776064 864970 33554432000 4194304 4196468 140736107106224 139782428099712 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9527] ppid=9523 vsize=28768336 memory=3459880 CPUtime=0.2 cores=0-7 /proc/9525/task/9527/stat : 9527 (java) S 9523 9523 7356 0 -1 1077944384 1629 0 0 0 13 7 0 0 20 0 28 0 446917651 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781975083536 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9528] ppid=9523 vsize=28768336 memory=1448 CPUtime=0.18 cores=0-7 /proc/9525/task/9528/stat : 9528 (java) S 9523 9523 7356 0 -1 1077944384 966 0 0 0 12 6 0 0 20 0 28 0 446917651 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781974030992 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9529] ppid=9523 vsize=28768336 memory=1448 CPUtime=0.18 cores=0-7 /proc/9525/task/9529/stat : 9529 (java) S 9523 9523 7356 0 -1 1077944384 854 0 0 0 12 6 0 0 20 0 28 0 446917651 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781972977936 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9530] ppid=9523 vsize=28768336 memory=3459880 CPUtime=0.17 cores=0-7 /proc/9525/task/9530/stat : 9530 (java) S 9523 9523 7356 0 -1 1077944384 1284 0 0 0 11 6 0 0 20 0 28 0 446917651 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781971925392 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9531] ppid=9523 vsize=28768336 memory=4440 CPUtime=0.16 cores=0-7 /proc/9525/task/9531/stat : 9531 (java) S 9523 9523 7356 0 -1 1077944384 1740 0 0 0 10 6 0 0 20 0 28 0 446917651 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781970873360 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9532] ppid=9523 vsize=28768336 memory=3459880 CPUtime=0.18 cores=0-7 /proc/9525/task/9532/stat : 9532 (java) S 9523 9523 7356 0 -1 1077944384 1087 0 0 0 12 6 0 0 20 0 28 0 446917651 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781969820816 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9533] ppid=9523 vsize=28768336 memory=3612 CPUtime=0.17 cores=0-7 /proc/9525/task/9533/stat : 9533 (java) S 9523 9523 7356 0 -1 1077944384 2020 0 0 0 10 7 0 0 20 0 28 0 446917651 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781968767760 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9534] ppid=9523 vsize=28768336 memory=1448 CPUtime=0.16 cores=0-7 /proc/9525/task/9534/stat : 9534 (java) S 9523 9523 7356 0 -1 1077944384 1799 0 0 0 11 5 0 0 20 0 28 0 446917651 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781967715216 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9535] ppid=9523 vsize=28768336 memory=3459880 CPUtime=0.04 cores=0-7 /proc/9525/task/9535/stat : 9535 (java) S 9523 9523 7356 0 -1 1077944384 5768 0 0 0 3 1 0 0 20 0 28 0 446917652 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781606594800 139782423870082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9536] ppid=9523 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/9525/task/9536/stat : 9536 (java) S 9523 9523 7356 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 446917653 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781605541088 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9537] ppid=9523 vsize=28768336 memory=257 CPUtime=0 cores=0-7 /proc/9525/task/9537/stat : 9537 (java) S 9523 9523 7356 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 446917653 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781604487936 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9538] ppid=9523 vsize=28768336 memory=3461996 CPUtime=0 cores=0-7 /proc/9525/task/9538/stat : 9538 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446917656 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781603436496 139782423877531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9539] ppid=9523 vsize=28768336 memory=0 CPUtime=3.46 cores=0-7 /proc/9525/task/9539/stat : 9539 (java) S 9523 9523 7356 0 -1 1077944384 13826 0 0 0 344 2 0 0 20 0 28 0 446917656 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781602384624 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9540] ppid=9523 vsize=28768336 memory=0 CPUtime=3.63 cores=0-7 /proc/9525/task/9540/stat : 9540 (java) S 9523 9523 7356 0 -1 1077944384 13954 0 0 0 360 3 0 0 20 0 28 0 446917656 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781601332080 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9541] ppid=9523 vsize=28768336 memory=1448 CPUtime=3.51 cores=0-7 /proc/9525/task/9541/stat : 9541 (java) S 9523 9523 7356 0 -1 1077944384 13780 0 0 0 347 4 0 0 20 0 28 0 446917656 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781600279024 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9542] ppid=9523 vsize=28768336 memory=3459880 CPUtime=0.92 cores=0-7 /proc/9525/task/9542/stat : 9542 (java) S 9523 9523 7356 0 -1 1077944384 12463 0 0 0 89 3 0 0 20 0 28 0 446917656 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781599226480 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9543] ppid=9523 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/9525/task/9543/stat : 9543 (java) S 9523 9523 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446917656 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781598173664 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9544] ppid=9523 vsize=28768336 memory=4 CPUtime=0.06 cores=0-7 /proc/9525/task/9544/stat : 9544 (java) S 9523 9523 7356 0 -1 1077944384 1639 0 0 0 3 3 0 0 20 0 28 0 446917656 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781597121200 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9585] ppid=9523 vsize=28768336 memory=0 CPUtime=216.89 cores=0-7 /proc/9525/task/9585/stat : 9585 (java) R 9523 9523 7356 0 -1 4202560 823 0 0 0 21689 0 0 0 20 0 28 0 446918016 29458776064 864970 33554432000 4194304 4196468 140736107106224 139780597722392 139782069517190 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9586] ppid=9523 vsize=28768336 memory=0 CPUtime=218.09 cores=0-7 /proc/9525/task/9586/stat : 9586 (java) R 9523 9523 7356 0 -1 4202560 896 0 0 0 21809 0 0 0 20 0 28 0 446918016 29458776064 864970 33554432000 4194304 4196468 140736107106224 139780593513032 139782069516829 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9587] ppid=9523 vsize=28768336 memory=7307743850530236012 CPUtime=216.48 cores=0-7 /proc/9525/task/9587/stat : 9587 (java) R 9523 9523 7356 0 -1 4202560 3318 0 0 0 21645 3 0 0 20 0 28 0 446918016 29458776064 864970 33554432000 4194304 4196468 140736107106224 139780599829704 139782070537667 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9588] ppid=9523 vsize=28768336 memory=1448 CPUtime=216.58 cores=0-7 /proc/9525/task/9588/stat : 9588 (java) R 9523 9523 7356 0 -1 4202560 14627 0 0 0 21596 62 0 0 20 0 28 0 446918016 29458776064 864970 33554432000 4194304 4196468 140736107106224 139780595618504 139782069507989 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9589] ppid=9523 vsize=28768336 memory=1448 CPUtime=217.9 cores=0-7 /proc/9525/task/9589/stat : 9589 (java) R 9523 9523 7356 0 -1 4202560 1659 0 0 0 21783 7 0 0 20 0 28 0 446918016 29458776064 864970 33554432000 4194304 4196468 140736107106224 139780598776120 139782068924850 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9590] ppid=9523 vsize=28768336 memory=3459880 CPUtime=217.14 cores=0-7 /proc/9525/task/9590/stat : 9590 (java) R 9523 9523 7356 0 -1 4202560 2998 0 0 0 21698 16 0 0 20 0 28 0 446918016 29458776064 864970 33554432000 4194304 4196468 140736107106224 139780596670952 139782069517703 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9591] ppid=9523 vsize=28768336 memory=1448 CPUtime=217.97 cores=0-7 /proc/9525/task/9591/stat : 9591 (java) R 9523 9523 7356 0 -1 4202560 18313 0 0 0 21743 54 0 0 20 0 28 0 446918016 29458776064 864970 33554432000 4194304 4196468 140736107106224 139780594567200 139782070537627 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9592] ppid=9523 vsize=28768336 memory=3459880 CPUtime=217.15 cores=0-7 /proc/9525/task/9592/stat : 9592 (java) R 9523 9523 7356 0 -1 4202560 4723 0 0 0 21687 28 0 0 20 0 28 0 446918017 29458776064 864970 33554432000 4194304 4196468 140736107106224 139780592459488 139782068924812 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 Current children cumulated CPU time: 1757.48 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 3461328 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.45 8.12 8.12 9/219 9606 /proc/meminfo: memFree=25878244/32770624 swapFree=66958320/67108860 [pid=9523] ppid=9520 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9523/stat : 9523 (xcsp3-exec) S 9520 9523 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446917650 115843072 362 33554432000 4194304 5098028 140729015160640 140729015158744 140141667504764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23244800 140729015165819 140729015166062 140729015166062 140729015168970 0 /proc/9523/statm: 28282 362 304 221 0 87 0 [pid=9525] ppid=9523 vsize=28768336 memory=3463912 CPUtime=1994.48 cores=0-7 /proc/9525/stat : 9525 (java) S 9523 9523 7356 0 -1 1077944320 137547 0 0 0 199189 259 0 0 20 0 28 0 446917650 29458776064 865978 33554432000 4194304 4196468 140736107106224 140736107088768 139782423858935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 /proc/9525/statm: 7192084 865978 3541 1 0 7153184 0 [pid=9525/tid=9526] ppid=9523 vsize=28768336 memory=712 CPUtime=2.71 cores=0-7 /proc/9525/task/9526/stat : 9526 (java) S 9523 9523 7356 0 -1 1077944384 11882 0 0 0 260 11 0 0 20 0 28 0 446917650 29458776064 865978 33554432000 4194304 4196468 140736107106224 139782428099712 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9527] ppid=9523 vsize=28768336 memory=2832 CPUtime=0.2 cores=0-7 /proc/9525/task/9527/stat : 9527 (java) S 9523 9523 7356 0 -1 1077944384 1642 0 0 0 13 7 0 0 20 0 28 0 446917651 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781975083536 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9528] ppid=9523 vsize=28768336 memory=4872558044660077418 CPUtime=0.18 cores=0-7 /proc/9525/task/9528/stat : 9528 (java) S 9523 9523 7356 0 -1 1077944384 975 0 0 0 12 6 0 0 20 0 28 0 446917651 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781974030992 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9529] ppid=9523 vsize=28768336 memory=3463912 CPUtime=0.19 cores=0-7 /proc/9525/task/9529/stat : 9529 (java) S 9523 9523 7356 0 -1 1077944384 864 0 0 0 13 6 0 0 20 0 28 0 446917651 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781972977936 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9530] ppid=9523 vsize=28768336 memory=2020 CPUtime=0.18 cores=0-7 /proc/9525/task/9530/stat : 9530 (java) S 9523 9523 7356 0 -1 1077944384 1289 0 0 0 12 6 0 0 20 0 28 0 446917651 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781971925392 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9531] ppid=9523 vsize=28768336 memory=1432 CPUtime=0.17 cores=0-7 /proc/9525/task/9531/stat : 9531 (java) S 9523 9523 7356 0 -1 1077944384 1746 0 0 0 11 6 0 0 20 0 28 0 446917651 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781970873360 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9532] ppid=9523 vsize=28768336 memory=776 CPUtime=0.19 cores=0-7 /proc/9525/task/9532/stat : 9532 (java) S 9523 9523 7356 0 -1 1077944384 1094 0 0 0 13 6 0 0 20 0 28 0 446917651 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781969820816 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9533] ppid=9523 vsize=28768336 memory=1056 CPUtime=0.18 cores=0-7 /proc/9525/task/9533/stat : 9533 (java) S 9523 9523 7356 0 -1 1077944384 2026 0 0 0 11 7 0 0 20 0 28 0 446917651 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781968767760 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9534] ppid=9523 vsize=28768336 memory=3463912 CPUtime=0.17 cores=0-7 /proc/9525/task/9534/stat : 9534 (java) S 9523 9523 7356 0 -1 1077944384 1806 0 0 0 12 5 0 0 20 0 28 0 446917651 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781967715216 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9535] ppid=9523 vsize=28768336 memory=1552 CPUtime=0.05 cores=0-7 /proc/9525/task/9535/stat : 9535 (java) S 9523 9523 7356 0 -1 1077944384 5783 0 0 0 4 1 0 0 20 0 28 0 446917652 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781606594800 139782423870082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9536] ppid=9523 vsize=28768336 memory=1712 CPUtime=0 cores=0-7 /proc/9525/task/9536/stat : 9536 (java) S 9523 9523 7356 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 446917653 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781605541088 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9537] ppid=9523 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/9525/task/9537/stat : 9537 (java) S 9523 9523 7356 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 446917653 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781604487936 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9538] ppid=9523 vsize=28768336 memory=3463912 CPUtime=0 cores=0-7 /proc/9525/task/9538/stat : 9538 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446917656 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781603436496 139782423877531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9539] ppid=9523 vsize=28768336 memory=14012 CPUtime=3.46 cores=0-7 /proc/9525/task/9539/stat : 9539 (java) S 9523 9523 7356 0 -1 1077944384 13828 0 0 0 344 2 0 0 20 0 28 0 446917656 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781602384624 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9540] ppid=9523 vsize=28768336 memory=14080 CPUtime=3.63 cores=0-7 /proc/9525/task/9540/stat : 9540 (java) S 9523 9523 7356 0 -1 1077944384 13956 0 0 0 360 3 0 0 20 0 28 0 446917656 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781601332080 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9541] ppid=9523 vsize=28768336 memory=26220 CPUtime=3.51 cores=0-7 /proc/9525/task/9541/stat : 9541 (java) S 9523 9523 7356 0 -1 1077944384 13782 0 0 0 347 4 0 0 20 0 28 0 446917656 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781600279024 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9542] ppid=9523 vsize=28768336 memory=2120 CPUtime=0.92 cores=0-7 /proc/9525/task/9542/stat : 9542 (java) S 9523 9523 7356 0 -1 1077944384 13059 0 0 0 89 3 0 0 20 0 28 0 446917656 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781599226480 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9543] ppid=9523 vsize=28768336 memory=508 CPUtime=0 cores=0-7 /proc/9525/task/9543/stat : 9543 (java) S 9523 9523 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446917656 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781598173664 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9544] ppid=9523 vsize=28768336 memory=1560 CPUtime=0.06 cores=0-7 /proc/9525/task/9544/stat : 9544 (java) S 9523 9523 7356 0 -1 1077944384 1643 0 0 0 3 3 0 0 20 0 28 0 446917656 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781597121200 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9585] ppid=9523 vsize=28768336 memory=3463912 CPUtime=246.59 cores=0-7 /proc/9525/task/9585/stat : 9585 (java) R 9523 9523 7356 0 -1 4202560 845 0 0 0 24659 0 0 0 20 0 28 0 446918016 29458776064 865978 33554432000 4194304 4196468 140736107106224 139780597721816 139782071390483 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9586] ppid=9523 vsize=28768336 memory=4000 CPUtime=247.79 cores=0-7 /proc/9525/task/9586/stat : 9586 (java) R 9523 9523 7356 0 -1 4202560 911 0 0 0 24779 0 0 0 20 0 28 0 446918016 29458776064 865978 33554432000 4194304 4196468 140736107106224 139780593513032 139782069517185 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9587] ppid=9523 vsize=28768336 memory=1552 CPUtime=245.54 cores=0-7 /proc/9525/task/9587/stat : 9587 (java) R 9523 9523 7356 0 -1 4202560 3438 0 0 0 24551 3 0 0 20 0 28 0 446918016 29458776064 865978 33554432000 4194304 4196468 140736107106224 139780599829256 139782069517393 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9588] ppid=9523 vsize=28768336 memory=1712 CPUtime=246.28 cores=0-7 /proc/9525/task/9588/stat : 9588 (java) R 9523 9523 7356 0 -1 4202560 15842 0 0 0 24564 64 0 0 20 0 28 0 446918016 29458776064 865978 33554432000 4194304 4196468 140736107106224 139780595619208 139782069517016 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9589] ppid=9523 vsize=28768336 memory=1196 CPUtime=247.6 cores=0-7 /proc/9525/task/9589/stat : 9589 (java) R 9523 9523 7356 0 -1 4202560 1708 0 0 0 24753 7 0 0 20 0 28 0 446918016 29458776064 865978 33554432000 4194304 4196468 140736107106224 139780598776120 139782068924744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9590] ppid=9523 vsize=28768336 memory=1044 CPUtime=246.83 cores=0-7 /proc/9525/task/9590/stat : 9590 (java) R 9523 9523 7356 0 -1 4202560 3104 0 0 0 24666 17 0 0 20 0 28 0 446918016 29458776064 865978 33554432000 4194304 4196468 140736107106224 139780596670952 139782070329952 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9591] ppid=9523 vsize=28768336 memory=712 CPUtime=247.66 cores=0-7 /proc/9525/task/9591/stat : 9591 (java) R 9523 9523 7356 0 -1 4202560 19074 0 0 0 24711 55 0 0 20 0 28 0 446918016 29458776064 865978 33554432000 4194304 4196468 140736107106224 139780594567200 139782070538374 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 [pid=9525/tid=9592] ppid=9523 vsize=28768336 memory=2832 CPUtime=246.84 cores=0-7 /proc/9525/task/9592/stat : 9592 (java) R 9523 9523 7356 0 -1 4202560 4842 0 0 0 24655 29 0 0 20 0 28 0 446918017 29458776064 865978 33554432000 4194304 4196468 140736107106224 139780592459760 139782068924744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0 Current children cumulated CPU time: 1994.48 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 3465360 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.04 s] # the end of solver process 9523 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001143 s, system=0.001143 s [startup+252.108 s] # the end of solver process 9525 was just reported to runsolver # cumulated CPU time of all completed processes: user=1992.49 s, system=2.6213 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 252.108 CPU time (s): 1995.11 CPU user time (s): 1992.49 CPU system time (s): 2.6213 CPU usage (%): 791.372 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 3467184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1992.49 system time used= 2.6213 maximum resident set size= 3467192 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 138735 page faults= 0 swaps= 0 block input operations= 0 block output operations= 480 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11981 involuntary context switches= 22538 # summary of solver processes directly reported to runsolver: # pid: 9523,9525 # total CPU time (s): 1995.11 # total CPU user time (s): 1992.49 # total CPU system time (s): 2.6213 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.36048 second user time and 2.89586 second system time The end
Begin job on node145 at 2019-09-17 10:42:50 IDJOB=4400306 IDBENCH=120557 IDSOLVER=2855 FILE ID=node145/4400306-1568709812 RUNJOBID= node145-1568701156-7383 PBS_JOBID= 21703915 Free space on /tmp= 59532 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-lei450-25a.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-4400306-1568709812/watcher-4400306-1568709812 -o /tmp/evaluation-result-4400306-1568709812/solver-4400306-1568709812 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568701156-7383 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1291555358 HOME/instance-4400306-1568709812.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 395c447fdc403b125102e151795ddb76 RANDOM SEED=1291555358 node145.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.59 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.59 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.59 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.59 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: 29332964 kB MemAvailable: 31849576 kB Buffers: 189800 kB Cached: 2617104 kB SwapCached: 41072 kB Active: 1386364 kB Inactive: 1465416 kB Active(anon): 7100 kB Inactive(anon): 86528 kB Active(file): 1379264 kB Inactive(file): 1378888 kB Unevictable: 109612 kB Mlocked: 109612 kB SwapTotal: 67108860 kB SwapFree: 66958320 kB Dirty: 26252 kB Writeback: 148 kB AnonPages: 58076 kB Mapped: 48404 kB Shmem: 40616 kB Slab: 177692 kB SReclaimable: 148588 kB SUnreclaim: 29104 kB KernelStack: 3728 kB PageTables: 5816 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506328 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 59508 MiB End job on node145 at 2019-09-17 10:47:02