Trace number 4393548

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 2019-06-14 parallelUNSAT 258.436 34.388

General information on the benchmark

NameSat/Sat-m1-various/
pret-150-40.xml
MD5SUM798862a2384da12f90df47f1a27f971a
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.010862
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of constraints100
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":150}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":150}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":100}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393548-1568422284.xml"  -tl '20160s' -p 8
0.11/0.20	c Choco e747e1e
0.11/0.20	c [HOME/instance-4393548-1568422284.xml, -tl, 20160s, -p, 8]
0.33/0.25	c 8 solvers in parallel
0.33/0.32	c parse instance...
1.21/0.69	c solve instance...
257.83/34.37	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: 16375 MiB (13584 MiB free)
  memory of node 1: 16384 MiB (15548 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393548-1568422284/watcher-4393548-1568422284 -o /tmp/evaluation-result-4393548-1568422284/solver-4393548-1568422284 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568417068-26099 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1276263003 HOME/instance-4393548-1568422284.xml 

running on 8 cores: 0-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=27524, runsolver pid=27521

[startup+0.100112 s]*
/proc/loadavg: 5.61 7.35 7.92 3/212 27545
/proc/meminfo: memFree=29817096/32770688 swapFree=66961104/67108860
[pid=27524] ppid=27521 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27524/stat : 27524 (xcsp3-exec) S 27521 27524 26071 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418170060 115843072 363 33554432000 4194304 5098028 140722303135040 140722303133144 140026061341308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20496384 140722303140725 140722303140969 140722303140969 140722303143882 0
/proc/27524/statm: 28282 363 304 221 0 87 0
[pid=27526] ppid=27524 vsize=28227388 memory=28864 CPUtime=0.11 cores=0-7
/proc/27526/stat : 27526 (java) S 27524 27524 26071 0 -1 1077944320 5726 0 0 0 10 1 0 0 20 0 20 0 418170060 28904845312 7216 33554432000 4194304 4196468 140733872070880 140733872053424 139745927696119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
/proc/27526/statm: 7056847 7216 3061 1 0 7019032 0
[pid=27526/tid=27527] ppid=27524 vsize=28227388 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/27526/task/27527/stat : 27527 (java) R 27524 27524 26071 0 -1 4202560 3651 0 0 0 8 1 0 0 20 0 20 0 418170061 28904845312 7216 33554432000 4194304 4196468 140733872070880 139745931916176 139745927708054 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27528] ppid=27524 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/27526/task/27528/stat : 27528 (java) S 27524 27524 26071 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418170062 28904845312 7216 33554432000 4194304 4196468 140733872070880 139745478744464 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27529] ppid=27524 vsize=28227388 memory=140633580045952 CPUtime=0 cores=0-7
/proc/27526/task/27529/stat : 27529 (java) S 27524 27524 26071 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418170062 28904845312 7216 33554432000 4194304 4196468 140733872070880 139745477691664 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27530] ppid=27524 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27530/stat : 27530 (java) S 27524 27524 26071 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418170062 28904845312 7216 33554432000 4194304 4196468 140733872070880 139745476639376 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27531] ppid=27524 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27531/stat : 27531 (java) S 27524 27524 26071 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418170062 28904845312 7216 33554432000 4194304 4196468 140733872070880 139745475586576 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27532] ppid=27524 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27532/stat : 27532 (java) S 27524 27524 26071 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418170062 28904845312 7216 33554432000 4194304 4196468 140733872070880 139745474534288 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27533] ppid=27524 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/27526/task/27533/stat : 27533 (java) S 27524 27524 26071 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418170062 28904845312 7216 33554432000 4194304 4196468 140733872070880 139745473481488 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27534] ppid=27524 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27534/stat : 27534 (java) S 27524 27524 26071 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418170062 28904845312 7216 33554432000 4194304 4196468 140733872070880 139745472429200 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27535] ppid=27524 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27535/stat : 27535 (java) S 27524 27524 26071 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418170062 28904845312 7216 33554432000 4194304 4196468 140733872070880 139745471376400 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27536] ppid=27524 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27536/stat : 27536 (java) S 27524 27524 26071 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418170063 28904845312 7216 33554432000 4194304 4196468 140733872070880 139744190294128 139745927707266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27537] ppid=27524 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27537/stat : 27537 (java) S 27524 27524 26071 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418170064 28904845312 7216 33554432000 4194304 4196468 140733872070880 139744189240096 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27538] ppid=27524 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27538/stat : 27538 (java) S 27524 27524 26071 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418170064 28904845312 7216 33554432000 4194304 4196468 140733872070880 139744188187760 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27539] ppid=27524 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27539/stat : 27539 (java) S 27524 27524 26071 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418170067 28904845312 7216 33554432000 4194304 4196468 140733872070880 139744187136080 139745927714715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27540] ppid=27524 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27540/stat : 27540 (java) S 27524 27524 26071 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 418170067 28904845312 7216 33554432000 4194304 4196468 140733872070880 139744186083952 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27541] ppid=27524 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27541/stat : 27541 (java) S 27524 27524 26071 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 418170067 28904845312 7216 33554432000 4194304 4196468 140733872070880 139744185031152 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27542] ppid=27524 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27542/stat : 27542 (java) S 27524 27524 26071 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 20 0 418170067 28904845312 7216 33554432000 4194304 4196468 140733872070880 139744183978864 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27543] ppid=27524 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/27526/task/27543/stat : 27543 (java) S 27524 27524 26071 0 -1 1077944384 351 0 0 0 1 0 0 0 20 0 20 0 418170067 28904845312 7216 33554432000 4194304 4196468 140733872070880 139744182926064 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27544] ppid=27524 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27544/stat : 27544 (java) S 27524 27524 26071 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418170067 28904845312 7216 33554432000 4194304 4196468 140733872070880 139744181872992 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27545] ppid=27524 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/27526/task/27545/stat : 27545 (java) S 27524 27524 26071 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418170067 28904845312 7216 33554432000 4194304 4196468 140733872070880 139744180820272 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30316 KiB

