Trace number 4393695

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 2019-06-14 parallelUNSAT 14184.1 1791.12

General information on the benchmark

NameFischer/Fischer-m1-s1/
Fischer-09-06-fair.xml
MD5SUM15d83a7cac0db09c33f3aa76b650ee28
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark14.6037
Satisfiable
(Un)Satisfiability was proved
Number of variables14436
Number of constraints13661
Number of domains3
Minimum domain size2
Maximum domain size20001
Distribution of domain sizes[{"size":2,"count":1946},{"size":201,"count":70},{"size":20001,"count":12420}]
Minimum variable degree2
Maximum variable degree118
Distribution of variable degrees[{"degree":2,"count":12752},{"degree":3,"count":324},{"degree":4,"count":33},{"degree":5,"count":162},{"degree":6,"count":98},{"degree":7,"count":279},{"degree":8,"count":371},{"degree":9,"count":222},{"degree":10,"count":33},{"degree":11,"count":66},{"degree":12,"count":9},{"degree":13,"count":54},{"degree":20,"count":1},{"degree":29,"count":7},{"degree":47,"count":7},{"degree":49,"count":4},{"degree":58,"count":1},{"degree":66,"count":6},{"degree":103,"count":2},{"degree":104,"count":4},{"degree":118,"count":1}]
Minimum constraint arity1
Maximum constraint arity3
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":2246},{"arity":3,"count":11413}]
Number of extensional constraints0
Number of intensional constraints13661
Distribution of constraint types[{"type":"intension","count":13661}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393695-1568443313.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4393695-1568443313.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.29	c parse instance...
38.33/9.45	c solve instance...
14183.53/1791.07	s UNSATISFIABLE

Verifier Data


Watcher Data 

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 (15082 MiB free)
  memory of node 1: 16384 MiB (15461 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393695-1568443313/watcher-4393695-1568443313 -o /tmp/evaluation-result-4393695-1568443313/solver-4393695-1568443313 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568439039-12728 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 406520292 HOME/instance-4393695-1568443313.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
Current StackSize limit: 8192 KiB

solver pid=17102, runsolver pid=17099

[startup+0.100142 s]*
/proc/loadavg: 4.37 5.91 5.86 3/211 17124
/proc/meminfo: memFree=31262196/32770624 swapFree=66919468/67108860
[pid=17102] ppid=17099 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17102/stat : 17102 (xcsp3-exec) S 17099 17102 12701 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 420269165 115843072 363 33554432000 4194304 5098028 140726050442192 140726050440296 139700460749436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16048128 140726050444150 140726050444393 140726050444393 140726050447306 0
/proc/17102/statm: 28282 363 305 221 0 87 0
[pid=17104] ppid=17102 vsize=28227388 memory=29156 CPUtime=0.12 cores=0-7
/proc/17104/stat : 17104 (java) S 17102 17102 12701 0 -1 1077944320 5687 0 0 0 11 1 0 0 20 0 20 0 420269165 28904845312 7289 33554432000 4194304 4196468 140734377857760 140734377840304 140055654182647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
/proc/17104/statm: 7056847 7289 3160 1 0 7019032 0
[pid=17104/tid=17105] ppid=17102 vsize=28227388 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/17104/task/17105/stat : 17105 (java) R 17102 17102 12701 0 -1 4202560 3597 0 0 0 8 0 0 0 20 0 20 0 420269165 28904845312 7289 33554432000 4194304 4196468 140734377857760 140055658410880 140055638263134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17106] ppid=17102 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/17104/task/17106/stat : 17106 (java) S 17102 17102 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420269166 28904845312 7289 33554432000 4194304 4196468 140734377857760 140055606803600 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17107] ppid=17102 vsize=28227388 memory=139952043935360 CPUtime=0 cores=0-7
/proc/17104/task/17107/stat : 17107 (java) S 17102 17102 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420269166 28904845312 7289 33554432000 4194304 4196468 140734377857760 140055605750800 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17108] ppid=17102 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17108/stat : 17108 (java) S 17102 17102 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420269166 28904845312 7289 33554432000 4194304 4196468 140734377857760 140055604698000 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17109] ppid=17102 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17109/stat : 17109 (java) S 17102 17102 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420269166 28904845312 7289 33554432000 4194304 4196468 140734377857760 140055603645200 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17110] ppid=17102 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17110/stat : 17110 (java) S 17102 17102 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420269166 28904845312 7289 33554432000 4194304 4196468 140734377857760 140055602592400 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17112] ppid=17102 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/17104/task/17112/stat : 17112 (java) S 17102 17102 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420269166 28904845312 7289 33554432000 4194304 4196468 140734377857760 140055601539600 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17113] ppid=17102 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17113/stat : 17113 (java) S 17102 17102 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420269166 28904845312 7289 33554432000 4194304 4196468 140734377857760 140055600486800 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17114] ppid=17102 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17114/stat : 17114 (java) S 17102 17102 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420269166 28904845312 7289 33554432000 4194304 4196468 140734377857760 140055599434000 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17115] ppid=17102 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17115/stat : 17115 (java) S 17102 17102 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420269168 28904845312 7289 33554432000 4194304 4196468 140734377857760 140054050626416 140055654193794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17116] ppid=17102 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17116/stat : 17116 (java) S 17102 17102 12701 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420269168 28904845312 7289 33554432000 4194304 4196468 140734377857760 140054049572384 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17117] ppid=17102 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17117/stat : 17117 (java) S 17102 17102 12701 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420269168 28904845312 7289 33554432000 4194304 4196468 140734377857760 140054048519536 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17118] ppid=17102 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17118/stat : 17118 (java) S 17102 17102 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420269171 28904845312 7289 33554432000 4194304 4196468 140734377857760 140054047467856 140055654201243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17119] ppid=17102 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17119/stat : 17119 (java) S 17102 17102 12701 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 20 0 420269171 28904845312 7289 33554432000 4194304 4196468 140734377857760 140054046415216 140055654193794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17120] ppid=17102 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17120/stat : 17120 (java) R 17102 17102 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420269171 28904845312 7289 33554432000 4194304 4196468 140734377857760 140054045362416 140055654193794 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17121] ppid=17102 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17121/stat : 17121 (java) S 17102 17102 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420269171 28904845312 7289 33554432000 4194304 4196468 140734377857760 140054044309616 140055654193794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17122] ppid=17102 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/17104/task/17122/stat : 17122 (java) R 17102 17102 12701 0 -1 4202560 367 0 0 0 1 0 0 0 20 0 20 0 420269171 28904845312 7289 33554432000 4194304 4196468 140734377857760 140054043256816 140055654194582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17123] ppid=17102 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17123/stat : 17123 (java) S 17102 17102 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420269171 28904845312 7289 33554432000 4194304 4196468 140734377857760 140054042205280 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17124] ppid=17102 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/17104/task/17124/stat : 17124 (java) S 17102 17102 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420269171 28904845312 7289 33554432000 4194304 4196468 140734377857760 140054041152560 140055654193794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30608 KiB

