Trace number 4297728

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.7b par (e747e1e)UNSAT 87.2341 11.4661

General information on the benchmark

NameQuasigroups/
QuasiGroup-7-08_c18.xml
MD5SUMf8c10a8313da5da6e599be620e9e581f
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 benchmark9.412
Satisfiable
(Un)Satisfiability was proved
Number of variables128
Number of constraints114
Number of domains1
Minimum domain size8
Maximum domain size8
Distribution of domain sizes[{"size":8,"count":120}]
Minimum variable degree0
Maximum variable degree17
Distribution of variable degrees[{"degree":0,"count":8},{"degree":2,"count":56},{"degree":16,"count":8},{"degree":17,"count":56}]
Minimum constraint arity8
Maximum constraint arity64
Distribution of constraint arities[{"arity":8,"count":1},{"arity":10,"count":112},{"arity":64,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":112}]
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-4297728-1532731473.xml"  -tl '20160s' -p 8
0.12/0.17	c Choco e747e1e
0.12/0.18	c [HOME/instance-4297728-1532731473.xml, -tl, 20160s, -p, 8]
0.12/0.21	c 8 solvers in parallel
0.34/0.28	c parse instance...
1.41/0.65	c solve instance...
86.78/11.45	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 (13460 MiB free)
  memory of node 1: 16384 MiB (14011 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297728-1532731473/watcher-4297728-1532731473 -o /tmp/evaluation-result-4297728-1532731473/solver-4297728-1532731473 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532724796-17513 --watchdog 2580 HOME/xcsp3-exec -seed 607714676 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297728-1532731473.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=18704, runsolver pid=18701
Current StackSize limit: 8192 KiB


[startup+0.100183 s]*
/proc/loadavg: 8.43 8.30 8.29 3/200 18725
/proc/meminfo: memFree=28114688/32770624 swapFree=67108436/67108860
[pid=18704] ppid=18701 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18704/stat : 18704 (xcsp3-exec) S 18701 18704 17486 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90710501 115843072 363 33554432000 4194304 5098028 140733402308464 140733402306568 140109237547644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35397632 140733402313782 140733402313984 140733402313984 140733402316746 0
/proc/18704/statm: 28282 363 305 221 0 87 0
[pid=18706] ppid=18704 vsize=26104152 memory=27904 CPUtime=0.12 cores=0-7
/proc/18706/stat : 18706 (java) S 18704 18704 17486 0 -1 1077944320 5409 0 0 0 11 1 0 0 20 0 20 0 90710502 26730651648 6976 33554432000 4194304 4196468 140728159636144 140728159618688 139824556486391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
/proc/18706/statm: 6526038 6976 3004 1 0 6488315 0
[pid=18706/tid=18707] ppid=18704 vsize=26104152 memory=8186588030768684951 CPUtime=0.08 cores=0-7
/proc/18706/task/18707/stat : 18707 (java) R 18704 18704 17486 0 -1 4202560 3409 0 0 0 8 0 0 0 20 0 20 0 90710502 26730651648 6976 33554432000 4194304 4196468 140728159636144 139824560718656 139824556498326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18708] ppid=18704 vsize=26104152 memory=732370249574054885 CPUtime=0 cores=0-7
/proc/18706/task/18708/stat : 18708 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 6976 33554432000 4194304 4196468 140728159636144 139824479067024 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18709] ppid=18704 vsize=26104152 memory=140111236601472 CPUtime=0 cores=0-7
/proc/18706/task/18709/stat : 18709 (java) S 18704 18704 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 6976 33554432000 4194304 4196468 140728159636144 139824478014224 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18710] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18710/stat : 18710 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 6976 33554432000 4194304 4196468 140728159636144 139824476961936 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18711] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18711/stat : 18711 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 6976 33554432000 4194304 4196468 140728159636144 139824475909136 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18712] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18712/stat : 18712 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 6976 33554432000 4194304 4196468 140728159636144 139824474855824 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18713] ppid=18704 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18706/task/18713/stat : 18713 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 6976 33554432000 4194304 4196468 140728159636144 139824473803024 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18714] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18714/stat : 18714 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 6976 33554432000 4194304 4196468 140728159636144 139824108427920 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18715] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18715/stat : 18715 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 6976 33554432000 4194304 4196468 140728159636144 139824107375120 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18716] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18716/stat : 18716 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710504 26730651648 6976 33554432000 4194304 4196468 140728159636144 139822963096176 139824556497538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18717] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18717/stat : 18717 (java) S 18704 18704 17486 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90710505 26730651648 6976 33554432000 4194304 4196468 140728159636144 139822962042144 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18718] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18718/stat : 18718 (java) S 18704 18704 17486 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90710505 26730651648 6976 33554432000 4194304 4196468 140728159636144 139822960989808 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18719] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18719/stat : 18719 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710507 26730651648 6976 33554432000 4194304 4196468 140728159636144 139822959938128 139824556504987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18720] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18720/stat : 18720 (java) S 18704 18704 17486 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 90710507 26730651648 6976 33554432000 4194304 4196468 140728159636144 139822958884976 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18721] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18721/stat : 18721 (java) S 18704 18704 17486 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 90710507 26730651648 6976 33554432000 4194304 4196468 140728159636144 139822957832176 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18722] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18722/stat : 18722 (java) S 18704 18704 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90710507 26730651648 6976 33554432000 4194304 4196468 140728159636144 139822956779888 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18723] ppid=18704 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18706/task/18723/stat : 18723 (java) S 18704 18704 17486 0 -1 1077944384 249 0 0 0 1 0 0 0 20 0 20 0 90710507 26730651648 6976 33554432000 4194304 4196468 140728159636144 139822955727088 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18724] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18724/stat : 18724 (java) S 18704 18704 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90710508 26730651648 6976 33554432000 4194304 4196468 140728159636144 139822954675040 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18725] ppid=18704 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18706/task/18725/stat : 18725 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710508 26730651648 6976 33554432000 4194304 4196468 140728159636144 139822953622320 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 29356 KiB