[startup+0.211657 s]*
/proc/loadavg: 5.61 7.35 7.92 2/212 27545
/proc/meminfo: memFree=29806016/32770688 swapFree=66961104/67108860
[pid=27524] ppid=27521 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27524/stat : 27524 (xcsp3-exec) S 27521 27524 26071 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418170060 115843072 363 33554432000 4194304 5098028 140722303135040 140722303133144 140026061341308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20496384 140722303140725 140722303140969 140722303140969 140722303143882 0
/proc/27524/statm: 28282 363 304 221 0 87 0
[pid=27526] ppid=27524 vsize=28227388 memory=40972 CPUtime=0.33 cores=0-7
/proc/27526/stat : 27526 (java) S 27524 27524 26071 0 -1 1077944320 9508 0 0 0 30 3 0 0 20 0 20 0 418170060 28904845312 10243 33554432000 4194304 4196468 140733872070880 140733872053424 139745927696119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
/proc/27526/statm: 7056847 10243 3300 1 0 7019032 0
[pid=27526/tid=27527] ppid=27524 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/27526/task/27527/stat : 27527 (java) R 27524 27524 26071 0 -1 4202560 6639 0 0 0 17 2 0 0 20 0 20 0 418170061 28904845312 10243 33554432000 4194304 4196468 140733872070880 139745931933680 139745911776606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27528] ppid=27524 vsize=28227388 memory=342 CPUtime=0 cores=0-7
/proc/27526/task/27528/stat : 27528 (java) S 27524 27524 26071 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418170062 28904845312 10243 33554432000 4194304 4196468 140733872070880 139745478744464 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27529] ppid=27524 vsize=28227388 memory=3760707024046327456 CPUtime=0 cores=0-7
/proc/27526/task/27529/stat : 27529 (java) S 27524 27524 26071 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418170062 28904845312 10243 33554432000 4194304 4196468 140733872070880 139745477691664 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27530] ppid=27524 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/27526/task/27530/stat : 27530 (java) S 27524 27524 26071 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418170062 28904845312 10243 33554432000 4194304 4196468 140733872070880 139745476639376 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27531] ppid=27524 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27531/stat : 27531 (java) S 27524 27524 26071 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418170062 28904845312 10243 33554432000 4194304 4196468 140733872070880 139745475586576 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27532] ppid=27524 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27532/stat : 27532 (java) S 27524 27524 26071 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418170062 28904845312 10243 33554432000 4194304 4196468 140733872070880 139745474534288 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27533] ppid=27524 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/27526/task/27533/stat : 27533 (java) S 27524 27524 26071 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418170062 28904845312 10243 33554432000 4194304 4196468 140733872070880 139745473481488 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27534] ppid=27524 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27534/stat : 27534 (java) S 27524 27524 26071 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418170062 28904845312 10243 33554432000 4194304 4196468 140733872070880 139745472429200 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27535] ppid=27524 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27535/stat : 27535 (java) S 27524 27524 26071 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418170062 28904845312 10243 33554432000 4194304 4196468 140733872070880 139745471376400 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27536] ppid=27524 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27536/stat : 27536 (java) S 27524 27524 26071 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418170063 28904845312 10243 33554432000 4194304 4196468 140733872070880 139744190294128 139745927707266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27537] ppid=27524 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27537/stat : 27537 (java) S 27524 27524 26071 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418170064 28904845312 10243 33554432000 4194304 4196468 140733872070880 139744189240096 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27538] ppid=27524 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27538/stat : 27538 (java) S 27524 27524 26071 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418170064 28904845312 10243 33554432000 4194304 4196468 140733872070880 139744188187760 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27539] ppid=27524 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27539/stat : 27539 (java) S 27524 27524 26071 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418170067 28904845312 10243 33554432000 4194304 4196468 140733872070880 139744187136080 139745927714715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27540] ppid=27524 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/27526/task/27540/stat : 27540 (java) S 27524 27524 26071 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 20 0 418170067 28904845312 10243 33554432000 4194304 4196468 140733872070880 139744186083952 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27541] ppid=27524 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/27526/task/27541/stat : 27541 (java) S 27524 27524 26071 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 20 0 418170067 28904845312 10243 33554432000 4194304 4196468 140733872070880 139744185031152 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27542] ppid=27524 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/27526/task/27542/stat : 27542 (java) S 27524 27524 26071 0 -1 1077944384 292 0 0 0 1 0 0 0 20 0 20 0 418170067 28904845312 10243 33554432000 4194304 4196468 140733872070880 139744183978864 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27543] ppid=27524 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/27526/task/27543/stat : 27543 (java) S 27524 27524 26071 0 -1 1077944384 721 0 0 0 7 0 0 0 20 0 20 0 418170067 28904845312 10243 33554432000 4194304 4196468 140733872070880 139744182926064 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27544] ppid=27524 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27544/stat : 27544 (java) S 27524 27524 26071 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418170067 28904845312 10243 33554432000 4194304 4196468 140733872070880 139744181872992 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27545] ppid=27524 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/27526/task/27545/stat : 27545 (java) S 27524 27524 26071 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418170067 28904845312 10243 33554432000 4194304 4196468 140733872070880 139744180820272 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42424 KiB

