Trace number 4271285

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 4.0.5 par (2017-08-09)UNSAT 4.05585 1.16714

General information on the benchmark

NameSteiner3/Steiner3-m1-s1/
Steiner3-06.xml
MD5SUMf08f6d25c7c16d7e74d6f0f0fe10f3ad
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 benchmark0.14125501
Satisfiable
(Un)Satisfiability was proved
Number of variables15
Number of constraints15
Number of domains1
Minimum domain size6
Maximum domain size6
Distribution of domain sizes[{"size":6,"count":15}]
Minimum variable degree5
Maximum variable degree5
Distribution of variable degrees[{"degree":5,"count":15}]
Minimum constraint arity3
Maximum constraint arity6
Distribution of constraint arities[{"arity":3,"count":5},{"arity":6,"count":10}]
Number of extensional constraints10
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":10},{"type":"ordered","count":5}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271285-1502728486.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4271285-1502728486.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.32/0.26	c parse instance...
2.29/0.90	c solve instance...
3.72/1.15	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 (14064 MiB free)
  memory of node 1: 16384 MiB (12260 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271285-1502728486/watcher-4271285-1502728486 -o /tmp/evaluation-result-4271285-1502728486/solver-4271285-1502728486 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502720059-6956 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 800671608 HOME/instance-4271285-1502728486.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=7703, runsolver pid=7700

[startup+0.100107 s]*
/proc/loadavg: 8.33 8.67 8.68 3/200 7724
/proc/meminfo: memFree=26942136/32770624 swapFree=67108860/67108860
[pid=7703] ppid=7700 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7703/stat : 7703 (xcsp3-exec) S 7700 7703 6929 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105936369 9740288 346 33554432000 4194304 5098028 140731779467280 140731779465384 140243226550908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20185088 140731779470437 140731779470647 140731779470647 140731779473387 0
/proc/7703/statm: 2378 346 289 221 0 87 0
[pid=7705] ppid=7703 vsize=25999808 memory=27152 CPUtime=0.11 cores=0-7
/proc/7705/stat : 7705 (java) S 7703 7703 6929 0 -1 1077944320 5222 0 0 0 10 1 0 0 20 0 20 0 105936369 26623803392 6788 33554432000 4194304 4196468 140733266864560 140733266847104 140267877940983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
/proc/7705/statm: 6499952 6788 2844 1 0 6488269 0
[pid=7705/tid=7706] ppid=7703 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/7705/task/7706/stat : 7706 (java) R 7703 7703 6929 0 -1 4202560 3220 0 0 0 8 0 0 0 20 0 20 0 105936370 26623803392 6788 33554432000 4194304 4196468 140733266864560 140267882174256 140267877952918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7707] ppid=7703 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/7705/task/7707/stat : 7707 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936371 26623803392 6788 33554432000 4194304 4196468 140733266864560 140267800521744 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7708] ppid=7703 vsize=25999808 memory=140487439791744 CPUtime=0 cores=0-7
/proc/7705/task/7708/stat : 7708 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936371 26623803392 6788 33554432000 4194304 4196468 140733266864560 140267799469200 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7709] ppid=7703 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7709/stat : 7709 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936371 26623803392 6788 33554432000 4194304 4196468 140733266864560 140267798416144 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7710] ppid=7703 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7710/stat : 7710 (java) S 7703 7703 6929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 105936371 26623803392 6788 33554432000 4194304 4196468 140733266864560 140267797363600 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7711] ppid=7703 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7711/stat : 7711 (java) S 7703 7703 6929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105936371 26623803392 6788 33554432000 4194304 4196468 140733266864560 140267796310544 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7712] ppid=7703 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7705/task/7712/stat : 7712 (java) S 7703 7703 6929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105936371 26623803392 6788 33554432000 4194304 4196468 140733266864560 140267795258000 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7713] ppid=7703 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7713/stat : 7713 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936371 26623803392 6788 33554432000 4194304 4196468 140733266864560 140267429583120 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7714] ppid=7703 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7714/stat : 7714 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936371 26623803392 6788 33554432000 4194304 4196468 140733266864560 140267428530576 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7715] ppid=7703 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7715/stat : 7715 (java) S 7703 7703 6929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105936372 26623803392 6788 33554432000 4194304 4196468 140733266864560 140266150304496 140267877952130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7716] ppid=7703 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7716/stat : 7716 (java) S 7703 7703 6929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 105936372 26623803392 6788 33554432000 4194304 4196468 140733266864560 140266149250720 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7717] ppid=7703 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7717/stat : 7717 (java) S 7703 7703 6929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 105936373 26623803392 6788 33554432000 4194304 4196468 140733266864560 140266148197616 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7718] ppid=7703 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7718/stat : 7718 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936375 26623803392 6788 33554432000 4194304 4196468 140733266864560 140266147146192 140267877959579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7719] ppid=7703 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7719/stat : 7719 (java) S 7703 7703 6929 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 105936375 26623803392 6788 33554432000 4194304 4196468 140733266864560 140266146093296 140267877952130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7720] ppid=7703 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7720/stat : 7720 (java) S 7703 7703 6929 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 105936375 26623803392 6788 33554432000 4194304 4196468 140733266864560 140266145040752 140267877952130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7721] ppid=7703 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7721/stat : 7721 (java) S 7703 7703 6929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 105936375 26623803392 6788 33554432000 4194304 4196468 140733266864560 140266143987696 140267877952130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7722] ppid=7703 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/7705/task/7722/stat : 7722 (java) R 7703 7703 6929 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 20 0 105936375 26623803392 6788 33554432000 4194304 4196468 140733266864560 140266142935152 140267856460593 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7723] ppid=7703 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7723/stat : 7723 (java) S 7703 7703 6929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 105936375 26623803392 6788 33554432000 4194304 4196468 140733266864560 140266141883360 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7724] ppid=7703 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7705/task/7724/stat : 7724 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936376 26623803392 6788 33554432000 4194304 4196468 140733266864560 140266140830896 140267877952130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28536 KiB

