Trace number 4399469

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-09-16 parallelUNSAT 33.6608 6.28013

General information on the benchmark

NameCrossword/
Crossword-m1c-ogd-vg/Crossword-m1c-ogd-vg-14-15.xml
MD5SUM8fe4d4ff25aed39a536d9c0933ae8bb1
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 benchmark4.05663
Satisfiable
(Un)Satisfiability was proved
Number of variables210
Number of constraints29
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":210}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":210}]
Minimum constraint arity14
Maximum constraint arity15
Distribution of constraint arities[{"arity":14,"count":15},{"arity":15,"count":14}]
Number of extensional constraints29
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":29}]
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-4399469-1568717050.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4399469-1568717050.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
9.15/3.16	c solve instance...
33.14/6.26	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 (14630 MiB free)
  memory of node 1: 16384 MiB (15725 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399469-1568717050/watcher-4399469-1568717050 -o /tmp/evaluation-result-4399469-1568717050/solver-4399469-1568717050 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568713847-31114 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1192888815 HOME/instance-4399469-1568717050.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=31985, runsolver pid=31982
Current StackSize limit: 8192 KiB


[startup+0.101103 s]*
/proc/loadavg: 6.58 7.85 7.93 3/209 32006
/proc/meminfo: memFree=31064748/32770624 swapFree=66922912/67108860
[pid=31985] ppid=31982 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31985/stat : 31985 (xcsp3-exec) S 31982 31985 31087 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447973827 115843072 363 33554432000 4194304 5098028 140736416620080 140736416618184 139978115609212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34840576 140736416625525 140736416625769 140736416625769 140736416628682 0
/proc/31985/statm: 28282 363 304 221 0 87 0
[pid=31987] ppid=31985 vsize=28227396 memory=31876 CPUtime=0.12 cores=0-7
/proc/31987/stat : 31987 (java) S 31985 31985 31087 0 -1 1077944320 5432 0 0 0 11 1 0 0 20 0 20 0 447973827 28904853504 7969 33554432000 4194304 4196468 140728022834816 140728022817360 140210707488503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
/proc/31987/statm: 7056849 7969 3120 1 0 7019032 0
[pid=31987/tid=31988] ppid=31985 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/31987/task/31988/stat : 31988 (java) R 31985 31985 31087 0 -1 4202560 3336 0 0 0 8 1 0 0 20 0 20 0 447973827 28904853504 7969 33554432000 4194304 4196468 140728022834816 140210711723040 140210707510429 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31989] ppid=31985 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/31987/task/31989/stat : 31989 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973828 28904853504 7969 33554432000 4194304 4196468 140728022834816 140210627341072 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31990] ppid=31985 vsize=28227396 memory=139834987255424 CPUtime=0 cores=0-7
/proc/31987/task/31990/stat : 31990 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973828 28904853504 7969 33554432000 4194304 4196468 140728022834816 140210626288528 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31991] ppid=31985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31991/stat : 31991 (java) S 31985 31985 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447973828 28904853504 7969 33554432000 4194304 4196468 140728022834816 140210625235984 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31992] ppid=31985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31992/stat : 31992 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973828 28904853504 7969 33554432000 4194304 4196468 140728022834816 140210624183440 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31993] ppid=31985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31993/stat : 31993 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973828 28904853504 7969 33554432000 4194304 4196468 140728022834816 140210623129872 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31994] ppid=31985 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31987/task/31994/stat : 31994 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973828 28904853504 7969 33554432000 4194304 4196468 140728022834816 140210622077328 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31995] ppid=31985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31995/stat : 31995 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973828 28904853504 7969 33554432000 4194304 4196468 140728022834816 140210621024784 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31996] ppid=31985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31996/stat : 31996 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973828 28904853504 7969 33554432000 4194304 4196468 140728022834816 140210619972240 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31997] ppid=31985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31997/stat : 31997 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973830 28904853504 7969 33554432000 4194304 4196468 140728022834816 140209171614192 140210707499650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31998] ppid=31985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31998/stat : 31998 (java) S 31985 31985 31087 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447973830 28904853504 7969 33554432000 4194304 4196468 140728022834816 140209170560416 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31999] ppid=31985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31999/stat : 31999 (java) S 31985 31985 31087 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447973830 28904853504 7969 33554432000 4194304 4196468 140728022834816 140209169507824 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32000] ppid=31985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/32000/stat : 32000 (java) S 31985 31985 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447973833 28904853504 7969 33554432000 4194304 4196468 140728022834816 140209168456400 140210707507099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32001] ppid=31985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/32001/stat : 32001 (java) S 31985 31985 31087 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 447973833 28904853504 7969 33554432000 4194304 4196468 140728022834816 140209167402992 140210707499650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32002] ppid=31985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/32002/stat : 32002 (java) R 31985 31985 31087 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 447973833 28904853504 7969 33554432000 4194304 4196468 140728022834816 140209166350544 140210707498709 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32003] ppid=31985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/32003/stat : 32003 (java) S 31985 31985 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447973833 28904853504 7969 33554432000 4194304 4196468 140728022834816 140209165297904 140210707499650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32004] ppid=31985 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/31987/task/32004/stat : 32004 (java) R 31985 31985 31087 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 20 0 447973833 28904853504 7969 33554432000 4194304 4196468 140728022834816 140209164245360 140210707500438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32005] ppid=31985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/32005/stat : 32005 (java) S 31985 31985 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447973833 28904853504 7969 33554432000 4194304 4196468 140728022834816 140209163193056 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32006] ppid=31985 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31987/task/32006/stat : 32006 (java) S 31985 31985 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447973833 28904853504 7969 33554432000 4194304 4196468 140728022834816 140209162140592 140210707499650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 33328 KiB