[startup+0.311046 s]*
/proc/loadavg: 5.61 7.35 7.92 4/212 27545
/proc/meminfo: memFree=29800432/32770688 swapFree=66961104/67108860
[pid=27524] ppid=27521 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27524/stat : 27524 (xcsp3-exec) S 27521 27524 26071 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418170060 115843072 363 33554432000 4194304 5098028 140722303135040 140722303133144 140026061341308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20496384 140722303140725 140722303140969 140722303140969 140722303143882 0
/proc/27524/statm: 28282 363 304 221 0 87 0
[pid=27526] ppid=27524 vsize=28231644 memory=46916 CPUtime=0.51 cores=0-7
/proc/27526/stat : 27526 (java) S 27524 27524 26071 0 -1 1077944320 10597 0 0 0 47 4 0 0 20 0 20 0 418170060 28909203456 11729 33554432000 4194304 4196468 140733872070880 140733872053424 139745927696119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
/proc/27526/statm: 7057911 11729 3323 1 0 7019032 0
[pid=27526/tid=27527] ppid=27524 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/27526/task/27527/stat : 27527 (java) R 27524 27524 26071 0 -1 4202560 7619 0 0 0 27 3 0 0 20 0 20 0 418170061 28909203456 11729 33554432000 4194304 4196468 140733872070880 139745931916784 139745816308218 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27528] ppid=27524 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27528/stat : 27528 (java) S 27524 27524 26071 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418170062 28909203456 11729 33554432000 4194304 4196468 140733872070880 139745478744464 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27529] ppid=27524 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27529/stat : 27529 (java) S 27524 27524 26071 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418170062 28909203456 11729 33554432000 4194304 4196468 140733872070880 139745477691664 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27530] ppid=27524 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27530/stat : 27530 (java) S 27524 27524 26071 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418170062 28909203456 11729 33554432000 4194304 4196468 140733872070880 139745476639376 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27531] ppid=27524 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27531/stat : 27531 (java) S 27524 27524 26071 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418170062 28909203456 11729 33554432000 4194304 4196468 140733872070880 139745475586576 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27532] ppid=27524 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/27526/task/27532/stat : 27532 (java) S 27524 27524 26071 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418170062 28909203456 11729 33554432000 4194304 4196468 140733872070880 139745474534288 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27533] ppid=27524 vsize=28231644 memory=140633469711279 CPUtime=0 cores=0-7
/proc/27526/task/27533/stat : 27533 (java) S 27524 27524 26071 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418170062 28909203456 11729 33554432000 4194304 4196468 140733872070880 139745473481488 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27534] ppid=27524 vsize=28231644 memory=140633469713584 CPUtime=0 cores=0-7
/proc/27526/task/27534/stat : 27534 (java) S 27524 27524 26071 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418170062 28909203456 11729 33554432000 4194304 4196468 140733872070880 139745472429200 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27535] ppid=27524 vsize=28231644 memory=140633469715888 CPUtime=0 cores=0-7
/proc/27526/task/27535/stat : 27535 (java) S 27524 27524 26071 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418170062 28909203456 11729 33554432000 4194304 4196468 140733872070880 139745471376400 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27536] ppid=27524 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27536/stat : 27536 (java) S 27524 27524 26071 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418170063 28909203456 11729 33554432000 4194304 4196468 140733872070880 139744190294128 139745927707266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27537] ppid=27524 vsize=28231644 memory=281266939438736 CPUtime=0 cores=0-7
/proc/27526/task/27537/stat : 27537 (java) S 27524 27524 26071 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418170064 28909203456 11729 33554432000 4194304 4196468 140733872070880 139744189240096 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27538] ppid=27524 vsize=28231644 memory=281266939445648 CPUtime=0 cores=0-7
/proc/27526/task/27538/stat : 27538 (java) S 27524 27524 26071 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418170064 28909203456 11729 33554432000 4194304 4196468 140733872070880 139744188187760 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27539] ppid=27524 vsize=28231644 memory=281266939386896 CPUtime=0 cores=0-7
/proc/27526/task/27539/stat : 27539 (java) S 27524 27524 26071 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418170067 28909203456 11729 33554432000 4194304 4196468 140733872070880 139744187136080 139745927714715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27540] ppid=27524 vsize=28231644 memory=281266939459472 CPUtime=0.03 cores=0-7
/proc/27526/task/27540/stat : 27540 (java) S 27524 27524 26071 0 -1 1077944384 357 0 0 0 3 0 0 0 20 0 20 0 418170067 28909203456 11729 33554432000 4194304 4196468 140733872070880 139744186083952 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27541] ppid=27524 vsize=28231644 memory=281266939466384 CPUtime=0.01 cores=0-7
/proc/27526/task/27541/stat : 27541 (java) S 27524 27524 26071 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 20 0 418170067 28909203456 11729 33554432000 4194304 4196468 140733872070880 139744185031152 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27542] ppid=27524 vsize=28231644 memory=281266939464080 CPUtime=0.02 cores=0-7
/proc/27526/task/27542/stat : 27542 (java) S 27524 27524 26071 0 -1 1077944384 305 0 0 0 2 0 0 0 20 0 20 0 418170067 28909203456 11729 33554432000 4194304 4196468 140733872070880 139744183978864 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27543] ppid=27524 vsize=28231644 memory=281266939480240 CPUtime=0.12 cores=0-7
/proc/27526/task/27543/stat : 27543 (java) S 27524 27524 26071 0 -1 1077944384 788 0 0 0 12 0 0 0 20 0 20 0 418170067 28909203456 11729 33554432000 4194304 4196468 140733872070880 139744182926064 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27544] ppid=27524 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27544/stat : 27544 (java) S 27524 27524 26071 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418170067 28909203456 11729 33554432000 4194304 4196468 140733872070880 139744181872992 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27545] ppid=27524 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/27526/task/27545/stat : 27545 (java) S 27524 27524 26071 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418170067 28909203456 11729 33554432000 4194304 4196468 140733872070880 139744180820272 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 48368 KiB

