Trace number 4271056

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 33.832199 4.7467399

General information on the benchmark

NameMixed/Mixed-xcsp2-cril/
cril-7_X2.xml
MD5SUM5e218b581bf3702f20459c06ac876610
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 benchmark5.0229201
Satisfiable
(Un)Satisfiability was proved
Number of variables36
Number of constraints153
Number of domains1
Minimum domain size9
Maximum domain size9
Distribution of domain sizes[{"size":9,"count":36}]
Minimum variable degree9
Maximum variable degree9
Distribution of variable degrees[{"degree":9,"count":36}]
Minimum constraint arity2
Maximum constraint arity4
Distribution of constraint arities[{"arity":2,"count":144},{"arity":4,"count":9}]
Number of extensional constraints153
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":153}]
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-4271056-1502687387.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271056-1502687387.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
1.59/0.68	c solve instance...
33.58/4.73	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 (15348 MiB free)
  memory of node 1: 16384 MiB (15477 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271056-1502687387/watcher-4271056-1502687387 -o /tmp/evaluation-result-4271056-1502687387/solver-4271056-1502687387 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502681025-4710 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2053996223 HOME/instance-4271056-1502687387.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5128, runsolver pid=5125
Current StackSize limit: 8192 KiB


[startup+0.100135 s]*
/proc/loadavg: 8.19 8.36 8.22 2/199 5149
/proc/meminfo: memFree=31550212/32770624 swapFree=67108860/67108860
[pid=5128] ppid=5125 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5128/stat : 5128 (xcsp3-exec) S 5125 5128 4683 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101826413 9740288 346 33554432000 4194304 5098028 140723570709840 140723570707944 140018430898812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11624448 140723570713700 140723570713911 140723570713911 140723570716651 0
/proc/5128/statm: 2378 346 289 221 0 87 0
[pid=5130] ppid=5128 vsize=25999808 memory=27068 CPUtime=0.12 cores=0-7
/proc/5130/stat : 5130 (java) S 5128 5128 4683 0 -1 1077944320 5633 0 0 0 10 2 0 0 20 0 20 0 101826413 26623803392 6767 33554432000 4194304 4196468 140730358855360 140730358837904 140242574024439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
/proc/5130/statm: 6499952 6767 2873 1 0 6488269 0
[pid=5130/tid=5131] ppid=5128 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/5130/task/5131/stat : 5131 (java) R 5128 5128 4683 0 -1 4202560 3647 0 0 0 8 1 0 0 20 0 20 0 101826414 26623803392 6767 33554432000 4194304 4196468 140730358855360 140242578247888 140242174640192 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5132] ppid=5128 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/5130/task/5132/stat : 5132 (java) S 5128 5128 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826415 26623803392 6767 33554432000 4194304 4196468 140730358855360 140242496605072 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5133] ppid=5128 vsize=25999808 memory=140572008265344 CPUtime=0 cores=0-7
/proc/5130/task/5133/stat : 5133 (java) S 5128 5128 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826415 26623803392 6767 33554432000 4194304 4196468 140730358855360 140242495552272 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5134] ppid=5128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5134/stat : 5134 (java) S 5128 5128 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826415 26623803392 6767 33554432000 4194304 4196468 140730358855360 140242494499984 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5135] ppid=5128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5135/stat : 5135 (java) S 5128 5128 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826415 26623803392 6767 33554432000 4194304 4196468 140730358855360 140242129542160 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5136] ppid=5128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5136/stat : 5136 (java) S 5128 5128 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826415 26623803392 6767 33554432000 4194304 4196468 140730358855360 140242128488848 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5137] ppid=5128 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5130/task/5137/stat : 5137 (java) S 5128 5128 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826415 26623803392 6767 33554432000 4194304 4196468 140730358855360 140242127436048 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5138] ppid=5128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5138/stat : 5138 (java) S 5128 5128 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826415 26623803392 6767 33554432000 4194304 4196468 140730358855360 140242126383760 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5139] ppid=5128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5139/stat : 5139 (java) S 5128 5128 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101826415 26623803392 6767 33554432000 4194304 4196468 140730358855360 140242125330960 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5140] ppid=5128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5140/stat : 5140 (java) S 5128 5128 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826416 26623803392 6767 33554432000 4194304 4196468 140730358855360 140241969076848 140242574035586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5141] ppid=5128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5141/stat : 5141 (java) S 5128 5128 4683 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101826417 26623803392 6767 33554432000 4194304 4196468 140730358855360 140241968022816 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5142] ppid=5128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5142/stat : 5142 (java) S 5128 5128 4683 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101826417 26623803392 6767 33554432000 4194304 4196468 140730358855360 140241966970480 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5143] ppid=5128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5143/stat : 5143 (java) S 5128 5128 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826419 26623803392 6767 33554432000 4194304 4196468 140730358855360 140241965918800 140242574043035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5144] ppid=5128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5144/stat : 5144 (java) S 5128 5128 4683 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 20 0 101826419 26623803392 6767 33554432000 4194304 4196468 140730358855360 140241964865648 140242574035586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5145] ppid=5128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5145/stat : 5145 (java) S 5128 5128 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826419 26623803392 6767 33554432000 4194304 4196468 140730358855360 140241963812848 140242574035586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5146] ppid=5128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5146/stat : 5146 (java) S 5128 5128 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101826419 26623803392 6767 33554432000 4194304 4196468 140730358855360 140241962760560 140242574035586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5147] ppid=5128 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/5130/task/5147/stat : 5147 (java) R 5128 5128 4683 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 20 0 101826419 26623803392 6767 33554432000 4194304 4196468 140730358855360 140241961707760 140242574045786 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5148] ppid=5128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5148/stat : 5148 (java) S 5128 5128 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101826419 26623803392 6767 33554432000 4194304 4196468 140730358855360 140241960655712 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5149] ppid=5128 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5130/task/5149/stat : 5149 (java) S 5128 5128 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826420 26623803392 6767 33554432000 4194304 4196468 140730358855360 140241959602992 140242574035586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28452 KiB