[startup+0.209795 s]*
/proc/loadavg: 8.43 8.30 8.29 3/200 18725
/proc/meminfo: memFree=28102864/32770624 swapFree=67108436/67108860
[pid=18704] ppid=18701 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18704/stat : 18704 (xcsp3-exec) S 18701 18704 17486 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90710501 115843072 363 33554432000 4194304 5098028 140733402308464 140733402306568 140109237547644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35397632 140733402313782 140733402313984 140733402313984 140733402316746 0
/proc/18704/statm: 28282 363 305 221 0 87 0
[pid=18706] ppid=18704 vsize=26104152 memory=39664 CPUtime=0.34 cores=0-7
/proc/18706/stat : 18706 (java) S 18704 18704 17486 0 -1 1077944320 7978 0 0 0 32 2 0 0 20 0 20 0 90710502 26730651648 9916 33554432000 4194304 4196468 140728159636144 140728159618688 139824556486391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
/proc/18706/statm: 6526038 9916 3172 1 0 6488315 0
[pid=18706/tid=18707] ppid=18704 vsize=26104152 memory=0 CPUtime=0.2 cores=0-7
/proc/18706/task/18707/stat : 18707 (java) R 18704 18704 17486 0 -1 4202560 5089 0 0 0 19 1 0 0 20 0 20 0 90710502 26730651648 9916 33554432000 4194304 4196468 140728159636144 139824560720928 139824556508317 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18708] ppid=18704 vsize=26104152 memory=732370249574054885 CPUtime=0 cores=0-7
/proc/18706/task/18708/stat : 18708 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 9916 33554432000 4194304 4196468 140728159636144 139824479067024 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18709] ppid=18704 vsize=26104152 memory=140111236601472 CPUtime=0 cores=0-7
/proc/18706/task/18709/stat : 18709 (java) S 18704 18704 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 9916 33554432000 4194304 4196468 140728159636144 139824478014224 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18710] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18710/stat : 18710 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 9916 33554432000 4194304 4196468 140728159636144 139824476961936 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18711] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18711/stat : 18711 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 9916 33554432000 4194304 4196468 140728159636144 139824475909136 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18712] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18712/stat : 18712 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 9916 33554432000 4194304 4196468 140728159636144 139824474855824 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18713] ppid=18704 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18706/task/18713/stat : 18713 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 9916 33554432000 4194304 4196468 140728159636144 139824473803024 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18714] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18714/stat : 18714 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 9916 33554432000 4194304 4196468 140728159636144 139824108427920 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18715] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18715/stat : 18715 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710503 26730651648 9916 33554432000 4194304 4196468 140728159636144 139824107375120 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18716] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18716/stat : 18716 (java) S 18704 18704 17486 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90710504 26730651648 9916 33554432000 4194304 4196468 140728159636144 139822963096176 139824556497538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18717] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18717/stat : 18717 (java) S 18704 18704 17486 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90710505 26730651648 9916 33554432000 4194304 4196468 140728159636144 139822962042144 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18718] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18718/stat : 18718 (java) S 18704 18704 17486 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90710505 26730651648 9916 33554432000 4194304 4196468 140728159636144 139822960989808 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18719] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18719/stat : 18719 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710507 26730651648 9916 33554432000 4194304 4196468 140728159636144 139822959938128 139824556504987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18720] ppid=18704 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18706/task/18720/stat : 18720 (java) S 18704 18704 17486 0 -1 1077944384 504 0 0 0 1 0 0 0 20 0 20 0 90710507 26730651648 9916 33554432000 4194304 4196468 140728159636144 139822958884976 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18721] ppid=18704 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/18706/task/18721/stat : 18721 (java) S 18704 18704 17486 0 -1 1077944384 213 0 0 0 2 0 0 0 20 0 20 0 90710507 26730651648 9916 33554432000 4194304 4196468 140728159636144 139822957832176 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18722] ppid=18704 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18706/task/18722/stat : 18722 (java) S 18704 18704 17486 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 20 0 90710507 26730651648 9916 33554432000 4194304 4196468 140728159636144 139822956779888 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18723] ppid=18704 vsize=26104152 memory=0 CPUtime=0.08 cores=0-7
/proc/18706/task/18723/stat : 18723 (java) S 18704 18704 17486 0 -1 1077944384 751 0 0 0 8 0 0 0 20 0 20 0 90710507 26730651648 9916 33554432000 4194304 4196468 140728159636144 139822955727088 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18724] ppid=18704 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18724/stat : 18724 (java) S 18704 18704 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90710508 26730651648 9916 33554432000 4194304 4196468 140728159636144 139822954675040 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18725] ppid=18704 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18706/task/18725/stat : 18725 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710508 26730651648 9916 33554432000 4194304 4196468 140728159636144 139822953622320 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41116 KiB