[startup+0.701059 s]
/proc/loadavg: 5.61 7.35 7.92 3/212 27545
/proc/meminfo: memFree=29789556/32770688 swapFree=66961104/67108860
[pid=27524] ppid=27521 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27524/stat : 27524 (xcsp3-exec) S 27521 27524 26071 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418170060 115843072 363 33554432000 4194304 5098028 140722303135040 140722303133144 140026061341308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20496384 140722303140725 140722303140969 140722303140969 140722303143882 0
/proc/27524/statm: 28282 363 304 221 0 87 0
[pid=27526] ppid=27524 vsize=28233768 memory=77608 CPUtime=1.61 cores=0-7
/proc/27526/stat : 27526 (java) S 27524 27524 26071 0 -1 1077944320 14203 0 0 0 155 6 0 0 20 0 20 0 418170060 28911378432 19402 33554432000 4194304 4196468 140733872070880 140733872053424 139745927696119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
/proc/27526/statm: 7058442 19402 3452 1 0 7019544 0
[pid=27526/tid=27527] ppid=27524 vsize=28233768 memory=281266939838128 CPUtime=0.68 cores=0-7
/proc/27526/task/27527/stat : 27527 (java) R 27524 27524 26071 0 -1 4202560 8676 0 0 0 64 4 0 0 20 0 20 0 418170061 28911378432 19402 33554432000 4194304 4196468 140733872070880 139745931919168 139745911776606 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27528] ppid=27524 vsize=28233768 memory=140633469920112 CPUtime=0 cores=0-7
/proc/27526/task/27528/stat : 27528 (java) S 27524 27524 26071 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418170062 28911378432 19402 33554432000 4194304 4196468 140733872070880 139745478744464 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27529] ppid=27524 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27529/stat : 27529 (java) S 27524 27524 26071 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418170062 28911378432 19402 33554432000 4194304 4196468 140733872070880 139745477691664 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27530] ppid=27524 vsize=28233768 memory=2832 CPUtime=0 cores=0-7
/proc/27526/task/27530/stat : 27530 (java) S 27524 27524 26071 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418170062 28911378432 19402 33554432000 4194304 4196468 140733872070880 139745476639376 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0

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

[pid=27526/tid=27543] ppid=27524 vsize=28768328 memory=0 CPUtime=0.93 cores=0-7
/proc/27526/task/27543/stat : 27543 (java) S 27524 27524 26071 0 -1 1077944384 8822 0 0 0 91 2 0 0 20 0 28 0 418170067 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744182926064 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 38 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27544] ppid=27524 vsize=28768328 memory=7811322456528676970 CPUtime=0 cores=0-7
/proc/27526/task/27544/stat : 27544 (java) S 27524 27524 26071 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418170067 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744181872992 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27545] ppid=27524 vsize=28768328 memory=7158309328446580580 CPUtime=0 cores=0-7
/proc/27526/task/27545/stat : 27545 (java) S 27524 27524 26071 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 28 0 418170067 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744180820272 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27546] ppid=27524 vsize=28768328 memory=0 CPUtime=30.51 cores=0-7
/proc/27526/task/27546/stat : 27546 (java) R 27524 27524 26071 0 -1 4202560 445 0 0 0 3029 22 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744171609440 139745569395433 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27547] ppid=27524 vsize=28768328 memory=0 CPUtime=30.26 cores=0-7
/proc/27526/task/27547/stat : 27547 (java) R 27524 27524 26071 0 -1 4202560 338 0 0 0 3002 24 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744170557920 139745912197438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27548] ppid=27524 vsize=28768328 memory=0 CPUtime=31.67 cores=0-7
/proc/27526/task/27548/stat : 27548 (java) R 27524 27524 26071 0 -1 1077944384 3190 0 0 0 3158 9 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744169504720 139745927706325 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27549] ppid=27524 vsize=28768328 memory=0 CPUtime=30.72 cores=0-7
/proc/27526/task/27549/stat : 27549 (java) R 27524 27524 26071 0 -1 4202560 1245 0 0 0 3049 23 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744168455088 139745913764244 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27550] ppid=27524 vsize=28768328 memory=0 CPUtime=30.37 cores=0-7
/proc/27526/task/27550/stat : 27550 (java) R 27524 27524 26071 0 -1 4202560 1262 0 0 0 3015 22 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744167400384 139745572362478 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27551] ppid=27524 vsize=28768328 memory=2241 CPUtime=30.84 cores=0-7
/proc/27526/task/27551/stat : 27551 (java) S 27524 27524 26071 0 -1 1077944384 1115 0 0 0 3063 21 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744166346608 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27552] ppid=27524 vsize=28768328 memory=2244 CPUtime=30.4 cores=0-7
/proc/27526/task/27552/stat : 27552 (java) R 27524 27524 26071 0 -1 4202560 327 0 0 0 3016 24 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744165294272 139745569397002 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27553] ppid=27524 vsize=28768328 memory=7018948424166827090 CPUtime=30.78 cores=0-7
/proc/27526/task/27553/stat : 27553 (java) R 27524 27524 26071 0 -1 4202560 1310 0 0 0 3057 21 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744164240672 139745572362649 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
Current children cumulated CPU time: 255.52 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1024636 KiB