[startup+0.210212 s]*
/proc/loadavg: 6.58 7.85 7.93 3/209 32006
/proc/meminfo: memFree=31052352/32770624 swapFree=66922912/67108860
[pid=31985] ppid=31982 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31985/stat : 31985 (xcsp3-exec) S 31982 31985 31087 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447973827 115843072 363 33554432000 4194304 5098028 140736416620080 140736416618184 139978115609212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34840576 140736416625525 140736416625769 140736416625769 140736416628682 0
/proc/31985/statm: 28282 363 304 221 0 87 0
[pid=31987] ppid=31985 vsize=28227396 memory=43128 CPUtime=0.34 cores=0-7
/proc/31987/stat : 31987 (java) S 31985 31985 31087 0 -1 1077944320 8969 0 0 0 31 3 0 0 20 0 20 0 447973827 28904853504 10782 33554432000 4194304 4196468 140728022834816 140728022817360 140210707488503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
/proc/31987/statm: 7056849 10782 3294 1 0 7019032 0
[pid=31987/tid=31988] ppid=31985 vsize=28227396 memory=29681743523217448 CPUtime=0.2 cores=0-7
/proc/31987/task/31988/stat : 31988 (java) R 31985 31985 31087 0 -1 4202560 6149 0 0 0 18 2 0 0 20 0 20 0 447973827 28904853504 10782 33554432000 4194304 4196468 140728022834816 140210711722240 140210707500438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31989] ppid=31985 vsize=28227396 memory=288230587528118625 CPUtime=0 cores=0-7
/proc/31987/task/31989/stat : 31989 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973828 28904853504 10782 33554432000 4194304 4196468 140728022834816 140210627341072 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31990] ppid=31985 vsize=28227396 memory=288370211138967168 CPUtime=0 cores=0-7
/proc/31987/task/31990/stat : 31990 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973828 28904853504 10782 33554432000 4194304 4196468 140728022834816 140210626288528 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31991] ppid=31985 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31987/task/31991/stat : 31991 (java) S 31985 31985 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447973828 28904853504 10782 33554432000 4194304 4196468 140728022834816 140210625235984 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31992] ppid=31985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31992/stat : 31992 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973828 28904853504 10782 33554432000 4194304 4196468 140728022834816 140210624183440 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31993] ppid=31985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31993/stat : 31993 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973828 28904853504 10782 33554432000 4194304 4196468 140728022834816 140210623129872 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31994] ppid=31985 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31987/task/31994/stat : 31994 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973828 28904853504 10782 33554432000 4194304 4196468 140728022834816 140210622077328 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31995] ppid=31985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31995/stat : 31995 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973828 28904853504 10782 33554432000 4194304 4196468 140728022834816 140210621024784 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31996] ppid=31985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31996/stat : 31996 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973828 28904853504 10782 33554432000 4194304 4196468 140728022834816 140210619972240 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31997] ppid=31985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31997/stat : 31997 (java) S 31985 31985 31087 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447973830 28904853504 10782 33554432000 4194304 4196468 140728022834816 140209171614192 140210707499650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31998] ppid=31985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31998/stat : 31998 (java) S 31985 31985 31087 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447973830 28904853504 10782 33554432000 4194304 4196468 140728022834816 140209170560416 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31999] ppid=31985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31999/stat : 31999 (java) S 31985 31985 31087 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447973830 28904853504 10782 33554432000 4194304 4196468 140728022834816 140209169507824 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32000] ppid=31985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/32000/stat : 32000 (java) S 31985 31985 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447973833 28904853504 10782 33554432000 4194304 4196468 140728022834816 140209168456400 140210707507099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32001] ppid=31985 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/31987/task/32001/stat : 32001 (java) S 31985 31985 31087 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 20 0 447973833 28904853504 10782 33554432000 4194304 4196468 140728022834816 140209167402992 140210707499650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32002] ppid=31985 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/31987/task/32002/stat : 32002 (java) S 31985 31985 31087 0 -1 1077944384 143 0 0 0 1 0 0 0 20 0 20 0 447973833 28904853504 10782 33554432000 4194304 4196468 140728022834816 140209166350448 140210707499650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32003] ppid=31985 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/31987/task/32003/stat : 32003 (java) S 31985 31985 31087 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 20 0 447973833 28904853504 10782 33554432000 4194304 4196468 140728022834816 140209165297904 140210707499650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32004] ppid=31985 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/31987/task/32004/stat : 32004 (java) R 31985 31985 31087 0 -1 4202560 745 0 0 0 8 0 0 0 20 0 20 0 447973833 28904853504 10782 33554432000 4194304 4196468 140728022834816 140209164245360 140210686123365 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32005] ppid=31985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/32005/stat : 32005 (java) S 31985 31985 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447973833 28904853504 10782 33554432000 4194304 4196468 140728022834816 140209163193056 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32006] ppid=31985 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31987/task/32006/stat : 32006 (java) S 31985 31985 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447973833 28904853504 10782 33554432000 4194304 4196468 140728022834816 140209162140592 140210707499650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 44580 KiB