[startup+0.210148 s]*
/proc/loadavg: 8.33 8.67 8.68 2/200 7724
/proc/meminfo: memFree=26931344/32770624 swapFree=67108860/67108860
[pid=7703] ppid=7700 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7703/stat : 7703 (xcsp3-exec) S 7700 7703 6929 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105936369 9740288 346 33554432000 4194304 5098028 140731779467280 140731779465384 140243226550908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20185088 140731779470437 140731779470647 140731779470647 140731779473387 0
/proc/7703/statm: 2378 346 289 221 0 87 0
[pid=7705] ppid=7703 vsize=26004064 memory=38488 CPUtime=0.32 cores=0-7
/proc/7705/stat : 7705 (java) S 7703 7703 6929 0 -1 1077944320 7729 0 0 0 30 2 0 0 20 0 20 0 105936369 26628161536 9622 33554432000 4194304 4196468 140733266864560 140733266847104 140267877940983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
/proc/7705/statm: 6501016 9622 3008 1 0 6488269 0
[pid=7705/tid=7706] ppid=7703 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/7705/task/7706/stat : 7706 (java) R 7703 7703 6929 0 -1 4202560 4928 0 0 0 18 1 0 0 20 0 20 0 105936370 26628161536 9622 33554432000 4194304 4196468 140733266864560 140267882143744 140267877962909 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7707] ppid=7703 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/7705/task/7707/stat : 7707 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936371 26628161536 9622 33554432000 4194304 4196468 140733266864560 140267800521744 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7708] ppid=7703 vsize=26004064 memory=140487439799635 CPUtime=0 cores=0-7
/proc/7705/task/7708/stat : 7708 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936371 26628161536 9622 33554432000 4194304 4196468 140733266864560 140267799469200 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7709] ppid=7703 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7705/task/7709/stat : 7709 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936371 26628161536 9622 33554432000 4194304 4196468 140733266864560 140267798416144 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7710] ppid=7703 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7710/stat : 7710 (java) S 7703 7703 6929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 105936371 26628161536 9622 33554432000 4194304 4196468 140733266864560 140267797363600 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7711] ppid=7703 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7711/stat : 7711 (java) S 7703 7703 6929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105936371 26628161536 9622 33554432000 4194304 4196468 140733266864560 140267796310544 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7712] ppid=7703 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7705/task/7712/stat : 7712 (java) S 7703 7703 6929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105936371 26628161536 9622 33554432000 4194304 4196468 140733266864560 140267795258000 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7713] ppid=7703 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7713/stat : 7713 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936371 26628161536 9622 33554432000 4194304 4196468 140733266864560 140267429583120 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7714] ppid=7703 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7714/stat : 7714 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936371 26628161536 9622 33554432000 4194304 4196468 140733266864560 140267428530576 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7715] ppid=7703 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7715/stat : 7715 (java) S 7703 7703 6929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105936372 26628161536 9622 33554432000 4194304 4196468 140733266864560 140266150304496 140267877952130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7716] ppid=7703 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7716/stat : 7716 (java) S 7703 7703 6929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 105936372 26628161536 9622 33554432000 4194304 4196468 140733266864560 140266149250720 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7717] ppid=7703 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7717/stat : 7717 (java) S 7703 7703 6929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 105936373 26628161536 9622 33554432000 4194304 4196468 140733266864560 140266148197616 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7718] ppid=7703 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7718/stat : 7718 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936375 26628161536 9622 33554432000 4194304 4196468 140733266864560 140266147146192 140267877959579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7719] ppid=7703 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/7705/task/7719/stat : 7719 (java) S 7703 7703 6929 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 20 0 105936375 26628161536 9622 33554432000 4194304 4196468 140733266864560 140266146093296 140267877952130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7720] ppid=7703 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7720/stat : 7720 (java) S 7703 7703 6929 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 20 0 105936375 26628161536 9622 33554432000 4194304 4196468 140733266864560 140266145040752 140267877952130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7721] ppid=7703 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/7705/task/7721/stat : 7721 (java) S 7703 7703 6929 0 -1 1077944384 126 0 0 0 1 0 0 0 20 0 20 0 105936375 26628161536 9622 33554432000 4194304 4196468 140733266864560 140266143987696 140267877952130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7722] ppid=7703 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/7705/task/7722/stat : 7722 (java) R 7703 7703 6929 0 -1 4202560 713 0 0 0 7 0 0 0 20 0 20 0 105936375 26628161536 9622 33554432000 4194304 4196468 140733266864560 140266142935152 140267856461192 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7723] ppid=7703 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7723/stat : 7723 (java) S 7703 7703 6929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 105936375 26628161536 9622 33554432000 4194304 4196468 140733266864560 140266141883360 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7724] ppid=7703 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7705/task/7724/stat : 7724 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936376 26628161536 9622 33554432000 4194304 4196468 140733266864560 140266140830896 140267877952130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39872 KiB