[startup+0.309505 s]*
/proc/loadavg: 8.43 8.30 8.29 3/200 18725
/proc/meminfo: memFree=28097468/32770624 swapFree=67108436/67108860
[pid=18704] ppid=18701 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18704/stat : 18704 (xcsp3-exec) S 18701 18704 17486 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90710501 115843072 363 33554432000 4194304 5098028 140733402308464 140733402306568 140109237547644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35397632 140733402313782 140733402313984 140733402313984 140733402316746 0
/proc/18704/statm: 28282 363 305 221 0 87 0
[pid=18706] ppid=18704 vsize=26108408 memory=46540 CPUtime=0.52 cores=0-7
/proc/18706/stat : 18706 (java) S 18704 18704 17486 0 -1 1077944320 8882 0 0 0 49 3 0 0 20 0 20 0 90710502 26735009792 11635 33554432000 4194304 4196468 140728159636144 140728159618688 139824556486391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
/proc/18706/statm: 6527102 11635 3237 1 0 6488315 0
[pid=18706/tid=18707] ppid=18704 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18706/task/18707/stat : 18707 (java) R 18704 18704 17486 0 -1 4202560 5798 0 0 0 27 2 0 0 20 0 20 0 90710502 26735009792 11635 33554432000 4194304 4196468 140728159636144 139824560723168 139824540566878 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18708] ppid=18704 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18708/stat : 18708 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26735009792 11635 33554432000 4194304 4196468 140728159636144 139824479067024 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18709] ppid=18704 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18709/stat : 18709 (java) S 18704 18704 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90710503 26735009792 11635 33554432000 4194304 4196468 140728159636144 139824478014224 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18710] ppid=18704 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18710/stat : 18710 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26735009792 11635 33554432000 4194304 4196468 140728159636144 139824476961936 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18711] ppid=18704 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18711/stat : 18711 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26735009792 11635 33554432000 4194304 4196468 140728159636144 139824475909136 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18712] ppid=18704 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/18706/task/18712/stat : 18712 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26735009792 11635 33554432000 4194304 4196468 140728159636144 139824474855824 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18713] ppid=18704 vsize=26108408 memory=140111094313903 CPUtime=0 cores=0-7
/proc/18706/task/18713/stat : 18713 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710503 26735009792 11635 33554432000 4194304 4196468 140728159636144 139824473803024 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18714] ppid=18704 vsize=26108408 memory=140111094316208 CPUtime=0 cores=0-7
/proc/18706/task/18714/stat : 18714 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90710503 26735009792 11635 33554432000 4194304 4196468 140728159636144 139824108427920 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18715] ppid=18704 vsize=26108408 memory=140111094318512 CPUtime=0 cores=0-7
/proc/18706/task/18715/stat : 18715 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710503 26735009792 11635 33554432000 4194304 4196468 140728159636144 139824107375120 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18716] ppid=18704 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18716/stat : 18716 (java) S 18704 18704 17486 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90710504 26735009792 11635 33554432000 4194304 4196468 140728159636144 139822963096176 139824556497538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18717] ppid=18704 vsize=26108408 memory=280222188643984 CPUtime=0 cores=0-7
/proc/18706/task/18717/stat : 18717 (java) S 18704 18704 17486 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90710505 26735009792 11635 33554432000 4194304 4196468 140728159636144 139822962042144 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18718] ppid=18704 vsize=26108408 memory=280222188650896 CPUtime=0 cores=0-7
/proc/18706/task/18718/stat : 18718 (java) S 18704 18704 17486 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90710505 26735009792 11635 33554432000 4194304 4196468 140728159636144 139822960989808 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18719] ppid=18704 vsize=26108408 memory=280222188592176 CPUtime=0 cores=0-7
/proc/18706/task/18719/stat : 18719 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710507 26735009792 11635 33554432000 4194304 4196468 140728159636144 139822959938128 139824556504987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18720] ppid=18704 vsize=26108408 memory=280222188664720 CPUtime=0.02 cores=0-7
/proc/18706/task/18720/stat : 18720 (java) S 18704 18704 17486 0 -1 1077944384 515 0 0 0 2 0 0 0 20 0 20 0 90710507 26735009792 11635 33554432000 4194304 4196468 140728159636144 139822958884976 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18721] ppid=18704 vsize=26108408 memory=280222188671632 CPUtime=0.02 cores=0-7
/proc/18706/task/18721/stat : 18721 (java) S 18704 18704 17486 0 -1 1077944384 218 0 0 0 2 0 0 0 20 0 20 0 90710507 26735009792 11635 33554432000 4194304 4196468 140728159636144 139822957832176 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18722] ppid=18704 vsize=26108408 memory=280222188669328 CPUtime=0.03 cores=0-7
/proc/18706/task/18722/stat : 18722 (java) S 18704 18704 17486 0 -1 1077944384 221 0 0 0 3 0 0 0 20 0 20 0 90710507 26735009792 11635 33554432000 4194304 4196468 140728159636144 139822956779888 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18723] ppid=18704 vsize=26108408 memory=280222188685488 CPUtime=0.12 cores=0-7
/proc/18706/task/18723/stat : 18723 (java) S 18704 18704 17486 0 -1 1077944384 827 0 0 0 12 0 0 0 20 0 20 0 90710507 26735009792 11635 33554432000 4194304 4196468 140728159636144 139822955727088 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18724] ppid=18704 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18724/stat : 18724 (java) S 18704 18704 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90710508 26735009792 11635 33554432000 4194304 4196468 140728159636144 139822954675040 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18725] ppid=18704 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/18706/task/18725/stat : 18725 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90710508 26735009792 11635 33554432000 4194304 4196468 140728159636144 139822953622320 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47992 KiB