[startup+0.210285 s]*
/proc/loadavg: 4.37 5.91 5.86 2/211 17124
/proc/meminfo: memFree=31249200/32770624 swapFree=66919468/67108860
[pid=17102] ppid=17099 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17102/stat : 17102 (xcsp3-exec) S 17099 17102 12701 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 420269165 115843072 363 33554432000 4194304 5098028 140726050442192 140726050440296 139700460749436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16048128 140726050444150 140726050444393 140726050444393 140726050447306 0
/proc/17102/statm: 28282 363 305 221 0 87 0
[pid=17104] ppid=17102 vsize=28227388 memory=41072 CPUtime=0.34 cores=0-7
/proc/17104/stat : 17104 (java) S 17102 17102 12701 0 -1 1077944320 9539 0 0 0 31 3 0 0 20 0 20 0 420269165 28904845312 10268 33554432000 4194304 4196468 140734377857760 140734377840304 140055654182647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
/proc/17104/statm: 7056847 10268 3291 1 0 7019032 0
[pid=17104/tid=17105] ppid=17102 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/17104/task/17105/stat : 17105 (java) R 17102 17102 12701 0 -1 4202560 6626 0 0 0 18 2 0 0 20 0 20 0 420269165 28904845312 10268 33554432000 4194304 4196468 140734377857760 140055658414560 140055278186620 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17106] ppid=17102 vsize=28227388 memory=331 CPUtime=0 cores=0-7
/proc/17104/task/17106/stat : 17106 (java) S 17102 17102 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420269166 28904845312 10268 33554432000 4194304 4196468 140734377857760 140055606803600 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17107] ppid=17102 vsize=28227388 memory=139952047035682 CPUtime=0 cores=0-7
/proc/17104/task/17107/stat : 17107 (java) S 17102 17102 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420269166 28904845312 10268 33554432000 4194304 4196468 140734377857760 140055605750800 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17108] ppid=17102 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/17104/task/17108/stat : 17108 (java) S 17102 17102 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420269166 28904845312 10268 33554432000 4194304 4196468 140734377857760 140055604698000 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17109] ppid=17102 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17109/stat : 17109 (java) S 17102 17102 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420269166 28904845312 10268 33554432000 4194304 4196468 140734377857760 140055603645200 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17110] ppid=17102 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17110/stat : 17110 (java) S 17102 17102 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420269166 28904845312 10268 33554432000 4194304 4196468 140734377857760 140055602592400 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17112] ppid=17102 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/17104/task/17112/stat : 17112 (java) S 17102 17102 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420269166 28904845312 10268 33554432000 4194304 4196468 140734377857760 140055601539600 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17113] ppid=17102 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17113/stat : 17113 (java) S 17102 17102 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420269166 28904845312 10268 33554432000 4194304 4196468 140734377857760 140055600486800 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17114] ppid=17102 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17114/stat : 17114 (java) S 17102 17102 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420269166 28904845312 10268 33554432000 4194304 4196468 140734377857760 140055599434000 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17115] ppid=17102 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17115/stat : 17115 (java) S 17102 17102 12701 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420269168 28904845312 10268 33554432000 4194304 4196468 140734377857760 140054050626416 140055654193794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17116] ppid=17102 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17116/stat : 17116 (java) S 17102 17102 12701 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420269168 28904845312 10268 33554432000 4194304 4196468 140734377857760 140054049572384 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17117] ppid=17102 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17117/stat : 17117 (java) S 17102 17102 12701 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420269168 28904845312 10268 33554432000 4194304 4196468 140734377857760 140054048519536 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17118] ppid=17102 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17118/stat : 17118 (java) S 17102 17102 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420269171 28904845312 10268 33554432000 4194304 4196468 140734377857760 140054047467856 140055654201243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17119] ppid=17102 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/17104/task/17119/stat : 17119 (java) S 17102 17102 12701 0 -1 1077944384 446 0 0 0 1 0 0 0 20 0 20 0 420269171 28904845312 10268 33554432000 4194304 4196468 140734377857760 140054046415216 140055654193794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17120] ppid=17102 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/17104/task/17120/stat : 17120 (java) S 17102 17102 12701 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 20 0 420269171 28904845312 10268 33554432000 4194304 4196468 140734377857760 140054045362416 140055654193794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17121] ppid=17102 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7
/proc/17104/task/17121/stat : 17121 (java) S 17102 17102 12701 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 20 0 420269171 28904845312 10268 33554432000 4194304 4196468 140734377857760 140054044309616 140055654193794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17122] ppid=17102 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/17104/task/17122/stat : 17122 (java) R 17102 17102 12701 0 -1 4202560 769 0 0 0 8 0 0 0 20 0 20 0 420269171 28904845312 10268 33554432000 4194304 4196468 140734377857760 140054043256816 140055654194582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17123] ppid=17102 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17123/stat : 17123 (java) S 17102 17102 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420269171 28904845312 10268 33554432000 4194304 4196468 140734377857760 140054042205280 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17124] ppid=17102 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/17104/task/17124/stat : 17124 (java) S 17102 17102 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420269171 28904845312 10268 33554432000 4194304 4196468 140734377857760 140054041152560 140055654193794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42524 KiB