[startup+0.317045 s]*
/proc/loadavg: 6.58 7.85 7.93 3/209 32006
/proc/meminfo: memFree=31044968/32770624 swapFree=66922912/67108860
[pid=31985] ppid=31982 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31985/stat : 31985 (xcsp3-exec) S 31982 31985 31087 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447973827 115843072 363 33554432000 4194304 5098028 140736416620080 140736416618184 139978115609212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34840576 140736416625525 140736416625769 140736416625769 140736416628682 0
/proc/31985/statm: 28282 363 304 221 0 87 0
[pid=31987] ppid=31985 vsize=28231652 memory=51992 CPUtime=0.54 cores=0-7
/proc/31987/stat : 31987 (java) S 31985 31985 31087 0 -1 1077944320 10408 0 0 0 50 4 0 0 20 0 20 0 447973827 28909211648 12998 33554432000 4194304 4196468 140728022834816 140728022817360 140210707488503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
/proc/31987/statm: 7057913 12998 3331 1 0 7019032 0
[pid=31987/tid=31988] ppid=31985 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/31987/task/31988/stat : 31988 (java) R 31985 31985 31087 0 -1 4202560 7362 0 0 0 28 2 0 0 20 0 20 0 447973827 28909211648 12998 33554432000 4194304 4196468 140728022834816 140210711719616 140210691568990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31989] ppid=31985 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31989/stat : 31989 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973828 28909211648 12998 33554432000 4194304 4196468 140728022834816 140210627341072 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31990] ppid=31985 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31990/stat : 31990 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973828 28909211648 12998 33554432000 4194304 4196468 140728022834816 140210626288528 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31991] ppid=31985 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31991/stat : 31991 (java) S 31985 31985 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447973828 28909211648 13063 33554432000 4194304 4196468 140728022834816 140210625235984 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31992] ppid=31985 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31992/stat : 31992 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973828 28909211648 13063 33554432000 4194304 4196468 140728022834816 140210624183440 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31993] ppid=31985 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31993/stat : 31993 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973828 28909211648 13063 33554432000 4194304 4196468 140728022834816 140210623129872 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31994] ppid=31985 vsize=28231652 memory=139834874227375 CPUtime=0 cores=0-7
/proc/31987/task/31994/stat : 31994 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973828 28909211648 13063 33554432000 4194304 4196468 140728022834816 140210622077328 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31995] ppid=31985 vsize=28231652 memory=139834874229680 CPUtime=0 cores=0-7
/proc/31987/task/31995/stat : 31995 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973828 28909211648 13063 33554432000 4194304 4196468 140728022834816 140210621024784 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31996] ppid=31985 vsize=28231652 memory=139834874231984 CPUtime=0 cores=0-7
/proc/31987/task/31996/stat : 31996 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973828 28909211648 13063 33554432000 4194304 4196468 140728022834816 140210619972240 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31997] ppid=31985 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31997/stat : 31997 (java) S 31985 31985 31087 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447973830 28909211648 13063 33554432000 4194304 4196468 140728022834816 140209171614192 140210707499650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31998] ppid=31985 vsize=28231652 memory=279669748477840 CPUtime=0 cores=0-7
/proc/31987/task/31998/stat : 31998 (java) S 31985 31985 31087 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447973830 28909211648 13063 33554432000 4194304 4196468 140728022834816 140209170560416 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31999] ppid=31985 vsize=28231652 memory=279669748475536 CPUtime=0 cores=0-7
/proc/31987/task/31999/stat : 31999 (java) S 31985 31985 31087 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447973830 28909211648 13063 33554432000 4194304 4196468 140728022834816 140209169507824 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32000] ppid=31985 vsize=28231652 memory=279669748482448 CPUtime=0 cores=0-7
/proc/31987/task/32000/stat : 32000 (java) S 31985 31985 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447973833 28909211648 13063 33554432000 4194304 4196468 140728022834816 140209168456400 140210707507099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32001] ppid=31985 vsize=28231652 memory=279669748423728 CPUtime=0.01 cores=0-7
/proc/31987/task/32001/stat : 32001 (java) S 31985 31985 31087 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 20 0 447973833 28909211648 13063 33554432000 4194304 4196468 140728022834816 140209167402992 140210707499650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32002] ppid=31985 vsize=28231652 memory=279669748496272 CPUtime=0.04 cores=0-7
/proc/31987/task/32002/stat : 32002 (java) S 31985 31985 31087 0 -1 1077944384 252 0 0 0 4 0 0 0 20 0 20 0 447973833 28909211648 13063 33554432000 4194304 4196468 140728022834816 140209166350448 140210707499650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32003] ppid=31985 vsize=28231652 memory=279669748503184 CPUtime=0.03 cores=0-7
/proc/31987/task/32003/stat : 32003 (java) S 31985 31985 31087 0 -1 1077944384 270 0 0 0 3 0 0 0 20 0 20 0 447973833 28909211648 13063 33554432000 4194304 4196468 140728022834816 140209165297904 140210707499650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32004] ppid=31985 vsize=28231652 memory=279669748500880 CPUtime=0.12 cores=0-7
/proc/31987/task/32004/stat : 32004 (java) S 31985 31985 31087 0 -1 1077944384 845 0 0 0 12 0 0 0 20 0 20 0 447973833 28909211648 13063 33554432000 4194304 4196468 140728022834816 140209164245360 140210707499650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32005] ppid=31985 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/32005/stat : 32005 (java) S 31985 31985 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447973833 28909211648 13063 33554432000 4194304 4196468 140728022834816 140209163193056 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32006] ppid=31985 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/31987/task/32006/stat : 32006 (java) S 31985 31985 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447973833 28909211648 13063 33554432000 4194304 4196468 140728022834816 140209162140592 140210707499650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 53444 KiB