[startup+0.707574 s]
/proc/loadavg: 8.43 8.30 8.29 6/200 18725
/proc/meminfo: memFree=28080660/32770624 swapFree=67108436/67108860
[pid=18704] ppid=18701 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18704/stat : 18704 (xcsp3-exec) S 18701 18704 17486 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90710501 115843072 363 33554432000 4194304 5098028 140733402308464 140733402306568 140109237547644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35397632 140733402313782 140733402313984 140733402313984 140733402316746 0
/proc/18704/statm: 28282 363 305 221 0 87 0
[pid=18706] ppid=18704 vsize=26643044 memory=107832 CPUtime=1.96 cores=0-7
/proc/18706/stat : 18706 (java) S 18704 18704 17486 0 -1 1077944320 14751 0 0 0 191 5 0 0 20 0 28 0 90710502 27282477056 26958 33554432000 4194304 4196468 140728159636144 140728159618688 139824556486391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
/proc/18706/statm: 6660761 26958 3365 1 0 6621955 0
[pid=18706/tid=18707] ppid=18704 vsize=26643044 memory=280222188980416 CPUtime=0.63 cores=0-7
/proc/18706/task/18707/stat : 18707 (java) S 18704 18704 17486 0 -1 1077944384 6643 0 0 0 60 3 0 0 20 0 28 0 90710502 27282477056 26958 33554432000 4194304 4196468 140728159636144 139824560727168 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18708] ppid=18704 vsize=26643044 memory=5752 CPUtime=0 cores=0-7
/proc/18706/task/18708/stat : 18708 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 26958 33554432000 4194304 4196468 140728159636144 139824479067024 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18709] ppid=18704 vsize=26643044 memory=4588 CPUtime=0 cores=0-7
/proc/18706/task/18709/stat : 18709 (java) S 18704 18704 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 26958 33554432000 4194304 4196468 140728159636144 139824478014224 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18710] ppid=18704 vsize=26643044 memory=1612 CPUtime=0 cores=0-7
/proc/18706/task/18710/stat : 18710 (java) S 18704 18704 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 26958 33554432000 4194304 4196468 140728159636144 139824476961936 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0

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