[startup+0.210121 s]*
/proc/loadavg: 8.19 8.36 8.22 3/199 5149
/proc/meminfo: memFree=31538644/32770624 swapFree=67108860/67108860
[pid=5128] ppid=5125 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5128/stat : 5128 (xcsp3-exec) S 5125 5128 4683 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101826413 9740288 346 33554432000 4194304 5098028 140723570709840 140723570707944 140018430898812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11624448 140723570713700 140723570713911 140723570713911 140723570716651 0
/proc/5128/statm: 2378 346 289 221 0 87 0
[pid=5130] ppid=5128 vsize=26004064 memory=38444 CPUtime=0.33 cores=0-7
/proc/5130/stat : 5130 (java) S 5128 5128 4683 0 -1 1077944320 8294 0 0 0 30 3 0 0 20 0 20 0 101826413 26628161536 9611 33554432000 4194304 4196468 140730358855360 140730358837904 140242574024439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
/proc/5130/statm: 6501016 9611 3023 1 0 6488269 0
[pid=5130/tid=5131] ppid=5128 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/5130/task/5131/stat : 5131 (java) R 5128 5128 4683 0 -1 4202560 5426 0 0 0 18 2 0 0 20 0 20 0 101826414 26628161536 9611 33554432000 4194304 4196468 140730358855360 140242578245264 140242566702453 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5132] ppid=5128 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/5130/task/5132/stat : 5132 (java) S 5128 5128 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826415 26628161536 9611 33554432000 4194304 4196468 140730358855360 140242496605072 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5133] ppid=5128 vsize=26004064 memory=140572008279213 CPUtime=0 cores=0-7
/proc/5130/task/5133/stat : 5133 (java) S 5128 5128 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826415 26628161536 9611 33554432000 4194304 4196468 140730358855360 140242495552272 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5134] ppid=5128 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5130/task/5134/stat : 5134 (java) S 5128 5128 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826415 26628161536 9611 33554432000 4194304 4196468 140730358855360 140242494499984 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5135] ppid=5128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5135/stat : 5135 (java) S 5128 5128 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826415 26628161536 9611 33554432000 4194304 4196468 140730358855360 140242129542160 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5136] ppid=5128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5136/stat : 5136 (java) S 5128 5128 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826415 26628161536 9611 33554432000 4194304 4196468 140730358855360 140242128488848 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5137] ppid=5128 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5130/task/5137/stat : 5137 (java) S 5128 5128 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826415 26628161536 9611 33554432000 4194304 4196468 140730358855360 140242127436048 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5138] ppid=5128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5138/stat : 5138 (java) S 5128 5128 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826415 26628161536 9611 33554432000 4194304 4196468 140730358855360 140242126383760 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5139] ppid=5128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5139/stat : 5139 (java) S 5128 5128 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101826415 26628161536 9611 33554432000 4194304 4196468 140730358855360 140242125330960 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5140] ppid=5128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5140/stat : 5140 (java) S 5128 5128 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826416 26628161536 9611 33554432000 4194304 4196468 140730358855360 140241969076848 140242574035586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5141] ppid=5128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5141/stat : 5141 (java) S 5128 5128 4683 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101826417 26628161536 9611 33554432000 4194304 4196468 140730358855360 140241968022816 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5142] ppid=5128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5142/stat : 5142 (java) S 5128 5128 4683 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101826417 26628161536 9611 33554432000 4194304 4196468 140730358855360 140241966970480 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5143] ppid=5128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5143/stat : 5143 (java) S 5128 5128 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826419 26628161536 9611 33554432000 4194304 4196468 140730358855360 140241965918800 140242574043035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5144] ppid=5128 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/5130/task/5144/stat : 5144 (java) S 5128 5128 4683 0 -1 1077944384 459 0 0 0 1 0 0 0 20 0 20 0 101826419 26628161536 9611 33554432000 4194304 4196468 140730358855360 140241964865648 140242574035586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5145] ppid=5128 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/5130/task/5145/stat : 5145 (java) S 5128 5128 4683 0 -1 1077944384 255 0 0 0 2 0 0 0 20 0 20 0 101826419 26628161536 9611 33554432000 4194304 4196468 140730358855360 140241963812848 140242574035586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5146] ppid=5128 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5130/task/5146/stat : 5146 (java) S 5128 5128 4683 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 20 0 101826419 26628161536 9611 33554432000 4194304 4196468 140730358855360 140241962760560 140242574035586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5147] ppid=5128 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/5130/task/5147/stat : 5147 (java) R 5128 5128 4683 0 -1 4202560 716 0 0 0 7 0 0 0 20 0 20 0 101826419 26628161536 9611 33554432000 4194304 4196468 140730358855360 140241961707760 140242558338037 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5148] ppid=5128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5148/stat : 5148 (java) S 5128 5128 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101826419 26628161536 9611 33554432000 4194304 4196468 140730358855360 140241960655712 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5149] ppid=5128 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5130/task/5149/stat : 5149 (java) S 5128 5128 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826420 26628161536 9611 33554432000 4194304 4196468 140730358855360 140241959602992 140242574035586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39828 KiB