[startup+0.701055 s]
/proc/loadavg: 6.58 7.85 7.93 5/209 32006
/proc/meminfo: memFree=31006816/32770624 swapFree=66922912/67108860
[pid=31985] ppid=31982 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31985/stat : 31985 (xcsp3-exec) S 31982 31985 31087 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447973827 115843072 363 33554432000 4194304 5098028 140736416620080 140736416618184 139978115609212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34840576 140736416625525 140736416625769 140736416625769 140736416628682 0
/proc/31985/statm: 28282 363 304 221 0 87 0
[pid=31987] ppid=31985 vsize=28233776 memory=159624 CPUtime=1.82 cores=0-7
/proc/31987/stat : 31987 (java) S 31985 31985 31087 0 -1 1077944320 13736 0 0 0 176 6 0 0 20 0 20 0 447973827 28911386624 39906 33554432000 4194304 4196468 140728022834816 140728022817360 140210707488503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
/proc/31987/statm: 7058444 39906 3456 1 0 7019544 0
[pid=31987/tid=31988] ppid=31985 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/31987/task/31988/stat : 31988 (java) R 31985 31985 31087 0 -1 4202560 7900 0 0 0 63 4 0 0 20 0 20 0 447973827 28911386624 39906 33554432000 4194304 4196468 140728022834816 140210711723120 140210301732124 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31989] ppid=31985 vsize=28233776 memory=2353 CPUtime=0 cores=0-7
/proc/31987/task/31989/stat : 31989 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973828 28911386624 39906 33554432000 4194304 4196468 140728022834816 140210627341072 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31990] ppid=31985 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31990/stat : 31990 (java) S 31985 31985 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447973828 28911386624 39906 33554432000 4194304 4196468 140728022834816 140210626288528 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31991] ppid=31985 vsize=28233776 memory=1428 CPUtime=0 cores=0-7
/proc/31987/task/31991/stat : 31991 (java) S 31985 31985 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447973828 28911386624 39906 33554432000 4194304 4196468 140728022834816 140210625235984 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0

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

[pid=31987/tid=32004] ppid=31985 vsize=28766288 memory=1060 CPUtime=0.58 cores=0-7
/proc/31987/task/32004/stat : 32004 (java) S 31985 31985 31087 0 -1 1077944384 2424 0 0 0 57 1 0 0 20 0 28 0 447973833 29456678912 270481 33554432000 4194304 4196468 140728022834816 140209164245360 140210707499650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 54 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32005] ppid=31985 vsize=28766288 memory=1484 CPUtime=0 cores=0-7
/proc/31987/task/32005/stat : 32005 (java) S 31985 31985 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447973833 29456678912 270481 33554432000 4194304 4196468 140728022834816 140209163193056 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32006] ppid=31985 vsize=28766288 memory=1096 CPUtime=0 cores=0-7
/proc/31987/task/32006/stat : 32006 (java) S 31985 31985 31087 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 447973833 29456678912 270481 33554432000 4194304 4196468 140728022834816 140209162140592 140210707499650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 54 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32007] ppid=31985 vsize=28766288 memory=1188 CPUtime=2.32 cores=0-7
/proc/31987/task/32007/stat : 32007 (java) R 31985 31985 31087 0 -1 4202560 135 0 0 0 232 0 0 0 20 0 28 0 447974145 29456678912 270481 33554432000 4194304 4196468 140728022834816 140209152921144 140210303894155 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32008] ppid=31985 vsize=28766288 memory=6076 CPUtime=2.3 cores=0-7
/proc/31987/task/32008/stat : 32008 (java) R 31985 31985 31087 0 -1 4202560 155 0 0 0 230 0 0 0 20 0 28 0 447974145 29456678912 270481 33554432000 4194304 4196468 140728022834816 140209151869656 140210303894204 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32009] ppid=31985 vsize=28766288 memory=780 CPUtime=2.23 cores=0-7
/proc/31987/task/32009/stat : 32009 (java) R 31985 31985 31087 0 -1 4202560 247 0 0 0 223 0 0 0 20 0 28 0 447974145 29456678912 270481 33554432000 4194304 4196468 140728022834816 140209150815976 140210303838897 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32010] ppid=31985 vsize=28766288 memory=0 CPUtime=2.2 cores=0-7
/proc/31987/task/32010/stat : 32010 (java) R 31985 31985 31087 0 -1 4202560 173 0 0 0 220 0 0 0 20 0 28 0 447974145 29456678912 270481 33554432000 4194304 4196468 140728022834816 140209149764216 140210303893964 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32011] ppid=31985 vsize=28766288 memory=2241 CPUtime=2.23 cores=0-7
/proc/31987/task/32011/stat : 32011 (java) R 31985 31985 31087 0 -1 4202560 102 0 0 0 223 0 0 0 20 0 28 0 447974145 29456678912 270481 33554432000 4194304 4196468 140728022834816 140209148711304 140210303893493 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32012] ppid=31985 vsize=28766288 memory=2244 CPUtime=2.25 cores=0-7
/proc/31987/task/32012/stat : 32012 (java) R 31985 31985 31087 0 -1 4202560 145 0 0 0 225 0 0 0 20 0 28 0 447974145 29456678912 270481 33554432000 4194304 4196468 140728022834816 140209147658312 140210303852865 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32013] ppid=31985 vsize=28766288 memory=0 CPUtime=2.25 cores=0-7
/proc/31987/task/32013/stat : 32013 (java) R 31985 31985 31087 0 -1 4202560 123 0 0 0 225 0 0 0 20 0 28 0 447974145 29456678912 270481 33554432000 4194304 4196468 140728022834816 140209146605928 140210303893964 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32014] ppid=31985 vsize=28766288 memory=0 CPUtime=2.23 cores=0-7
/proc/31987/task/32014/stat : 32014 (java) R 31985 31985 31087 0 -1 4202560 185 0 0 0 220 3 0 0 20 0 28 0 447974145 29456678912 270481 33554432000 4194304 4196468 140728022834816 140209145555440 140210303893964 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
Current children cumulated CPU time: 28.37 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1083376 KiB