[startup+0.309729 s]*
/proc/loadavg: 8.33 8.67 8.68 3/200 7724
/proc/meminfo: memFree=26924024/32770624 swapFree=67108860/67108860
[pid=7703] ppid=7700 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7703/stat : 7703 (xcsp3-exec) S 7700 7703 6929 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105936369 9740288 346 33554432000 4194304 5098028 140731779467280 140731779465384 140243226550908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20185088 140731779470437 140731779470647 140731779470647 140731779473387 0
/proc/7703/statm: 2378 346 289 221 0 87 0
[pid=7705] ppid=7703 vsize=26004064 memory=45948 CPUtime=0.48 cores=0-7
/proc/7705/stat : 7705 (java) S 7703 7703 6929 0 -1 1077944320 8691 0 0 0 45 3 0 0 20 0 20 0 105936369 26628161536 11487 33554432000 4194304 4196468 140733266864560 140733266847104 140267877940983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
/proc/7705/statm: 6501016 11487 3115 1 0 6488269 0
[pid=7705/tid=7706] ppid=7703 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/7705/task/7706/stat : 7706 (java) R 7703 7703 6929 0 -1 4202560 5612 0 0 0 27 2 0 0 20 0 20 0 105936370 26628161536 11487 33554432000 4194304 4196468 140733266864560 140267882178496 140267862021470 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7707] ppid=7703 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7707/stat : 7707 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936371 26628161536 11487 33554432000 4194304 4196468 140733266864560 140267800521744 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7708] ppid=7703 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7708/stat : 7708 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936371 26628161536 11487 33554432000 4194304 4196468 140733266864560 140267799469200 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7709] ppid=7703 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7709/stat : 7709 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936371 26628161536 11487 33554432000 4194304 4196468 140733266864560 140267798416144 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7710] ppid=7703 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7710/stat : 7710 (java) S 7703 7703 6929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 105936371 26628161536 11487 33554432000 4194304 4196468 140733266864560 140267797363600 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7711] ppid=7703 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/7705/task/7711/stat : 7711 (java) S 7703 7703 6929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105936371 26628161536 11487 33554432000 4194304 4196468 140733266864560 140267796310544 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7712] ppid=7703 vsize=26004064 memory=140487306605487 CPUtime=0 cores=0-7
/proc/7705/task/7712/stat : 7712 (java) S 7703 7703 6929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105936371 26628161536 11487 33554432000 4194304 4196468 140733266864560 140267795258000 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7713] ppid=7703 vsize=26004064 memory=140487306607792 CPUtime=0 cores=0-7
/proc/7705/task/7713/stat : 7713 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936371 26628161536 11487 33554432000 4194304 4196468 140733266864560 140267429583120 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7714] ppid=7703 vsize=26004064 memory=140487306610096 CPUtime=0 cores=0-7
/proc/7705/task/7714/stat : 7714 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936371 26628161536 11487 33554432000 4194304 4196468 140733266864560 140267428530576 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7715] ppid=7703 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7715/stat : 7715 (java) S 7703 7703 6929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105936372 26628161536 11487 33554432000 4194304 4196468 140733266864560 140266150304496 140267877952130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7716] ppid=7703 vsize=26004064 memory=280974613227152 CPUtime=0 cores=0-7
/proc/7705/task/7716/stat : 7716 (java) S 7703 7703 6929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 105936372 26628161536 11487 33554432000 4194304 4196468 140733266864560 140266149250720 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7717] ppid=7703 vsize=26004064 memory=280974613234064 CPUtime=0 cores=0-7
/proc/7705/task/7717/stat : 7717 (java) S 7703 7703 6929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 105936373 26628161536 11487 33554432000 4194304 4196468 140733266864560 140266148197616 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7718] ppid=7703 vsize=26004064 memory=280974613175344 CPUtime=0 cores=0-7
/proc/7705/task/7718/stat : 7718 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936375 26628161536 11487 33554432000 4194304 4196468 140733266864560 140266147146192 140267877959579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7719] ppid=7703 vsize=26004064 memory=280974613247888 CPUtime=0.03 cores=0-7
/proc/7705/task/7719/stat : 7719 (java) S 7703 7703 6929 0 -1 1077944384 561 0 0 0 3 0 0 0 20 0 20 0 105936375 26628161536 11487 33554432000 4194304 4196468 140733266864560 140266146093296 140267877952130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7720] ppid=7703 vsize=26004064 memory=280974613254800 CPUtime=0.01 cores=0-7
/proc/7705/task/7720/stat : 7720 (java) R 7703 7703 6929 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 20 0 105936375 26628161536 11487 33554432000 4194304 4196468 140733266864560 140266145040752 140267877952130 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7721] ppid=7703 vsize=26004064 memory=280974613252496 CPUtime=0.01 cores=0-7
/proc/7705/task/7721/stat : 7721 (java) S 7703 7703 6929 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 20 0 105936375 26628161536 11487 33554432000 4194304 4196468 140733266864560 140266143987696 140267877952130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7722] ppid=7703 vsize=26004064 memory=280974613268656 CPUtime=0.11 cores=0-7
/proc/7705/task/7722/stat : 7722 (java) R 7703 7703 6929 0 -1 4202560 819 0 0 0 11 0 0 0 20 0 20 0 105936375 26628161536 11487 33554432000 4194304 4196468 140733266864560 140266142935152 140267857242765 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7723] ppid=7703 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7723/stat : 7723 (java) S 7703 7703 6929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 105936375 26628161536 11487 33554432000 4194304 4196468 140733266864560 140266141883360 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7724] ppid=7703 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7705/task/7724/stat : 7724 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936376 26628161536 11487 33554432000 4194304 4196468 140733266864560 140266140830896 140267877952130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47332 KiB