[startup+0.309422 s]*
/proc/loadavg: 8.19 8.36 8.22 3/199 5149
/proc/meminfo: memFree=31533868/32770624 swapFree=67108860/67108860
[pid=5128] ppid=5125 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5128/stat : 5128 (xcsp3-exec) S 5125 5128 4683 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101826413 9740288 346 33554432000 4194304 5098028 140723570709840 140723570707944 140018430898812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11624448 140723570713700 140723570713911 140723570713911 140723570716651 0
/proc/5128/statm: 2378 346 289 221 0 87 0
[pid=5130] ppid=5128 vsize=26004064 memory=45684 CPUtime=0.49 cores=0-7
/proc/5130/stat : 5130 (java) S 5128 5128 4683 0 -1 1077944320 9186 0 0 0 45 4 0 0 20 0 20 0 101826413 26628161536 11421 33554432000 4194304 4196468 140730358855360 140730358837904 140242574024439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
/proc/5130/statm: 6501016 11421 3045 1 0 6488269 0
[pid=5130/tid=5131] ppid=5128 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5130/task/5131/stat : 5131 (java) R 5128 5128 4683 0 -1 4202560 6131 0 0 0 27 2 0 0 20 0 20 0 101826414 26628161536 11487 33554432000 4194304 4196468 140730358855360 140242578247184 140242574046365 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5132] ppid=5128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5132/stat : 5132 (java) S 5128 5128 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826415 26628161536 11487 33554432000 4194304 4196468 140730358855360 140242496605072 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5133] ppid=5128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5133/stat : 5133 (java) S 5128 5128 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826415 26628161536 11487 33554432000 4194304 4196468 140730358855360 140242495552272 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5134] ppid=5128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5134/stat : 5134 (java) S 5128 5128 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826415 26628161536 11487 33554432000 4194304 4196468 140730358855360 140242494499984 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5135] ppid=5128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5135/stat : 5135 (java) S 5128 5128 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826415 26628161536 11487 33554432000 4194304 4196468 140730358855360 140242129542160 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5136] ppid=5128 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/5130/task/5136/stat : 5136 (java) S 5128 5128 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826415 26628161536 11487 33554432000 4194304 4196468 140730358855360 140242128488848 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5137] ppid=5128 vsize=26004064 memory=140571863774127 CPUtime=0 cores=0-7
/proc/5130/task/5137/stat : 5137 (java) S 5128 5128 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826415 26628161536 11487 33554432000 4194304 4196468 140730358855360 140242127436048 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5138] ppid=5128 vsize=26004064 memory=140571863776432 CPUtime=0 cores=0-7
/proc/5130/task/5138/stat : 5138 (java) S 5128 5128 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826415 26628161536 11487 33554432000 4194304 4196468 140730358855360 140242126383760 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5139] ppid=5128 vsize=26004064 memory=140571863778736 CPUtime=0 cores=0-7
/proc/5130/task/5139/stat : 5139 (java) S 5128 5128 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101826415 26628161536 11487 33554432000 4194304 4196468 140730358855360 140242125330960 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5140] ppid=5128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5140/stat : 5140 (java) S 5128 5128 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826416 26628161536 11487 33554432000 4194304 4196468 140730358855360 140241969076848 140242574035586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5141] ppid=5128 vsize=26004064 memory=281143727564432 CPUtime=0 cores=0-7
/proc/5130/task/5141/stat : 5141 (java) S 5128 5128 4683 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101826417 26628161536 11487 33554432000 4194304 4196468 140730358855360 140241968022816 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5142] ppid=5128 vsize=26004064 memory=281143727571344 CPUtime=0 cores=0-7
/proc/5130/task/5142/stat : 5142 (java) S 5128 5128 4683 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101826417 26628161536 11487 33554432000 4194304 4196468 140730358855360 140241966970480 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5143] ppid=5128 vsize=26004064 memory=281143727512496 CPUtime=0 cores=0-7
/proc/5130/task/5143/stat : 5143 (java) S 5128 5128 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826419 26628161536 11487 33554432000 4194304 4196468 140730358855360 140241965918800 140242574043035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5144] ppid=5128 vsize=26004064 memory=281143727585168 CPUtime=0.01 cores=0-7
/proc/5130/task/5144/stat : 5144 (java) R 5128 5128 4683 0 -1 4202560 487 0 0 0 1 0 0 0 20 0 20 0 101826419 26628161536 11487 33554432000 4194304 4196468 140730358855360 140241964856032 140242554723774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5145] ppid=5128 vsize=26004064 memory=281143727592080 CPUtime=0.02 cores=0-7
/proc/5130/task/5145/stat : 5145 (java) S 5128 5128 4683 0 -1 1077944384 256 0 0 0 2 0 0 0 20 0 20 0 101826419 26628161536 11487 33554432000 4194304 4196468 140730358855360 140241963812848 140242574035586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5146] ppid=5128 vsize=26004064 memory=281143727589776 CPUtime=0.02 cores=0-7
/proc/5130/task/5146/stat : 5146 (java) S 5128 5128 4683 0 -1 1077944384 228 0 0 0 2 0 0 0 20 0 20 0 101826419 26628161536 11487 33554432000 4194304 4196468 140730358855360 140241962760560 140242574035586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5147] ppid=5128 vsize=26004064 memory=281143727605936 CPUtime=0.12 cores=0-7
/proc/5130/task/5147/stat : 5147 (java) R 5128 5128 4683 0 -1 4202560 832 0 0 0 12 0 0 0 20 0 20 0 101826419 26628161536 11487 33554432000 4194304 4196468 140730358855360 140241961704128 140242552637504 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5148] ppid=5128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5148/stat : 5148 (java) S 5128 5128 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101826419 26628161536 11487 33554432000 4194304 4196468 140730358855360 140241960655712 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5149] ppid=5128 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5130/task/5149/stat : 5149 (java) S 5128 5128 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826420 26628161536 11487 33554432000 4194304 4196468 140730358855360 140241959602992 140242574035586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47068 KiB

