Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 25 | 245.573 | 32.1285 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-6.xml |
MD5SUM | 0bc555941feddabd64880acf40a70a83 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 77.3481 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 72 |
Number of constraints | 97 |
Number of domains | 25 |
Minimum domain size | 3 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":3,"count":1},{"size":4,"count":6},{"size":5,"count":12},{"size":6,"count":5},{"size":25,"count":48}] |
Minimum variable degree | 2 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":2,"count":24},{"degree":25,"count":23},{"degree":26,"count":1},{"degree":27,"count":24}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 25 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":48},{"arity":24,"count":24},{"arity":25,"count":24}] |
Number of extensional constraints | 48 |
Number of intensional constraints | 25 |
Distribution of constraint types | [{"type":"extension","count":48},{"type":"intension","count":25},{"type":"count","count":24}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399914-1568707647.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399914-1568707647.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 4.44/1.75 c solve instance... 5.06/1.86 o -1000 7.45/2.19 o -999 20.71/3.81 o -989 21.43/3.99 o -988 22.09/4.01 o -984 22.83/4.14 o -981 53.79/8.06 o -979 54.53/8.16 o -976 54.53/8.18 o -974 61.65/9.10 o -973 62.42/9.13 o -971 62.42/9.14 o -970 86.98/12.24 o -968 150.75/20.21 o -966 157.97/21.12 o -22 157.97/21.14 o -12 157.97/21.15 o 2 157.97/21.17 o 3 157.97/21.17 o 8 161.79/21.61 o 13 161.79/21.62 o 15 161.79/21.62 o 20 164.14/22.00 o 25 245.52/32.11 s OPTIMUM FOUND 245.52/32.11 v <instantiation> 245.52/32.11 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] </list> 245.52/32.11 v <values>1 2 3 4 10 -1 0 6 7 15 9 -1 -1 -1 8 16 17 23 -1 -1 14 20 21 22 0 1 2 3 4 -1 17 16 15 6 5 -1 -1 -1 14 7 8 9 -1 -1 13 12 11 10 1 -5 5 5 4 0 -6 0 8 1 7 0 0 0 4 -2 -5 4 0 0 3 -5 6 0 </values> 245.52/32.11 v </instantiation>
OK 25
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 (10673 MiB free) memory of node 1: 16384 MiB (15477 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399914-1568707647/watcher-4399914-1568707647 -o /tmp/evaluation-result-4399914-1568707647/solver-4399914-1568707647 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568700680-21726 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1326495785 HOME/instance-4399914-1568707647.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=27200, runsolver pid=27197 Current StackSize limit: 8192 KiB [startup+0.100133 s]* /proc/loadavg: 8.04 8.25 8.28 4/211 27221 /proc/meminfo: memFree=26761672/32770624 swapFree=66941544/67108860 [pid=27200] ppid=27197 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/27200/stat : 27200 (xcsp3-exec) S 27197 27200 21699 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447003355 115843072 364 33554432000 4194304 5098028 140722308229200 140722308227304 140268859978364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38776832 140722308232053 140722308232297 140722308232297 140722308235210 0 /proc/27200/statm: 28282 364 305 221 0 87 0 [pid=27202] ppid=27200 vsize=28227396 memory=30352 CPUtime=0.12 cores=0-7 /proc/27202/stat : 27202 (java) S 27200 27200 21699 0 -1 1077944320 5485 0 0 0 11 1 0 0 20 0 20 0 447003355 28904853504 7588 33554432000 4194304 4196468 140726603821632 140726603804176 140147626209015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 /proc/27202/statm: 7056849 7588 3147 1 0 7019032 0 [pid=27202/tid=27203] ppid=27200 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/27202/task/27203/stat : 27203 (java) R 27200 27200 21699 0 -1 4202560 3400 0 0 0 8 1 0 0 20 0 20 0 447003356 28904853504 7588 33554432000 4194304 4196468 140726603821632 140147630448256 140147610252645 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27204] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27204/stat : 27204 (java) S 27200 27200 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447003356 28904853504 7588 33554432000 4194304 4196468 140726603821632 140147546061712 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27205] ppid=27200 vsize=28227396 memory=140593281234560 CPUtime=0 cores=0-7 /proc/27202/task/27205/stat : 27205 (java) S 27200 27200 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447003356 28904853504 7588 33554432000 4194304 4196468 140726603821632 140147545008912 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27206] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27206/stat : 27206 (java) S 27200 27200 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447003356 28904853504 7588 33554432000 4194304 4196468 140726603821632 140147543956624 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27207] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27207/stat : 27207 (java) S 27200 27200 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447003356 28904853504 7588 33554432000 4194304 4196468 140726603821632 140147542903824 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27208] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27208/stat : 27208 (java) S 27200 27200 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447003356 28904853504 7588 33554432000 4194304 4196468 140726603821632 140147541850512 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27209] ppid=27200 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27202/task/27209/stat : 27209 (java) S 27200 27200 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447003356 28904853504 7588 33554432000 4194304 4196468 140726603821632 140147540797712 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27210] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27210/stat : 27210 (java) S 27200 27200 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447003357 28904853504 7588 33554432000 4194304 4196468 140726603821632 140147539745424 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27211] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27211/stat : 27211 (java) S 27200 27200 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447003357 28904853504 7588 33554432000 4194304 4196468 140726603821632 140147538692624 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27212] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27212/stat : 27212 (java) S 27200 27200 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447003358 28904853504 7588 33554432000 4194304 4196468 140726603821632 140146224552560 140147626220162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27213] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27213/stat : 27213 (java) S 27200 27200 21699 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447003358 28904853504 7588 33554432000 4194304 4196468 140726603821632 140146223498528 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27214] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27214/stat : 27214 (java) S 27200 27200 21699 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447003359 28904853504 7588 33554432000 4194304 4196468 140726603821632 140146222446192 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27215] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27215/stat : 27215 (java) S 27200 27200 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447003361 28904853504 7588 33554432000 4194304 4196468 140726603821632 140146221394512 140147626227611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27216] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27216/stat : 27216 (java) S 27200 27200 21699 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 20 0 447003361 28904853504 7588 33554432000 4194304 4196468 140726603821632 140146220341360 140147626220162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27217] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27217/stat : 27217 (java) S 27200 27200 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447003361 28904853504 7588 33554432000 4194304 4196468 140726603821632 140146219288560 140147626220162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27218] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27218/stat : 27218 (java) R 27200 27200 21699 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 447003361 28904853504 7588 33554432000 4194304 4196468 140726603821632 140146218236272 140147604229817 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27219] ppid=27200 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/27202/task/27219/stat : 27219 (java) R 27200 27200 21699 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 20 0 447003361 28904853504 7588 33554432000 4194304 4196468 140726603821632 140146217183472 140147626220950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27220] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27220/stat : 27220 (java) S 27200 27200 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447003361 28904853504 7588 33554432000 4194304 4196468 140726603821632 140146216131424 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27221] ppid=27200 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27202/task/27221/stat : 27221 (java) S 27200 27200 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447003361 28904853504 7588 33554432000 4194304 4196468 140726603821632 140146215078704 140147626220162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31808 KiB [startup+0.210718 s]* /proc/loadavg: 8.04 8.25 8.28 2/211 27221 /proc/meminfo: memFree=26749528/32770624 swapFree=66941544/67108860 [pid=27200] ppid=27197 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/27200/stat : 27200 (xcsp3-exec) S 27197 27200 21699 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447003355 115843072 364 33554432000 4194304 5098028 140722308229200 140722308227304 140268859978364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38776832 140722308232053 140722308232297 140722308232297 140722308235210 0 /proc/27200/statm: 28282 364 305 221 0 87 0 [pid=27202] ppid=27200 vsize=28227396 memory=41452 CPUtime=0.34 cores=0-7 /proc/27202/stat : 27202 (java) S 27200 27200 21699 0 -1 1077944320 9065 0 0 0 31 3 0 0 20 0 20 0 447003355 28904853504 10363 33554432000 4194304 4196468 140726603821632 140726603804176 140147626209015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 /proc/27202/statm: 7056849 10363 3311 1 0 7019032 0 [pid=27202/tid=27203] ppid=27200 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/27202/task/27203/stat : 27203 (java) R 27200 27200 21699 0 -1 4202560 6224 0 0 0 18 2 0 0 20 0 20 0 447003356 28904853504 10363 33554432000 4194304 4196468 140726603821632 140147630445712 140147611376283 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27204] ppid=27200 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/27202/task/27204/stat : 27204 (java) S 27200 27200 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447003356 28904853504 10363 33554432000 4194304 4196468 140726603821632 140147546061712 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27205] ppid=27200 vsize=28227396 memory=288370969432946304 CPUtime=0 cores=0-7 /proc/27202/task/27205/stat : 27205 (java) S 27200 27200 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447003356 28904853504 10363 33554432000 4194304 4196468 140726603821632 140147545008912 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27206] ppid=27200 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27202/task/27206/stat : 27206 (java) S 27200 27200 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447003356 28904853504 10363 33554432000 4194304 4196468 140726603821632 140147543956624 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27207] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27207/stat : 27207 (java) S 27200 27200 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447003356 28904853504 10363 33554432000 4194304 4196468 140726603821632 140147542903824 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27208] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27208/stat : 27208 (java) S 27200 27200 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447003356 28904853504 10363 33554432000 4194304 4196468 140726603821632 140147541850512 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27209] ppid=27200 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27202/task/27209/stat : 27209 (java) S 27200 27200 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447003356 28904853504 10363 33554432000 4194304 4196468 140726603821632 140147540797712 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27210] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27210/stat : 27210 (java) S 27200 27200 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447003357 28904853504 10363 33554432000 4194304 4196468 140726603821632 140147539745424 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27211] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27211/stat : 27211 (java) S 27200 27200 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447003357 28904853504 10363 33554432000 4194304 4196468 140726603821632 140147538692624 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27212] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27212/stat : 27212 (java) S 27200 27200 21699 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447003358 28904853504 10363 33554432000 4194304 4196468 140726603821632 140146224552560 140147626220162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27213] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27213/stat : 27213 (java) S 27200 27200 21699 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447003358 28904853504 10363 33554432000 4194304 4196468 140726603821632 140146223498528 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27214] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27214/stat : 27214 (java) S 27200 27200 21699 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447003359 28904853504 10363 33554432000 4194304 4196468 140726603821632 140146222446192 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27215] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27215/stat : 27215 (java) S 27200 27200 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447003361 28904853504 10363 33554432000 4194304 4196468 140726603821632 140146221394512 140147626227611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27216] ppid=27200 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/27202/task/27216/stat : 27216 (java) S 27200 27200 21699 0 -1 1077944384 473 0 0 0 1 0 0 0 20 0 20 0 447003361 28904853504 10363 33554432000 4194304 4196468 140726603821632 140146220341360 140147626220162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27217] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27217/stat : 27217 (java) S 27200 27200 21699 0 -1 1077944384 184 0 0 0 0 0 0 0 20 0 20 0 447003361 28904853504 10363 33554432000 4194304 4196468 140726603821632 140146219288560 140147626220162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27218] ppid=27200 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/27202/task/27218/stat : 27218 (java) S 27200 27200 21699 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 20 0 447003361 28904853504 10363 33554432000 4194304 4196468 140726603821632 140146218236272 140147626220162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27219] ppid=27200 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/27202/task/27219/stat : 27219 (java) R 27200 27200 21699 0 -1 4202560 737 0 0 0 8 0 0 0 20 0 20 0 447003361 28904853504 10363 33554432000 4194304 4196468 140726603821632 140146217183472 140147626230362 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27220] ppid=27200 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27220/stat : 27220 (java) S 27200 27200 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447003361 28904853504 10363 33554432000 4194304 4196468 140726603821632 140146216131424 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27221] ppid=27200 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27202/task/27221/stat : 27221 (java) S 27200 27200 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447003361 28904853504 10363 33554432000 4194304 4196468 140726603821632 140146215078704 140147626220162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42908 KiB [startup+0.310527 s]* /proc/loadavg: 7.56 8.15 8.25 3/211 27221 /proc/meminfo: memFree=26742988/32770624 swapFree=66941544/67108860 [pid=27200] ppid=27197 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/27200/stat : 27200 (xcsp3-exec) S 27197 27200 21699 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447003355 115843072 364 33554432000 4194304 5098028 140722308229200 140722308227304 140268859978364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38776832 140722308232053 140722308232297 140722308232297 140722308235210 0 /proc/27200/statm: 28282 364 305 221 0 87 0 [pid=27202] ppid=27200 vsize=28231652 memory=50560 CPUtime=0.52 cores=0-7 /proc/27202/stat : 27202 (java) S 27200 27200 21699 0 -1 1077944320 10477 0 0 0 48 4 0 0 20 0 20 0 447003355 28909211648 12640 33554432000 4194304 4196468 140726603821632 140726603804176 140147626209015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 /proc/27202/statm: 7057913 12640 3352 1 0 7019032 0 [pid=27202/tid=27203] ppid=27200 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/27202/task/27203/stat : 27203 (java) R 27200 27200 21699 0 -1 4202560 7374 0 0 0 27 2 0 0 20 0 20 0 447003356 28909211648 12640 33554432000 4194304 4196468 140726603821632 140147630440128 140147626230941 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27204] ppid=27200 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27204/stat : 27204 (java) S 27200 27200 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447003356 28909211648 12640 33554432000 4194304 4196468 140726603821632 140147546061712 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27205] ppid=27200 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27205/stat : 27205 (java) S 27200 27200 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447003356 28909211648 12640 33554432000 4194304 4196468 140726603821632 140147545008912 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27206] ppid=27200 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27206/stat : 27206 (java) S 27200 27200 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447003356 28909211648 12640 33554432000 4194304 4196468 140726603821632 140147543956624 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27207] ppid=27200 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27207/stat : 27207 (java) S 27200 27200 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447003356 28909211648 12640 33554432000 4194304 4196468 140726603821632 140147542903824 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27208] ppid=27200 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/27202/task/27208/stat : 27208 (java) S 27200 27200 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447003356 28909211648 12640 33554432000 4194304 4196468 140726603821632 140147541850512 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27209] ppid=27200 vsize=28231652 memory=140593137284015 CPUtime=0 cores=0-7 /proc/27202/task/27209/stat : 27209 (java) S 27200 27200 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447003356 28909211648 12640 33554432000 4194304 4196468 140726603821632 140147540797712 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27210] ppid=27200 vsize=28231652 memory=140593137286320 CPUtime=0 cores=0-7 /proc/27202/task/27210/stat : 27210 (java) S 27200 27200 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447003357 28909211648 12640 33554432000 4194304 4196468 140726603821632 140147539745424 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27211] ppid=27200 vsize=28231652 memory=140593137288624 CPUtime=0 cores=0-7 /proc/27202/task/27211/stat : 27211 (java) S 27200 27200 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447003357 28909211648 12640 33554432000 4194304 4196468 140726603821632 140147538692624 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27212] ppid=27200 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27212/stat : 27212 (java) S 27200 27200 21699 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447003358 28909211648 12640 33554432000 4194304 4196468 140726603821632 140146224552560 140147626220162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27213] ppid=27200 vsize=28231652 memory=281186274584208 CPUtime=0 cores=0-7 /proc/27202/task/27213/stat : 27213 (java) S 27200 27200 21699 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447003358 28909211648 12640 33554432000 4194304 4196468 140726603821632 140146223498528 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27214] ppid=27200 vsize=28231652 memory=281186274591120 CPUtime=0 cores=0-7 /proc/27202/task/27214/stat : 27214 (java) S 27200 27200 21699 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447003359 28909211648 12640 33554432000 4194304 4196468 140726603821632 140146222446192 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27215] ppid=27200 vsize=28231652 memory=281186274532272 CPUtime=0 cores=0-7 /proc/27202/task/27215/stat : 27215 (java) S 27200 27200 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447003361 28909211648 12640 33554432000 4194304 4196468 140726603821632 140146221394512 140147626227611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27216] ppid=27200 vsize=28231652 memory=281186274604944 CPUtime=0.02 cores=0-7 /proc/27202/task/27216/stat : 27216 (java) S 27200 27200 21699 0 -1 1077944384 491 0 0 0 2 0 0 0 20 0 20 0 447003361 28909211648 12640 33554432000 4194304 4196468 140726603821632 140146220341360 140147626220162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27217] ppid=27200 vsize=28231652 memory=281186274611856 CPUtime=0.03 cores=0-7 /proc/27202/task/27217/stat : 27217 (java) R 27200 27200 21699 0 -1 4202560 310 0 0 0 3 0 0 0 20 0 20 0 447003361 28909211648 12640 33554432000 4194304 4196468 140726603821632 140146219278944 140147603804448 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27218] ppid=27200 vsize=28231652 memory=281186274609552 CPUtime=0.02 cores=0-7 /proc/27202/task/27218/stat : 27218 (java) S 27200 27200 21699 0 -1 1077944384 134 0 0 0 2 0 0 0 20 0 20 0 447003361 28909211648 12640 33554432000 4194304 4196468 140726603821632 140146218236272 140147626220162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27219] ppid=27200 vsize=28231652 memory=281186274625712 CPUtime=0.12 cores=0-7 /proc/27202/task/27219/stat : 27219 (java) S 27200 27200 21699 0 -1 1077944384 853 0 0 0 12 0 0 0 20 0 20 0 447003361 28909211648 12640 33554432000 4194304 4196468 140726603821632 140146217183472 140147626220162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27220] ppid=27200 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27220/stat : 27220 (java) S 27200 27200 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447003361 28909211648 12640 33554432000 4194304 4196468 140726603821632 140146216131424 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27221] ppid=27200 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/27202/task/27221/stat : 27221 (java) S 27200 27200 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447003361 28909211648 12640 33554432000 4194304 4196468 140726603821632 140146215078704 140147626220162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 52016 KiB [startup+0.701003 s] /proc/loadavg: 7.56 8.15 8.25 5/211 27221 /proc/meminfo: memFree=26711476/32770624 swapFree=66941544/67108860 [pid=27200] ppid=27197 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/27200/stat : 27200 (xcsp3-exec) S 27197 27200 21699 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447003355 115843072 364 33554432000 4194304 5098028 140722308229200 140722308227304 140268859978364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38776832 140722308232053 140722308232297 140722308232297 140722308235210 0 /proc/27200/statm: 28282 364 305 221 0 87 0 [pid=27202] ppid=27200 vsize=28233776 memory=116496 CPUtime=1.98 cores=0-7 /proc/27202/stat : 27202 (java) S 27200 27200 21699 0 -1 1077944320 15270 0 0 0 192 6 0 0 20 0 20 0 447003355 28911386624 29124 33554432000 4194304 4196468 140726603821632 140726603804176 140147626209015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 /proc/27202/statm: 7058444 29124 3459 1 0 7019544 0 [pid=27202/tid=27203] ppid=27200 vsize=28233776 memory=281186274983600 CPUtime=0.67 cores=0-7 /proc/27202/task/27203/stat : 27203 (java) R 27200 27200 21699 0 -1 4202560 8346 0 0 0 64 3 0 0 20 0 20 0 447003356 28911386624 29124 33554432000 4194304 4196468 140726603821632 140147630445344 140147219875433 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27204] ppid=27200 vsize=28233776 memory=140593137492848 CPUtime=0 cores=0-7 /proc/27202/task/27204/stat : 27204 (java) S 27200 27200 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447003356 28911386624 29124 33554432000 4194304 4196468 140726603821632 140147546061712 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27205] ppid=27200 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27205/stat : 27205 (java) S 27200 27200 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447003356 28911386624 29124 33554432000 4194304 4196468 140726603821632 140147545008912 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27206] ppid=27200 vsize=28233776 memory=6004 CPUtime=0 cores=0-7 /proc/27202/task/27206/stat : 27206 (java) S 27200 27200 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447003356 28911386624 29124 33554432000 4194304 4196468 140726603821632 140147543956624 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 ################ # More data... # ################ [pid=27202/tid=27219] ppid=27200 vsize=28769364 memory=8391307038036598647 CPUtime=0.92 cores=0-7 /proc/27202/task/27219/stat : 27219 (java) S 27200 27200 21699 0 -1 1077944384 9051 0 0 0 90 2 0 0 20 0 28 0 447003361 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146217183472 140147626220162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27220] ppid=27200 vsize=28769364 memory=1752 CPUtime=0 cores=0-7 /proc/27202/task/27220/stat : 27220 (java) S 27200 27200 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447003361 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146216131424 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27221] ppid=27200 vsize=28769364 memory=1056 CPUtime=0.01 cores=0-7 /proc/27202/task/27221/stat : 27221 (java) R 27200 27200 21699 0 -1 1077944384 416 0 0 0 0 1 0 0 20 0 28 0 447003361 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146215078704 140147626220162 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27409] ppid=27200 vsize=28769364 memory=1556 CPUtime=9.58 cores=0-7 /proc/27202/task/27409/stat : 27409 (java) R 27200 27200 21699 0 -1 4202560 376 0 0 0 958 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146200604216 140147222839004 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27410] ppid=27200 vsize=28769364 memory=11632 CPUtime=9.56 cores=0-7 /proc/27202/task/27410/stat : 27410 (java) R 27200 27200 21699 0 -1 4202560 224 0 0 0 956 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146199552552 140147222838917 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27411] ppid=27200 vsize=28769364 memory=1732 CPUtime=9.58 cores=0-7 /proc/27202/task/27411/stat : 27411 (java) R 27200 27200 21699 0 -1 4202560 525 0 0 0 958 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146197446568 140147222839062 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27412] ppid=27200 vsize=28769364 memory=1088 CPUtime=9.57 cores=0-7 /proc/27202/task/27412/stat : 27412 (java) R 27200 27200 21699 0 -1 4202560 879 0 0 0 957 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146196395272 140147222838718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27413] ppid=27200 vsize=28769364 memory=988 CPUtime=9.47 cores=0-7 /proc/27202/task/27413/stat : 27413 (java) R 27200 27200 21699 0 -1 4202560 504 0 0 0 947 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146203762856 140147222839046 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27414] ppid=27200 vsize=28769364 memory=780 CPUtime=9.53 cores=0-7 /proc/27202/task/27414/stat : 27414 (java) R 27200 27200 21699 0 -1 4202560 501 0 0 0 953 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146201657136 140147222838686 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27415] ppid=27200 vsize=28769364 memory=6004 CPUtime=9.57 cores=0-7 /proc/27202/task/27415/stat : 27415 (java) R 27200 27200 21699 0 -1 4202560 290 0 0 0 957 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146195341736 140147222839013 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27416] ppid=27200 vsize=28769364 memory=624 CPUtime=9.53 cores=0-7 /proc/27202/task/27416/stat : 27416 (java) R 27200 27200 21699 0 -1 4202560 572 0 0 0 953 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146202710392 140147222838925 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 Current children cumulated CPU time: 241.46 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 455228 KiB [startup+32.0021 s]* /proc/loadavg: 7.68 8.12 8.23 9/219 27416 /proc/meminfo: memFree=26338304/32770624 swapFree=66941544/67108860 [pid=27200] ppid=27197 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/27200/stat : 27200 (xcsp3-exec) S 27197 27200 21699 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447003355 115843072 364 33554432000 4194304 5098028 140722308229200 140722308227304 140268859978364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38776832 140722308232053 140722308232297 140722308232297 140722308235210 0 /proc/27200/statm: 28282 364 305 221 0 87 0 [pid=27202] ppid=27200 vsize=28769364 memory=453772 CPUtime=244.73 cores=0-7 /proc/27202/stat : 27202 (java) S 27200 27200 21699 0 -1 1077944320 53559 0 0 0 24406 67 0 0 20 0 28 0 447003355 29459828736 113443 33554432000 4194304 4196468 140726603821632 140726603804176 140147626209015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 /proc/27202/statm: 7192341 113443 3527 1 0 7153441 0 [pid=27202/tid=27203] ppid=27200 vsize=28769364 memory=3620 CPUtime=1.67 cores=0-7 /proc/27202/task/27203/stat : 27203 (java) S 27200 27200 21699 0 -1 1077944384 9479 0 0 0 160 7 0 0 20 0 28 0 447003356 29459828736 113443 33554432000 4194304 4196468 140726603821632 140147630449792 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27204] ppid=27200 vsize=28769364 memory=48132 CPUtime=0.07 cores=0-7 /proc/27202/task/27204/stat : 27204 (java) S 27200 27200 21699 0 -1 1077944384 223 0 0 0 3 4 0 0 20 0 28 0 447003356 29459828736 113443 33554432000 4194304 4196468 140726603821632 140147546061712 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27205] ppid=27200 vsize=28769364 memory=1988 CPUtime=0.08 cores=0-7 /proc/27202/task/27205/stat : 27205 (java) S 27200 27200 21699 0 -1 1077944384 162 0 0 0 4 4 0 0 20 0 28 0 447003356 29459828736 113443 33554432000 4194304 4196468 140726603821632 140147545008912 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27206] ppid=27200 vsize=28769364 memory=6791534058613427641 CPUtime=0.06 cores=0-7 /proc/27202/task/27206/stat : 27206 (java) S 27200 27200 21699 0 -1 1077944384 153 0 0 0 3 3 0 0 20 0 28 0 447003356 29459828736 113443 33554432000 4194304 4196468 140726603821632 140147543956624 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27207] ppid=27200 vsize=28769364 memory=453772 CPUtime=0.07 cores=0-7 /proc/27202/task/27207/stat : 27207 (java) S 27200 27200 21699 0 -1 1077944384 158 0 0 0 3 4 0 0 20 0 28 0 447003356 29459828736 113443 33554432000 4194304 4196468 140726603821632 140147542903824 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27208] ppid=27200 vsize=28769364 memory=1988 CPUtime=0.07 cores=0-7 /proc/27202/task/27208/stat : 27208 (java) S 27200 27200 21699 0 -1 1077944384 406 0 0 0 3 4 0 0 20 0 28 0 447003356 29459828736 113443 33554432000 4194304 4196468 140726603821632 140147541850512 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27209] ppid=27200 vsize=28769364 memory=988 CPUtime=0.07 cores=0-7 /proc/27202/task/27209/stat : 27209 (java) S 27200 27200 21699 0 -1 1077944384 138 0 0 0 3 4 0 0 20 0 28 0 447003356 29459828736 113443 33554432000 4194304 4196468 140726603821632 140147540797712 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27210] ppid=27200 vsize=28769364 memory=1428 CPUtime=0.07 cores=0-7 /proc/27202/task/27210/stat : 27210 (java) S 27200 27200 21699 0 -1 1077944384 188 0 0 0 3 4 0 0 20 0 28 0 447003357 29459828736 113443 33554432000 4194304 4196468 140726603821632 140147539745424 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27211] ppid=27200 vsize=28769364 memory=1752 CPUtime=0.08 cores=0-7 /proc/27202/task/27211/stat : 27211 (java) S 27200 27200 21699 0 -1 1077944384 362 0 0 0 4 4 0 0 20 0 28 0 447003357 29459828736 113443 33554432000 4194304 4196468 140726603821632 140147538692624 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27212] ppid=27200 vsize=28769364 memory=1056 CPUtime=0.02 cores=0-7 /proc/27202/task/27212/stat : 27212 (java) S 27200 27200 21699 0 -1 1077944384 672 0 0 0 2 0 0 0 20 0 28 0 447003358 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146224552560 140147626220162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27213] ppid=27200 vsize=28769364 memory=430668 CPUtime=0 cores=0-7 /proc/27202/task/27213/stat : 27213 (java) S 27200 27200 21699 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 447003358 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146223498592 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27214] ppid=27200 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/27202/task/27214/stat : 27214 (java) S 27200 27200 21699 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 447003359 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146222446208 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27215] ppid=27200 vsize=28769364 memory=29816 CPUtime=0 cores=0-7 /proc/27202/task/27215/stat : 27215 (java) S 27200 27200 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447003361 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146221394512 140147626227611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27216] ppid=27200 vsize=28769364 memory=1385 CPUtime=1.94 cores=0-7 /proc/27202/task/27216/stat : 27216 (java) S 27200 27200 21699 0 -1 1077944384 6498 0 0 0 192 2 0 0 20 0 28 0 447003361 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146220341360 140147626220162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27217] ppid=27200 vsize=28769364 memory=1 CPUtime=1.89 cores=0-7 /proc/27202/task/27217/stat : 27217 (java) S 27200 27200 21699 0 -1 1077944384 5852 0 0 0 187 2 0 0 20 0 28 0 447003361 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146219288560 140147626220162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27218] ppid=27200 vsize=28769364 memory=1456 CPUtime=1.87 cores=0-7 /proc/27202/task/27218/stat : 27218 (java) S 27200 27200 21699 0 -1 1077944384 6410 0 0 0 185 2 0 0 20 0 28 0 447003361 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146218236272 140147626220162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27219] ppid=27200 vsize=28769364 memory=1456 CPUtime=0.92 cores=0-7 /proc/27202/task/27219/stat : 27219 (java) S 27200 27200 21699 0 -1 1077944384 9051 0 0 0 90 2 0 0 20 0 28 0 447003361 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146217183472 140147626220162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27220] ppid=27200 vsize=28769364 memory=453772 CPUtime=0 cores=0-7 /proc/27202/task/27220/stat : 27220 (java) S 27200 27200 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447003361 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146216131424 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27221] ppid=27200 vsize=28769364 memory=1752 CPUtime=0.01 cores=0-7 /proc/27202/task/27221/stat : 27221 (java) S 27200 27200 21699 0 -1 1077944384 416 0 0 0 0 1 0 0 20 0 28 0 447003361 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146215078704 140147626220162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27409] ppid=27200 vsize=28769364 memory=1056 CPUtime=9.99 cores=0-7 /proc/27202/task/27409/stat : 27409 (java) R 27200 27200 21699 0 -1 4202560 377 0 0 0 999 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146200604216 140147222839055 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27410] ppid=27200 vsize=28769364 memory=1556 CPUtime=9.97 cores=0-7 /proc/27202/task/27410/stat : 27410 (java) R 27200 27200 21699 0 -1 4202560 224 0 0 0 997 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146199552552 140147222838922 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27411] ppid=27200 vsize=28769364 memory=11632 CPUtime=9.99 cores=0-7 /proc/27202/task/27411/stat : 27411 (java) R 27200 27200 21699 0 -1 4202560 527 0 0 0 999 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146197446568 140147222838752 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27412] ppid=27200 vsize=28769364 memory=1732 CPUtime=9.98 cores=0-7 /proc/27202/task/27412/stat : 27412 (java) R 27200 27200 21699 0 -1 4202560 879 0 0 0 998 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146196395272 140147222839027 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27413] ppid=27200 vsize=28769364 memory=1088 CPUtime=9.86 cores=0-7 /proc/27202/task/27413/stat : 27413 (java) R 27200 27200 21699 0 -1 4202560 504 0 0 0 986 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146203762856 140147222838945 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27414] ppid=27200 vsize=28769364 memory=988 CPUtime=9.94 cores=0-7 /proc/27202/task/27414/stat : 27414 (java) R 27200 27200 21699 0 -1 4202560 501 0 0 0 994 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146201657136 140147222838917 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27415] ppid=27200 vsize=28769364 memory=780 CPUtime=9.98 cores=0-7 /proc/27202/task/27415/stat : 27415 (java) R 27200 27200 21699 0 -1 4202560 290 0 0 0 998 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146195341736 140147222838862 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27416] ppid=27200 vsize=28769364 memory=1456 CPUtime=9.94 cores=0-7 /proc/27202/task/27416/stat : 27416 (java) R 27200 27200 21699 0 -1 4202560 572 0 0 0 994 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146202710392 140147222838764 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 Current children cumulated CPU time: 244.73 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 455228 KiB [startup+32.1111 s] /proc/loadavg: 7.68 8.12 8.23 9/219 27416 /proc/meminfo: memFree=26338304/32770624 swapFree=66941544/67108860 [pid=27200] ppid=27197 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/27200/stat : 27200 (xcsp3-exec) S 27197 27200 21699 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447003355 115843072 364 33554432000 4194304 5098028 140722308229200 140722308227304 140268859978364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38776832 140722308232053 140722308232297 140722308232297 140722308235210 0 /proc/27200/statm: 28282 364 305 221 0 87 0 [pid=27202] ppid=27200 vsize=28769364 memory=453772 CPUtime=245.52 cores=0-7 /proc/27202/stat : 27202 (java) S 27200 27200 21699 0 -1 1077944320 53561 0 0 0 24485 67 0 0 20 0 28 0 447003355 29459828736 113443 33554432000 4194304 4196468 140726603821632 140726603804176 140147626209015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 /proc/27202/statm: 7192341 113443 3527 1 0 7153441 0 [pid=27202/tid=27203] ppid=27200 vsize=28769364 memory=453772 CPUtime=1.67 cores=0-7 /proc/27202/task/27203/stat : 27203 (java) S 27200 27200 21699 0 -1 1077944384 9479 0 0 0 160 7 0 0 20 0 28 0 447003356 29459828736 113443 33554432000 4194304 4196468 140726603821632 140147630449792 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27204] ppid=27200 vsize=28769364 memory=1456 CPUtime=0.07 cores=0-7 /proc/27202/task/27204/stat : 27204 (java) S 27200 27200 21699 0 -1 1077944384 223 0 0 0 3 4 0 0 20 0 28 0 447003356 29459828736 113443 33554432000 4194304 4196468 140726603821632 140147546061712 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27205] ppid=27200 vsize=28769364 memory=1456 CPUtime=0.08 cores=0-7 /proc/27202/task/27205/stat : 27205 (java) S 27200 27200 21699 0 -1 1077944384 162 0 0 0 4 4 0 0 20 0 28 0 447003356 29459828736 113443 33554432000 4194304 4196468 140726603821632 140147545008912 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27206] ppid=27200 vsize=28769364 memory=0 CPUtime=0.06 cores=0-7 /proc/27202/task/27206/stat : 27206 (java) S 27200 27200 21699 0 -1 1077944384 153 0 0 0 3 3 0 0 20 0 28 0 447003356 29459828736 113443 33554432000 4194304 4196468 140726603821632 140147543956624 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27207] ppid=27200 vsize=28769364 memory=1436 CPUtime=0.07 cores=0-7 /proc/27202/task/27207/stat : 27207 (java) S 27200 27200 21699 0 -1 1077944384 158 0 0 0 3 4 0 0 20 0 28 0 447003356 29459828736 113443 33554432000 4194304 4196468 140726603821632 140147542903824 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27208] ppid=27200 vsize=28769364 memory=804 CPUtime=0.07 cores=0-7 /proc/27202/task/27208/stat : 27208 (java) S 27200 27200 21699 0 -1 1077944384 406 0 0 0 3 4 0 0 20 0 28 0 447003356 29459828736 113443 33554432000 4194304 4196468 140726603821632 140147541850512 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27209] ppid=27200 vsize=28769364 memory=430160 CPUtime=0.07 cores=0-7 /proc/27202/task/27209/stat : 27209 (java) S 27200 27200 21699 0 -1 1077944384 138 0 0 0 3 4 0 0 20 0 28 0 447003356 29459828736 113443 33554432000 4194304 4196468 140726603821632 140147540797712 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27210] ppid=27200 vsize=28769364 memory=428556 CPUtime=0.07 cores=0-7 /proc/27202/task/27210/stat : 27210 (java) S 27200 27200 21699 0 -1 1077944384 188 0 0 0 3 4 0 0 20 0 28 0 447003357 29459828736 113443 33554432000 4194304 4196468 140726603821632 140147539745424 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27211] ppid=27200 vsize=28769364 memory=0 CPUtime=0.08 cores=0-7 /proc/27202/task/27211/stat : 27211 (java) S 27200 27200 21699 0 -1 1077944384 362 0 0 0 4 4 0 0 20 0 28 0 447003357 29459828736 113443 33554432000 4194304 4196468 140726603821632 140147538692624 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27212] ppid=27200 vsize=28769364 memory=7524501585479952235 CPUtime=0.02 cores=0-7 /proc/27202/task/27212/stat : 27212 (java) S 27200 27200 21699 0 -1 1077944384 672 0 0 0 2 0 0 0 20 0 28 0 447003358 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146224552560 140147626220162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27213] ppid=27200 vsize=28769364 memory=1456 CPUtime=0 cores=0-7 /proc/27202/task/27213/stat : 27213 (java) S 27200 27200 21699 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 447003358 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146223498592 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27214] ppid=27200 vsize=28769364 memory=453236 CPUtime=0 cores=0-7 /proc/27202/task/27214/stat : 27214 (java) S 27200 27200 21699 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 447003359 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146222446208 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27215] ppid=27200 vsize=28769364 memory=430160 CPUtime=0 cores=0-7 /proc/27202/task/27215/stat : 27215 (java) S 27200 27200 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447003361 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146221394512 140147626227611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27216] ppid=27200 vsize=28769364 memory=428944 CPUtime=1.94 cores=0-7 /proc/27202/task/27216/stat : 27216 (java) S 27200 27200 21699 0 -1 1077944384 6498 0 0 0 192 2 0 0 20 0 28 0 447003361 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146220341360 140147626220162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27217] ppid=27200 vsize=28769364 memory=12040 CPUtime=1.89 cores=0-7 /proc/27202/task/27217/stat : 27217 (java) S 27200 27200 21699 0 -1 1077944384 5852 0 0 0 187 2 0 0 20 0 28 0 447003361 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146219288560 140147626220162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27218] ppid=27200 vsize=28769364 memory=28148 CPUtime=1.87 cores=0-7 /proc/27202/task/27218/stat : 27218 (java) S 27200 27200 21699 0 -1 1077944384 6410 0 0 0 185 2 0 0 20 0 28 0 447003361 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146218236272 140147626220162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27219] ppid=27200 vsize=28769364 memory=1456 CPUtime=0.92 cores=0-7 /proc/27202/task/27219/stat : 27219 (java) S 27200 27200 21699 0 -1 1077944384 9051 0 0 0 90 2 0 0 20 0 28 0 447003361 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146217183472 140147626220162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27220] ppid=27200 vsize=28769364 memory=1456 CPUtime=0 cores=0-7 /proc/27202/task/27220/stat : 27220 (java) S 27200 27200 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447003361 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146216131424 140147626219221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27221] ppid=27200 vsize=28769364 memory=453772 CPUtime=0.01 cores=0-7 /proc/27202/task/27221/stat : 27221 (java) S 27200 27200 21699 0 -1 1077944384 416 0 0 0 0 1 0 0 20 0 28 0 447003361 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146215078704 140147626220162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27409] ppid=27200 vsize=28769364 memory=1456 CPUtime=10.09 cores=0-7 /proc/27202/task/27409/stat : 27409 (java) R 27200 27200 21699 0 -1 4202560 377 0 0 0 1009 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146200604216 140147222839004 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27410] ppid=27200 vsize=28769364 memory=0 CPUtime=10.07 cores=0-7 /proc/27202/task/27410/stat : 27410 (java) R 27200 27200 21699 0 -1 4202560 226 0 0 0 1007 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146199552552 140147222839004 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27411] ppid=27200 vsize=28769364 memory=7164211403751450215 CPUtime=10.09 cores=0-7 /proc/27202/task/27411/stat : 27411 (java) R 27200 27200 21699 0 -1 4202560 527 0 0 0 1009 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146197446568 140147222838850 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27412] ppid=27200 vsize=28769364 memory=235467287090726 CPUtime=10.08 cores=0-7 /proc/27202/task/27412/stat : 27412 (java) R 27200 27200 21699 0 -1 4202560 879 0 0 0 1008 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146196395272 140147222838917 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27413] ppid=27200 vsize=28769364 memory=453772 CPUtime=9.96 cores=0-7 /proc/27202/task/27413/stat : 27413 (java) R 27200 27200 21699 0 -1 4202560 504 0 0 0 996 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146203762856 140147222839004 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27414] ppid=27200 vsize=28769364 memory=1456 CPUtime=10.04 cores=0-7 /proc/27202/task/27414/stat : 27414 (java) R 27200 27200 21699 0 -1 4202560 501 0 0 0 1004 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146201657136 140147222838718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27415] ppid=27200 vsize=28769364 memory=453772 CPUtime=10.08 cores=0-7 /proc/27202/task/27415/stat : 27415 (java) R 27200 27200 21699 0 -1 4202560 290 0 0 0 1008 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146195341736 140147222838917 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 [pid=27202/tid=27416] ppid=27200 vsize=28769364 memory=1988 CPUtime=10.04 cores=0-7 /proc/27202/task/27416/stat : 27416 (java) R 27200 27200 21699 0 -1 4202560 572 0 0 0 1004 0 0 0 20 0 28 0 447005556 29459828736 113443 33554432000 4194304 4196468 140726603821632 140146202710392 140147223476997 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140726603830250 140726603830422 140726603830422 140726603833295 0 Current children cumulated CPU time: 245.52 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 455228 KiB Child status: 0 Real time (s): 32.1285 CPU time (s): 245.573 CPU user time (s): 244.888 CPU system time (s): 0.6853 CPU usage (%): 764.347 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 455228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 244.888 system time used= 0.6853 maximum resident set size= 454172 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55596 page faults= 0 swaps= 0 block input operations= 0 block output operations= 232 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7546 involuntary context switches= 3563 # summary of solver processes directly reported to runsolver: # pid: 27200 # total CPU time (s): 245.573 # total CPU user time (s): 244.888 # total CPU system time (s): 0.6853 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.30143 second user time and 0.414245 second system time The end
Begin job on node149 at 2019-09-17 10:06:49 IDJOB=4399914 IDBENCH=127979 IDSOLVER=2854 FILE ID=node149/4399914-1568707647 RUNJOBID= node149-1568700680-21726 PBS_JOBID= 21703901 Free space on /tmp= 61420 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-24-4-6-6.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-4399914-1568707647/watcher-4399914-1568707647 -o /tmp/evaluation-result-4399914-1568707647/solver-4399914-1568707647 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568700680-21726 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1326495785 HOME/instance-4399914-1568707647.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0bc555941feddabd64880acf40a70a83 RANDOM SEED=1326495785 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: 26779952 kB MemAvailable: 31843740 kB Buffers: 112756 kB Cached: 5252544 kB SwapCached: 61056 kB Active: 2426060 kB Inactive: 3002060 kB Active(anon): 4688 kB Inactive(anon): 106216 kB Active(file): 2421372 kB Inactive(file): 2895844 kB Unevictable: 111204 kB Mlocked: 111204 kB SwapTotal: 67108860 kB SwapFree: 66941544 kB Dirty: 26936 kB Writeback: 0 kB AnonPages: 108440 kB Mapped: 48412 kB Shmem: 40000 kB Slab: 153748 kB SReclaimable: 124816 kB SUnreclaim: 28932 kB KernelStack: 3872 kB PageTables: 5368 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506232 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 63488 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 /tmp at the end= 61396 MiB End job on node149 at 2019-09-17 10:07:21