[startup+34.202 s]
/proc/loadavg: 5.96 7.24 7.87 3/220 27555
/proc/meminfo: memFree=28809456/32770688 swapFree=66961104/67108860
[pid=27524] ppid=27521 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27524/stat : 27524 (xcsp3-exec) S 27521 27524 26071 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418170060 115843072 363 33554432000 4194304 5098028 140722303135040 140722303133144 140026061341308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20496384 140722303140725 140722303140969 140722303140969 140722303143882 0
/proc/27524/statm: 28282 363 304 221 0 87 0
[pid=27526] ppid=27524 vsize=28768328 memory=1023012 CPUtime=257.04 cores=0-7
/proc/27526/stat : 27526 (java) S 27524 27524 26071 0 -1 1077944320 62824 0 0 0 25483 221 0 0 20 0 28 0 418170060 29458767872 255753 33554432000 4194304 4196468 140733872070880 140733872053424 139745927696119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
/proc/27526/statm: 7192082 255753 3519 1 0 7153184 0
[pid=27526/tid=27527] ppid=27524 vsize=28768328 memory=14698491322567293 CPUtime=0.69 cores=0-7
/proc/27526/task/27527/stat : 27527 (java) S 27524 27524 26071 0 -1 1077944384 8775 0 0 0 65 4 0 0 20 0 28 0 418170061 29458767872 255753 33554432000 4194304 4196468 140733872070880 139745931936896 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27528] ppid=27524 vsize=28768328 memory=1708 CPUtime=0.21 cores=0-7
/proc/27526/task/27528/stat : 27528 (java) S 27524 27524 26071 0 -1 1077944384 264 0 0 0 17 4 0 0 20 0 28 0 418170062 29458767872 255753 33554432000 4194304 4196468 140733872070880 139745478744464 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27529] ppid=27524 vsize=28768328 memory=1804 CPUtime=0.18 cores=0-7
/proc/27526/task/27529/stat : 27529 (java) S 27524 27524 26071 0 -1 1077944384 502 0 0 0 15 3 0 0 20 0 28 0 418170062 29458767872 255753 33554432000 4194304 4196468 140733872070880 139745477691664 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27530] ppid=27524 vsize=28768328 memory=916 CPUtime=0.17 cores=0-7
/proc/27526/task/27530/stat : 27530 (java) S 27524 27524 26071 0 -1 1077944384 658 0 0 0 14 3 0 0 20 0 28 0 418170062 29458767872 255753 33554432000 4194304 4196468 140733872070880 139745476639376 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27531] ppid=27524 vsize=28768328 memory=4476 CPUtime=0.2 cores=0-7
/proc/27526/task/27531/stat : 27531 (java) S 27524 27524 26071 0 -1 1077944384 1067 0 0 0 16 4 0 0 20 0 28 0 418170062 29458767872 255753 33554432000 4194304 4196468 140733872070880 139745475586576 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27532] ppid=27524 vsize=28768328 memory=4104 CPUtime=0.21 cores=0-7
/proc/27526/task/27532/stat : 27532 (java) S 27524 27524 26071 0 -1 1077944384 565 0 0 0 17 4 0 0 20 0 28 0 418170062 29458767872 255753 33554432000 4194304 4196468 140733872070880 139745474534288 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27533] ppid=27524 vsize=28768328 memory=1412 CPUtime=0.21 cores=0-7
/proc/27526/task/27533/stat : 27533 (java) S 27524 27524 26071 0 -1 1077944384 690 0 0 0 17 4 0 0 20 0 28 0 418170062 29458767872 255753 33554432000 4194304 4196468 140733872070880 139745473481488 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27534] ppid=27524 vsize=28768328 memory=3160 CPUtime=0.21 cores=0-7
/proc/27526/task/27534/stat : 27534 (java) S 27524 27524 26071 0 -1 1077944384 298 0 0 0 17 4 0 0 20 0 28 0 418170062 29458767872 255753 33554432000 4194304 4196468 140733872070880 139745472429200 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27535] ppid=27524 vsize=28768328 memory=1452 CPUtime=0.19 cores=0-7
/proc/27526/task/27535/stat : 27535 (java) S 27524 27524 26071 0 -1 1077944384 285 0 0 0 16 3 0 0 20 0 28 0 418170062 29458767872 255753 33554432000 4194304 4196468 140733872070880 139745471376400 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27536] ppid=27524 vsize=28768328 memory=1036868 CPUtime=0.06 cores=0-7
/proc/27526/task/27536/stat : 27536 (java) S 27524 27524 26071 0 -1 1077944384 1693 0 0 0 4 2 0 0 20 0 28 0 418170063 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744190294128 139745927707266 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27537] ppid=27524 vsize=28768328 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/27526/task/27537/stat : 27537 (java) S 27524 27524 26071 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 418170064 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744189240160 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27538] ppid=27524 vsize=28768328 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/27526/task/27538/stat : 27538 (java) S 27524 27524 26071 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 28 0 418170064 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744188187776 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27539] ppid=27524 vsize=28768328 memory=3473455226994176055 CPUtime=0 cores=0-7
/proc/27526/task/27539/stat : 27539 (java) S 27524 27524 26071 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418170067 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744187136080 139745927714715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27540] ppid=27524 vsize=28768328 memory=2241 CPUtime=2.23 cores=0-7
/proc/27526/task/27540/stat : 27540 (java) S 27524 27524 26071 0 -1 1077944384 8348 0 0 0 221 2 0 0 20 0 28 0 418170067 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744186083952 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27541] ppid=27524 vsize=28768328 memory=2244 CPUtime=2.01 cores=0-7
/proc/27526/task/27541/stat : 27541 (java) S 27524 27524 26071 0 -1 1077944384 8261 0 0 0 198 3 0 0 20 0 28 0 418170067 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744185031152 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27542] ppid=27524 vsize=28768328 memory=6081660954015131241 CPUtime=2.26 cores=0-7
/proc/27526/task/27542/stat : 27542 (java) S 27524 27524 26071 0 -1 1077944384 11828 0 0 0 223 3 0 0 20 0 28 0 418170067 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744183978864 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27543] ppid=27524 vsize=28768328 memory=6081660954015131241 CPUtime=0.93 cores=0-7
/proc/27526/task/27543/stat : 27543 (java) S 27524 27524 26071 0 -1 1077944384 8822 0 0 0 91 2 0 0 20 0 28 0 418170067 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744182926064 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 38 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27544] ppid=27524 vsize=28768328 memory=6081660954015131241 CPUtime=0 cores=0-7
/proc/27526/task/27544/stat : 27544 (java) S 27524 27524 26071 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418170067 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744181872992 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27545] ppid=27524 vsize=28768328 memory=6081660954015131241 CPUtime=0 cores=0-7
/proc/27526/task/27545/stat : 27545 (java) S 27524 27524 26071 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 28 0 418170067 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744180820272 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27546] ppid=27524 vsize=28768328 memory=7649399392854947634 CPUtime=30.7 cores=0-7
/proc/27526/task/27546/stat : 27546 (java) R 27524 27524 26071 0 -1 4202560 445 0 0 0 3048 22 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744171613088 139745927717466 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27547] ppid=27524 vsize=28768328 memory=7649399397149914930 CPUtime=30.45 cores=0-7
/proc/27526/task/27547/stat : 27547 (java) R 27524 27524 26071 0 -1 4202560 338 0 0 0 3021 24 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744170561408 139745927717466 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27548] ppid=27524 vsize=28768328 memory=7649399358511986482 CPUtime=31.86 cores=0-7
/proc/27526/task/27548/stat : 27548 (java) R 27524 27524 26071 0 -1 4202560 3190 0 0 0 3177 9 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744169504856 139745574012547 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27549] ppid=27524 vsize=28768328 memory=7649399362806953778 CPUtime=30.91 cores=0-7
/proc/27526/task/27549/stat : 27549 (java) R 27524 27524 26071 0 -1 4202560 1245 0 0 0 3068 23 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744168456224 139745927708054 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27550] ppid=27524 vsize=28768328 memory=7649399367101921074 CPUtime=30.56 cores=0-7
/proc/27526/task/27550/stat : 27550 (java) R 27524 27524 26071 0 -1 4202560 1262 0 0 0 3034 22 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744167403936 139745927708054 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27551] ppid=27524 vsize=28768328 memory=288370014950785307 CPUtime=31.03 cores=0-7
/proc/27526/task/27551/stat : 27551 (java) R 27524 27524 26071 0 -1 4202560 1115 0 0 0 3082 21 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744166351232 139745572362478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27552] ppid=27524 vsize=28768328 memory=288285567438030037 CPUtime=30.59 cores=0-7
/proc/27526/task/27552/stat : 27552 (java) R 27524 27524 26071 0 -1 4202560 327 0 0 0 3035 24 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744165297920 139745569396894 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27553] ppid=27524 vsize=28768328 memory=6944656425122831938 CPUtime=30.97 cores=0-7
/proc/27526/task/27553/stat : 27553 (java) R 27524 27524 26071 0 -1 4202560 1310 0 0 0 3076 21 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744164245120 139745572362461 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
Current children cumulated CPU time: 257.04 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1024464 KiB