[startup+0.700961 s]
/proc/loadavg: 8.19 8.36 8.22 3/199 5149
/proc/meminfo: memFree=31514816/32770624 swapFree=67108860/67108860
[pid=5128] ppid=5125 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5128/stat : 5128 (xcsp3-exec) S 5125 5128 4683 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101826413 9740288 346 33554432000 4194304 5098028 140723570709840 140723570707944 140018430898812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11624448 140723570713700 140723570713911 140723570713911 140723570716651 0
/proc/5128/statm: 2378 346 289 221 0 87 0
[pid=5130] ppid=5128 vsize=26273472 memory=117988 CPUtime=2 cores=0-7
/proc/5130/stat : 5130 (java) S 5128 5128 4683 0 -1 1077944320 14135 0 0 0 193 7 0 0 20 0 25 0 101826413 26904035328 29497 33554432000 4194304 4196468 140730358855360 140730358837904 140242574024439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
/proc/5130/statm: 6568368 29497 3202 1 0 6555602 0
[pid=5130/tid=5131] ppid=5128 vsize=26273472 memory=281143727963824 CPUtime=0.66 cores=0-7
/proc/5130/task/5131/stat : 5131 (java) S 5128 5128 4683 0 -1 1077944384 6825 0 0 0 63 3 0 0 20 0 25 0 101826414 26904035328 29497 33554432000 4194304 4196468 140730358855360 140242578265216 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5132] ppid=5128 vsize=26273472 memory=140571863982960 CPUtime=0 cores=0-7
/proc/5130/task/5132/stat : 5132 (java) S 5128 5128 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 25 0 101826415 26904035328 29497 33554432000 4194304 4196468 140730358855360 140242496605072 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5133] ppid=5128 vsize=26273472 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5133/stat : 5133 (java) S 5128 5128 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 25 0 101826415 26904035328 29497 33554432000 4194304 4196468 140730358855360 140242495552272 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5134] ppid=5128 vsize=26404544 memory=10928 CPUtime=0 cores=0-7
/proc/5130/task/5134/stat : 5134 (java) S 5128 5128 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 25 0 101826415 27038253056 30009 33554432000 4194304 4196468 140730358855360 140242494499984 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0

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