[startup+0.309774 s]*
/proc/loadavg: 4.37 5.91 5.86 5/211 17124
/proc/meminfo: memFree=31241176/32770624 swapFree=66919468/67108860
[pid=17102] ppid=17099 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17102/stat : 17102 (xcsp3-exec) S 17099 17102 12701 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 420269165 115843072 363 33554432000 4194304 5098028 140726050442192 140726050440296 139700460749436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16048128 140726050444150 140726050444393 140726050444393 140726050447306 0
/proc/17102/statm: 28282 363 305 221 0 87 0
[pid=17104] ppid=17102 vsize=28231644 memory=50136 CPUtime=0.53 cores=0-7
/proc/17104/stat : 17104 (java) S 17102 17102 12701 0 -1 1077944320 10870 0 0 0 49 4 0 0 20 0 20 0 420269165 28909203456 12534 33554432000 4194304 4196468 140734377857760 140734377840304 140055654182647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
/proc/17104/statm: 7057911 12534 3353 1 0 7019032 0
[pid=17104/tid=17105] ppid=17102 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/17104/task/17105/stat : 17105 (java) R 17102 17102 12701 0 -1 4202560 7744 0 0 0 27 3 0 0 20 0 20 0 420269165 28909203456 12534 33554432000 4194304 4196468 140734377857760 140055658414976 140055654204573 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17106] ppid=17102 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17106/stat : 17106 (java) S 17102 17102 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420269166 28909203456 12534 33554432000 4194304 4196468 140734377857760 140055606803600 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17107] ppid=17102 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17107/stat : 17107 (java) S 17102 17102 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420269166 28909203456 12534 33554432000 4194304 4196468 140734377857760 140055605750800 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17108] ppid=17102 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17108/stat : 17108 (java) S 17102 17102 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420269166 28909203456 12534 33554432000 4194304 4196468 140734377857760 140055604698000 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17109] ppid=17102 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17109/stat : 17109 (java) S 17102 17102 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420269166 28909203456 12534 33554432000 4194304 4196468 140734377857760 140055603645200 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17110] ppid=17102 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17110/stat : 17110 (java) S 17102 17102 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420269166 28909203456 12534 33554432000 4194304 4196468 140734377857760 140055602592400 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17112] ppid=17102 vsize=28231644 memory=139951912086191 CPUtime=0 cores=0-7
/proc/17104/task/17112/stat : 17112 (java) S 17102 17102 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420269166 28909203456 12534 33554432000 4194304 4196468 140734377857760 140055601539600 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17113] ppid=17102 vsize=28231644 memory=139951912088496 CPUtime=0 cores=0-7
/proc/17104/task/17113/stat : 17113 (java) S 17102 17102 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420269166 28909203456 12534 33554432000 4194304 4196468 140734377857760 140055600486800 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17114] ppid=17102 vsize=28231644 memory=139951912090800 CPUtime=0 cores=0-7
/proc/17104/task/17114/stat : 17114 (java) S 17102 17102 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420269166 28909203456 12534 33554432000 4194304 4196468 140734377857760 140055599434000 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17115] ppid=17102 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17115/stat : 17115 (java) S 17102 17102 12701 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420269168 28909203456 12534 33554432000 4194304 4196468 140734377857760 140054050626416 140055654193794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17116] ppid=17102 vsize=28231644 memory=279903824195472 CPUtime=0 cores=0-7
/proc/17104/task/17116/stat : 17116 (java) S 17102 17102 12701 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420269168 28909203456 12534 33554432000 4194304 4196468 140734377857760 140054049572384 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17117] ppid=17102 vsize=28231644 memory=279903824193168 CPUtime=0 cores=0-7
/proc/17104/task/17117/stat : 17117 (java) S 17102 17102 12701 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420269168 28909203456 12534 33554432000 4194304 4196468 140734377857760 140054048519536 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17118] ppid=17102 vsize=28231644 memory=279903824200080 CPUtime=0 cores=0-7
/proc/17104/task/17118/stat : 17118 (java) S 17102 17102 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420269171 28909203456 12534 33554432000 4194304 4196468 140734377857760 140054047467856 140055654201243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17119] ppid=17102 vsize=28231644 memory=279903824141360 CPUtime=0.02 cores=0-7
/proc/17104/task/17119/stat : 17119 (java) R 17102 17102 12701 0 -1 4202560 546 0 0 0 2 0 0 0 20 0 20 0 420269171 28909203456 12534 33554432000 4194304 4196468 140734377857760 140054046415216 140055633435541 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17120] ppid=17102 vsize=28231644 memory=279903824213904 CPUtime=0.01 cores=0-7
/proc/17104/task/17120/stat : 17120 (java) S 17102 17102 12701 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 20 0 420269171 28909203456 12534 33554432000 4194304 4196468 140734377857760 140054045362416 140055654193794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17121] ppid=17102 vsize=28231644 memory=279903824220816 CPUtime=0.04 cores=0-7
/proc/17104/task/17121/stat : 17121 (java) S 17102 17102 12701 0 -1 1077944384 364 0 0 0 4 0 0 0 20 0 20 0 420269171 28909203456 12534 33554432000 4194304 4196468 140734377857760 140054044309616 140055654193794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17122] ppid=17102 vsize=28231644 memory=279903824218512 CPUtime=0.12 cores=0-7
/proc/17104/task/17122/stat : 17122 (java) S 17102 17102 12701 0 -1 1077944384 869 0 0 0 12 0 0 0 20 0 20 0 420269171 28909203456 12534 33554432000 4194304 4196468 140734377857760 140054043256816 140055654193794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17123] ppid=17102 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17123/stat : 17123 (java) S 17102 17102 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420269171 28909203456 12534 33554432000 4194304 4196468 140734377857760 140054042205280 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17124] ppid=17102 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/17104/task/17124/stat : 17124 (java) S 17102 17102 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420269171 28909203456 12534 33554432000 4194304 4196468 140734377857760 140054041152560 140055654193794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51588 KiB