[startup+0.700944 s]
/proc/loadavg: 8.33 8.67 8.68 5/200 7724
/proc/meminfo: memFree=26901008/32770624 swapFree=67108860/67108860
[pid=7703] ppid=7700 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7703/stat : 7703 (xcsp3-exec) S 7700 7703 6929 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105936369 9740288 346 33554432000 4194304 5098028 140731779467280 140731779465384 140243226550908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20185088 140731779470437 140731779470647 140731779470647 140731779473387 0
/proc/7703/statm: 2378 346 289 221 0 87 0
[pid=7705] ppid=7703 vsize=26006188 memory=120536 CPUtime=1.91 cores=0-7
/proc/7705/stat : 7705 (java) S 7703 7703 6929 0 -1 1077944320 12539 0 0 0 186 5 0 0 20 0 20 0 105936369 26630336512 30134 33554432000 4194304 4196468 140733266864560 140733266847104 140267877940983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
/proc/7705/statm: 6501547 30134 3202 1 0 6488781 0
[pid=7705/tid=7706] ppid=7703 vsize=26006188 memory=280974613626544 CPUtime=0.67 cores=0-7
/proc/7705/task/7706/stat : 7706 (java) R 7703 7703 6929 0 -1 4202560 6198 0 0 0 64 3 0 0 20 0 20 0 105936370 26630336512 30134 33554432000 4194304 4196468 140733266864560 140267882177264 140267860404106 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7707] ppid=7703 vsize=26006188 memory=140487306814320 CPUtime=0 cores=0-7
/proc/7705/task/7707/stat : 7707 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936371 26630336512 30134 33554432000 4194304 4196468 140733266864560 140267800521744 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7708] ppid=7703 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7708/stat : 7708 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936371 26630336512 30134 33554432000 4194304 4196468 140733266864560 140267799469200 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7709] ppid=7703 vsize=26006188 memory=1008 CPUtime=0 cores=0-7
/proc/7705/task/7709/stat : 7709 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936371 26630336512 30134 33554432000 4194304 4196468 140733266864560 140267798416144 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0

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

[pid=7705/tid=7714] ppid=7703 vsize=26006188 memory=-9178176117151205470 CPUtime=0 cores=0-7
/proc/7705/task/7714/stat : 7714 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936371 26630336512 37874 33554432000 4194304 4196468 140733266864560 140267428530576 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7715] ppid=7703 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7715/stat : 7715 (java) S 7703 7703 6929 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 105936372 26630336512 37874 33554432000 4194304 4196468 140733266864560 140266150304496 140267877952130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7716] ppid=7703 vsize=26006188 memory=1732 CPUtime=0 cores=0-7
/proc/7705/task/7716/stat : 7716 (java) S 7703 7703 6929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 105936372 26630336512 37874 33554432000 4194304 4196468 140733266864560 140266149250720 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7717] ppid=7703 vsize=26006188 memory=1944 CPUtime=0 cores=0-7
/proc/7705/task/7717/stat : 7717 (java) S 7703 7703 6929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 105936373 26630336512 37874 33554432000 4194304 4196468 140733266864560 140266148197616 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7718] ppid=7703 vsize=26006188 memory=1700 CPUtime=0 cores=0-7
/proc/7705/task/7718/stat : 7718 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936375 26630336512 37874 33554432000 4194304 4196468 140733266864560 140266147146192 140267877959579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7719] ppid=7703 vsize=26006188 memory=1228 CPUtime=0.34 cores=0-7
/proc/7705/task/7719/stat : 7719 (java) S 7703 7703 6929 0 -1 1077944384 1454 0 0 0 34 0 0 0 20 0 20 0 105936375 26630336512 37874 33554432000 4194304 4196468 140733266864560 140266146093296 140267877952130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7720] ppid=7703 vsize=26006188 memory=5428 CPUtime=0.32 cores=0-7
/proc/7705/task/7720/stat : 7720 (java) S 7703 7703 6929 0 -1 1077944384 1023 0 0 0 32 0 0 0 20 0 20 0 105936375 26630336512 37874 33554432000 4194304 4196468 140733266864560 140266145040752 140267877952130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7721] ppid=7703 vsize=26006188 memory=4624 CPUtime=0.3 cores=0-7
/proc/7705/task/7721/stat : 7721 (java) S 7703 7703 6929 0 -1 1077944384 963 0 0 0 30 0 0 0 20 0 20 0 105936375 26630336512 37874 33554432000 4194304 4196468 140733266864560 140266143987696 140267877952130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7722] ppid=7703 vsize=26006188 memory=1424 CPUtime=0.31 cores=0-7
/proc/7705/task/7722/stat : 7722 (java) S 7703 7703 6929 0 -1 1077944384 1679 0 0 0 31 0 0 0 20 0 20 0 105936375 26630336512 37874 33554432000 4194304 4196468 140733266864560 140266142935152 140267877952130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7723] ppid=7703 vsize=26006188 memory=13056 CPUtime=0 cores=0-7
/proc/7705/task/7723/stat : 7723 (java) S 7703 7703 6929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 105936375 26630336512 37874 33554432000 4194304 4196468 140733266864560 140266141883360 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7724] ppid=7703 vsize=26006188 memory=792 CPUtime=0 cores=0-7
/proc/7705/task/7724/stat : 7724 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105936376 26630336512 37874 33554432000 4194304 4196468 140733266864560 140266140830896 140267877952130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
Current children cumulated CPU time: 2.09 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 152880 KiB