[pid=5130/tid=5147] ppid=5128 vsize=26538700 memory=7019467087956685109 CPUtime=0.61 cores=0-7
/proc/5130/task/5147/stat : 5147 (java) S 5128 5128 4683 0 -1 1077944384 4043 0 0 0 60 1 0 0 20 0 28 0 101826419 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241961707760 140242574035586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5148] ppid=5128 vsize=26538700 memory=140571864196176 CPUtime=0 cores=0-7
/proc/5130/task/5148/stat : 5148 (java) S 5128 5128 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101826419 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241960655712 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5149] ppid=5128 vsize=26538700 memory=3762534503431680051 CPUtime=0 cores=0-7
/proc/5130/task/5149/stat : 5149 (java) S 5128 5128 4683 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 101826420 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241959602992 140242574035586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5150] ppid=5128 vsize=26538700 memory=3618114741709316143 CPUtime=2.99 cores=0-7
/proc/5130/task/5150/stat : 5150 (java) R 5128 5128 4683 0 -1 4202560 152 0 0 0 299 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241958547144 140242181645438 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5151] ppid=5128 vsize=26538700 memory=6935597583143614018 CPUtime=2.93 cores=0-7
/proc/5130/task/5151/stat : 5151 (java) R 5128 5128 4683 0 -1 4202560 132 0 0 0 293 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241882931408 140242180960952 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5152] ppid=5128 vsize=26538700 memory=3467968498347128548 CPUtime=2.72 cores=0-7
/proc/5130/task/5152/stat : 5152 (java) R 5128 5128 4683 0 -1 4202560 280 0 0 0 272 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241881878096 140242180960140 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5153] ppid=5128 vsize=26538700 memory=0 CPUtime=3.16 cores=0-7
/proc/5130/task/5153/stat : 5153 (java) R 5128 5128 4683 0 -1 4202560 217 0 0 0 316 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241880825216 140242180959479 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5154] ppid=5128 vsize=26538700 memory=6947177708142486848 CPUtime=2.89 cores=0-7
/proc/5130/task/5154/stat : 5154 (java) R 5128 5128 4683 0 -1 4202560 159 0 0 0 289 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241879773104 140242181645816 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5155] ppid=5128 vsize=26538700 memory=7014444751693833280 CPUtime=3.01 cores=0-7
/proc/5130/task/5155/stat : 5155 (java) R 5128 5128 4683 0 -1 4202560 120 0 0 0 301 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241878720208 140242180959952 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5156] ppid=5128 vsize=26538700 memory=5450909908396308010 CPUtime=2.86 cores=0-7
/proc/5130/task/5156/stat : 5156 (java) R 5128 5128 4683 0 -1 4202560 196 0 0 0 286 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241877667840 140242180576040 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5157] ppid=5128 vsize=26538700 memory=1329904169539632281 CPUtime=2.88 cores=0-7
/proc/5130/task/5157/stat : 5157 (java) R 5128 5128 4683 0 -1 4202560 108 0 0 0 288 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241876615040 140242180900219 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
Current children cumulated CPU time: 28.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 235408 KiB