[startup+0.700931 s]
/proc/loadavg: 4.37 5.91 5.86 4/211 17124
/proc/meminfo: memFree=31213252/32770624 swapFree=66919468/67108860
[pid=17102] ppid=17099 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17102/stat : 17102 (xcsp3-exec) S 17099 17102 12701 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 420269165 115843072 363 33554432000 4194304 5098028 140726050442192 140726050440296 139700460749436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16048128 140726050444150 140726050444393 140726050444393 140726050447306 0
/proc/17102/statm: 28282 363 305 221 0 87 0
[pid=17104] ppid=17102 vsize=28233768 memory=121416 CPUtime=2.03 cores=0-7
/proc/17104/stat : 17104 (java) S 17102 17102 12701 0 -1 1077944320 15378 0 0 0 197 6 0 0 20 0 20 0 420269165 28911378432 30354 33554432000 4194304 4196468 140734377857760 140734377840304 140055654182647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
/proc/17104/statm: 7058442 30354 3451 1 0 7019544 0
[pid=17104/tid=17105] ppid=17102 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7
/proc/17104/task/17105/stat : 17105 (java) R 17102 17102 12701 0 -1 4202560 8399 0 0 0 64 4 0 0 20 0 20 0 420269165 28911378432 30354 33554432000 4194304 4196468 140734377857760 140055658418640 140055280234115 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17106] ppid=17102 vsize=28233768 memory=139951912297328 CPUtime=0 cores=0-7
/proc/17104/task/17106/stat : 17106 (java) S 17102 17102 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420269166 28911378432 30354 33554432000 4194304 4196468 140734377857760 140055606803600 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17107] ppid=17102 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/17104/task/17107/stat : 17107 (java) S 17102 17102 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420269166 28911378432 30354 33554432000 4194304 4196468 140734377857760 140055605750800 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17108] ppid=17102 vsize=28233768 memory=1560 CPUtime=0 cores=0-7
/proc/17104/task/17108/stat : 17108 (java) S 17102 17102 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420269166 28911378432 30354 33554432000 4194304 4196468 140734377857760 140055604698000 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0

################
# More data... #
################

[pid=17104/tid=17127] ppid=17102 vsize=28768328 memory=7377266052392249698 CPUtime=1730.72 cores=0-7
/proc/17104/task/17127/stat : 17127 (java) R 17102 17102 12701 0 -1 4202560 158288 0 0 0 172816 256 0 0 20 0 28 0 420270126 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054027976504 140055286184219 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17128] ppid=17102 vsize=28768328 memory=3616988872186016701 CPUtime=1733.26 cores=0-7
/proc/17104/task/17128/stat : 17128 (java) R 17102 17102 12701 0 -1 4202560 56214 0 0 0 173157 169 0 0 20 0 28 0 420270126 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054026924168 140055280442528 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17129] ppid=17102 vsize=28768328 memory=3905500701923621814 CPUtime=1722.79 cores=0-7
/proc/17104/task/17129/stat : 17129 (java) R 17102 17102 12701 0 -1 4202560 65924 0 0 0 172215 64 0 0 20 0 28 0 420270126 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054025871160 140055289329536 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17130] ppid=17102 vsize=28768328 memory=7518594004312089704 CPUtime=1724.31 cores=0-7
/proc/17104/task/17130/stat : 17130 (java) R 17102 17102 12701 0 -1 4202560 43935 0 0 0 172344 87 0 0 20 0 28 0 420270126 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054024818152 140055280611444 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17131] ppid=17102 vsize=28768328 memory=11464 CPUtime=1734.5 cores=0-7
/proc/17104/task/17131/stat : 17131 (java) R 17102 17102 12701 0 -1 4202560 36741 0 0 0 173391 59 0 0 20 0 28 0 420270126 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054023766776 140055279842217 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17132] ppid=17102 vsize=28768328 memory=4004 CPUtime=1733.85 cores=0-7
/proc/17104/task/17132/stat : 17132 (java) R 17102 17102 12701 0 -1 4202560 25400 0 0 0 173346 39 0 0 20 0 28 0 420270127 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054022713856 140055285422580 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
Current children cumulated CPU time: 14168.4 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 9667772 KiB