[startup+6.00205 s]*
/proc/loadavg: 6.13 7.73 7.90 10/217 32014
/proc/meminfo: memFree=30010652/32770624 swapFree=66922912/67108860
[pid=31985] ppid=31982 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31985/stat : 31985 (xcsp3-exec) S 31982 31985 31087 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447973827 115843072 363 33554432000 4194304 5098028 140736416620080 140736416618184 139978115609212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34840576 140736416625525 140736416625769 140736416625769 140736416628682 0
/proc/31985/statm: 28282 363 304 221 0 87 0
[pid=31987] ppid=31985 vsize=28766288 memory=1087408 CPUtime=31.62 cores=0-7
/proc/31987/stat : 31987 (java) S 31985 31985 31087 0 -1 1077944320 29958 0 0 0 2981 181 0 0 20 0 28 0 447973827 29456678912 271852 33554432000 4194304 4196468 140728022834816 140728022817360 140210707488503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
/proc/31987/statm: 7191572 271852 3533 1 0 7152672 0
[pid=31987/tid=31988] ppid=31985 vsize=28766288 memory=0 CPUtime=2.45 cores=0-7
/proc/31987/task/31988/stat : 31988 (java) S 31985 31985 31087 0 -1 1077944384 9176 0 0 0 236 9 0 0 20 0 28 0 447973827 29456678912 271852 33554432000 4194304 4196468 140728022834816 140210711729280 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31989] ppid=31985 vsize=28766288 memory=-1 CPUtime=0.59 cores=0-7
/proc/31987/task/31989/stat : 31989 (java) S 31985 31985 31087 0 -1 1077944384 756 0 0 0 39 20 0 0 20 0 28 0 447973828 29456678912 271852 33554432000 4194304 4196468 140728022834816 140210627341072 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31990] ppid=31985 vsize=28766288 memory=139834987255424 CPUtime=0.58 cores=0-7
/proc/31987/task/31990/stat : 31990 (java) S 31985 31985 31087 0 -1 1077944384 391 0 0 0 38 20 0 0 20 0 28 0 447973828 29456678912 271852 33554432000 4194304 4196468 140728022834816 140210626288528 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31991] ppid=31985 vsize=28766288 memory=-1 CPUtime=0.58 cores=0-7
/proc/31987/task/31991/stat : 31991 (java) S 31985 31985 31087 0 -1 1077944384 598 0 0 0 39 19 0 0 20 0 28 0 447973828 29456678912 271852 33554432000 4194304 4196468 140728022834816 140210625235984 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31992] ppid=31985 vsize=28766288 memory=0 CPUtime=0.6 cores=0-7
/proc/31987/task/31992/stat : 31992 (java) S 31985 31985 31087 0 -1 1077944384 437 0 0 0 40 20 0 0 20 0 28 0 447973828 29456678912 271852 33554432000 4194304 4196468 140728022834816 140210624183440 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31993] ppid=31985 vsize=28766288 memory=0 CPUtime=0.58 cores=0-7
/proc/31987/task/31993/stat : 31993 (java) S 31985 31985 31087 0 -1 1077944384 488 0 0 0 39 19 0 0 20 0 28 0 447973828 29456678912 271852 33554432000 4194304 4196468 140728022834816 140210623129872 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31994] ppid=31985 vsize=28766288 memory=-1 CPUtime=0.57 cores=0-7
/proc/31987/task/31994/stat : 31994 (java) S 31985 31985 31087 0 -1 1077944384 591 0 0 0 37 20 0 0 20 0 28 0 447973828 29456678912 271852 33554432000 4194304 4196468 140728022834816 140210622077328 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31995] ppid=31985 vsize=28766288 memory=0 CPUtime=0.58 cores=0-7
/proc/31987/task/31995/stat : 31995 (java) S 31985 31985 31087 0 -1 1077944384 386 0 0 0 38 20 0 0 20 0 28 0 447973828 29456678912 271852 33554432000 4194304 4196468 140728022834816 140210621024784 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31996] ppid=31985 vsize=28766288 memory=0 CPUtime=0.58 cores=0-7
/proc/31987/task/31996/stat : 31996 (java) S 31985 31985 31087 0 -1 1077944384 391 0 0 0 38 20 0 0 20 0 28 0 447973828 29456678912 271852 33554432000 4194304 4196468 140728022834816 140210619972240 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31997] ppid=31985 vsize=28766288 memory=0 CPUtime=0.09 cores=0-7
/proc/31987/task/31997/stat : 31997 (java) S 31985 31985 31087 0 -1 1077944384 1217 0 0 0 9 0 0 0 20 0 28 0 447973830 29456678912 271852 33554432000 4194304 4196468 140728022834816 140209171614192 140210707499650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31998] ppid=31985 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31998/stat : 31998 (java) S 31985 31985 31087 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447973830 29456678912 271852 33554432000 4194304 4196468 140728022834816 140209170560480 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31999] ppid=31985 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31999/stat : 31999 (java) S 31985 31985 31087 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 447973830 29456678912 271852 33554432000 4194304 4196468 140728022834816 140209169507840 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32000] ppid=31985 vsize=28766288 memory=139834874888161 CPUtime=0 cores=0-7
/proc/31987/task/32000/stat : 32000 (java) S 31985 31985 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447973833 29456678912 271852 33554432000 4194304 4196468 140728022834816 140209168456400 140210707507099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32001] ppid=31985 vsize=28766288 memory=0 CPUtime=0.84 cores=0-7
/proc/31987/task/32001/stat : 32001 (java) R 31985 31985 31087 0 -1 4202560 4299 0 0 0 83 1 0 0 20 0 28 0 447973833 29456678912 271852 33554432000 4194304 4196468 140728022834816 140209167388872 140210689009709 0 4 0 16800975 0 0 0 -1 1 0 0 51 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32002] ppid=31985 vsize=28766288 memory=0 CPUtime=0.87 cores=0-7
/proc/31987/task/32002/stat : 32002 (java) S 31985 31985 31087 0 -1 1077944384 2559 0 0 0 86 1 0 0 20 0 28 0 447973833 29456678912 271852 33554432000 4194304 4196468 140728022834816 140209166350448 140210707499650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 50 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32003] ppid=31985 vsize=28766288 memory=0 CPUtime=0.97 cores=0-7
/proc/31987/task/32003/stat : 32003 (java) S 31985 31985 31087 0 -1 1077944384 3630 0 0 0 95 2 0 0 20 0 28 0 447973833 29456678912 271852 33554432000 4194304 4196468 140728022834816 140209165297904 140210707499650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 54 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32004] ppid=31985 vsize=28766288 memory=0 CPUtime=0.58 cores=0-7
/proc/31987/task/32004/stat : 32004 (java) S 31985 31985 31087 0 -1 1077944384 2442 0 0 0 57 1 0 0 20 0 28 0 447973833 29456678912 271852 33554432000 4194304 4196468 140728022834816 140209164245360 140210707499650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 54 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32005] ppid=31985 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/32005/stat : 32005 (java) S 31985 31985 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447973833 29456678912 271852 33554432000 4194304 4196468 140728022834816 140209163193056 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32006] ppid=31985 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/32006/stat : 32006 (java) S 31985 31985 31087 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 447973833 29456678912 271852 33554432000 4194304 4196468 140728022834816 140209162140592 140210707499650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 54 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32007] ppid=31985 vsize=28766288 memory=0 CPUtime=2.64 cores=0-7
/proc/31987/task/32007/stat : 32007 (java) R 31985 31985 31087 0 -1 4202560 140 0 0 0 264 0 0 0 20 0 28 0 447974145 29456678912 271852 33554432000 4194304 4196468 140728022834816 140209152921368 140210303894286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32008] ppid=31985 vsize=28766288 memory=0 CPUtime=2.71 cores=0-7
/proc/31987/task/32008/stat : 32008 (java) R 31985 31985 31087 0 -1 4202560 156 0 0 0 271 0 0 0 20 0 28 0 447974145 29456678912 271852 33554432000 4194304 4196468 140728022834816 140209151869656 140210303853707 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32009] ppid=31985 vsize=28766288 memory=0 CPUtime=2.56 cores=0-7
/proc/31987/task/32009/stat : 32009 (java) R 31985 31985 31087 0 -1 4202560 251 0 0 0 256 0 0 0 20 0 28 0 447974145 29456678912 271852 33554432000 4194304 4196468 140728022834816 140209150815976 140210303894096 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32010] ppid=31985 vsize=28766288 memory=0 CPUtime=2.6 cores=0-7
/proc/31987/task/32010/stat : 32010 (java) R 31985 31985 31087 0 -1 4202560 174 0 0 0 260 0 0 0 20 0 28 0 447974145 29456678912 271852 33554432000 4194304 4196468 140728022834816 140209149764136 140210303851803 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32011] ppid=31985 vsize=28766288 memory=0 CPUtime=2.64 cores=0-7
/proc/31987/task/32011/stat : 32011 (java) R 31985 31985 31087 0 -1 4202560 102 0 0 0 264 0 0 0 20 0 28 0 447974145 29456678912 271852 33554432000 4194304 4196468 140728022834816 140209148711192 140210303893964 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32012] ppid=31985 vsize=28766288 memory=0 CPUtime=2.66 cores=0-7
/proc/31987/task/32012/stat : 32012 (java) R 31985 31985 31087 0 -1 4202560 151 0 0 0 266 0 0 0 20 0 28 0 447974145 29456678912 271852 33554432000 4194304 4196468 140728022834816 140209147658952 140210303893964 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32013] ppid=31985 vsize=28766288 memory=0 CPUtime=2.65 cores=0-7
/proc/31987/task/32013/stat : 32013 (java) R 31985 31985 31087 0 -1 4202560 123 0 0 0 265 0 0 0 20 0 28 0 447974145 29456678912 271852 33554432000 4194304 4196468 140728022834816 140209146606216 140210303893964 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32014] ppid=31985 vsize=28766288 memory=0 CPUtime=2.54 cores=0-7
/proc/31987/task/32014/stat : 32014 (java) R 31985 31985 31087 0 -1 4202560 186 0 0 0 251 3 0 0 20 0 28 0 447974145 29456678912 271852 33554432000 4194304 4196468 140728022834816 140209145553352 140210303499366 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
Current children cumulated CPU time: 31.62 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1088860 KiB