[startup+4.50192 s]
/proc/loadavg: 8.19 8.36 8.22 10/207 5157
/proc/meminfo: memFree=31342244/32770624 swapFree=67108860/67108860
[pid=5128] ppid=5125 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5128/stat : 5128 (xcsp3-exec) S 5125 5128 4683 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101826413 9740288 346 33554432000 4194304 5098028 140723570709840 140723570707944 140018430898812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11624448 140723570713700 140723570713911 140723570713911 140723570716651 0
/proc/5128/statm: 2378 346 289 221 0 87 0
[pid=5130] ppid=5128 vsize=26538700 memory=234024 CPUtime=31.96 cores=0-7
/proc/5130/stat : 5130 (java) S 5128 5128 4683 0 -1 1077944320 35465 0 0 0 3174 22 0 0 20 0 28 0 101826413 27175628800 58506 33554432000 4194304 4196468 140730358855360 140730358837904 140242574024439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
/proc/5130/statm: 6634675 58506 3255 1 0 6621909 0
[pid=5130/tid=5131] ppid=5128 vsize=26538700 memory=4627829647351778678 CPUtime=0.66 cores=0-7
/proc/5130/task/5131/stat : 5131 (java) S 5128 5128 4683 0 -1 1077944384 6825 0 0 0 63 3 0 0 20 0 28 0 101826414 27175628800 58506 33554432000 4194304 4196468 140730358855360 140242578265216 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5132] ppid=5128 vsize=26538700 memory=5842134815799760108 CPUtime=0 cores=0-7
/proc/5130/task/5132/stat : 5132 (java) S 5128 5128 4683 0 -1 1077944384 812 0 0 0 0 0 0 0 20 0 28 0 101826415 27175628800 58506 33554432000 4194304 4196468 140730358855360 140242496605072 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5133] ppid=5128 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5133/stat : 5133 (java) S 5128 5128 4683 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 101826415 27175628800 58506 33554432000 4194304 4196468 140730358855360 140242495552272 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5134] ppid=5128 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5134/stat : 5134 (java) S 5128 5128 4683 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 101826415 27175628800 58506 33554432000 4194304 4196468 140730358855360 140242494499984 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5135] ppid=5128 vsize=26538700 memory=140576303232639 CPUtime=0 cores=0-7
/proc/5130/task/5135/stat : 5135 (java) S 5128 5128 4683 0 -1 1077944384 367 0 0 0 0 0 0 0 20 0 28 0 101826415 27175628800 58506 33554432000 4194304 4196468 140730358855360 140242129542160 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5136] ppid=5128 vsize=26538700 memory=7590083142231942764 CPUtime=0 cores=0-7
/proc/5130/task/5136/stat : 5136 (java) S 5128 5128 4683 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 28 0 101826415 27175628800 58506 33554432000 4194304 4196468 140730358855360 140242128488848 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5137] ppid=5128 vsize=26538700 memory=7590083142231942764 CPUtime=0 cores=0-7
/proc/5130/task/5137/stat : 5137 (java) S 5128 5128 4683 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 101826415 27175628800 58506 33554432000 4194304 4196468 140730358855360 140242127436048 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5138] ppid=5128 vsize=26538700 memory=7590083142231942764 CPUtime=0 cores=0-7
/proc/5130/task/5138/stat : 5138 (java) S 5128 5128 4683 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 28 0 101826415 27175628800 58506 33554432000 4194304 4196468 140730358855360 140242126383760 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5139] ppid=5128 vsize=26538700 memory=6153156671874428009 CPUtime=0 cores=0-7
/proc/5130/task/5139/stat : 5139 (java) S 5128 5128 4683 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 101826415 27175628800 58506 33554432000 4194304 4196468 140730358855360 140242125330960 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5140] ppid=5128 vsize=26538700 memory=6153156671874428009 CPUtime=0 cores=0-7
/proc/5130/task/5140/stat : 5140 (java) S 5128 5128 4683 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 28 0 101826416 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241969076848 140242574035586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5141] ppid=5128 vsize=26538700 memory=6153156671874428009 CPUtime=0 cores=0-7
/proc/5130/task/5141/stat : 5141 (java) S 5128 5128 4683 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 101826417 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241968022816 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5142] ppid=5128 vsize=26538700 memory=7590083142231942764 CPUtime=0 cores=0-7
/proc/5130/task/5142/stat : 5142 (java) S 5128 5128 4683 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 101826417 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241966970496 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5143] ppid=5128 vsize=26538700 memory=7666934615304857444 CPUtime=0 cores=0-7
/proc/5130/task/5143/stat : 5143 (java) S 5128 5128 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101826419 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241965918800 140242574043035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5144] ppid=5128 vsize=26538700 memory=7666934615304857444 CPUtime=1.39 cores=0-7
/proc/5130/task/5144/stat : 5144 (java) S 5128 5128 4683 0 -1 1077944384 6405 0 0 0 137 2 0 0 20 0 28 0 101826419 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241964865648 140242574035586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5145] ppid=5128 vsize=26538700 memory=7666934615304857444 CPUtime=1.31 cores=0-7
/proc/5130/task/5145/stat : 5145 (java) S 5128 5128 4683 0 -1 1077944384 6547 0 0 0 130 1 0 0 20 0 28 0 101826419 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241963812848 140242574035586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5146] ppid=5128 vsize=26538700 memory=7235708367133828199 CPUtime=1.25 cores=0-7
/proc/5130/task/5146/stat : 5146 (java) S 5128 5128 4683 0 -1 1077944384 7082 0 0 0 123 2 0 0 20 0 28 0 101826419 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241962760560 140242574035586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5147] ppid=5128 vsize=26538700 memory=7590083142231942764 CPUtime=0.61 cores=0-7
/proc/5130/task/5147/stat : 5147 (java) S 5128 5128 4683 0 -1 1077944384 4043 0 0 0 60 1 0 0 20 0 28 0 101826419 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241961707760 140242574035586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5148] ppid=5128 vsize=26538700 memory=7590083142231942764 CPUtime=0 cores=0-7
/proc/5130/task/5148/stat : 5148 (java) S 5128 5128 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101826419 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241960655712 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5149] ppid=5128 vsize=26538700 memory=7740671154656143464 CPUtime=0 cores=0-7
/proc/5130/task/5149/stat : 5149 (java) S 5128 5128 4683 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 101826420 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241959602992 140242574035586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5150] ppid=5128 vsize=26538700 memory=7014465732576764781 CPUtime=3.37 cores=0-7
/proc/5130/task/5150/stat : 5150 (java) R 5128 5128 4683 0 -1 4202560 152 0 0 0 337 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241958546576 140242180137044 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5151] ppid=5128 vsize=26538700 memory=7739809120629386087 CPUtime=3.31 cores=0-7
/proc/5130/task/5151/stat : 5151 (java) R 5128 5128 4683 0 -1 4202560 132 0 0 0 331 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241882931408 140242180959441 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5152] ppid=5128 vsize=26538700 memory=7157735280213775973 CPUtime=3.1 cores=0-7
/proc/5130/task/5152/stat : 5152 (java) R 5128 5128 4683 0 -1 4202560 280 0 0 0 310 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241881878096 140242180903462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5153] ppid=5128 vsize=26538700 memory=7740674475352745063 CPUtime=3.54 cores=0-7
/proc/5130/task/5153/stat : 5153 (java) R 5128 5128 4683 0 -1 4202560 218 0 0 0 354 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241880825296 140242180960186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5154] ppid=5128 vsize=26538700 memory=0 CPUtime=3.27 cores=0-7
/proc/5130/task/5154/stat : 5154 (java) R 5128 5128 4683 0 -1 4202560 159 0 0 0 327 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241879773104 140242180900390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5155] ppid=5128 vsize=26538700 memory=0 CPUtime=3.39 cores=0-7
/proc/5130/task/5155/stat : 5155 (java) R 5128 5128 4683 0 -1 4202560 120 0 0 0 339 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241878720304 140242180899568 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5156] ppid=5128 vsize=26538700 memory=140571864080816 CPUtime=3.24 cores=0-7
/proc/5130/task/5156/stat : 5156 (java) R 5128 5128 4683 0 -1 4202560 196 0 0 0 324 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241877667840 140242180136674 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5157] ppid=5128 vsize=26538700 memory=0 CPUtime=3.26 cores=0-7
/proc/5130/task/5157/stat : 5157 (java) R 5128 5128 4683 0 -1 4202560 108 0 0 0 326 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241876615096 140242180959882 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
Current children cumulated CPU time: 31.96 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 235408 KiB