[startup+1789.9 s]
/proc/loadavg: 8.29 8.36 7.92 9/220 17290
/proc/meminfo: memFree=21605496/32770624 swapFree=66919492/67108860
[pid=17102] ppid=17099 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17102/stat : 17102 (xcsp3-exec) S 17099 17102 12701 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 420269165 115843072 363 33554432000 4194304 5098028 140726050442192 140726050440296 139700460749436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16048128 140726050444150 140726050444393 140726050444393 140726050447306 0
/proc/17102/statm: 28282 363 305 221 0 87 0
[pid=17104] ppid=17102 vsize=28768328 memory=9666320 CPUtime=14174.8 cores=0-7
/proc/17104/stat : 17104 (java) S 17102 17102 12701 0 -1 1077944320 965696 0 0 0 1415077 2398 0 0 20 0 28 0 420269165 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140734377840304 140055654182647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
/proc/17104/statm: 7192082 2416580 3561 1 0 7153184 0
[pid=17104/tid=17105] ppid=17102 vsize=28768328 memory=6791534058613427641 CPUtime=6.27 cores=0-7
/proc/17104/task/17105/stat : 17105 (java) S 17102 17102 12701 0 -1 1077944384 14890 0 0 0 603 24 0 0 20 0 28 0 420269165 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140055658423424 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17106] ppid=17102 vsize=28768328 memory=23536 CPUtime=36.28 cores=0-7
/proc/17104/task/17106/stat : 17106 (java) S 17102 17102 12701 0 -1 1077944384 30490 0 0 0 3424 204 0 0 20 0 28 0 420269166 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140055606803600 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17107] ppid=17102 vsize=28768328 memory=988 CPUtime=35.95 cores=0-7
/proc/17104/task/17107/stat : 17107 (java) S 17102 17102 12701 0 -1 1077944384 25466 0 0 0 3404 191 0 0 20 0 28 0 420269166 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140055605750800 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17108] ppid=17102 vsize=28768328 memory=2012 CPUtime=36.35 cores=0-7
/proc/17104/task/17108/stat : 17108 (java) S 17102 17102 12701 0 -1 1077944384 24900 0 0 0 3428 207 0 0 20 0 28 0 420269166 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140055604698000 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17109] ppid=17102 vsize=28768328 memory=1324 CPUtime=36.19 cores=0-7
/proc/17104/task/17109/stat : 17109 (java) S 17102 17102 12701 0 -1 1077944384 26709 0 0 0 3437 182 0 0 20 0 28 0 420269166 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140055603645200 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17110] ppid=17102 vsize=28768328 memory=2828 CPUtime=36.28 cores=0-7
/proc/17104/task/17110/stat : 17110 (java) S 17102 17102 12701 0 -1 1077944384 26516 0 0 0 3425 203 0 0 20 0 28 0 420269166 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140055602592400 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17112] ppid=17102 vsize=28768328 memory=1000 CPUtime=36.01 cores=0-7
/proc/17104/task/17112/stat : 17112 (java) S 17102 17102 12701 0 -1 1077944384 26805 0 0 0 3408 193 0 0 20 0 28 0 420269166 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140055601539600 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17113] ppid=17102 vsize=28768328 memory=1560 CPUtime=36.34 cores=0-7
/proc/17104/task/17113/stat : 17113 (java) S 17102 17102 12701 0 -1 1077944384 25083 0 0 0 3431 203 0 0 20 0 28 0 420269166 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140055600486800 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17114] ppid=17102 vsize=28768328 memory=1172 CPUtime=36.33 cores=0-7
/proc/17104/task/17114/stat : 17114 (java) S 17102 17102 12701 0 -1 1077944384 24581 0 0 0 3444 189 0 0 20 0 28 0 420269166 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140055599434000 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17115] ppid=17102 vsize=28768328 memory=14008 CPUtime=8.96 cores=0-7
/proc/17104/task/17115/stat : 17115 (java) S 17102 17102 12701 0 -1 1077944384 41534 0 0 0 888 8 0 0 20 0 28 0 420269168 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054050626416 140055654193794 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17116] ppid=17102 vsize=28768328 memory=14072 CPUtime=0 cores=0-7
/proc/17104/task/17116/stat : 17116 (java) S 17102 17102 12701 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 420269168 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054049572448 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17117] ppid=17102 vsize=28768328 memory=2116 CPUtime=0 cores=0-7
/proc/17104/task/17117/stat : 17117 (java) S 17102 17102 12701 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 28 0 420269168 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054048519552 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17118] ppid=17102 vsize=28768328 memory=9012 CPUtime=0 cores=0-7
/proc/17104/task/17118/stat : 17118 (java) S 17102 17102 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420269171 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054047467856 140055654201243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17119] ppid=17102 vsize=28768328 memory=528 CPUtime=8.9 cores=0-7
/proc/17104/task/17119/stat : 17119 (java) S 17102 17102 12701 0 -1 1077944384 65107 0 0 0 878 12 0 0 20 0 28 0 420269171 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054046415216 140055654193794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17120] ppid=17102 vsize=28768328 memory=1560 CPUtime=8.82 cores=0-7
/proc/17104/task/17120/stat : 17120 (java) S 17102 17102 12701 0 -1 1077944384 64205 0 0 0 874 8 0 0 20 0 28 0 420269171 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054045362416 140055654193794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17121] ppid=17102 vsize=28768328 memory=932 CPUtime=9.72 cores=0-7
/proc/17104/task/17121/stat : 17121 (java) S 17102 17102 12701 0 -1 1077944384 64295 0 0 0 962 10 0 0 20 0 28 0 420269171 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054044309616 140055654193794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17122] ppid=17102 vsize=28768328 memory=1492 CPUtime=1.87 cores=0-7
/proc/17104/task/17122/stat : 17122 (java) S 17102 17102 12701 0 -1 1077944384 38459 0 0 0 179 8 0 0 20 0 28 0 420269171 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054043256816 140055654193794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17123] ppid=17102 vsize=28768328 memory=876 CPUtime=0 cores=0-7
/proc/17104/task/17123/stat : 17123 (java) S 17102 17102 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420269171 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054042205280 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17124] ppid=17102 vsize=28768328 memory=1448 CPUtime=0.74 cores=0-7
/proc/17104/task/17124/stat : 17124 (java) S 17102 17102 12701 0 -1 1077944384 2476 0 0 0 12 62 0 0 20 0 28 0 420269171 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054041152560 140055654193794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17125] ppid=17102 vsize=28768328 memory=1980 CPUtime=1729.24 cores=0-7
/proc/17104/task/17125/stat : 17125 (java) R 17102 17102 12701 0 -1 4202560 56180 0 0 0 172885 39 0 0 20 0 28 0 420270126 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054030081384 140055289729552 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17126] ppid=17102 vsize=28768328 memory=1452 CPUtime=1726.04 cores=0-7
/proc/17104/task/17126/stat : 17126 (java) R 17102 17102 12701 0 -1 4202560 20054 0 0 0 172573 31 0 0 20 0 28 0 420270126 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054029032592 140055288716464 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17127] ppid=17102 vsize=28768328 memory=9666320 CPUtime=1731.52 cores=0-7
/proc/17104/task/17127/stat : 17127 (java) R 17102 17102 12701 0 -1 4202560 158304 0 0 0 172896 256 0 0 20 0 28 0 420270126 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054027976504 140055280853753 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17128] ppid=17102 vsize=28768328 memory=4104 CPUtime=1734.06 cores=0-7
/proc/17104/task/17128/stat : 17128 (java) R 17102 17102 12701 0 -1 4202560 56215 0 0 0 173237 169 0 0 20 0 28 0 420270126 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054026924168 140055280611487 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17129] ppid=17102 vsize=28768328 memory=1580 CPUtime=1723.57 cores=0-7
/proc/17104/task/17129/stat : 17129 (java) R 17102 17102 12701 0 -1 4202560 65925 0 0 0 172293 64 0 0 20 0 28 0 420270126 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054025871160 140055279505085 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17130] ppid=17102 vsize=28768328 memory=8317482817917895235 CPUtime=1725.11 cores=0-7
/proc/17104/task/17130/stat : 17130 (java) R 17102 17102 12701 0 -1 4202560 43937 0 0 0 172424 87 0 0 20 0 28 0 420270126 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054024818152 140055279842781 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17131] ppid=17102 vsize=28768328 memory=4872558044660077418 CPUtime=1735.3 cores=0-7
/proc/17104/task/17131/stat : 17131 (java) R 17102 17102 12701 0 -1 4202560 36746 0 0 0 173471 59 0 0 20 0 28 0 420270126 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054023766776 140055279505468 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17132] ppid=17102 vsize=28768328 memory=3616 CPUtime=1734.65 cores=0-7
/proc/17104/task/17132/stat : 17132 (java) R 17102 17102 12701 0 -1 4202560 25400 0 0 0 173426 39 0 0 20 0 28 0 420270127 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054022713856 140055283278630 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
Current children cumulated CPU time: 14174.8 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 9667772 KiB