[startup+1.00871 s]*
/proc/loadavg: 8.33 8.67 8.68 7/208 7732
/proc/meminfo: memFree=26769388/32770624 swapFree=67108860/67108860
[pid=7703] ppid=7700 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7703/stat : 7703 (xcsp3-exec) S 7700 7703 6929 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105936369 9740288 346 33554432000 4194304 5098028 140731779467280 140731779465384 140243226550908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20185088 140731779470437 140731779470647 140731779470647 140731779473387 0
/proc/7703/statm: 2378 346 289 221 0 87 0
[pid=7705] ppid=7703 vsize=26538700 memory=199636 CPUtime=3 cores=0-7
/proc/7705/stat : 7705 (java) S 7703 7703 6929 0 -1 1077944320 14340 0 0 0 291 9 0 0 20 0 28 0 105936369 27175628800 49909 33554432000 4194304 4196468 140733266864560 140733266847104 140267877940983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
/proc/7705/statm: 6634675 49909 3227 1 0 6621909 0
[pid=7705/tid=7706] ppid=7703 vsize=26538700 memory=0 CPUtime=0.88 cores=0-7
/proc/7705/task/7706/stat : 7706 (java) S 7703 7703 6929 0 -1 1077944384 6300 0 0 0 84 4 0 0 20 0 28 0 105936370 27175628800 49909 33554432000 4194304 4196468 140733266864560 140267882181760 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7707] ppid=7703 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7707/stat : 7707 (java) S 7703 7703 6929 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 105936371 27175628800 49909 33554432000 4194304 4196468 140733266864560 140267800521744 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7708] ppid=7703 vsize=26538700 memory=280974746336624 CPUtime=0 cores=0-7
/proc/7705/task/7708/stat : 7708 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 105936371 27175628800 49909 33554432000 4194304 4196468 140733266864560 140267799469200 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7709] ppid=7703 vsize=26538700 memory=-1 CPUtime=0 cores=0-7
/proc/7705/task/7709/stat : 7709 (java) S 7703 7703 6929 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 105936371 27175628800 49909 33554432000 4194304 4196468 140733266864560 140267798416144 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7710] ppid=7703 vsize=26538700 memory=8028609095379211849 CPUtime=0 cores=0-7
/proc/7705/task/7710/stat : 7710 (java) S 7703 7703 6929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 105936371 27175628800 49909 33554432000 4194304 4196468 140733266864560 140267797363600 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7711] ppid=7703 vsize=26538700 memory=7512114543601282149 CPUtime=0 cores=0-7
/proc/7705/task/7711/stat : 7711 (java) S 7703 7703 6929 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 105936371 27175628800 49909 33554432000 4194304 4196468 140733266864560 140267796310544 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7712] ppid=7703 vsize=26538700 memory=3472614100632286516 CPUtime=0 cores=0-7
/proc/7705/task/7712/stat : 7712 (java) S 7703 7703 6929 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 105936371 27175628800 49909 33554432000 4194304 4196468 140733266864560 140267795258000 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7713] ppid=7703 vsize=26538700 memory=8318255677412212789 CPUtime=0 cores=0-7
/proc/7705/task/7713/stat : 7713 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 105936371 27175628800 49909 33554432000 4194304 4196468 140733266864560 140267429583120 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7714] ppid=7703 vsize=26538700 memory=288230587528118625 CPUtime=0 cores=0-7
/proc/7705/task/7714/stat : 7714 (java) S 7703 7703 6929 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 105936371 27175628800 49909 33554432000 4194304 4196468 140733266864560 140267428530576 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7715] ppid=7703 vsize=26538700 memory=15258168578022685 CPUtime=0 cores=0-7
/proc/7705/task/7715/stat : 7715 (java) S 7703 7703 6929 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 28 0 105936372 27175628800 49909 33554432000 4194304 4196468 140733266864560 140266150304496 140267877952130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7716] ppid=7703 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7716/stat : 7716 (java) S 7703 7703 6929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 105936372 27175628800 49909 33554432000 4194304 4196468 140733266864560 140266149250720 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7717] ppid=7703 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7717/stat : 7717 (java) S 7703 7703 6929 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 105936373 27175628800 49909 33554432000 4194304 4196468 140733266864560 140266148197616 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7718] ppid=7703 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7718/stat : 7718 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 105936375 27175628800 49909 33554432000 4194304 4196468 140733266864560 140266147146192 140267877959579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7719] ppid=7703 vsize=26538700 memory=0 CPUtime=0.43 cores=0-7
/proc/7705/task/7719/stat : 7719 (java) R 7703 7703 6929 0 -1 4202560 1775 0 0 0 43 0 0 0 20 0 28 0 105936375 27175628800 49909 33554432000 4194304 4196468 140733266864560 140266146074312 140267861427418 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7720] ppid=7703 vsize=26538700 memory=0 CPUtime=0.44 cores=0-7
/proc/7705/task/7720/stat : 7720 (java) R 7703 7703 6929 0 -1 4202560 1500 0 0 0 44 0 0 0 20 0 28 0 105936375 27175628800 49909 33554432000 4194304 4196468 140733266864560 140266145021976 140267858641280 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7721] ppid=7703 vsize=26538700 memory=0 CPUtime=0.34 cores=0-7
/proc/7705/task/7721/stat : 7721 (java) R 7703 7703 6929 0 -1 4202560 979 0 0 0 34 0 0 0 20 0 28 0 105936375 27175628800 49975 33554432000 4194304 4196468 140733266864560 140266143969024 140267861351997 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7722] ppid=7703 vsize=26538700 memory=0 CPUtime=0.4 cores=0-7
/proc/7705/task/7722/stat : 7722 (java) R 7703 7703 6929 0 -1 4202560 2083 0 0 0 39 1 0 0 20 0 28 0 105936375 27175628800 49975 33554432000 4194304 4196468 140733266864560 140266142931096 140267856901215 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7723] ppid=7703 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7723/stat : 7723 (java) S 7703 7703 6929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 105936375 27175628800 49975 33554432000 4194304 4196468 140733266864560 140266141883360 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7724] ppid=7703 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7724/stat : 7724 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 105936376 27175628800 50041 33554432000 4194304 4196468 140733266864560 140266140830896 140267877952130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7725] ppid=7703 vsize=26538700 memory=171051322 CPUtime=0.07 cores=0-7
/proc/7705/task/7725/stat : 7725 (java) R 7703 7703 6929 0 -1 4202560 56 0 0 0 7 0 0 0 20 0 28 0 105936461 27175628800 50041 33554432000 4194304 4196468 140733266864560 140266132818376 140267479075791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7726] ppid=7703 vsize=26538700 memory=6944656592455360604 CPUtime=0.05 cores=0-7
/proc/7705/task/7726/stat : 7726 (java) R 7703 7703 6929 0 -1 4202560 48 0 0 0 5 0 0 0 20 0 28 0 105936461 27175628800 50041 33554432000 4194304 4196468 140733266864560 140266131769584 140267479074841 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7727] ppid=7703 vsize=26538700 memory=140491734759039 CPUtime=0.04 cores=0-7
/proc/7705/task/7727/stat : 7727 (java) R 7703 7703 6929 0 -1 4202560 67 0 0 0 4 0 0 0 20 0 28 0 105936461 27175628800 50041 33554432000 4194304 4196468 140733266864560 140266130716368 140267877952918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7728] ppid=7703 vsize=26538700 memory=0 CPUtime=0.04 cores=0-7
/proc/7705/task/7728/stat : 7728 (java) S 7703 7703 6929 0 -1 1077944384 39 0 0 0 4 0 0 0 20 0 28 0 105936461 27175628800 50041 33554432000 4194304 4196468 140733266864560 140266129663824 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7729] ppid=7703 vsize=26538700 memory=0 CPUtime=0.05 cores=0-7
/proc/7705/task/7729/stat : 7729 (java) S 7703 7703 6929 0 -1 1077944384 36 0 0 0 5 0 0 0 20 0 28 0 105936461 27175628800 50041 33554432000 4194304 4196468 140733266864560 140266128610928 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7730] ppid=7703 vsize=26538700 memory=0 CPUtime=0.04 cores=0-7
/proc/7705/task/7730/stat : 7730 (java) R 7703 7703 6929 0 -1 4202560 38 0 0 0 4 0 0 0 20 0 28 0 105936461 27175628800 50041 33554432000 4194304 4196468 140733266864560 140266127558224 140267474681975 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7731] ppid=7703 vsize=26538700 memory=0 CPUtime=0.04 cores=0-7
/proc/7705/task/7731/stat : 7731 (java) R 7703 7703 6929 0 -1 4202560 40 0 0 0 4 0 0 0 20 0 28 0 105936461 27175628800 50041 33554432000 4194304 4196468 140733266864560 140266126506352 140267877952918 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7732] ppid=7703 vsize=26538700 memory=0 CPUtime=0.05 cores=0-7
/proc/7705/task/7732/stat : 7732 (java) R 7703 7703 6929 0 -1 1077944384 27 0 0 0 5 0 0 0 20 0 28 0 105936461 27175628800 50041 33554432000 4194304 4196468 140733266864560 140266125453648 140267877951189 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 201020 KiB