[pid=18706/tid=18723] ppid=18704 vsize=26643044 memory=2209 CPUtime=0.66 cores=0-7
/proc/18706/task/18723/stat : 18723 (java) S 18704 18704 17486 0 -1 1077944384 4251 0 0 0 65 1 0 0 20 0 28 0 90710507 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822955727088 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18724] ppid=18704 vsize=26643044 memory=11204 CPUtime=0 cores=0-7
/proc/18706/task/18724/stat : 18724 (java) S 18704 18704 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90710508 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822954675040 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18725] ppid=18704 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18725/stat : 18725 (java) S 18704 18704 17486 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 90710508 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822953622320 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18726] ppid=18704 vsize=26643044 memory=0 CPUtime=9 cores=0-7
/proc/18706/task/18726/stat : 18726 (java) R 18704 18704 17486 0 -1 4202560 200 0 0 0 900 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822944837040 139824158606667 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18727] ppid=18704 vsize=26643044 memory=0 CPUtime=9.12 cores=0-7
/proc/18706/task/18727/stat : 18727 (java) R 18704 18704 17486 0 -1 4202560 187 0 0 0 912 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822943785480 139824158892275 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18728] ppid=18704 vsize=26643044 memory=0 CPUtime=9.05 cores=0-7
/proc/18706/task/18728/stat : 18728 (java) R 18704 18704 17486 0 -1 4202560 658 0 0 0 905 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822942734016 139824158576640 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18729] ppid=18704 vsize=26643044 memory=0 CPUtime=9.08 cores=0-7
/proc/18706/task/18729/stat : 18729 (java) R 18704 18704 17486 0 -1 4202560 474 0 0 0 907 1 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822941679264 139824161281696 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18730] ppid=18704 vsize=26643044 memory=0 CPUtime=9.07 cores=0-7
/proc/18706/task/18730/stat : 18730 (java) R 18704 18704 17486 0 -1 4202560 184 0 0 0 907 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822940627080 139824159754057 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18731] ppid=18704 vsize=26643044 memory=0 CPUtime=9.26 cores=0-7
/proc/18706/task/18731/stat : 18731 (java) R 18704 18704 17486 0 -1 4202560 130 0 0 0 926 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822939574176 139824159126546 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18732] ppid=18704 vsize=26643044 memory=1452 CPUtime=9.21 cores=0-7
/proc/18706/task/18732/stat : 18732 (java) R 18704 18704 17486 0 -1 4202560 335 0 0 0 921 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822938521888 139824160957355 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18733] ppid=18704 vsize=26643044 memory=239832 CPUtime=9.2 cores=0-7
/proc/18706/task/18733/stat : 18733 (java) R 18704 18704 17486 0 -1 4202560 113 0 0 0 919 1 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822937469056 139824159126425 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
Current children cumulated CPU time: 78.81 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 237700 KiB