[startup+34.302 s]
/proc/loadavg: 5.96 7.24 7.87 3/220 27555
/proc/meminfo: memFree=28809456/32770688 swapFree=66961104/67108860
[pid=27524] ppid=27521 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27524/stat : 27524 (xcsp3-exec) S 27521 27524 26071 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418170060 115843072 363 33554432000 4194304 5098028 140722303135040 140722303133144 140026061341308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20496384 140722303140725 140722303140969 140722303140969 140722303143882 0
/proc/27524/statm: 28282 363 304 221 0 87 0
[pid=27526] ppid=27524 vsize=28768328 memory=1023012 CPUtime=257.83 cores=0-7
/proc/27526/stat : 27526 (java) S 27524 27524 26071 0 -1 1077944320 62824 0 0 0 25562 221 0 0 20 0 28 0 418170060 29458767872 255753 33554432000 4194304 4196468 140733872070880 140733872053424 139745927696119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
/proc/27526/statm: 7192082 255753 3519 1 0 7153184 0
[pid=27526/tid=27527] ppid=27524 vsize=28768328 memory=281266940769408 CPUtime=0.69 cores=0-7
/proc/27526/task/27527/stat : 27527 (java) S 27524 27524 26071 0 -1 1077944384 8775 0 0 0 65 4 0 0 20 0 28 0 418170061 29458767872 255753 33554432000 4194304 4196468 140733872070880 139745931936896 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27528] ppid=27524 vsize=28768328 memory=7158311514618488676 CPUtime=0.21 cores=0-7
/proc/27526/task/27528/stat : 27528 (java) S 27524 27524 26071 0 -1 1077944384 264 0 0 0 17 4 0 0 20 0 28 0 418170062 29458767872 255753 33554432000 4194304 4196468 140733872070880 139745478744464 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27529] ppid=27524 vsize=28768328 memory=1056 CPUtime=0.18 cores=0-7
/proc/27526/task/27529/stat : 27529 (java) S 27524 27524 26071 0 -1 1077944384 502 0 0 0 15 3 0 0 20 0 28 0 418170062 29458767872 255753 33554432000 4194304 4196468 140733872070880 139745477691664 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27530] ppid=27524 vsize=28768328 memory=764 CPUtime=0.17 cores=0-7
/proc/27526/task/27530/stat : 27530 (java) S 27524 27524 26071 0 -1 1077944384 658 0 0 0 14 3 0 0 20 0 28 0 418170062 29458767872 255753 33554432000 4194304 4196468 140733872070880 139745476639376 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27531] ppid=27524 vsize=28768328 memory=1122136 CPUtime=0.2 cores=0-7
/proc/27526/task/27531/stat : 27531 (java) S 27524 27524 26071 0 -1 1077944384 1067 0 0 0 16 4 0 0 20 0 28 0 418170062 29458767872 255753 33554432000 4194304 4196468 140733872070880 139745475586576 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27532] ppid=27524 vsize=28768328 memory=301741386309575518 CPUtime=0.21 cores=0-7
/proc/27526/task/27532/stat : 27532 (java) S 27524 27524 26071 0 -1 1077944384 565 0 0 0 17 4 0 0 20 0 28 0 418170062 29458767872 255753 33554432000 4194304 4196468 140733872070880 139745474534288 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27533] ppid=27524 vsize=28768328 memory=14690790429444105 CPUtime=0.21 cores=0-7
/proc/27526/task/27533/stat : 27533 (java) S 27524 27524 26071 0 -1 1077944384 690 0 0 0 17 4 0 0 20 0 28 0 418170062 29458767872 255753 33554432000 4194304 4196468 140733872070880 139745473481488 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27534] ppid=27524 vsize=28768328 memory=0 CPUtime=0.21 cores=0-7
/proc/27526/task/27534/stat : 27534 (java) S 27524 27524 26071 0 -1 1077944384 298 0 0 0 17 4 0 0 20 0 28 0 418170062 29458767872 255753 33554432000 4194304 4196468 140733872070880 139745472429200 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27535] ppid=27524 vsize=28768328 memory=0 CPUtime=0.19 cores=0-7
/proc/27526/task/27535/stat : 27535 (java) S 27524 27524 26071 0 -1 1077944384 285 0 0 0 16 3 0 0 20 0 28 0 418170062 29458767872 255753 33554432000 4194304 4196468 140733872070880 139745471376400 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27536] ppid=27524 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7
/proc/27526/task/27536/stat : 27536 (java) S 27524 27524 26071 0 -1 1077944384 1693 0 0 0 4 2 0 0 20 0 28 0 418170063 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744190294128 139745927707266 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27537] ppid=27524 vsize=28768328 memory=1036708 CPUtime=0 cores=0-7
/proc/27526/task/27537/stat : 27537 (java) S 27524 27524 26071 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 418170064 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744189240160 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27538] ppid=27524 vsize=28768328 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/27526/task/27538/stat : 27538 (java) S 27524 27524 26071 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 28 0 418170064 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744188187776 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27539] ppid=27524 vsize=28768328 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/27526/task/27539/stat : 27539 (java) S 27524 27524 26071 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418170067 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744187136080 139745927714715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27540] ppid=27524 vsize=28768328 memory=1051576 CPUtime=2.23 cores=0-7
/proc/27526/task/27540/stat : 27540 (java) S 27524 27524 26071 0 -1 1077944384 8348 0 0 0 221 2 0 0 20 0 28 0 418170067 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744186083952 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27541] ppid=27524 vsize=28768328 memory=1051576 CPUtime=2.01 cores=0-7
/proc/27526/task/27541/stat : 27541 (java) S 27524 27524 26071 0 -1 1077944384 8261 0 0 0 198 3 0 0 20 0 28 0 418170067 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744185031152 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27542] ppid=27524 vsize=28768328 memory=1452 CPUtime=2.26 cores=0-7
/proc/27526/task/27542/stat : 27542 (java) S 27524 27524 26071 0 -1 1077944384 11828 0 0 0 223 3 0 0 20 0 28 0 418170067 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744183978864 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27543] ppid=27524 vsize=28768328 memory=1085212 CPUtime=0.93 cores=0-7
/proc/27526/task/27543/stat : 27543 (java) S 27524 27524 26071 0 -1 1077944384 8822 0 0 0 91 2 0 0 20 0 28 0 418170067 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744182926064 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 38 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27544] ppid=27524 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/27526/task/27544/stat : 27544 (java) S 27524 27524 26071 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418170067 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744181872992 139745927706325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27545] ppid=27524 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/27526/task/27545/stat : 27545 (java) S 27524 27524 26071 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 28 0 418170067 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744180820272 139745927707266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27546] ppid=27524 vsize=28768328 memory=1051576 CPUtime=30.8 cores=0-7
/proc/27526/task/27546/stat : 27546 (java) R 27524 27524 26071 0 -1 4202560 445 0 0 0 3058 22 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744171613088 139745927708054 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27547] ppid=27524 vsize=28768328 memory=33 CPUtime=30.56 cores=0-7
/proc/27526/task/27547/stat : 27547 (java) R 27524 27524 26071 0 -1 4202560 338 0 0 0 3031 25 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744170561312 139745927717466 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27548] ppid=27524 vsize=28768328 memory=3612 CPUtime=31.96 cores=0-7
/proc/27526/task/27548/stat : 27548 (java) R 27524 27524 26071 0 -1 4202560 3190 0 0 0 3187 9 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744169504856 139745571867696 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27549] ppid=27524 vsize=28768328 memory=0 CPUtime=31.01 cores=0-7
/proc/27526/task/27549/stat : 27549 (java) R 27524 27524 26071 0 -1 4202560 1245 0 0 0 3078 23 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744168456320 139745572362461 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27550] ppid=27524 vsize=28768328 memory=1399103955520229747 CPUtime=30.66 cores=0-7
/proc/27526/task/27550/stat : 27550 (java) R 27524 27524 26071 0 -1 4202560 1262 0 0 0 3044 22 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744167403936 139745570133781 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27551] ppid=27524 vsize=28768328 memory=984 CPUtime=31.13 cores=0-7
/proc/27526/task/27551/stat : 27551 (java) R 27524 27524 26071 0 -1 4202560 1115 0 0 0 3092 21 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744166351136 139745572362372 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27552] ppid=27524 vsize=28768328 memory=1452 CPUtime=30.69 cores=0-7
/proc/27526/task/27552/stat : 27552 (java) R 27524 27524 26071 0 -1 4202560 327 0 0 0 3045 24 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744165297920 139745565756247 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
[pid=27526/tid=27553] ppid=27524 vsize=28768328 memory=1452 CPUtime=31.07 cores=0-7
/proc/27526/task/27553/stat : 27553 (java) R 27524 27524 26071 0 -1 4202560 1310 0 0 0 3086 21 0 0 20 0 28 0 418170132 29458767872 255753 33554432000 4194304 4196468 140733872070880 139744164245120 139745572359891 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34648064 140733872075754 140733872075926 140733872075926 140733872078799 0
Current children cumulated CPU time: 257.83 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1024464 KiB