[startup+4.70592 s]
/proc/loadavg: 8.19 8.36 8.22 10/207 5157
/proc/meminfo: memFree=31342244/32770624 swapFree=67108860/67108860
[pid=5128] ppid=5125 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5128/stat : 5128 (xcsp3-exec) S 5125 5128 4683 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101826413 9740288 346 33554432000 4194304 5098028 140723570709840 140723570707944 140018430898812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11624448 140723570713700 140723570713911 140723570713911 140723570716651 0
/proc/5128/statm: 2378 346 289 221 0 87 0
[pid=5130] ppid=5128 vsize=26538700 memory=234024 CPUtime=33.58 cores=0-7
/proc/5130/stat : 5130 (java) S 5128 5128 4683 0 -1 1077944320 35477 0 0 0 3336 22 0 0 20 0 28 0 101826413 27175628800 58506 33554432000 4194304 4196468 140730358855360 140730358837904 140242574024439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
/proc/5130/statm: 6634675 58506 3255 1 0 6621909 0
[pid=5130/tid=5131] ppid=5128 vsize=26538700 memory=6944656592455359580 CPUtime=0.66 cores=0-7
/proc/5130/task/5131/stat : 5131 (java) S 5128 5128 4683 0 -1 1077944384 6825 0 0 0 63 3 0 0 20 0 28 0 101826414 27175628800 58506 33554432000 4194304 4196468 140730358855360 140242578265216 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5132] ppid=5128 vsize=26538700 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/5130/task/5132/stat : 5132 (java) S 5128 5128 4683 0 -1 1077944384 813 0 0 0 0 0 0 0 20 0 28 0 101826415 27175628800 58506 33554432000 4194304 4196468 140730358855360 140242496605072 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5133] ppid=5128 vsize=26538700 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/5130/task/5133/stat : 5133 (java) S 5128 5128 4683 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 101826415 27175628800 58506 33554432000 4194304 4196468 140730358855360 140242495552272 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5134] ppid=5128 vsize=26538700 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/5130/task/5134/stat : 5134 (java) S 5128 5128 4683 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 101826415 27175628800 58506 33554432000 4194304 4196468 140730358855360 140242494499984 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5135] ppid=5128 vsize=26538700 memory=-6800859132029471843 CPUtime=0 cores=0-7
/proc/5130/task/5135/stat : 5135 (java) S 5128 5128 4683 0 -1 1077944384 367 0 0 0 0 0 0 0 20 0 28 0 101826415 27175628800 58506 33554432000 4194304 4196468 140730358855360 140242129542160 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5136] ppid=5128 vsize=26538700 memory=-6365945208300590943 CPUtime=0 cores=0-7
/proc/5130/task/5136/stat : 5136 (java) S 5128 5128 4683 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 28 0 101826415 27175628800 58506 33554432000 4194304 4196468 140730358855360 140242128488848 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5137] ppid=5128 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5137/stat : 5137 (java) S 5128 5128 4683 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 101826415 27175628800 58506 33554432000 4194304 4196468 140730358855360 140242127436048 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5138] ppid=5128 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5138/stat : 5138 (java) S 5128 5128 4683 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 28 0 101826415 27175628800 58506 33554432000 4194304 4196468 140730358855360 140242126383760 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5139] ppid=5128 vsize=26538700 memory=8623210815775474820 CPUtime=0 cores=0-7
/proc/5130/task/5139/stat : 5139 (java) S 5128 5128 4683 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 101826415 27175628800 58506 33554432000 4194304 4196468 140730358855360 140242125330960 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5140] ppid=5128 vsize=26538700 memory=6933690279252828305 CPUtime=0 cores=0-7
/proc/5130/task/5140/stat : 5140 (java) S 5128 5128 4683 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 28 0 101826416 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241969076848 140242574035586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5141] ppid=5128 vsize=26538700 memory=4497580499151130995 CPUtime=0 cores=0-7
/proc/5130/task/5141/stat : 5141 (java) S 5128 5128 4683 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 101826417 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241968022816 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5142] ppid=5128 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/5130/task/5142/stat : 5142 (java) S 5128 5128 4683 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 101826417 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241966970496 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5143] ppid=5128 vsize=26538700 memory=281143727358192 CPUtime=0 cores=0-7
/proc/5130/task/5143/stat : 5143 (java) S 5128 5128 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101826419 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241965918800 140242574043035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5144] ppid=5128 vsize=26538700 memory=0 CPUtime=1.39 cores=0-7
/proc/5130/task/5144/stat : 5144 (java) S 5128 5128 4683 0 -1 1077944384 6405 0 0 0 137 2 0 0 20 0 28 0 101826419 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241964865648 140242574035586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5145] ppid=5128 vsize=26538700 memory=281143727579760 CPUtime=1.31 cores=0-7
/proc/5130/task/5145/stat : 5145 (java) S 5128 5128 4683 0 -1 1077944384 6547 0 0 0 130 1 0 0 20 0 28 0 101826419 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241963812848 140242574035586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5146] ppid=5128 vsize=26538700 memory=19876 CPUtime=1.25 cores=0-7
/proc/5130/task/5146/stat : 5146 (java) S 5128 5128 4683 0 -1 1077944384 7082 0 0 0 123 2 0 0 20 0 28 0 101826419 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241962760560 140242574035586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5147] ppid=5128 vsize=26538700 memory=6943526294502006880 CPUtime=0.61 cores=0-7
/proc/5130/task/5147/stat : 5147 (java) S 5128 5128 4683 0 -1 1077944384 4043 0 0 0 60 1 0 0 20 0 28 0 101826419 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241961707760 140242574035586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5148] ppid=5128 vsize=26538700 memory=7449279377360368434 CPUtime=0 cores=0-7
/proc/5130/task/5148/stat : 5148 (java) S 5128 5128 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101826419 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241960655712 140242574034645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5149] ppid=5128 vsize=26538700 memory=5787777885101117538 CPUtime=0 cores=0-7
/proc/5130/task/5149/stat : 5149 (java) S 5128 5128 4683 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 101826420 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241959602992 140242574035586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5150] ppid=5128 vsize=26538700 memory=6369616418016618081 CPUtime=3.57 cores=0-7
/proc/5130/task/5150/stat : 5150 (java) R 5128 5128 4683 0 -1 4202560 152 0 0 0 357 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241958546640 140242180960347 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5151] ppid=5128 vsize=26538700 memory=1384 CPUtime=3.51 cores=0-7
/proc/5130/task/5151/stat : 5151 (java) R 5128 5128 4683 0 -1 4202560 132 0 0 0 351 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241882931408 140242180596544 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5152] ppid=5128 vsize=26538700 memory=225804 CPUtime=3.3 cores=0-7
/proc/5130/task/5152/stat : 5152 (java) R 5128 5128 4683 0 -1 4202560 281 0 0 0 330 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241881878192 140242180960112 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5153] ppid=5128 vsize=26538700 memory=0 CPUtime=3.74 cores=0-7
/proc/5130/task/5153/stat : 5153 (java) R 5128 5128 4683 0 -1 4202560 218 0 0 0 374 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241880825296 140242180959604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5154] ppid=5128 vsize=26538700 memory=162594576934932 CPUtime=3.47 cores=0-7
/proc/5130/task/5154/stat : 5154 (java) R 5128 5128 4683 0 -1 4202560 160 0 0 0 347 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241879769808 140242180959529 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5155] ppid=5128 vsize=26538700 memory=162594576934933 CPUtime=3.59 cores=0-7
/proc/5130/task/5155/stat : 5155 (java) R 5128 5128 4683 0 -1 4202560 120 0 0 0 359 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241878717144 140242180136664 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5156] ppid=5128 vsize=26538700 memory=0 CPUtime=3.44 cores=0-7
/proc/5130/task/5156/stat : 5156 (java) R 5128 5128 4683 0 -1 4202560 197 0 0 0 344 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241877667920 140242180576509 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
[pid=5130/tid=5157] ppid=5128 vsize=26538700 memory=140571864379936 CPUtime=3.46 cores=0-7
/proc/5130/task/5157/stat : 5157 (java) R 5128 5128 4683 0 -1 4202560 108 0 0 0 346 0 0 0 20 0 28 0 101826483 27175628800 58506 33554432000 4194304 4196468 140730358855360 140241876615120 140242180136952 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 11378688 140730358862994 140730358863171 140730358863171 140730358865871 0
Current children cumulated CPU time: 33.58 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 235408 KiB