[startup+6.20206 s]
/proc/loadavg: 6.13 7.73 7.90 10/217 32014
/proc/meminfo: memFree=30010652/32770624 swapFree=66922912/67108860
[pid=31985] ppid=31982 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31985/stat : 31985 (xcsp3-exec) S 31982 31985 31087 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447973827 115843072 363 33554432000 4194304 5098028 140736416620080 140736416618184 139978115609212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34840576 140736416625525 140736416625769 140736416625769 140736416628682 0
/proc/31985/statm: 28282 363 304 221 0 87 0
[pid=31987] ppid=31985 vsize=28766288 memory=1087772 CPUtime=33.14 cores=0-7
/proc/31987/stat : 31987 (java) S 31985 31985 31087 0 -1 1077944320 30057 0 0 0 3133 181 0 0 20 0 28 0 447973827 29456678912 271943 33554432000 4194304 4196468 140728022834816 140728022817360 140210707488503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
/proc/31987/statm: 7191572 271943 3533 1 0 7152672 0
[pid=31987/tid=31988] ppid=31985 vsize=28766288 memory=3907207161046133923 CPUtime=2.45 cores=0-7
/proc/31987/task/31988/stat : 31988 (java) S 31985 31985 31087 0 -1 1077944384 9176 0 0 0 236 9 0 0 20 0 28 0 447973827 29456678912 271943 33554432000 4194304 4196468 140728022834816 140210711729280 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31989] ppid=31985 vsize=28766288 memory=-7175753904026764170 CPUtime=0.59 cores=0-7
/proc/31987/task/31989/stat : 31989 (java) S 31985 31985 31087 0 -1 1077944384 756 0 0 0 39 20 0 0 20 0 28 0 447973828 29456678912 271943 33554432000 4194304 4196468 140728022834816 140210627341072 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31990] ppid=31985 vsize=28766288 memory=7681407940103534239 CPUtime=0.58 cores=0-7
/proc/31987/task/31990/stat : 31990 (java) S 31985 31985 31087 0 -1 1077944384 391 0 0 0 38 20 0 0 20 0 28 0 447973828 29456678912 271943 33554432000 4194304 4196468 140728022834816 140210626288528 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31991] ppid=31985 vsize=28766288 memory=-6935123839545469842 CPUtime=0.58 cores=0-7
/proc/31987/task/31991/stat : 31991 (java) S 31985 31985 31087 0 -1 1077944384 598 0 0 0 39 19 0 0 20 0 28 0 447973828 29456678912 271943 33554432000 4194304 4196468 140728022834816 140210625235984 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31992] ppid=31985 vsize=28766288 memory=6944656592455097440 CPUtime=0.6 cores=0-7
/proc/31987/task/31992/stat : 31992 (java) S 31985 31985 31087 0 -1 1077944384 437 0 0 0 40 20 0 0 20 0 28 0 447973828 29456678912 271943 33554432000 4194304 4196468 140728022834816 140210624183440 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31993] ppid=31985 vsize=28766288 memory=6944656592387989600 CPUtime=0.58 cores=0-7
/proc/31987/task/31993/stat : 31993 (java) S 31985 31985 31087 0 -1 1077944384 488 0 0 0 39 19 0 0 20 0 28 0 447973828 29456678912 271943 33554432000 4194304 4196468 140728022834816 140210623129872 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31994] ppid=31985 vsize=28766288 memory=6944656592455359580 CPUtime=0.57 cores=0-7
/proc/31987/task/31994/stat : 31994 (java) S 31985 31985 31087 0 -1 1077944384 591 0 0 0 37 20 0 0 20 0 28 0 447973828 29456678912 271943 33554432000 4194304 4196468 140728022834816 140210622077328 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31995] ppid=31985 vsize=28766288 memory=6944656575208382560 CPUtime=0.58 cores=0-7
/proc/31987/task/31995/stat : 31995 (java) S 31985 31985 31087 0 -1 1077944384 386 0 0 0 38 20 0 0 20 0 28 0 447973828 29456678912 271943 33554432000 4194304 4196468 140728022834816 140210621024784 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31996] ppid=31985 vsize=28766288 memory=-6800859132029471843 CPUtime=0.58 cores=0-7
/proc/31987/task/31996/stat : 31996 (java) S 31985 31985 31087 0 -1 1077944384 391 0 0 0 38 20 0 0 20 0 28 0 447973828 29456678912 271943 33554432000 4194304 4196468 140728022834816 140210619972240 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31997] ppid=31985 vsize=28766288 memory=3689046461963526716 CPUtime=0.09 cores=0-7
/proc/31987/task/31997/stat : 31997 (java) S 31985 31985 31087 0 -1 1077944384 1218 0 0 0 9 0 0 0 20 0 28 0 447973830 29456678912 271943 33554432000 4194304 4196468 140728022834816 140209171614192 140210707499650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31998] ppid=31985 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/31998/stat : 31998 (java) S 31985 31985 31087 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447973830 29456678912 271943 33554432000 4194304 4196468 140728022834816 140209170560480 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=31999] ppid=31985 vsize=28766288 memory=6944656425122700657 CPUtime=0 cores=0-7
/proc/31987/task/31999/stat : 31999 (java) S 31985 31985 31087 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 447973830 29456678912 271943 33554432000 4194304 4196468 140728022834816 140209169507840 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32000] ppid=31985 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/32000/stat : 32000 (java) S 31985 31985 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447973833 29456678912 271943 33554432000 4194304 4196468 140728022834816 140209168456400 140210707507099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32001] ppid=31985 vsize=28766288 memory=0 CPUtime=0.9 cores=0-7
/proc/31987/task/32001/stat : 32001 (java) S 31985 31985 31087 0 -1 1077944384 4387 0 0 0 89 1 0 0 20 0 28 0 447973833 29456678912 271943 33554432000 4194304 4196468 140728022834816 140209167402992 140210707499650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 51 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32002] ppid=31985 vsize=28766288 memory=0 CPUtime=0.88 cores=0-7
/proc/31987/task/32002/stat : 32002 (java) R 31985 31985 31087 0 -1 4202560 2561 0 0 0 87 1 0 0 20 0 28 0 447973833 29456678912 271943 33554432000 4194304 4196468 140728022834816 140209166350744 140210699729488 0 4 0 16800975 0 0 0 -1 0 0 0 50 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32003] ppid=31985 vsize=28766288 memory=0 CPUtime=0.98 cores=0-7
/proc/31987/task/32003/stat : 32003 (java) S 31985 31985 31087 0 -1 1077944384 3630 0 0 0 96 2 0 0 20 0 28 0 447973833 29456678912 271943 33554432000 4194304 4196468 140728022834816 140209165297904 140210707499650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 54 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32004] ppid=31985 vsize=28766288 memory=0 CPUtime=0.59 cores=0-7
/proc/31987/task/32004/stat : 32004 (java) S 31985 31985 31087 0 -1 1077944384 2448 0 0 0 58 1 0 0 20 0 28 0 447973833 29456678912 271943 33554432000 4194304 4196468 140728022834816 140209164245360 140210707499650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 54 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32005] ppid=31985 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/32005/stat : 32005 (java) S 31985 31985 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447973833 29456678912 271943 33554432000 4194304 4196468 140728022834816 140209163193056 140210707498709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32006] ppid=31985 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/31987/task/32006/stat : 32006 (java) S 31985 31985 31087 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 447973833 29456678912 271943 33554432000 4194304 4196468 140728022834816 140209162140592 140210707499650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 54 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32007] ppid=31985 vsize=28766288 memory=0 CPUtime=2.8 cores=0-7
/proc/31987/task/32007/stat : 32007 (java) R 31985 31985 31087 0 -1 4202560 140 0 0 0 280 0 0 0 20 0 28 0 447974145 29456678912 271943 33554432000 4194304 4196468 140728022834816 140209152921016 140210303894204 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32008] ppid=31985 vsize=28766288 memory=0 CPUtime=2.9 cores=0-7
/proc/31987/task/32008/stat : 32008 (java) R 31985 31985 31087 0 -1 4202560 156 0 0 0 290 0 0 0 20 0 28 0 447974145 29456678912 271943 33554432000 4194304 4196468 140728022834816 140209151869640 140210303893988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32009] ppid=31985 vsize=28766288 memory=0 CPUtime=2.74 cores=0-7
/proc/31987/task/32009/stat : 32009 (java) R 31985 31985 31087 0 -1 4202560 252 0 0 0 274 0 0 0 20 0 28 0 447974145 29456678912 271943 33554432000 4194304 4196468 140728022834816 140209150815976 140210303499228 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32010] ppid=31985 vsize=28766288 memory=0 CPUtime=2.79 cores=0-7
/proc/31987/task/32010/stat : 32010 (java) R 31985 31985 31087 0 -1 4202560 174 0 0 0 279 0 0 0 20 0 28 0 447974145 29456678912 271943 33554432000 4194304 4196468 140728022834816 140209149763528 140210303893964 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32011] ppid=31985 vsize=28766288 memory=0 CPUtime=2.83 cores=0-7
/proc/31987/task/32011/stat : 32011 (java) R 31985 31985 31087 0 -1 4202560 102 0 0 0 283 0 0 0 20 0 28 0 447974145 29456678912 271943 33554432000 4194304 4196468 140728022834816 140209148710880 140210303852832 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32012] ppid=31985 vsize=28766288 memory=0 CPUtime=2.85 cores=0-7
/proc/31987/task/32012/stat : 32012 (java) R 31985 31985 31087 0 -1 4202560 151 0 0 0 285 0 0 0 20 0 28 0 447974145 29456678912 271943 33554432000 4194304 4196468 140728022834816 140209147658304 140210303499228 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32013] ppid=31985 vsize=28766288 memory=0 CPUtime=2.81 cores=0-7
/proc/31987/task/32013/stat : 32013 (java) R 31985 31985 31087 0 -1 4202560 123 0 0 0 281 0 0 0 20 0 28 0 447974145 29456678912 271943 33554432000 4194304 4196468 140728022834816 140209146605760 140210303893964 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
[pid=31987/tid=32014] ppid=31985 vsize=28766288 memory=0 CPUtime=2.72 cores=0-7
/proc/31987/task/32014/stat : 32014 (java) R 31985 31985 31087 0 -1 4202560 187 0 0 0 269 3 0 0 20 0 28 0 447974145 29456678912 271943 33554432000 4194304 4196468 140728022834816 140209145553304 140210303851760 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22478848 140728022840298 140728022840470 140728022840470 140728022843343 0
Current children cumulated CPU time: 33.14 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1089224 KiB