[startup+1790.7 s]
/proc/loadavg: 8.29 8.36 7.92 9/220 17290
/proc/meminfo: memFree=21605496/32770624 swapFree=66919492/67108860
[pid=17102] ppid=17099 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17102/stat : 17102 (xcsp3-exec) S 17099 17102 12701 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 420269165 115843072 363 33554432000 4194304 5098028 140726050442192 140726050440296 139700460749436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16048128 140726050444150 140726050444393 140726050444393 140726050447306 0
/proc/17102/statm: 28282 363 305 221 0 87 0
[pid=17104] ppid=17102 vsize=28768328 memory=9666320 CPUtime=14181.1 cores=0-7
/proc/17104/stat : 17104 (java) S 17102 17102 12701 0 -1 1077944320 965867 0 0 0 1415715 2398 0 0 20 0 28 0 420269165 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140734377840304 140055654182647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
/proc/17104/statm: 7192082 2416580 3561 1 0 7153184 0
[pid=17104/tid=17105] ppid=17102 vsize=28768328 memory=6791534058613427641 CPUtime=6.27 cores=0-7
/proc/17104/task/17105/stat : 17105 (java) S 17102 17102 12701 0 -1 1077944384 14890 0 0 0 603 24 0 0 20 0 28 0 420269165 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140055658423424 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17106] ppid=17102 vsize=28768328 memory=1492 CPUtime=36.28 cores=0-7
/proc/17104/task/17106/stat : 17106 (java) S 17102 17102 12701 0 -1 1077944384 30490 0 0 0 3424 204 0 0 20 0 28 0 420269166 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140055606803600 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17107] ppid=17102 vsize=28768328 memory=876 CPUtime=35.95 cores=0-7
/proc/17104/task/17107/stat : 17107 (java) S 17102 17102 12701 0 -1 1077944384 25466 0 0 0 3404 191 0 0 20 0 28 0 420269166 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140055605750800 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17108] ppid=17102 vsize=28768328 memory=1448 CPUtime=36.35 cores=0-7
/proc/17104/task/17108/stat : 17108 (java) S 17102 17102 12701 0 -1 1077944384 24900 0 0 0 3428 207 0 0 20 0 28 0 420269166 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140055604698000 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17109] ppid=17102 vsize=28768328 memory=1980 CPUtime=36.19 cores=0-7
/proc/17104/task/17109/stat : 17109 (java) S 17102 17102 12701 0 -1 1077944384 26709 0 0 0 3437 182 0 0 20 0 28 0 420269166 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140055603645200 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17110] ppid=17102 vsize=28768328 memory=2432 CPUtime=36.28 cores=0-7
/proc/17104/task/17110/stat : 17110 (java) S 17102 17102 12701 0 -1 1077944384 26516 0 0 0 3425 203 0 0 20 0 28 0 420269166 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140055602592400 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17112] ppid=17102 vsize=28768328 memory=1760 CPUtime=36.01 cores=0-7
/proc/17104/task/17112/stat : 17112 (java) S 17102 17102 12701 0 -1 1077944384 26805 0 0 0 3408 193 0 0 20 0 28 0 420269166 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140055601539600 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17113] ppid=17102 vsize=28768328 memory=111636 CPUtime=36.34 cores=0-7
/proc/17104/task/17113/stat : 17113 (java) S 17102 17102 12701 0 -1 1077944384 25083 0 0 0 3431 203 0 0 20 0 28 0 420269166 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140055600486800 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17114] ppid=17102 vsize=28768328 memory=2432 CPUtime=36.33 cores=0-7
/proc/17104/task/17114/stat : 17114 (java) S 17102 17102 12701 0 -1 1077944384 24581 0 0 0 3444 189 0 0 20 0 28 0 420269166 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140055599434000 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17115] ppid=17102 vsize=28768328 memory=1760 CPUtime=8.96 cores=0-7
/proc/17104/task/17115/stat : 17115 (java) S 17102 17102 12701 0 -1 1077944384 41534 0 0 0 888 8 0 0 20 0 28 0 420269168 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054050626416 140055654193794 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17116] ppid=17102 vsize=28768328 memory=111636 CPUtime=0 cores=0-7
/proc/17104/task/17116/stat : 17116 (java) S 17102 17102 12701 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 420269168 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054049572448 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17117] ppid=17102 vsize=28768328 memory=800 CPUtime=0 cores=0-7
/proc/17104/task/17117/stat : 17117 (java) S 17102 17102 12701 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 28 0 420269168 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054048519552 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17118] ppid=17102 vsize=28768328 memory=1808 CPUtime=0 cores=0-7
/proc/17104/task/17118/stat : 17118 (java) S 17102 17102 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420269171 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054047467856 140055654201243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17119] ppid=17102 vsize=28768328 memory=920 CPUtime=8.9 cores=0-7
/proc/17104/task/17119/stat : 17119 (java) S 17102 17102 12701 0 -1 1077944384 65107 0 0 0 878 12 0 0 20 0 28 0 420269171 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054046415216 140055654193794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17120] ppid=17102 vsize=28768328 memory=4136 CPUtime=8.82 cores=0-7
/proc/17104/task/17120/stat : 17120 (java) S 17102 17102 12701 0 -1 1077944384 64205 0 0 0 874 8 0 0 20 0 28 0 420269171 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054045362416 140055654193794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17121] ppid=17102 vsize=28768328 memory=1412 CPUtime=9.72 cores=0-7
/proc/17104/task/17121/stat : 17121 (java) S 17102 17102 12701 0 -1 1077944384 64295 0 0 0 962 10 0 0 20 0 28 0 420269171 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054044309616 140055654193794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17122] ppid=17102 vsize=28768328 memory=3800 CPUtime=1.87 cores=0-7
/proc/17104/task/17122/stat : 17122 (java) S 17102 17102 12701 0 -1 1077944384 38459 0 0 0 179 8 0 0 20 0 28 0 420269171 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054043256816 140055654193794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17123] ppid=17102 vsize=28768328 memory=1980 CPUtime=0 cores=0-7
/proc/17104/task/17123/stat : 17123 (java) S 17102 17102 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420269171 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054042205280 140055654192853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17124] ppid=17102 vsize=28768328 memory=2432 CPUtime=0.74 cores=0-7
/proc/17104/task/17124/stat : 17124 (java) S 17102 17102 12701 0 -1 1077944384 2476 0 0 0 12 62 0 0 20 0 28 0 420269171 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054041152560 140055654193794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17125] ppid=17102 vsize=28768328 memory=1760 CPUtime=1730.04 cores=0-7
/proc/17104/task/17125/stat : 17125 (java) R 17102 17102 12701 0 -1 4202560 56181 0 0 0 172965 39 0 0 20 0 28 0 420270126 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054030081384 140055289726880 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17126] ppid=17102 vsize=28768328 memory=111636 CPUtime=1726.84 cores=0-7
/proc/17104/task/17126/stat : 17126 (java) R 17102 17102 12701 0 -1 4202560 20072 0 0 0 172653 31 0 0 20 0 28 0 420270126 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054029032592 140055286184155 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17127] ppid=17102 vsize=28768328 memory=800 CPUtime=1732.32 cores=0-7
/proc/17104/task/17127/stat : 17127 (java) R 17102 17102 12701 0 -1 4202560 158343 0 0 0 172976 256 0 0 20 0 28 0 420270126 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054027976504 140055284696704 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17128] ppid=17102 vsize=28768328 memory=1808 CPUtime=1734.86 cores=0-7
/proc/17104/task/17128/stat : 17128 (java) R 17102 17102 12701 0 -1 4202560 56226 0 0 0 173317 169 0 0 20 0 28 0 420270126 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054026924168 140055286119680 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17129] ppid=17102 vsize=28768328 memory=920 CPUtime=1724.35 cores=0-7
/proc/17104/task/17129/stat : 17129 (java) R 17102 17102 12701 0 -1 4202560 65943 0 0 0 172371 64 0 0 20 0 28 0 420270126 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054025871160 140055277573109 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17130] ppid=17102 vsize=28768328 memory=4136 CPUtime=1725.91 cores=0-7
/proc/17104/task/17130/stat : 17130 (java) R 17102 17102 12701 0 -1 4202560 44009 0 0 0 172504 87 0 0 20 0 28 0 420270126 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054024818152 140055289238108 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17131] ppid=17102 vsize=28768328 memory=1412 CPUtime=1736.1 cores=0-7
/proc/17104/task/17131/stat : 17131 (java) R 17102 17102 12701 0 -1 4202560 36757 0 0 0 173551 59 0 0 20 0 28 0 420270126 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054023766776 140055280864604 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
[pid=17104/tid=17132] ppid=17102 vsize=28768328 memory=800 CPUtime=1735.45 cores=0-7
/proc/17104/task/17132/stat : 17132 (java) R 17102 17102 12701 0 -1 4202560 25401 0 0 0 173506 39 0 0 20 0 28 0 420270127 29458767872 2416580 33554432000 4194304 4196468 140734377857760 140054022713856 140055284539939 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 25440256 140734377866218 140734377866390 140734377866390 140734377869263 0
Current children cumulated CPU time: 14181.1 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 9667772 KiB