[startup+11.2016 s]
/proc/loadavg: 8.66 8.36 8.31 9/208 18733
/proc/meminfo: memFree=27905196/32770624 swapFree=67108436/67108860
[pid=18704] ppid=18701 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18704/stat : 18704 (xcsp3-exec) S 18701 18704 17486 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90710501 115843072 363 33554432000 4194304 5098028 140733402308464 140733402306568 140109237547644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35397632 140733402313782 140733402313984 140733402313984 140733402316746 0
/proc/18704/statm: 28282 363 305 221 0 87 0
[pid=18706] ppid=18704 vsize=26643044 memory=236248 CPUtime=85.19 cores=0-7
/proc/18706/stat : 18706 (java) S 18704 18704 17486 0 -1 1077944320 43121 0 0 0 8501 18 0 0 20 0 28 0 90710502 27282477056 59062 33554432000 4194304 4196468 140728159636144 140728159618688 139824556486391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
/proc/18706/statm: 6660761 59062 3429 1 0 6621955 0
[pid=18706/tid=18707] ppid=18704 vsize=26643044 memory=6791534058613427641 CPUtime=0.63 cores=0-7
/proc/18706/task/18707/stat : 18707 (java) S 18704 18704 17486 0 -1 1077944384 6643 0 0 0 60 3 0 0 20 0 28 0 90710502 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824560727168 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18708] ppid=18704 vsize=26643044 memory=1452 CPUtime=0.01 cores=0-7
/proc/18706/task/18708/stat : 18708 (java) S 18704 18704 17486 0 -1 1077944384 687 0 0 0 1 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824479067024 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18709] ppid=18704 vsize=26643044 memory=236020 CPUtime=0 cores=0-7
/proc/18706/task/18709/stat : 18709 (java) S 18704 18704 17486 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824478014224 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18710] ppid=18704 vsize=26643044 memory=0 CPUtime=0.01 cores=0-7
/proc/18706/task/18710/stat : 18710 (java) S 18704 18704 17486 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824476961936 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18711] ppid=18704 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18711/stat : 18711 (java) S 18704 18704 17486 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824475909136 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18712] ppid=18704 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18712/stat : 18712 (java) S 18704 18704 17486 0 -1 1077944384 849 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824474855824 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18713] ppid=18704 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18713/stat : 18713 (java) S 18704 18704 17486 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824473803024 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18714] ppid=18704 vsize=26643044 memory=288230574492221466 CPUtime=0.01 cores=0-7
/proc/18706/task/18714/stat : 18714 (java) S 18704 18704 17486 0 -1 1077944384 138 0 0 0 1 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824108427920 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18715] ppid=18704 vsize=26643044 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/18706/task/18715/stat : 18715 (java) S 18704 18704 17486 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824107375120 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18716] ppid=18704 vsize=26643044 memory=15823295995971307 CPUtime=0.01 cores=0-7
/proc/18706/task/18716/stat : 18716 (java) S 18704 18704 17486 0 -1 1077944384 646 0 0 0 1 0 0 0 20 0 28 0 90710504 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822963096176 139824556497538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18717] ppid=18704 vsize=26643044 memory=118792 CPUtime=0 cores=0-7
/proc/18706/task/18717/stat : 18717 (java) S 18704 18704 17486 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 90710505 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822962042144 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18718] ppid=18704 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18718/stat : 18718 (java) S 18704 18704 17486 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 90710505 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822960989808 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18719] ppid=18704 vsize=26643044 memory=8068 CPUtime=0 cores=0-7
/proc/18706/task/18719/stat : 18719 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90710507 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822959938128 139824556504987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18720] ppid=18704 vsize=26643044 memory=11648 CPUtime=1.52 cores=0-7
/proc/18706/task/18720/stat : 18720 (java) S 18704 18704 17486 0 -1 1077944384 8810 0 0 0 150 2 0 0 20 0 28 0 90710507 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822958884976 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18721] ppid=18704 vsize=26643044 memory=1452 CPUtime=1.44 cores=0-7
/proc/18706/task/18721/stat : 18721 (java) S 18704 18704 17486 0 -1 1077944384 10798 0 0 0 141 3 0 0 20 0 28 0 90710507 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822957832176 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18722] ppid=18704 vsize=26643044 memory=227808 CPUtime=1.35 cores=0-7
/proc/18706/task/18722/stat : 18722 (java) S 18704 18704 17486 0 -1 1077944384 5760 0 0 0 134 1 0 0 20 0 28 0 90710507 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822956779888 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18723] ppid=18704 vsize=26643044 memory=600 CPUtime=0.66 cores=0-7
/proc/18706/task/18723/stat : 18723 (java) S 18704 18704 17486 0 -1 1077944384 4251 0 0 0 65 1 0 0 20 0 28 0 90710507 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822955727088 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18724] ppid=18704 vsize=26643044 memory=599 CPUtime=0 cores=0-7
/proc/18706/task/18724/stat : 18724 (java) S 18704 18704 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90710508 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822954675040 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18725] ppid=18704 vsize=26643044 memory=618 CPUtime=0 cores=0-7
/proc/18706/task/18725/stat : 18725 (java) S 18704 18704 17486 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 28 0 90710508 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822953622320 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18726] ppid=18704 vsize=26643044 memory=613 CPUtime=9.8 cores=0-7
/proc/18706/task/18726/stat : 18726 (java) R 18704 18704 17486 0 -1 4202560 200 0 0 0 980 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822944837176 139824158606701 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18727] ppid=18704 vsize=26643044 memory=612 CPUtime=9.92 cores=0-7
/proc/18706/task/18727/stat : 18727 (java) R 18704 18704 17486 0 -1 4202560 187 0 0 0 992 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822943785480 139824159751319 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18728] ppid=18704 vsize=26643044 memory=0 CPUtime=9.85 cores=0-7
/proc/18706/task/18728/stat : 18728 (java) R 18704 18704 17486 0 -1 4202560 663 0 0 0 985 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822942731992 139824158576593 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18729] ppid=18704 vsize=26643044 memory=1452 CPUtime=9.88 cores=0-7
/proc/18706/task/18729/stat : 18729 (java) R 18704 18704 17486 0 -1 4202560 474 0 0 0 987 1 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822941679400 139824158892188 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18730] ppid=18704 vsize=26643044 memory=236248 CPUtime=9.86 cores=0-7
/proc/18706/task/18730/stat : 18730 (java) R 18704 18704 17486 0 -1 4202560 185 0 0 0 986 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822940627080 139824161283770 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18731] ppid=18704 vsize=26643044 memory=122 CPUtime=10.06 cores=0-7
/proc/18706/task/18731/stat : 18731 (java) R 18704 18704 17486 0 -1 4202560 130 0 0 0 1006 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822939574064 139824158606900 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18732] ppid=18704 vsize=26643044 memory=124 CPUtime=10.01 cores=0-7
/proc/18706/task/18732/stat : 18732 (java) R 18704 18704 17486 0 -1 4202560 388 0 0 0 1001 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822938522024 139824158606962 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18733] ppid=18704 vsize=26643044 memory=115 CPUtime=10 cores=0-7
/proc/18706/task/18733/stat : 18733 (java) R 18704 18704 17486 0 -1 4202560 113 0 0 0 999 1 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822937469192 139824158606754 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
Current children cumulated CPU time: 85.19 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 237700 KiB