[startup+1.11154 s]
/proc/loadavg: 8.33 8.67 8.68 7/208 7732
/proc/meminfo: memFree=26769388/32770624 swapFree=67108860/67108860
[pid=7703] ppid=7700 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7703/stat : 7703 (xcsp3-exec) S 7700 7703 6929 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105936369 9740288 346 33554432000 4194304 5098028 140731779467280 140731779465384 140243226550908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20185088 140731779470437 140731779470647 140731779470647 140731779473387 0
/proc/7703/statm: 2378 346 289 221 0 87 0
[pid=7705] ppid=7703 vsize=26538700 memory=204384 CPUtime=3.72 cores=0-7
/proc/7705/stat : 7705 (java) S 7703 7703 6929 0 -1 1077944320 15496 0 0 0 363 9 0 0 20 0 28 0 105936369 27175628800 51096 33554432000 4194304 4196468 140733266864560 140733266847104 140267877940983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
/proc/7705/statm: 6634675 51096 3230 1 0 6621909 0
[pid=7705/tid=7706] ppid=7703 vsize=26538700 memory=0 CPUtime=0.88 cores=0-7
/proc/7705/task/7706/stat : 7706 (java) S 7703 7703 6929 0 -1 1077944384 6300 0 0 0 84 4 0 0 20 0 28 0 105936370 27175628800 51096 33554432000 4194304 4196468 140733266864560 140267882181760 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7707] ppid=7703 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7707/stat : 7707 (java) S 7703 7703 6929 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 105936371 27175628800 51096 33554432000 4194304 4196468 140733266864560 140267800521744 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7708] ppid=7703 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7708/stat : 7708 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 105936371 27175628800 51096 33554432000 4194304 4196468 140733266864560 140267799469200 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7709] ppid=7703 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7709/stat : 7709 (java) S 7703 7703 6929 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 105936371 27175628800 51096 33554432000 4194304 4196468 140733266864560 140267798416144 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7710] ppid=7703 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/7705/task/7710/stat : 7710 (java) S 7703 7703 6929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 105936371 27175628800 51096 33554432000 4194304 4196468 140733266864560 140267797363600 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7711] ppid=7703 vsize=26538700 memory=120536 CPUtime=0 cores=0-7
/proc/7705/task/7711/stat : 7711 (java) S 7703 7703 6929 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 105936371 27175628800 51096 33554432000 4194304 4196468 140733266864560 140267796310544 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7712] ppid=7703 vsize=26538700 memory=280974613626544 CPUtime=0 cores=0-7
/proc/7705/task/7712/stat : 7712 (java) S 7703 7703 6929 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 105936371 27175628800 51096 33554432000 4194304 4196468 140733266864560 140267795258000 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7713] ppid=7703 vsize=26538700 memory=140487306814320 CPUtime=0 cores=0-7
/proc/7705/task/7713/stat : 7713 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 105936371 27175628800 51096 33554432000 4194304 4196468 140733266864560 140267429583120 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7714] ppid=7703 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7714/stat : 7714 (java) S 7703 7703 6929 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 105936371 27175628800 51096 33554432000 4194304 4196468 140733266864560 140267428530576 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7715] ppid=7703 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7705/task/7715/stat : 7715 (java) R 7703 7703 6929 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 28 0 105936372 27175628800 51096 33554432000 4194304 4196468 140733266864560 140266150304600 140267870658135 0 0 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7716] ppid=7703 vsize=26538700 memory=33084133096510 CPUtime=0 cores=0-7
/proc/7705/task/7716/stat : 7716 (java) S 7703 7703 6929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 105936372 27175628800 51096 33554432000 4194304 4196468 140733266864560 140266149250720 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7717] ppid=7703 vsize=26538700 memory=33084133096511 CPUtime=0 cores=0-7
/proc/7705/task/7717/stat : 7717 (java) S 7703 7703 6929 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 105936373 27175628800 51096 33554432000 4194304 4196468 140733266864560 140266148197616 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7718] ppid=7703 vsize=26538700 memory=33084133096512 CPUtime=0 cores=0-7
/proc/7705/task/7718/stat : 7718 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 105936375 27175628800 51096 33554432000 4194304 4196468 140733266864560 140266147146192 140267877959579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7719] ppid=7703 vsize=26538700 memory=33084133096513 CPUtime=0.49 cores=0-7
/proc/7705/task/7719/stat : 7719 (java) R 7703 7703 6929 0 -1 4202560 2147 0 0 0 49 0 0 0 20 0 28 0 105936375 27175628800 51096 33554432000 4194304 4196468 140733266864560 140266146079400 140267859461753 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7720] ppid=7703 vsize=26538700 memory=33084133096514 CPUtime=0.48 cores=0-7
/proc/7705/task/7720/stat : 7720 (java) R 7703 7703 6929 0 -1 4202560 1966 0 0 0 48 0 0 0 20 0 28 0 105936375 27175628800 51096 33554432000 4194304 4196468 140733266864560 140266145021768 140267861437763 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7721] ppid=7703 vsize=26538700 memory=33084133096515 CPUtime=0.38 cores=0-7
/proc/7705/task/7721/stat : 7721 (java) R 7703 7703 6929 0 -1 4202560 1132 0 0 0 38 0 0 0 20 0 28 0 105936375 27175628800 51096 33554432000 4194304 4196468 140733266864560 140266143974264 140267855688424 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7722] ppid=7703 vsize=26538700 memory=0 CPUtime=0.42 cores=0-7
/proc/7705/task/7722/stat : 7722 (java) S 7703 7703 6929 0 -1 1077944384 2148 0 0 0 41 1 0 0 20 0 28 0 105936375 27175628800 51096 33554432000 4194304 4196468 140733266864560 140266142930896 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7723] ppid=7703 vsize=26538700 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/7705/task/7723/stat : 7723 (java) S 7703 7703 6929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 105936375 27175628800 51096 33554432000 4194304 4196468 140733266864560 140266141883360 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7724] ppid=7703 vsize=26538700 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/7705/task/7724/stat : 7724 (java) S 7703 7703 6929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 105936376 27175628800 51096 33554432000 4194304 4196468 140733266864560 140266140830896 140267877952130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7725] ppid=7703 vsize=26538700 memory=6944656592455097440 CPUtime=0.14 cores=0-7
/proc/7705/task/7725/stat : 7725 (java) S 7703 7703 6929 0 -1 1077944384 56 0 0 0 14 0 0 0 20 0 28 0 105936461 27175628800 51096 33554432000 4194304 4196468 140733266864560 140266132818352 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7726] ppid=7703 vsize=26538700 memory=6944656592455359580 CPUtime=0.11 cores=0-7
/proc/7705/task/7726/stat : 7726 (java) S 7703 7703 6929 0 -1 1077936192 48 0 0 0 11 0 0 0 20 0 28 0 105936461 27175628800 51096 33554432000 4194304 4196468 140733266864560 140266131766976 140267877951189 0 2147221247 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7727] ppid=7703 vsize=26538700 memory=6656426216303648864 CPUtime=0.11 cores=0-7
/proc/7705/task/7727/stat : 7727 (java) S 7703 7703 6929 0 -1 1077944384 67 0 0 0 11 0 0 0 20 0 28 0 105936461 27175628800 51096 33554432000 4194304 4196468 140733266864560 140266130713488 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7728] ppid=7703 vsize=26538700 memory=6944652177228980320 CPUtime=0.12 cores=0-7
/proc/7705/task/7728/stat : 7728 (java) S 7703 7703 6929 0 -1 1077944384 41 0 0 0 12 0 0 0 20 0 28 0 105936461 27175628800 51096 33554432000 4194304 4196468 140733266864560 140266129662336 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7729] ppid=7703 vsize=26538700 memory=6944656592455360604 CPUtime=0.1 cores=0-7
/proc/7705/task/7729/stat : 7729 (java) S 7703 7703 6929 0 -1 1077944384 36 0 0 0 10 0 0 0 20 0 28 0 105936461 27175628800 51096 33554432000 4194304 4196468 140733266864560 140266128607872 140267877951189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7730] ppid=7703 vsize=26538700 memory=5787216026087348073 CPUtime=0.12 cores=0-7
/proc/7705/task/7730/stat : 7730 (java) S 7703 7703 6929 0 -1 1077936192 41 0 0 0 12 0 0 0 20 0 28 0 105936461 27175628800 51096 33554432000 4194304 4196468 140733266864560 140266127558528 140267877951189 0 2147221247 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7731] ppid=7703 vsize=26538700 memory=26729739767 CPUtime=0.13 cores=0-7
/proc/7705/task/7731/stat : 7731 (java) S 7703 7703 6929 0 -1 1077936192 42 0 0 0 13 0 0 0 20 0 28 0 105936461 27175628800 51096 33554432000 4194304 4196468 140733266864560 140266126503744 140267877951189 0 2147221247 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
[pid=7705/tid=7732] ppid=7703 vsize=26538700 memory=55 CPUtime=0.11 cores=0-7
/proc/7705/task/7732/stat : 7732 (java) D 7703 7703 6929 0 -1 4202560 27 0 0 0 11 0 0 0 20 0 28 0 105936461 27175628800 51096 33554432000 4194304 4196468 140733266864560 140266125454152 140267862256764 0 4 0 16800975 18446744071582151416 0 0 -1 0 0 0 0 0 0 6293624 6294260 28143616 140733266867346 140733266867523 140733266867523 140733266870223 0
Current children cumulated CPU time: 3.72 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 205768 KiB