Child status: 0
Real time (s): 6.28013
CPU time (s): 33.6608
CPU user time (s): 31.8256
CPU system time (s): 1.83518
CPU usage (%): 535.988
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 1089224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.8256
system time used= 1.83518
maximum resident set size= 1088528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31174
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4308
involuntary context switches= 709


# summary of solver processes directly reported to runsolver:
#   pid: 31985
#   total CPU time (s): 33.6608
#   total CPU user time (s): 31.8256
#   total CPU system time (s): 1.83518

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069555 second user time and 0.117774 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-17 12:46:04
IDJOB=4399469
IDBENCH=140001
IDSOLVER=2854
FILE ID=node139/4399469-1568717050
RUNJOBID= node139-1568713847-31114
PBS_JOBID= 21703946
Free space on /tmp= 59556 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd-vg/Crossword-m1c-ogd-vg-14-15.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-4399469-1568717050/watcher-4399469-1568717050 -o /tmp/evaluation-result-4399469-1568717050/solver-4399469-1568717050 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568713847-31114 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1192888815 HOME/instance-4399469-1568717050.xml

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

MD5SUM BENCH= 8fe4d4ff25aed39a536d9c0933ae8bb1
RANDOM SEED=1192888815

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31084080 kB
MemAvailable:   31824280 kB
Buffers:          133756 kB
Cached:           898280 kB
SwapCached:        78104 kB
Active:           635720 kB
Inactive:         479532 kB
Active(anon):       8208 kB
Inactive(anon):   118224 kB
Active(file):     627512 kB
Inactive(file):   361308 kB
Unevictable:      107756 kB
Mlocked:          107756 kB
SwapTotal:      67108860 kB
SwapFree:       66922912 kB
Dirty:             27580 kB
Writeback:             0 kB
AnonPages:         70708 kB
Mapped:            48660 kB
Shmem:             34820 kB
Slab:             163816 kB
SReclaimable:     134432 kB
SUnreclaim:        29384 kB
KernelStack:        3792 kB
PageTables:         5504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     496508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59532 MiB
End job on node139 at 2019-09-17 12:46:10