[startup+11.4016 s]
/proc/loadavg: 8.66 8.36 8.31 9/208 18733
/proc/meminfo: memFree=27905196/32770624 swapFree=67108436/67108860
[pid=18704] ppid=18701 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18704/stat : 18704 (xcsp3-exec) S 18701 18704 17486 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90710501 115843072 363 33554432000 4194304 5098028 140733402308464 140733402306568 140109237547644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35397632 140733402313782 140733402313984 140733402313984 140733402316746 0
/proc/18704/statm: 28282 363 305 221 0 87 0
[pid=18706] ppid=18704 vsize=26643044 memory=236248 CPUtime=86.78 cores=0-7
/proc/18706/stat : 18706 (java) S 18704 18704 17486 0 -1 1077944320 43124 0 0 0 8660 18 0 0 20 0 28 0 90710502 27282477056 59062 33554432000 4194304 4196468 140728159636144 140728159618688 139824556486391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
/proc/18706/statm: 6660761 59062 3429 1 0 6621955 0
[pid=18706/tid=18707] ppid=18704 vsize=26643044 memory=0 CPUtime=0.63 cores=0-7
/proc/18706/task/18707/stat : 18707 (java) S 18704 18704 17486 0 -1 1077944384 6643 0 0 0 60 3 0 0 20 0 28 0 90710502 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824560727168 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18708] ppid=18704 vsize=26643044 memory=0 CPUtime=0.01 cores=0-7
/proc/18706/task/18708/stat : 18708 (java) S 18704 18704 17486 0 -1 1077944384 687 0 0 0 1 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824479067024 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18709] ppid=18704 vsize=26643044 memory=280222189333440 CPUtime=0 cores=0-7
/proc/18706/task/18709/stat : 18709 (java) S 18704 18704 17486 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824478014224 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18710] ppid=18704 vsize=26643044 memory=140111094673447 CPUtime=0.01 cores=0-7
/proc/18706/task/18710/stat : 18710 (java) S 18704 18704 17486 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824476961936 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18711] ppid=18704 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/18706/task/18711/stat : 18711 (java) S 18704 18704 17486 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824475909136 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18712] ppid=18704 vsize=26643044 memory=1296 CPUtime=0 cores=0-7
/proc/18706/task/18712/stat : 18712 (java) S 18704 18704 17486 0 -1 1077944384 849 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824474855824 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18713] ppid=18704 vsize=26643044 memory=2412 CPUtime=0 cores=0-7
/proc/18706/task/18713/stat : 18713 (java) S 18704 18704 17486 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824473803024 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18714] ppid=18704 vsize=26643044 memory=1784 CPUtime=0.01 cores=0-7
/proc/18706/task/18714/stat : 18714 (java) S 18704 18704 17486 0 -1 1077944384 138 0 0 0 1 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824108427920 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18715] ppid=18704 vsize=26643044 memory=5752 CPUtime=0 cores=0-7
/proc/18706/task/18715/stat : 18715 (java) S 18704 18704 17486 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 90710503 27282477056 59062 33554432000 4194304 4196468 140728159636144 139824107375120 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18716] ppid=18704 vsize=26643044 memory=4588 CPUtime=0.01 cores=0-7
/proc/18706/task/18716/stat : 18716 (java) S 18704 18704 17486 0 -1 1077944384 646 0 0 0 1 0 0 0 20 0 28 0 90710504 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822963096176 139824556497538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18717] ppid=18704 vsize=26643044 memory=1612 CPUtime=0 cores=0-7
/proc/18706/task/18717/stat : 18717 (java) S 18704 18704 17486 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 90710505 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822962042144 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18718] ppid=18704 vsize=26643044 memory=1228 CPUtime=0 cores=0-7
/proc/18706/task/18718/stat : 18718 (java) S 18704 18704 17486 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 90710505 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822960989808 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18719] ppid=18704 vsize=26643044 memory=1852 CPUtime=0 cores=0-7
/proc/18706/task/18719/stat : 18719 (java) S 18704 18704 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90710507 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822959938128 139824556504987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18720] ppid=18704 vsize=26643044 memory=872 CPUtime=1.52 cores=0-7
/proc/18706/task/18720/stat : 18720 (java) S 18704 18704 17486 0 -1 1077944384 8810 0 0 0 150 2 0 0 20 0 28 0 90710507 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822958884976 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18721] ppid=18704 vsize=26643044 memory=8068 CPUtime=1.44 cores=0-7
/proc/18706/task/18721/stat : 18721 (java) S 18704 18704 17486 0 -1 1077944384 10798 0 0 0 141 3 0 0 20 0 28 0 90710507 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822957832176 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18722] ppid=18704 vsize=26643044 memory=11648 CPUtime=1.35 cores=0-7
/proc/18706/task/18722/stat : 18722 (java) S 18704 18704 17486 0 -1 1077944384 5760 0 0 0 134 1 0 0 20 0 28 0 90710507 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822956779888 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18723] ppid=18704 vsize=26643044 memory=796 CPUtime=0.66 cores=0-7
/proc/18706/task/18723/stat : 18723 (java) S 18704 18704 17486 0 -1 1077944384 4251 0 0 0 65 1 0 0 20 0 28 0 90710507 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822955727088 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18724] ppid=18704 vsize=26643044 memory=1388 CPUtime=0 cores=0-7
/proc/18706/task/18724/stat : 18724 (java) S 18704 18704 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90710508 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822954675040 139824556496597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18725] ppid=18704 vsize=26643044 memory=1136 CPUtime=0 cores=0-7
/proc/18706/task/18725/stat : 18725 (java) S 18704 18704 17486 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 28 0 90710508 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822953622320 139824556497538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18726] ppid=18704 vsize=26643044 memory=15872 CPUtime=9.99 cores=0-7
/proc/18706/task/18726/stat : 18726 (java) R 18704 18704 17486 0 -1 4202560 201 0 0 0 999 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822944837552 139824158576289 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18727] ppid=18704 vsize=26643044 memory=15152 CPUtime=10.12 cores=0-7
/proc/18706/task/18727/stat : 18727 (java) R 18704 18704 17486 0 -1 4202560 188 0 0 0 1012 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822943786024 139824159069203 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18728] ppid=18704 vsize=26643044 memory=16148 CPUtime=10.04 cores=0-7
/proc/18706/task/18728/stat : 18728 (java) R 18704 18704 17486 0 -1 4202560 663 0 0 0 1004 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822942732048 139824158608546 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18729] ppid=18704 vsize=26643044 memory=4004 CPUtime=10.08 cores=0-7
/proc/18706/task/18729/stat : 18729 (java) R 18704 18704 17486 0 -1 4202560 474 0 0 0 1007 1 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822941679232 139824160060428 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18730] ppid=18704 vsize=26643044 memory=636 CPUtime=10.05 cores=0-7
/proc/18706/task/18730/stat : 18730 (java) R 18704 18704 17486 0 -1 4202560 185 0 0 0 1005 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822940626984 139824158891849 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18731] ppid=18704 vsize=26643044 memory=1780 CPUtime=10.26 cores=0-7
/proc/18706/task/18731/stat : 18731 (java) R 18704 18704 17486 0 -1 4202560 130 0 0 0 1026 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822939574560 139824159604710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18732] ppid=18704 vsize=26643044 memory=1236 CPUtime=10.21 cores=0-7
/proc/18706/task/18732/stat : 18732 (java) R 18704 18704 17486 0 -1 4202560 388 0 0 0 1021 0 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822938521856 139824159069794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
[pid=18706/tid=18733] ppid=18704 vsize=26643044 memory=960 CPUtime=10.2 cores=0-7
/proc/18706/task/18733/stat : 18733 (java) R 18704 18704 17486 0 -1 4202560 114 0 0 0 1019 1 0 0 20 0 28 0 90710568 27282477056 59062 33554432000 4194304 4196468 140728159636144 139822937469072 139824158607109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140728159642753 140728159642925 140728159642925 140728159645647 0
Current children cumulated CPU time: 86.78 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 237700 KiB