Child status: 0
Real time (s): 1.16714
CPU time (s): 4.05585
CPU user time (s): 3.94799
CPU system time (s): 0.107858
CPU usage (%): 347.503
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 205768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.94799
system time used= 0.107858
maximum resident set size= 206948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16341
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2703
involuntary context switches= 61


# summary of solver processes directly reported to runsolver:
#   pid: 7703
#   total CPU time (s): 4.05585
#   total CPU user time (s): 3.94799
#   total CPU system time (s): 0.107858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032852 second user time and 0.053758 second system time

The end

Launcher Data 

Begin job on node114 at 2017-08-14 18:20:27
IDJOB=4271285
IDBENCH=126257
IDSOLVER=2662
FILE ID=node114/4271285-1502728486
RUNJOBID= node114-1502720059-6956
PBS_JOBID= 20629036
Free space on /tmp= 61700 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Steiner3/Steiner3-m1-s1/Steiner3-06.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271285-1502728486/watcher-4271285-1502728486 -o /tmp/evaluation-result-4271285-1502728486/solver-4271285-1502728486 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502720059-6956 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 800671608 HOME/instance-4271285-1502728486.xml

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

MD5SUM BENCH= f08f6d25c7c16d7e74d6f0f0fe10f3ad
RANDOM SEED=800671608

node114.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.98
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.98
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.98
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.98
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:        26958616 kB
MemAvailable:   31988540 kB
Buffers:          196000 kB
Cached:          5121584 kB
SwapCached:            0 kB
Active:           465416 kB
Inactive:        4907468 kB
Active(anon):      57796 kB
Inactive(anon):    25124 kB
Active(file):     407620 kB
Inactive(file):  4882344 kB
Unevictable:        6432 kB
Mlocked:            6432 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7848 kB
Writeback:             0 kB
AnonPages:         61720 kB
Mapped:            44852 kB
Shmem:             25224 kB
Slab:             136800 kB
SReclaimable:     111588 kB
SUnreclaim:        25212 kB
KernelStack:        3200 kB
PageTables:         5164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 61692 MiB
End job on node114 at 2017-08-14 18:20:28