Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 2 | 133.058 | 17.2473 |
Name | BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c1w4m.xml |
MD5SUM | 9af4c2349f4dbdb842cc927ab12812f8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 6.11337 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 130 |
Number of constraints | 89 |
Number of domains | 2 |
Minimum domain size | 35 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":35,"count":129},{"size":44,"count":1}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":4,"count":86},{"degree":5,"count":43}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 129 |
Distribution of constraint arities | [{"arity":3,"count":86},{"arity":44,"count":1},{"arity":129,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":43},{"type":"lex","count":1},{"type":"sum","count":43},{"type":"count","count":1},{"type":"cardinality","count":1}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407143-1569356297.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407143-1569356297.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.36/0.64 c solve instance... 7.34/1.44 o 0 8.06/1.58 o 1 8.75/1.65 o 2 132.76/17.23 s OPTIMUM FOUND 132.76/17.23 v <instantiation> 132.76/17.23 v <list>x b[0][0] b[0][1] b[0][2] b[1][0] b[1][1] b[1][2] b[2][0] b[2][1] b[2][2] b[3][0] b[3][1] b[3][2] b[4][0] b[4][1] b[4][2] b[5][0] b[5][1] b[5][2] b[6][0] b[6][1] b[6][2] b[7][0] b[7][1] b[7][2] b[8][0] b[8][1] b[8][2] b[9][0] b[9][1] b[9][2] b[10][0] b[10][1] b[10][2] b[11][0] b[11][1] b[11][2] b[12][0] b[12][1] b[12][2] b[13][0] b[13][1] b[13][2] b[14][0] b[14][1] b[14][2] b[15][0] b[15][1] b[15][2] b[16][0] b[16][1] b[16][2] b[17][0] b[17][1] b[17][2] b[18][0] b[18][1] b[18][2] b[19][0] b[19][1] b[19][2] b[20][0] b[20][1] b[20][2] b[21][0] b[21][1] b[21][2] b[22][0] b[22][1] b[22][2] b[23][0] b[23][1] b[23][2] b[24][0] b[24][1] b[24][2] b[25][0] b[25][1] b[25][2] b[26][0] b[26][1] b[26][2] b[27][0] b[27][1] b[27][2] b[28][0] b[28][1] b[28][2] b[29][0] b[29][1] b[29][2] b[30][0] b[30][1] b[30][2] b[31][0] b[31][1] b[31][2] b[32][0] b[32][1] b[32][2] b[33][0] b[33][1] b[33][2] b[34][0] b[34][1] b[34][2] b[35][0] b[35][1] b[35][2] b[36][0] b[36][1] b[36][2] b[37][0] b[37][1] b[37][2] b[38][0] b[38][1] b[38][2] b[39][0] b[39][1] b[39][2] b[40][0] b[40][1] b[40][2] b[41][0] b[41][1] b[41][2] b[42][0] b[42][1] b[42][2] </list> 132.76/17.23 v <values>2 100 0 0 99 0 0 99 0 0 94 0 0 93 0 0 92 0 0 91 0 0 89 0 0 88 0 0 88 0 0 87 0 0 80 0 0 79 0 0 77 0 0 75 0 0 74 0 0 73 0 0 71 0 0 71 0 0 71 0 0 69 0 0 66 0 0 64 0 0 64 0 0 64 0 0 63 0 0 63 0 0 63 0 0 62 0 0 60 0 0 60 0 0 59 33 0 59 31 0 59 0 0 55 45 0 55 42 0 55 34 0 53 42 0 51 48 0 49 49 0 46 46 0 0 0 0 0 0 0 </values> 132.76/17.23 v </instantiation>
OK 2
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 (12737 MiB free) memory of node 1: 16384 MiB (14313 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407143-1569356297/watcher-4407143-1569356297 -o /var/tmp/evaluation-result-4407143-1569356297/solver-4407143-1569356297 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569356151-20636 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1340954401 HOME/instance-4407143-1569356297.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=20786, runsolver pid=20783 Current StackSize limit: 8192 KiB [startup+0.10015 s]* /proc/loadavg: 2.80 6.30 7.54 2/212 20807 /proc/meminfo: memFree=27683704/32770624 swapFree=66957768/67108860 [pid=20786] ppid=20783 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/20786/stat : 20786 (xcsp3-exec) S 20783 20786 20609 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511868290 115843072 362 33554432000 4194304 5098028 140723390933840 140723390931944 140580341731964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30195712 140723390939985 140723390940245 140723390940245 140723390943174 0 /proc/20786/statm: 28282 362 304 221 0 87 0 [pid=20788] ppid=20786 vsize=28227396 memory=28768 CPUtime=0.12 cores=0-7 /proc/20788/stat : 20788 (java) S 20786 20786 20609 0 -1 1077944320 5680 0 0 0 11 1 0 0 20 0 20 0 511868291 28904853504 7192 33554432000 4194304 4196468 140725367447088 140725367429632 139724262715127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 /proc/20788/statm: 7056849 7192 3117 1 0 7019032 0 [pid=20788/tid=20789] ppid=20786 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/20788/task/20789/stat : 20789 (java) R 20786 20786 20609 0 -1 4202560 3621 0 0 0 8 1 0 0 20 0 20 0 511868291 28904853504 7192 33554432000 4194304 4196468 140725367447088 139724266948400 139723892929720 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20790] ppid=20786 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/20788/task/20790/stat : 20790 (java) S 20786 20786 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511868292 28904853504 7192 33554432000 4194304 4196468 140725367447088 139724215335568 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20791] ppid=20786 vsize=28227396 memory=139700688598656 CPUtime=0 cores=0-7 /proc/20788/task/20791/stat : 20791 (java) S 20786 20786 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511868292 28904853504 7192 33554432000 4194304 4196468 140725367447088 139724214282768 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20792] ppid=20786 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20792/stat : 20792 (java) S 20786 20786 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511868292 28904853504 7192 33554432000 4194304 4196468 140725367447088 139724213229968 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20793] ppid=20786 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20793/stat : 20793 (java) S 20786 20786 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511868292 28904853504 7192 33554432000 4194304 4196468 140725367447088 139723810920720 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20794] ppid=20786 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20794/stat : 20794 (java) S 20786 20786 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511868292 28904853504 7192 33554432000 4194304 4196468 140725367447088 139723809868944 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20795] ppid=20786 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20788/task/20795/stat : 20795 (java) S 20786 20786 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511868292 28904853504 7192 33554432000 4194304 4196468 140725367447088 139723808816144 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20796] ppid=20786 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20796/stat : 20796 (java) S 20786 20786 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511868292 28904853504 7192 33554432000 4194304 4196468 140725367447088 139723807763344 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20797] ppid=20786 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20797/stat : 20797 (java) S 20786 20786 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511868292 28904853504 7192 33554432000 4194304 4196468 140725367447088 139723806710544 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20798] ppid=20786 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20798/stat : 20798 (java) S 20786 20786 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511868293 28904853504 7192 33554432000 4194304 4196468 140725367447088 139722458360176 139724262726274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20799] ppid=20786 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20799/stat : 20799 (java) S 20786 20786 20609 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511868294 28904853504 7192 33554432000 4194304 4196468 140725367447088 139722457306144 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20800] ppid=20786 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20800/stat : 20800 (java) S 20786 20786 20609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511868294 28904853504 7192 33554432000 4194304 4196468 140725367447088 139722456253296 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20801] ppid=20786 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20801/stat : 20801 (java) S 20786 20786 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511868296 28904853504 7192 33554432000 4194304 4196468 140725367447088 139722455201616 139724262733723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20802] ppid=20786 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20802/stat : 20802 (java) R 20786 20786 20609 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 511868296 28904853504 7192 33554432000 4194304 4196468 140725367447088 139722454150000 139724262726274 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20803] ppid=20786 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20803/stat : 20803 (java) R 20786 20786 20609 0 -1 4202560 132 0 0 0 0 0 0 0 20 0 20 0 511868296 28904853504 7258 33554432000 4194304 4196468 140725367447088 139722453097200 139724246138957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20804] ppid=20786 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20804/stat : 20804 (java) R 20786 20786 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511868296 28904853504 7258 33554432000 4194304 4196468 140725367447088 139722452044400 139724262726274 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20805] ppid=20786 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/20788/task/20805/stat : 20805 (java) R 20786 20786 20609 0 -1 4202560 320 0 0 0 1 0 0 0 20 0 20 0 511868296 28904853504 7258 33554432000 4194304 4196468 140725367447088 139722450991600 139724262727062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20806] ppid=20786 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20806/stat : 20806 (java) S 20786 20786 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511868297 28904853504 7258 33554432000 4194304 4196468 140725367447088 139722449939040 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20807] ppid=20786 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20788/task/20807/stat : 20807 (java) S 20786 20786 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511868297 28904853504 7258 33554432000 4194304 4196468 140725367447088 139722448886320 139724262726274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30216 KiB [startup+0.210572 s]* /proc/loadavg: 2.80 6.30 7.54 3/212 20807 /proc/meminfo: memFree=27669824/32770624 swapFree=66957768/67108860 [pid=20786] ppid=20783 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/20786/stat : 20786 (xcsp3-exec) S 20783 20786 20609 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511868290 115843072 362 33554432000 4194304 5098028 140723390933840 140723390931944 140580341731964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30195712 140723390939985 140723390940245 140723390940245 140723390943174 0 /proc/20786/statm: 28282 362 304 221 0 87 0 [pid=20788] ppid=20786 vsize=28227396 memory=41036 CPUtime=0.34 cores=0-7 /proc/20788/stat : 20788 (java) S 20786 20786 20609 0 -1 1077944320 9527 0 0 0 31 3 0 0 20 0 20 0 511868291 28904853504 10259 33554432000 4194304 4196468 140725367447088 140725367429632 139724262715127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 /proc/20788/statm: 7056849 10259 3302 1 0 7019032 0 [pid=20788/tid=20789] ppid=20786 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/20788/task/20789/stat : 20789 (java) R 20786 20786 20609 0 -1 4202560 6639 0 0 0 17 2 0 0 20 0 20 0 511868291 28904853504 10259 33554432000 4194304 4196468 140725367447088 139724266944848 139723892938301 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20790] ppid=20786 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/20788/task/20790/stat : 20790 (java) S 20786 20786 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511868292 28904853504 10259 33554432000 4194304 4196468 140725367447088 139724215335568 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20791] ppid=20786 vsize=28227396 memory=288370076840310400 CPUtime=0 cores=0-7 /proc/20788/task/20791/stat : 20791 (java) S 20786 20786 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511868292 28904853504 10259 33554432000 4194304 4196468 140725367447088 139724214282768 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20792] ppid=20786 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20788/task/20792/stat : 20792 (java) S 20786 20786 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511868292 28904853504 10259 33554432000 4194304 4196468 140725367447088 139724213229968 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20793] ppid=20786 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20793/stat : 20793 (java) S 20786 20786 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511868292 28904853504 10259 33554432000 4194304 4196468 140725367447088 139723810920720 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20794] ppid=20786 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20794/stat : 20794 (java) S 20786 20786 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511868292 28904853504 10259 33554432000 4194304 4196468 140725367447088 139723809868944 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20795] ppid=20786 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20788/task/20795/stat : 20795 (java) S 20786 20786 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511868292 28904853504 10259 33554432000 4194304 4196468 140725367447088 139723808816144 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20796] ppid=20786 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20796/stat : 20796 (java) S 20786 20786 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511868292 28904853504 10259 33554432000 4194304 4196468 140725367447088 139723807763344 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20797] ppid=20786 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20797/stat : 20797 (java) S 20786 20786 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511868292 28904853504 10259 33554432000 4194304 4196468 140725367447088 139723806710544 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20798] ppid=20786 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20798/stat : 20798 (java) S 20786 20786 20609 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511868293 28904853504 10259 33554432000 4194304 4196468 140725367447088 139722458360176 139724262726274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20799] ppid=20786 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20799/stat : 20799 (java) S 20786 20786 20609 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511868294 28904853504 10259 33554432000 4194304 4196468 140725367447088 139722457306144 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20800] ppid=20786 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20800/stat : 20800 (java) S 20786 20786 20609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511868294 28904853504 10259 33554432000 4194304 4196468 140725367447088 139722456253296 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20801] ppid=20786 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20801/stat : 20801 (java) S 20786 20786 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511868296 28904853504 10259 33554432000 4194304 4196468 140725367447088 139722455201616 139724262733723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20802] ppid=20786 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/20788/task/20802/stat : 20802 (java) S 20786 20786 20609 0 -1 1077944384 410 0 0 0 2 0 0 0 20 0 20 0 511868296 28904853504 10259 33554432000 4194304 4196468 140725367447088 139722454150000 139724262726274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20803] ppid=20786 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/20788/task/20803/stat : 20803 (java) S 20786 20786 20609 0 -1 1077944384 375 0 0 0 2 0 0 0 20 0 20 0 511868296 28904853504 10259 33554432000 4194304 4196468 140725367447088 139722453097200 139724262726274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20804] ppid=20786 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20788/task/20804/stat : 20804 (java) S 20786 20786 20609 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 511868296 28904853504 10259 33554432000 4194304 4196468 140725367447088 139722452044400 139724262726274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20805] ppid=20786 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/20788/task/20805/stat : 20805 (java) R 20786 20786 20609 0 -1 4202560 773 0 0 0 7 0 0 0 20 0 20 0 511868296 28904853504 10259 33554432000 4194304 4196468 140725367447088 139722450991600 139724254952254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20806] ppid=20786 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20806/stat : 20806 (java) S 20786 20786 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511868297 28904853504 10259 33554432000 4194304 4196468 140725367447088 139722449939040 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20807] ppid=20786 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20788/task/20807/stat : 20807 (java) S 20786 20786 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511868297 28904853504 10259 33554432000 4194304 4196468 140725367447088 139722448886320 139724262726274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42484 KiB [startup+0.310429 s]* /proc/loadavg: 2.80 6.30 7.54 3/212 20807 /proc/meminfo: memFree=27662792/32770624 swapFree=66957768/67108860 [pid=20786] ppid=20783 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/20786/stat : 20786 (xcsp3-exec) S 20783 20786 20609 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511868290 115843072 362 33554432000 4194304 5098028 140723390933840 140723390931944 140580341731964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30195712 140723390939985 140723390940245 140723390940245 140723390943174 0 /proc/20786/statm: 28282 362 304 221 0 87 0 [pid=20788] ppid=20786 vsize=28231652 memory=50056 CPUtime=0.52 cores=0-7 /proc/20788/stat : 20788 (java) S 20786 20786 20609 0 -1 1077944320 10883 0 0 0 48 4 0 0 20 0 20 0 511868291 28909211648 12514 33554432000 4194304 4196468 140725367447088 140725367429632 139724262715127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 /proc/20788/statm: 7057913 12514 3346 1 0 7019032 0 [pid=20788/tid=20789] ppid=20786 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/20788/task/20789/stat : 20789 (java) R 20786 20786 20609 0 -1 4202560 7804 0 0 0 27 3 0 0 20 0 20 0 511868291 28909211648 12514 33554432000 4194304 4196468 140725367447088 139724266946240 139724246795614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20790] ppid=20786 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20790/stat : 20790 (java) S 20786 20786 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511868292 28909211648 12514 33554432000 4194304 4196468 140725367447088 139724215335568 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20791] ppid=20786 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20791/stat : 20791 (java) S 20786 20786 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511868292 28909211648 12514 33554432000 4194304 4196468 140725367447088 139724214282768 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20792] ppid=20786 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20792/stat : 20792 (java) S 20786 20786 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511868292 28909211648 12514 33554432000 4194304 4196468 140725367447088 139724213229968 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20793] ppid=20786 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20793/stat : 20793 (java) S 20786 20786 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511868292 28909211648 12514 33554432000 4194304 4196468 140725367447088 139723810920720 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20794] ppid=20786 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/20788/task/20794/stat : 20794 (java) S 20786 20786 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511868292 28909211648 12514 33554432000 4194304 4196468 140725367447088 139723809868944 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20795] ppid=20786 vsize=28231652 memory=139700589392815 CPUtime=0 cores=0-7 /proc/20788/task/20795/stat : 20795 (java) S 20786 20786 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511868292 28909211648 12514 33554432000 4194304 4196468 140725367447088 139723808816144 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20796] ppid=20786 vsize=28231652 memory=139700589395120 CPUtime=0 cores=0-7 /proc/20788/task/20796/stat : 20796 (java) S 20786 20786 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511868292 28909211648 12514 33554432000 4194304 4196468 140725367447088 139723807763344 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20797] ppid=20786 vsize=28231652 memory=139700589397424 CPUtime=0 cores=0-7 /proc/20788/task/20797/stat : 20797 (java) S 20786 20786 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511868292 28909211648 12514 33554432000 4194304 4196468 140725367447088 139723806710544 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20798] ppid=20786 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20798/stat : 20798 (java) S 20786 20786 20609 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511868293 28909211648 12514 33554432000 4194304 4196468 140725367447088 139722458360176 139724262726274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20799] ppid=20786 vsize=28231652 memory=279401178801808 CPUtime=0 cores=0-7 /proc/20788/task/20799/stat : 20799 (java) S 20786 20786 20609 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511868294 28909211648 12514 33554432000 4194304 4196468 140725367447088 139722457306144 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20800] ppid=20786 vsize=28231652 memory=279401178808720 CPUtime=0 cores=0-7 /proc/20788/task/20800/stat : 20800 (java) S 20786 20786 20609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511868294 28909211648 12514 33554432000 4194304 4196468 140725367447088 139722456253296 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20801] ppid=20786 vsize=28231652 memory=279401178749872 CPUtime=0 cores=0-7 /proc/20788/task/20801/stat : 20801 (java) S 20786 20786 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511868296 28909211648 12514 33554432000 4194304 4196468 140725367447088 139722455201616 139724262733723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20802] ppid=20786 vsize=28231652 memory=279401178822544 CPUtime=0.03 cores=0-7 /proc/20788/task/20802/stat : 20802 (java) S 20786 20786 20609 0 -1 1077944384 422 0 0 0 3 0 0 0 20 0 20 0 511868296 28909211648 12514 33554432000 4194304 4196468 140725367447088 139722454150000 139724262726274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20803] ppid=20786 vsize=28231652 memory=279401178829456 CPUtime=0.02 cores=0-7 /proc/20788/task/20803/stat : 20803 (java) S 20786 20786 20609 0 -1 1077944384 375 0 0 0 2 0 0 0 20 0 20 0 511868296 28909211648 12514 33554432000 4194304 4196468 140725367447088 139722453097200 139724262726274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20804] ppid=20786 vsize=28231652 memory=279401178827152 CPUtime=0.02 cores=0-7 /proc/20788/task/20804/stat : 20804 (java) R 20786 20786 20609 0 -1 4202560 135 0 0 0 2 0 0 0 20 0 20 0 511868296 28909211648 12514 33554432000 4194304 4196468 140725367447088 139722452034784 139724246101807 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20805] ppid=20786 vsize=28231652 memory=279401178843312 CPUtime=0.12 cores=0-7 /proc/20788/task/20805/stat : 20805 (java) S 20786 20786 20609 0 -1 1077944384 844 0 0 0 12 0 0 0 20 0 20 0 511868296 28909211648 12514 33554432000 4194304 4196468 140725367447088 139722450991600 139724262726274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20806] ppid=20786 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20806/stat : 20806 (java) S 20786 20786 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511868297 28909211648 12514 33554432000 4194304 4196468 140725367447088 139722449939040 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20807] ppid=20786 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/20788/task/20807/stat : 20807 (java) S 20786 20786 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511868297 28909211648 12514 33554432000 4194304 4196468 140725367447088 139722448886320 139724262726274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51504 KiB [startup+0.700889 s] /proc/loadavg: 2.80 6.30 7.54 5/212 20807 /proc/meminfo: memFree=27648556/32770624 swapFree=66957768/67108860 [pid=20786] ppid=20783 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/20786/stat : 20786 (xcsp3-exec) S 20783 20786 20609 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511868290 115843072 362 33554432000 4194304 5098028 140723390933840 140723390931944 140580341731964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30195712 140723390939985 140723390940245 140723390940245 140723390943174 0 /proc/20786/statm: 28282 362 304 221 0 87 0 [pid=20788] ppid=20786 vsize=28766288 memory=99876 CPUtime=1.81 cores=0-7 /proc/20788/stat : 20788 (java) S 20786 20786 20609 0 -1 1077944320 15222 0 0 0 174 7 0 0 20 0 28 0 511868291 29456678912 24969 33554432000 4194304 4196468 140725367447088 140725367429632 139724262715127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 /proc/20788/statm: 7191572 24969 3452 1 0 7152672 0 [pid=20788/tid=20789] ppid=20786 vsize=28766288 memory=279401179201200 CPUtime=0.63 cores=0-7 /proc/20788/task/20789/stat : 20789 (java) S 20786 20786 20609 0 -1 1077944384 9137 0 0 0 59 4 0 0 20 0 28 0 511868291 29456678912 24969 33554432000 4194304 4196468 140725367447088 139724266955904 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20790] ppid=20786 vsize=28766288 memory=139700589601648 CPUtime=0 cores=0-7 /proc/20788/task/20790/stat : 20790 (java) S 20786 20786 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511868292 29456678912 24969 33554432000 4194304 4196468 140725367447088 139724215335568 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20791] ppid=20786 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20791/stat : 20791 (java) S 20786 20786 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511868292 29456678912 24969 33554432000 4194304 4196468 140725367447088 139724214282768 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20792] ppid=20786 vsize=28766288 memory=6160 CPUtime=0 cores=0-7 /proc/20788/task/20792/stat : 20792 (java) S 20786 20786 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511868292 29456678912 24969 33554432000 4194304 4196468 140725367447088 139724213229968 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 ################ # More data... # ################ [pid=20788/tid=20805] ppid=20786 vsize=28768336 memory=3636 CPUtime=0.7 cores=0-7 /proc/20788/task/20805/stat : 20805 (java) S 20786 20786 20609 0 -1 1077944384 4310 0 0 0 68 2 0 0 20 0 28 0 511868296 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722450991600 139724262726274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20806] ppid=20786 vsize=28768336 memory=2832 CPUtime=0 cores=0-7 /proc/20788/task/20806/stat : 20806 (java) S 20786 20786 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511868297 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722449939040 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20807] ppid=20786 vsize=28768336 memory=14012 CPUtime=0 cores=0-7 /proc/20788/task/20807/stat : 20807 (java) S 20786 20786 20609 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 28 0 511868297 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722448886320 139724262726274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20832] ppid=20786 vsize=28768336 memory=2112 CPUtime=14.07 cores=0-7 /proc/20788/task/20832/stat : 20832 (java) R 20786 20786 20609 0 -1 4202560 230 0 0 0 1407 0 0 0 20 0 28 0 511868456 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722436508344 139723898419205 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20833] ppid=20786 vsize=28768336 memory=12040 CPUtime=14.12 cores=0-7 /proc/20788/task/20833/stat : 20833 (java) R 20786 20786 20609 0 -1 4202560 199 0 0 0 1412 0 0 0 20 0 28 0 511868456 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722437561872 139723898417600 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20834] ppid=20786 vsize=28768336 memory=0 CPUtime=13.89 cores=0-7 /proc/20788/task/20834/stat : 20834 (java) R 20786 20786 20609 0 -1 4202560 264 0 0 0 1389 0 0 0 20 0 28 0 511868456 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722432299408 139723898419593 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20835] ppid=20786 vsize=28768336 memory=139700592021480 CPUtime=13.67 cores=0-7 /proc/20788/task/20835/stat : 20835 (java) R 20786 20786 20609 0 -1 4202560 946 0 0 0 1367 0 0 0 20 0 28 0 511868456 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722435459912 139723900068143 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20836] ppid=20786 vsize=28768336 memory=139700592021607 CPUtime=14.05 cores=0-7 /proc/20788/task/20836/stat : 20836 (java) R 20786 20786 20609 0 -1 4202560 342 0 0 0 1405 0 0 0 20 0 28 0 511868456 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722434404512 139723898418890 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20837] ppid=20786 vsize=28768336 memory=139700590040464 CPUtime=13.75 cores=0-7 /proc/20788/task/20837/stat : 20837 (java) R 20786 20786 20609 0 -1 4202560 297 0 0 0 1375 0 0 0 20 0 28 0 511868456 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722439667688 139723897900063 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20838] ppid=20786 vsize=28768336 memory=139700760513386 CPUtime=14 cores=0-7 /proc/20788/task/20838/stat : 20838 (java) R 20786 20786 20609 0 -1 4202560 568 0 0 0 1399 1 0 0 20 0 28 0 511868456 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722433354432 139723898419376 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20839] ppid=20786 vsize=28768336 memory=139700590197664 CPUtime=13.74 cores=0-7 /proc/20788/task/20839/stat : 20839 (java) R 20786 20786 20609 0 -1 4202560 587 0 0 0 1372 2 0 0 20 0 28 0 511868456 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722438614800 139723900065183 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 Current children cumulated CPU time: 123.25 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 243476 KiB [startup+16.8017 s] /proc/loadavg: 4.18 6.38 7.54 9/220 20840 /proc/meminfo: memFree=27469768/32770624 swapFree=66957768/67108860 [pid=20786] ppid=20783 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/20786/stat : 20786 (xcsp3-exec) S 20783 20786 20609 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511868290 115843072 362 33554432000 4194304 5098028 140723390933840 140723390931944 140580341731964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30195712 140723390939985 140723390940245 140723390940245 140723390943174 0 /proc/20786/statm: 28282 362 304 221 0 87 0 [pid=20788] ppid=20786 vsize=28768336 memory=242028 CPUtime=129.57 cores=0-7 /proc/20788/stat : 20788 (java) S 20786 20786 20609 0 -1 1077944320 46323 0 0 0 12930 27 0 0 20 0 28 0 511868291 29458776064 60507 33554432000 4194304 4196468 140725367447088 140725367429632 139724262715127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 /proc/20788/statm: 7192084 60507 3534 1 0 7153184 0 [pid=20788/tid=20789] ppid=20786 vsize=28768336 memory=928 CPUtime=0.64 cores=0-7 /proc/20788/task/20789/stat : 20789 (java) S 20786 20786 20609 0 -1 1077944384 9137 0 0 0 60 4 0 0 20 0 28 0 511868291 29458776064 60507 33554432000 4194304 4196468 140725367447088 139724266955904 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20790] ppid=20786 vsize=28768336 memory=6791534058613427641 CPUtime=0.01 cores=0-7 /proc/20788/task/20790/stat : 20790 (java) S 20786 20786 20609 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 28 0 511868292 29458776064 60507 33554432000 4194304 4196468 140725367447088 139724215335568 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20791] ppid=20786 vsize=28768336 memory=3475195960833894245 CPUtime=0.03 cores=0-7 /proc/20788/task/20791/stat : 20791 (java) S 20786 20786 20609 0 -1 1077944384 138 0 0 0 2 1 0 0 20 0 28 0 511868292 29458776064 60507 33554432000 4194304 4196468 140725367447088 139724214282768 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20792] ppid=20786 vsize=28768336 memory=6944656592455359580 CPUtime=0.01 cores=0-7 /proc/20788/task/20792/stat : 20792 (java) S 20786 20786 20609 0 -1 1077944384 1819 0 0 0 1 0 0 0 20 0 28 0 511868292 29458776064 60507 33554432000 4194304 4196468 140725367447088 139724213229968 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20793] ppid=20786 vsize=28768336 memory=-7522837583129502606 CPUtime=0.01 cores=0-7 /proc/20788/task/20793/stat : 20793 (java) S 20786 20786 20609 0 -1 1077944384 971 0 0 0 1 0 0 0 20 0 28 0 511868292 29458776064 60507 33554432000 4194304 4196468 140725367447088 139723810920720 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20794] ppid=20786 vsize=28768336 memory=279401178595568 CPUtime=0.02 cores=0-7 /proc/20788/task/20794/stat : 20794 (java) S 20786 20786 20609 0 -1 1077944384 244 0 0 0 1 1 0 0 20 0 28 0 511868292 29458776064 60507 33554432000 4194304 4196468 140725367447088 139723809868944 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20795] ppid=20786 vsize=28768336 memory=279401178595568 CPUtime=0.02 cores=0-7 /proc/20788/task/20795/stat : 20795 (java) S 20786 20786 20609 0 -1 1077944384 277 0 0 0 2 0 0 0 20 0 28 0 511868292 29458776064 60507 33554432000 4194304 4196468 140725367447088 139723808816144 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20796] ppid=20786 vsize=28768336 memory=6791534058613427641 CPUtime=0.02 cores=0-7 /proc/20788/task/20796/stat : 20796 (java) S 20786 20786 20609 0 -1 1077944384 338 0 0 0 1 1 0 0 20 0 28 0 511868292 29458776064 60507 33554432000 4194304 4196468 140725367447088 139723807763344 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20797] ppid=20786 vsize=28768336 memory=246016 CPUtime=0.02 cores=0-7 /proc/20788/task/20797/stat : 20797 (java) S 20786 20786 20609 0 -1 1077944384 106 0 0 0 1 1 0 0 20 0 28 0 511868292 29458776064 60507 33554432000 4194304 4196468 140725367447088 139723806710544 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20798] ppid=20786 vsize=28768336 memory=13847469322668657 CPUtime=0.02 cores=0-7 /proc/20788/task/20798/stat : 20798 (java) S 20786 20786 20609 0 -1 1077944384 822 0 0 0 2 0 0 0 20 0 28 0 511868293 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722458360176 139724262726274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20799] ppid=20786 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20799/stat : 20799 (java) S 20786 20786 20609 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 511868294 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722457306208 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20800] ppid=20786 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20800/stat : 20800 (java) S 20786 20786 20609 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 28 0 511868294 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722456253312 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20801] ppid=20786 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/20788/task/20801/stat : 20801 (java) S 20786 20786 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511868296 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722455201616 139724262733723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20802] ppid=20786 vsize=28768336 memory=1448 CPUtime=1.68 cores=0-7 /proc/20788/task/20802/stat : 20802 (java) S 20786 20786 20609 0 -1 1077944384 8060 0 0 0 166 2 0 0 20 0 28 0 511868296 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722454150000 139724262726274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20803] ppid=20786 vsize=28768336 memory=1448 CPUtime=1.51 cores=0-7 /proc/20788/task/20803/stat : 20803 (java) S 20786 20786 20609 0 -1 1077944384 6994 0 0 0 150 1 0 0 20 0 28 0 511868296 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722453097200 139724262726274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20804] ppid=20786 vsize=28768336 memory=242028 CPUtime=1.6 cores=0-7 /proc/20788/task/20804/stat : 20804 (java) S 20786 20786 20609 0 -1 1077944384 7370 0 0 0 159 1 0 0 20 0 28 0 511868296 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722452044400 139724262726274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20805] ppid=20786 vsize=28768336 memory=3007365195732497 CPUtime=0.7 cores=0-7 /proc/20788/task/20805/stat : 20805 (java) S 20786 20786 20609 0 -1 1077944384 4310 0 0 0 68 2 0 0 20 0 28 0 511868296 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722450991600 139724262726274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20806] ppid=20786 vsize=28768336 memory=139700590197792 CPUtime=0 cores=0-7 /proc/20788/task/20806/stat : 20806 (java) S 20786 20786 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511868297 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722449939040 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20807] ppid=20786 vsize=28768336 memory=139700589532752 CPUtime=0 cores=0-7 /proc/20788/task/20807/stat : 20807 (java) S 20786 20786 20609 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 28 0 511868297 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722448886320 139724262726274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20832] ppid=20786 vsize=28768336 memory=150902404779082 CPUtime=14.86 cores=0-7 /proc/20788/task/20832/stat : 20832 (java) R 20786 20786 20609 0 -1 4202560 230 0 0 0 1486 0 0 0 20 0 28 0 511868456 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722436508344 139723900069039 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20833] ppid=20786 vsize=28768336 memory=288370292311952504 CPUtime=14.91 cores=0-7 /proc/20788/task/20833/stat : 20833 (java) R 20786 20786 20609 0 -1 4202560 200 0 0 0 1491 0 0 0 20 0 28 0 511868456 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722437562008 139723898418888 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20834] ppid=20786 vsize=28768336 memory=15683703452175512 CPUtime=14.68 cores=0-7 /proc/20788/task/20834/stat : 20834 (java) R 20786 20786 20609 0 -1 4202560 264 0 0 0 1468 0 0 0 20 0 28 0 511868456 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722432299544 139723897609708 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20835] ppid=20786 vsize=28768336 memory=6791534058613427641 CPUtime=14.46 cores=0-7 /proc/20788/task/20835/stat : 20835 (java) R 20786 20786 20609 0 -1 4202560 947 0 0 0 1446 0 0 0 20 0 28 0 511868456 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722435459912 139723898419891 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20836] ppid=20786 vsize=28768336 memory=4104 CPUtime=14.84 cores=0-7 /proc/20788/task/20836/stat : 20836 (java) R 20786 20786 20609 0 -1 4202560 343 0 0 0 1484 0 0 0 20 0 28 0 511868456 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722434404512 139723897609806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20837] ppid=20786 vsize=28768336 memory=1804 CPUtime=14.54 cores=0-7 /proc/20788/task/20837/stat : 20837 (java) R 20786 20786 20609 0 -1 4202560 297 0 0 0 1454 0 0 0 20 0 28 0 511868456 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722439667688 139723897900372 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20838] ppid=20786 vsize=28768336 memory=920 CPUtime=14.78 cores=0-7 /proc/20788/task/20838/stat : 20838 (java) R 20786 20786 20609 0 -1 4202560 568 0 0 0 1477 1 0 0 20 0 28 0 511868456 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722433354432 139723897900063 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20839] ppid=20786 vsize=28768336 memory=4136 CPUtime=14.53 cores=0-7 /proc/20788/task/20839/stat : 20839 (java) R 20786 20786 20609 0 -1 4202560 589 0 0 0 1451 2 0 0 20 0 28 0 511868456 29458776064 60507 33554432000 4194304 4196468 140725367447088 139722438614936 139723897899760 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 Current children cumulated CPU time: 129.57 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 243476 KiB [startup+17.2017 s] /proc/loadavg: 4.18 6.38 7.54 9/220 20840 /proc/meminfo: memFree=27469644/32770624 swapFree=66957768/67108860 [pid=20786] ppid=20783 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/20786/stat : 20786 (xcsp3-exec) S 20783 20786 20609 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511868290 115843072 362 33554432000 4194304 5098028 140723390933840 140723390931944 140580341731964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30195712 140723390939985 140723390940245 140723390940245 140723390943174 0 /proc/20786/statm: 28282 362 304 221 0 87 0 [pid=20788] ppid=20786 vsize=28768336 memory=242036 CPUtime=132.76 cores=0-7 /proc/20788/stat : 20788 (java) S 20786 20786 20609 0 -1 1077944320 47371 0 0 0 13248 28 0 0 20 0 28 0 511868291 29458776064 60509 33554432000 4194304 4196468 140725367447088 140725367429632 139724262715127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 /proc/20788/statm: 7192084 60509 3534 1 0 7153184 0 [pid=20788/tid=20789] ppid=20786 vsize=28768336 memory=12040 CPUtime=0.64 cores=0-7 /proc/20788/task/20789/stat : 20789 (java) S 20786 20786 20609 0 -1 1077944384 9137 0 0 0 60 4 0 0 20 0 28 0 511868291 29458776064 60509 33554432000 4194304 4196468 140725367447088 139724266955904 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20790] ppid=20786 vsize=28768336 memory=37392 CPUtime=0.01 cores=0-7 /proc/20788/task/20790/stat : 20790 (java) S 20786 20786 20609 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 28 0 511868292 29458776064 60509 33554432000 4194304 4196468 140725367447088 139724215335568 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20791] ppid=20786 vsize=28768336 memory=1556 CPUtime=0.03 cores=0-7 /proc/20788/task/20791/stat : 20791 (java) S 20786 20786 20609 0 -1 1077944384 138 0 0 0 2 1 0 0 20 0 28 0 511868292 29458776064 60509 33554432000 4194304 4196468 140725367447088 139724214282768 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20792] ppid=20786 vsize=28768336 memory=532 CPUtime=0.01 cores=0-7 /proc/20788/task/20792/stat : 20792 (java) S 20786 20786 20609 0 -1 1077944384 1819 0 0 0 1 0 0 0 20 0 28 0 511868292 29458776064 60509 33554432000 4194304 4196468 140725367447088 139724213229968 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20793] ppid=20786 vsize=28768336 memory=928 CPUtime=0.01 cores=0-7 /proc/20788/task/20793/stat : 20793 (java) S 20786 20786 20609 0 -1 1077944384 971 0 0 0 1 0 0 0 20 0 28 0 511868292 29458776064 60509 33554432000 4194304 4196468 140725367447088 139723810920720 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20794] ppid=20786 vsize=28768336 memory=28868 CPUtime=0.02 cores=0-7 /proc/20788/task/20794/stat : 20794 (java) S 20786 20786 20609 0 -1 1077944384 244 0 0 0 1 1 0 0 20 0 28 0 511868292 29458776064 60509 33554432000 4194304 4196468 140725367447088 139723809868944 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20795] ppid=20786 vsize=28768336 memory=4294653525671804960 CPUtime=0.02 cores=0-7 /proc/20788/task/20795/stat : 20795 (java) S 20786 20786 20609 0 -1 1077944384 277 0 0 0 2 0 0 0 20 0 28 0 511868292 29458776064 60509 33554432000 4194304 4196468 140725367447088 139723808816144 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20796] ppid=20786 vsize=28768336 memory=1943668 CPUtime=0.02 cores=0-7 /proc/20788/task/20796/stat : 20796 (java) S 20786 20786 20609 0 -1 1077944384 338 0 0 0 1 1 0 0 20 0 28 0 511868292 29458776064 60509 33554432000 4194304 4196468 140725367447088 139723807763344 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20797] ppid=20786 vsize=28768336 memory=301794158562638401 CPUtime=0.02 cores=0-7 /proc/20788/task/20797/stat : 20797 (java) S 20786 20786 20609 0 -1 1077944384 106 0 0 0 1 1 0 0 20 0 28 0 511868292 29458776064 60509 33554432000 4194304 4196468 140725367447088 139723806710544 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20798] ppid=20786 vsize=28768336 memory=288230574492221466 CPUtime=0.02 cores=0-7 /proc/20788/task/20798/stat : 20798 (java) S 20786 20786 20609 0 -1 1077944384 822 0 0 0 2 0 0 0 20 0 28 0 511868293 29458776064 60509 33554432000 4194304 4196468 140725367447088 139722458360176 139724262726274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20799] ppid=20786 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/20788/task/20799/stat : 20799 (java) S 20786 20786 20609 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 511868294 29458776064 60509 33554432000 4194304 4196468 140725367447088 139722457306208 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20800] ppid=20786 vsize=28768336 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/20788/task/20800/stat : 20800 (java) S 20786 20786 20609 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 28 0 511868294 29458776064 60509 33554432000 4194304 4196468 140725367447088 139722456253312 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20801] ppid=20786 vsize=28768336 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/20788/task/20801/stat : 20801 (java) S 20786 20786 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511868296 29458776064 60509 33554432000 4194304 4196468 140725367447088 139722455201616 139724262733723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20802] ppid=20786 vsize=28768336 memory=6944656575208382560 CPUtime=1.68 cores=0-7 /proc/20788/task/20802/stat : 20802 (java) S 20786 20786 20609 0 -1 1077944384 8062 0 0 0 166 2 0 0 20 0 28 0 511868296 29458776064 60509 33554432000 4194304 4196468 140725367447088 139722454150000 139724262726274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20803] ppid=20786 vsize=28768336 memory=6656426216303648864 CPUtime=1.51 cores=0-7 /proc/20788/task/20803/stat : 20803 (java) S 20786 20786 20609 0 -1 1077944384 6996 0 0 0 150 1 0 0 20 0 28 0 511868296 29458776064 60509 33554432000 4194304 4196468 140725367447088 139722453097200 139724262726274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20804] ppid=20786 vsize=28768336 memory=6944656592455097440 CPUtime=1.61 cores=0-7 /proc/20788/task/20804/stat : 20804 (java) S 20786 20786 20609 0 -1 1077944384 7994 0 0 0 160 1 0 0 20 0 28 0 511868296 29458776064 60509 33554432000 4194304 4196468 140725367447088 139722452044400 139724262726274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20805] ppid=20786 vsize=28768336 memory=808 CPUtime=0.7 cores=0-7 /proc/20788/task/20805/stat : 20805 (java) S 20786 20786 20609 0 -1 1077944384 4412 0 0 0 68 2 0 0 20 0 28 0 511868296 29458776064 60509 33554432000 4194304 4196468 140725367447088 139722450991600 139724262726274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20806] ppid=20786 vsize=28768336 memory=1764 CPUtime=0 cores=0-7 /proc/20788/task/20806/stat : 20806 (java) S 20786 20786 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511868297 29458776064 60509 33554432000 4194304 4196468 140725367447088 139722449939040 139724262725333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20807] ppid=20786 vsize=28768336 memory=111628 CPUtime=0 cores=0-7 /proc/20788/task/20807/stat : 20807 (java) S 20786 20786 20609 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 511868297 29458776064 60509 33554432000 4194304 4196468 140725367447088 139722448886320 139724262726274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20832] ppid=20786 vsize=28768336 memory=800 CPUtime=15.26 cores=0-7 /proc/20788/task/20832/stat : 20832 (java) R 20786 20786 20609 0 -1 4202560 245 0 0 0 1526 0 0 0 20 0 28 0 511868456 29458776064 60509 33554432000 4194304 4196468 140725367447088 139722436508344 139723898418888 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20833] ppid=20786 vsize=28768336 memory=4104 CPUtime=15.31 cores=0-7 /proc/20788/task/20833/stat : 20833 (java) R 20786 20786 20609 0 -1 4202560 213 0 0 0 1531 0 0 0 20 0 28 0 511868456 29458776064 60509 33554432000 4194304 4196468 140725367447088 139722437562008 139723897899696 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20834] ppid=20786 vsize=28768336 memory=1804 CPUtime=15.08 cores=0-7 /proc/20788/task/20834/stat : 20834 (java) R 20786 20786 20609 0 -1 4202560 280 0 0 0 1508 0 0 0 20 0 28 0 511868456 29458776064 60509 33554432000 4194304 4196468 140725367447088 139722432299544 139723897609696 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20835] ppid=20786 vsize=28768336 memory=920 CPUtime=14.85 cores=0-7 /proc/20788/task/20835/stat : 20835 (java) R 20786 20786 20609 0 -1 4202560 1052 0 0 0 1485 0 0 0 20 0 28 0 511868456 29458776064 60509 33554432000 4194304 4196468 140725367447088 139722435459464 139723898419330 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20836] ppid=20786 vsize=28768336 memory=246104 CPUtime=15.24 cores=0-7 /proc/20788/task/20836/stat : 20836 (java) R 20786 20786 20609 0 -1 4202560 367 0 0 0 1524 0 0 0 20 0 28 0 511868456 29458776064 60509 33554432000 4194304 4196468 140725367447088 139722434404512 139723897900063 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20837] ppid=20786 vsize=28768336 memory=6791534058613427641 CPUtime=14.94 cores=0-7 /proc/20788/task/20837/stat : 20837 (java) R 20786 20786 20609 0 -1 4202560 320 0 0 0 1494 0 0 0 20 0 28 0 511868456 29458776064 60509 33554432000 4194304 4196468 140725367447088 139722439667688 139723898419628 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20838] ppid=20786 vsize=28768336 memory=4872558044660077418 CPUtime=15.17 cores=0-7 /proc/20788/task/20838/stat : 20838 (java) R 20786 20786 20609 0 -1 4202560 645 0 0 0 1516 1 0 0 20 0 28 0 511868456 29458776064 60509 33554432000 4194304 4196468 140725367447088 139722433354432 139723898774811 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 [pid=20788/tid=20839] ppid=20786 vsize=28768336 memory=1804 CPUtime=14.92 cores=0-7 /proc/20788/task/20839/stat : 20839 (java) R 20786 20786 20609 0 -1 4202560 632 0 0 0 1490 2 0 0 20 0 28 0 511868456 29458776064 60509 33554432000 4194304 4196468 140725367447088 139722438615368 139723898418888 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 17702912 140725367448534 140725367448710 140725367448710 140725367451599 0 Current children cumulated CPU time: 132.76 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 243484 KiB Child status: 0 Real time (s): 17.2473 CPU time (s): 133.058 CPU user time (s): 132.762 CPU system time (s): 0.295973 CPU usage (%): 771.472 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 247572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 132.762 system time used= 0.295973 maximum resident set size= 246136 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48756 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5334 involuntary context switches= 2374 # summary of solver processes directly reported to runsolver: # pid: 20786 # total CPU time (s): 133.058 # total CPU user time (s): 132.762 # total CPU system time (s): 0.295973 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.164419 second user time and 0.231667 second system time The end
Begin job on node149 at 2019-09-24 22:17:38 IDJOB=4407143 IDBENCH=136203 IDSOLVER=2871 FILE ID=node149/4407143-1569356297 RUNJOBID= node149-1569356151-20636 PBS_JOBID= 21705101 Free space on /var/tmp= 13480 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj1/BinPacking-sum-n1c1w4m.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407143-1569356297/watcher-4407143-1569356297 -o /var/tmp/evaluation-result-4407143-1569356297/solver-4407143-1569356297 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569356151-20636 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1340954401 HOME/instance-4407143-1569356297.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9af4c2349f4dbdb842cc927ab12812f8 RANDOM SEED=1340954401 node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27699828 kB MemAvailable: 31806044 kB Buffers: 108636 kB Cached: 4090708 kB SwapCached: 42396 kB Active: 2924388 kB Inactive: 1320528 kB Active(anon): 3904 kB Inactive(anon): 94788 kB Active(file): 2920484 kB Inactive(file): 1225740 kB Unevictable: 109108 kB Mlocked: 109108 kB SwapTotal: 67108860 kB SwapFree: 66957768 kB Dirty: 26120 kB Writeback: 16 kB AnonPages: 113468 kB Mapped: 57244 kB Shmem: 44920 kB Slab: 417716 kB SReclaimable: 388452 kB SUnreclaim: 29264 kB KernelStack: 3424 kB PageTables: 5972 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514360 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /var/tmp at the end= 13456 MiB End job on node149 at 2019-09-24 22:17:56