[startup+1791.1 s]
/proc/loadavg: 8.29 8.36 7.92 9/220 17290
/proc/meminfo: memFree=21605496/32770624 swapFree=66919492/67108860
[pid=17102] ppid=17099 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17102/stat : 17102 (xcsp3-exec) S 17099 17102 12701 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 420269165 115843072 363 33554432000 4194304 5098028 140726050442192 140726050440296 139700460749436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16048128 140726050444150 140726050444393 140726050444393 140726050447306 0
/proc/17102/statm: 28282 363 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

Child status: 0
Real time (s): 1791.12
CPU time (s): 14184.1
CPU user time (s): 14160.1
CPU system time (s): 24.0332
CPU usage (%): 791.913
Max. virtual memory (cumulated for all children) (KiB): 28884792
Max. memory (cumulated for all children) (KiB): 9756580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14160.1
system time used= 24.0332
maximum resident set size= 9755128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 969495
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56717
involuntary context switches= 171889


# summary of solver processes directly reported to runsolver:
#   pid: 17102
#   total CPU time (s): 14184.1
#   total CPU user time (s): 14160.1
#   total CPU system time (s): 24.0332

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2453 second user time and 22.9622 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-14 08:41:11
IDJOB=4393695
IDBENCH=139246
IDSOLVER=2841
FILE ID=node141/4393695-1568443313
RUNJOBID= node141-1568439039-12728
PBS_JOBID= 21702329
Free space on /tmp= 58540 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Fischer/Fischer-m1-s1/Fischer-09-06-fair.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-4393695-1568443313/watcher-4393695-1568443313 -o /tmp/evaluation-result-4393695-1568443313/solver-4393695-1568443313 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568439039-12728 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 406520292 HOME/instance-4393695-1568443313.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 15d83a7cac0db09c33f3aa76b650ee28
RANDOM SEED=406520292

node141.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	: 5332.93
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	: 5332.93
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	: 5332.93
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	: 5332.93
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:        31276780 kB
MemAvailable:   31839732 kB
Buffers:          186696 kB
Cached:           664472 kB
SwapCached:        80152 kB
Active:           451432 kB
Inactive:         483816 kB
Active(anon):      10044 kB
Inactive(anon):   106280 kB
Active(file):     441388 kB
Inactive(file):   377536 kB
Unevictable:      109316 kB
Mlocked:          109316 kB
SwapTotal:      67108860 kB
SwapFree:       66919468 kB
Dirty:             26500 kB
Writeback:             0 kB
AnonPages:        185092 kB
Mapped:            36432 kB
Shmem:             23496 kB
Slab:             149988 kB
SReclaimable:     119724 kB
SUnreclaim:        30264 kB
KernelStack:        3936 kB
PageTables:         6056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 58512 MiB
End job on node141 at 2019-09-14 09:11:02