Child status: 0
Real time (s): 4.74674
CPU time (s): 33.8322
CPU user time (s): 33.595
CPU system time (s): 0.237293
CPU usage (%): 712.748
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 235408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.595
system time used= 0.237293
maximum resident set size= 234284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36568
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5330
involuntary context switches= 683


# summary of solver processes directly reported to runsolver:
#   pid: 5128
#   total CPU time (s): 33.8322
#   total CPU user time (s): 33.595
#   total CPU system time (s): 0.237293

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.063108 second user time and 0.08452 second system time

The end

Launcher Data 

Begin job on node115 at 2017-08-14 06:55:28
IDJOB=4271056
IDBENCH=122874
IDSOLVER=2662
FILE ID=node115/4271056-1502687387
RUNJOBID= node115-1502681025-4710
PBS_JOBID= 20628989
Free space on /tmp= 61812 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Mixed/Mixed-xcsp2-cril/cril-7_X2.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-4271056-1502687387/watcher-4271056-1502687387 -o /tmp/evaluation-result-4271056-1502687387/solver-4271056-1502687387 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502681025-4710 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2053996223 HOME/instance-4271056-1502687387.xml

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

MD5SUM BENCH= 5e218b581bf3702f20459c06ac876610
RANDOM SEED=2053996223

node115.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
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:        31566688 kB
MemAvailable:   31984540 kB
Buffers:          149964 kB
Cached:           553428 kB
SwapCached:            0 kB
Active:           531924 kB
Inactive:         229136 kB
Active(anon):       5680 kB
Inactive(anon):    79436 kB
Active(file):     526244 kB
Inactive(file):   149700 kB
Unevictable:        6172 kB
Mlocked:            6172 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7796 kB
Writeback:             0 kB
AnonPages:        265172 kB
Mapped:            44068 kB
Shmem:             25224 kB
Slab:             141256 kB
SReclaimable:     115484 kB
SUnreclaim:        25772 kB
KernelStack:        3808 kB
PageTables:         5688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61804 MiB
End job on node115 at 2017-08-14 06:55:33