Child status: 0
Real time (s): 34.388
CPU time (s): 258.436
CPU user time (s): 256.2
CPU system time (s): 2.23573
CPU usage (%): 751.531
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 1158668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 256.2
system time used= 2.23573
maximum resident set size= 1162856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63998
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 403663
involuntary context switches= 1586


# summary of solver processes directly reported to runsolver:
#   pid: 27524
#   total CPU time (s): 258.436
#   total CPU user time (s): 256.2
#   total CPU system time (s): 2.23573

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.312987 second user time and 0.514269 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-14 02:50:43
IDJOB=4393548
IDBENCH=123586
IDSOLVER=2841
FILE ID=node116/4393548-1568422284
RUNJOBID= node116-1568417068-26099
PBS_JOBID= 21702268
Free space on /tmp= 61244 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Sat/Sat-m1-various/pret-150-40.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393548-1568422284/watcher-4393548-1568422284 -o /tmp/evaluation-result-4393548-1568422284/solver-4393548-1568422284 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568417068-26099 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1276263003 HOME/instance-4393548-1568422284.xml

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

MD5SUM BENCH= 798862a2384da12f90df47f1a27f971a
RANDOM SEED=1276263003

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:        29832808 kB
MemAvailable:   31852848 kB
Buffers:          146112 kB
Cached:          2159356 kB
SwapCached:        46664 kB
Active:           930700 kB
Inactive:        1427724 kB
Active(anon):       5388 kB
Inactive(anon):    87864 kB
Active(file):     925312 kB
Inactive(file):  1339860 kB
Unevictable:      109332 kB
Mlocked:          109332 kB
SwapTotal:      67108860 kB
SwapFree:       66961104 kB
Dirty:             26284 kB
Writeback:             0 kB
AnonPages:        154656 kB
Mapped:            43672 kB
Shmem:             31996 kB
Slab:             169960 kB
SReclaimable:     141404 kB
SUnreclaim:        28556 kB
KernelStack:        3760 kB
PageTables:         5652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     498088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    108544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61216 MiB
End job on node116 at 2019-09-14 02:51:17