Child status: 0
Real time (s): 11.4661
CPU time (s): 87.2341
CPU user time (s): 87.04
CPU system time (s): 0.194026
CPU usage (%): 760.798
Max. virtual memory (cumulated for all children) (KiB): 26760380
Max. memory (cumulated for all children) (KiB): 241284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 87.04
system time used= 0.194026
maximum resident set size= 239832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44295
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= 4506
involuntary context switches= 1430


# summary of solver processes directly reported to runsolver:
#   pid: 18704
#   total CPU time (s): 87.2341
#   total CPU user time (s): 87.04
#   total CPU system time (s): 0.194026

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.11221 second user time and 0.163184 second system time

The end

Launcher Data

Begin job on node137 at 2018-07-28 00:44:33
IDJOB=4297728
IDBENCH=141618
IDSOLVER=2760
FILE ID=node137/4297728-1532731473
RUNJOBID= node137-1532724796-17513
PBS_JOBID= 21022341
Free space on /tmp= 48160 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Quasigroups/QuasiGroup-7-08_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297728-1532731473/watcher-4297728-1532731473 -o /tmp/evaluation-result-4297728-1532731473/solver-4297728-1532731473 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532724796-17513 --watchdog 2580  HOME/xcsp3-exec -seed 607714676 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297728-1532731473.xml

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

MD5SUM BENCH= f8c10a8313da5da6e599be620e9e581f
RANDOM SEED=607714676

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28132468 kB
MemAvailable:   31931704 kB
Buffers:          159916 kB
Cached:          3874032 kB
SwapCached:           32 kB
Active:          1798184 kB
Inactive:        2292388 kB
Active(anon):       4160 kB
Inactive(anon):    80060 kB
Active(file):    1794024 kB
Inactive(file):  2212328 kB
Unevictable:        7424 kB
Mlocked:            7424 kB
SwapTotal:      67108860 kB
SwapFree:       67108436 kB
Dirty:             21988 kB
Writeback:             0 kB
AnonPages:         63944 kB
Mapped:            40080 kB
Shmem:             25052 kB
Slab:             244636 kB
SReclaimable:     217436 kB
SUnreclaim:        27200 kB
KernelStack:        3232 kB
PageTables:         4720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 48136 MiB
End job on node137 at 2018-07-28 00:44:45