Trace number 4393475

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 2019-06-14 parallelUNSAT 7.19225 2.1869

General information on the benchmark

NameCrossword/
Crossword-m1c-ogd-vg/Crossword-m1c-ogd-vg-15-19.xml
MD5SUM771a2032fa08b3551aec0b6adeb94e67
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.204409
Satisfiable
(Un)Satisfiability was proved
Number of variables285
Number of constraints34
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":285}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":285}]
Minimum constraint arity15
Maximum constraint arity19
Distribution of constraint arities[{"arity":15,"count":19},{"arity":19,"count":15}]
Number of extensional constraints34
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":34}]
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-4393475-1568446570.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4393475-1568446570.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.29	c parse instance...
5.16/1.84	c solve instance...
6.95/2.15	s UNSATISFIABLE

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15217 MiB free)
  memory of node 1: 16384 MiB (15498 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393475-1568446570/watcher-4393475-1568446570 -o /tmp/evaluation-result-4393475-1568446570/solver-4393475-1568446570 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568439804-25815 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2064076935 HOME/instance-4393475-1568446570.xml 

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

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

solver pid=27382, runsolver pid=27379

[startup+0.10006 s]*
/proc/loadavg: 8.08 8.30 8.28 3/216 27403
/proc/meminfo: memFree=31438976/32770624 swapFree=67004168/67108860
[pid=27382] ppid=27379 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/27382/stat : 27382 (xcsp3-exec) S 27379 27382 25788 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420896633 115843072 364 33554432000 4194304 5098028 140724840564048 140724840562152 140234537669244 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40427520 140724840571765 140724840572009 140724840572009 140724840574922 0
/proc/27382/statm: 28282 364 305 221 0 87 0
[pid=27384] ppid=27382 vsize=28227388 memory=27512 CPUtime=0.12 cores=0-7
/proc/27384/stat : 27384 (java) S 27382 27382 25788 0 -1 1077944320 5851 0 0 0 11 1 0 0 20 0 20 0 420896633 28904845312 6878 33554432000 4194304 4196468 140735328874272 140735328856816 140643838762743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
/proc/27384/statm: 7056847 6878 3123 1 0 7019032 0
[pid=27384/tid=27385] ppid=27382 vsize=28227388 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/27384/task/27385/stat : 27385 (java) R 27382 27382 25788 0 -1 4202560 3750 0 0 0 8 0 0 0 20 0 20 0 420896633 28904845312 6878 33554432000 4194304 4196468 140735328874272 140643842997024 140643838784669 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27386] ppid=27382 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/27384/task/27386/stat : 27386 (java) S 27382 27382 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896634 28904845312 6878 33554432000 4194304 4196468 140735328874272 140643806321808 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27387] ppid=27382 vsize=28227388 memory=139679965099648 CPUtime=0 cores=0-7
/proc/27384/task/27387/stat : 27387 (java) S 27382 27382 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896634 28904845312 6878 33554432000 4194304 4196468 140735328874272 140643388746768 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27388] ppid=27382 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27388/stat : 27388 (java) S 27382 27382 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896634 28904845312 6878 33554432000 4194304 4196468 140735328874272 140643387693968 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27389] ppid=27382 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27389/stat : 27389 (java) S 27382 27382 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896634 28904845312 6878 33554432000 4194304 4196468 140735328874272 140643386641168 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27390] ppid=27382 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27390/stat : 27390 (java) S 27382 27382 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896634 28904845312 6878 33554432000 4194304 4196468 140735328874272 140643385588368 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27391] ppid=27382 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/27384/task/27391/stat : 27391 (java) S 27382 27382 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896634 28904845312 6878 33554432000 4194304 4196468 140735328874272 140643384535568 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27392] ppid=27382 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27392/stat : 27392 (java) S 27382 27382 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420896634 28904845312 6878 33554432000 4194304 4196468 140735328874272 140643383482768 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27393] ppid=27382 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27393/stat : 27393 (java) S 27382 27382 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896634 28904845312 6878 33554432000 4194304 4196468 140735328874272 140643382429968 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27394] ppid=27382 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27394/stat : 27394 (java) S 27382 27382 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896636 28904845312 6878 33554432000 4194304 4196468 140735328874272 140643339897712 140643838773890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27395] ppid=27382 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27395/stat : 27395 (java) S 27382 27382 25788 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420896636 28904845312 6878 33554432000 4194304 4196468 140735328874272 140643338843680 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27396] ppid=27382 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27396/stat : 27396 (java) S 27382 27382 25788 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420896636 28904845312 6878 33554432000 4194304 4196468 140735328874272 140643337790832 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27397] ppid=27382 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27397/stat : 27397 (java) S 27382 27382 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896639 28904845312 6878 33554432000 4194304 4196468 140735328874272 140643336739152 140643838781339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27398] ppid=27382 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27398/stat : 27398 (java) S 27382 27382 25788 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 420896639 28904845312 6878 33554432000 4194304 4196468 140735328874272 140643335686512 140643838773890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27399] ppid=27382 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27399/stat : 27399 (java) S 27382 27382 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420896639 28904845312 6878 33554432000 4194304 4196468 140735328874272 140643218352368 140643838773890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27400] ppid=27382 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27400/stat : 27400 (java) S 27382 27382 25788 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 420896639 28904845312 6878 33554432000 4194304 4196468 140735328874272 140643217299568 140643838773890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27401] ppid=27382 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/27384/task/27401/stat : 27401 (java) R 27382 27382 25788 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 20 0 420896639 28904845312 6878 33554432000 4194304 4196468 140735328874272 140643216246768 140643838773890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27402] ppid=27382 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27402/stat : 27402 (java) S 27382 27382 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420896639 28904845312 6878 33554432000 4194304 4196468 140735328874272 140643215195232 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27403] ppid=27382 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/27384/task/27403/stat : 27403 (java) S 27382 27382 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896639 28904845312 6878 33554432000 4194304 4196468 140735328874272 140643214142512 140643838773890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 28968 KiB

[startup+0.210868 s]*
/proc/loadavg: 8.08 8.30 8.28 2/216 27403
/proc/meminfo: memFree=31425216/32770624 swapFree=67004168/67108860
[pid=27382] ppid=27379 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/27382/stat : 27382 (xcsp3-exec) S 27379 27382 25788 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420896633 115843072 364 33554432000 4194304 5098028 140724840564048 140724840562152 140234537669244 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40427520 140724840571765 140724840572009 140724840572009 140724840574922 0
/proc/27382/statm: 28282 364 305 221 0 87 0
[pid=27384] ppid=27382 vsize=28227388 memory=39292 CPUtime=0.34 cores=0-7
/proc/27384/stat : 27384 (java) S 27382 27382 25788 0 -1 1077944320 9637 0 0 0 31 3 0 0 20 0 20 0 420896633 28904845312 9823 33554432000 4194304 4196468 140735328874272 140735328856816 140643838762743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
/proc/27384/statm: 7056847 9823 3289 1 0 7019032 0
[pid=27384/tid=27385] ppid=27382 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/27384/task/27385/stat : 27385 (java) R 27382 27382 25788 0 -1 4202560 6684 0 0 0 18 2 0 0 20 0 20 0 420896633 28904845312 9823 33554432000 4194304 4196468 140735328874272 140643842992464 140643838774678 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27386] ppid=27382 vsize=28227388 memory=331 CPUtime=0 cores=0-7
/proc/27384/task/27386/stat : 27386 (java) S 27382 27382 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896634 28904845312 9823 33554432000 4194304 4196468 140735328874272 140643806321808 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27387] ppid=27382 vsize=28227388 memory=3977717779917158048 CPUtime=0 cores=0-7
/proc/27384/task/27387/stat : 27387 (java) S 27382 27382 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896634 28904845312 9823 33554432000 4194304 4196468 140735328874272 140643388746768 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27388] ppid=27382 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/27384/task/27388/stat : 27388 (java) S 27382 27382 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896634 28904845312 9823 33554432000 4194304 4196468 140735328874272 140643387693968 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27389] ppid=27382 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27389/stat : 27389 (java) S 27382 27382 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896634 28904845312 9823 33554432000 4194304 4196468 140735328874272 140643386641168 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27390] ppid=27382 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27390/stat : 27390 (java) S 27382 27382 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896634 28904845312 9823 33554432000 4194304 4196468 140735328874272 140643385588368 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27391] ppid=27382 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/27384/task/27391/stat : 27391 (java) S 27382 27382 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896634 28904845312 9823 33554432000 4194304 4196468 140735328874272 140643384535568 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27392] ppid=27382 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27392/stat : 27392 (java) S 27382 27382 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420896634 28904845312 9823 33554432000 4194304 4196468 140735328874272 140643383482768 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27393] ppid=27382 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27393/stat : 27393 (java) S 27382 27382 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896634 28904845312 9823 33554432000 4194304 4196468 140735328874272 140643382429968 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27394] ppid=27382 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27394/stat : 27394 (java) S 27382 27382 25788 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420896636 28904845312 9823 33554432000 4194304 4196468 140735328874272 140643339897712 140643838773890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27395] ppid=27382 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27395/stat : 27395 (java) S 27382 27382 25788 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420896636 28904845312 9823 33554432000 4194304 4196468 140735328874272 140643338843680 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27396] ppid=27382 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27396/stat : 27396 (java) S 27382 27382 25788 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420896636 28904845312 9823 33554432000 4194304 4196468 140735328874272 140643337790832 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27397] ppid=27382 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27397/stat : 27397 (java) S 27382 27382 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896639 28904845312 9823 33554432000 4194304 4196468 140735328874272 140643336739152 140643838781339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27398] ppid=27382 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/27384/task/27398/stat : 27398 (java) S 27382 27382 25788 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 20 0 420896639 28904845312 9823 33554432000 4194304 4196468 140735328874272 140643335686512 140643838773890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27399] ppid=27382 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/27384/task/27399/stat : 27399 (java) S 27382 27382 25788 0 -1 1077944384 126 0 0 0 1 0 0 0 20 0 20 0 420896639 28904845312 9823 33554432000 4194304 4196468 140735328874272 140643218352368 140643838773890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27400] ppid=27382 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/27384/task/27400/stat : 27400 (java) S 27382 27382 25788 0 -1 1077944384 230 0 0 0 1 0 0 0 20 0 20 0 420896639 28904845312 9823 33554432000 4194304 4196468 140735328874272 140643217299568 140643838773890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27401] ppid=27382 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/27384/task/27401/stat : 27401 (java) R 27382 27382 25788 0 -1 4202560 919 0 0 0 8 0 0 0 20 0 20 0 420896639 28904845312 9823 33554432000 4194304 4196468 140735328874272 140643216246768 140643831868435 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27402] ppid=27382 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27402/stat : 27402 (java) S 27382 27382 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420896639 28904845312 9823 33554432000 4194304 4196468 140735328874272 140643215195232 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27403] ppid=27382 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/27384/task/27403/stat : 27403 (java) S 27382 27382 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896639 28904845312 9823 33554432000 4194304 4196468 140735328874272 140643214142512 140643838773890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 40748 KiB

[startup+0.314319 s]*
/proc/loadavg: 7.67 8.21 8.25 3/216 27403
/proc/meminfo: memFree=31417184/32770624 swapFree=67004168/67108860
[pid=27382] ppid=27379 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/27382/stat : 27382 (xcsp3-exec) S 27379 27382 25788 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420896633 115843072 364 33554432000 4194304 5098028 140724840564048 140724840562152 140234537669244 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40427520 140724840571765 140724840572009 140724840572009 140724840574922 0
/proc/27382/statm: 28282 364 305 221 0 87 0
[pid=27384] ppid=27382 vsize=28231644 memory=49268 CPUtime=0.53 cores=0-7
/proc/27384/stat : 27384 (java) S 27382 27382 25788 0 -1 1077944320 11234 0 0 0 49 4 0 0 20 0 20 0 420896633 28909203456 12317 33554432000 4194304 4196468 140735328874272 140735328856816 140643838762743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
/proc/27384/statm: 7057911 12317 3358 1 0 7019032 0
[pid=27384/tid=27385] ppid=27382 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/27384/task/27385/stat : 27385 (java) R 27382 27382 25788 0 -1 4202560 7853 0 0 0 27 3 0 0 20 0 20 0 420896633 28909203456 12317 33554432000 4194304 4196468 140735328874272 140643842995072 140643838784669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27386] ppid=27382 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27386/stat : 27386 (java) S 27382 27382 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896634 28909203456 12317 33554432000 4194304 4196468 140735328874272 140643806321808 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27387] ppid=27382 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27387/stat : 27387 (java) S 27382 27382 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896634 28909203456 12317 33554432000 4194304 4196468 140735328874272 140643388746768 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27388] ppid=27382 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27388/stat : 27388 (java) S 27382 27382 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896634 28909203456 12317 33554432000 4194304 4196468 140735328874272 140643387693968 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27389] ppid=27382 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27389/stat : 27389 (java) S 27382 27382 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896634 28909203456 12317 33554432000 4194304 4196468 140735328874272 140643386641168 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27390] ppid=27382 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/27384/task/27390/stat : 27390 (java) S 27382 27382 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896634 28909203456 12317 33554432000 4194304 4196468 140735328874272 140643385588368 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27391] ppid=27382 vsize=28231644 memory=139679852753839 CPUtime=0 cores=0-7
/proc/27384/task/27391/stat : 27391 (java) S 27382 27382 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896634 28909203456 12317 33554432000 4194304 4196468 140735328874272 140643384535568 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27392] ppid=27382 vsize=28231644 memory=139679852756144 CPUtime=0 cores=0-7
/proc/27384/task/27392/stat : 27392 (java) S 27382 27382 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420896634 28909203456 12317 33554432000 4194304 4196468 140735328874272 140643383482768 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27393] ppid=27382 vsize=28231644 memory=139679852758448 CPUtime=0 cores=0-7
/proc/27384/task/27393/stat : 27393 (java) S 27382 27382 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896634 28909203456 12317 33554432000 4194304 4196468 140735328874272 140643382429968 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27394] ppid=27382 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27394/stat : 27394 (java) S 27382 27382 25788 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420896636 28909203456 12317 33554432000 4194304 4196468 140735328874272 140643339897712 140643838773890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27395] ppid=27382 vsize=28231644 memory=279359705523856 CPUtime=0 cores=0-7
/proc/27384/task/27395/stat : 27395 (java) S 27382 27382 25788 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420896636 28909203456 12317 33554432000 4194304 4196468 140735328874272 140643338843680 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27396] ppid=27382 vsize=28231644 memory=279359705530768 CPUtime=0 cores=0-7
/proc/27384/task/27396/stat : 27396 (java) S 27382 27382 25788 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420896636 28909203456 12317 33554432000 4194304 4196468 140735328874272 140643337790832 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27397] ppid=27382 vsize=28231644 memory=279359705472048 CPUtime=0 cores=0-7
/proc/27384/task/27397/stat : 27397 (java) S 27382 27382 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896639 28909203456 12317 33554432000 4194304 4196468 140735328874272 140643336739152 140643838781339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27398] ppid=27382 vsize=28231644 memory=279359705544592 CPUtime=0.02 cores=0-7
/proc/27384/task/27398/stat : 27398 (java) S 27382 27382 25788 0 -1 1077944384 392 0 0 0 2 0 0 0 20 0 20 0 420896639 28909203456 12317 33554432000 4194304 4196468 140735328874272 140643335686512 140643838773890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27399] ppid=27382 vsize=28231644 memory=279359705551504 CPUtime=0.03 cores=0-7
/proc/27384/task/27399/stat : 27399 (java) S 27382 27382 25788 0 -1 1077944384 154 0 0 0 3 0 0 0 20 0 20 0 420896639 28909203456 12317 33554432000 4194304 4196468 140735328874272 140643218352368 140643838773890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27400] ppid=27382 vsize=28231644 memory=279359705549200 CPUtime=0.03 cores=0-7
/proc/27384/task/27400/stat : 27400 (java) R 27382 27382 25788 0 -1 4202560 392 0 0 0 3 0 0 0 20 0 20 0 420896639 28909203456 12317 33554432000 4194304 4196468 140735328874272 140643217289952 140643818009529 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27401] ppid=27382 vsize=28231644 memory=279359705565360 CPUtime=0.12 cores=0-7
/proc/27384/task/27401/stat : 27401 (java) S 27382 27382 25788 0 -1 1077944384 1132 0 0 0 12 0 0 0 20 0 20 0 420896639 28909203456 12317 33554432000 4194304 4196468 140735328874272 140643216246768 140643838773890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27402] ppid=27382 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27402/stat : 27402 (java) S 27382 27382 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420896639 28909203456 12317 33554432000 4194304 4196468 140735328874272 140643215195232 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27403] ppid=27382 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/27384/task/27403/stat : 27403 (java) S 27382 27382 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896639 28909203456 12317 33554432000 4194304 4196468 140735328874272 140643214142512 140643838773890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 50724 KiB

[startup+0.701884 s]
/proc/loadavg: 7.67 8.21 8.25 5/216 27403
/proc/meminfo: memFree=31381744/32770624 swapFree=67004168/67108860
[pid=27382] ppid=27379 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/27382/stat : 27382 (xcsp3-exec) S 27379 27382 25788 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420896633 115843072 364 33554432000 4194304 5098028 140724840564048 140724840562152 140234537669244 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40427520 140724840571765 140724840572009 140724840572009 140724840574922 0
/proc/27382/statm: 28282 364 305 221 0 87 0
[pid=27384] ppid=27382 vsize=28233768 memory=147044 CPUtime=1.79 cores=0-7
/proc/27384/stat : 27384 (java) S 27382 27382 25788 0 -1 1077944320 15129 0 0 0 173 6 0 0 20 0 20 0 420896633 28911378432 36761 33554432000 4194304 4196468 140735328874272 140735328856816 140643838762743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
/proc/27384/statm: 7058442 36761 3456 1 0 7019544 0
[pid=27384/tid=27385] ppid=27382 vsize=28233768 memory=279359705923248 CPUtime=0.67 cores=0-7
/proc/27384/task/27385/stat : 27385 (java) R 27382 27382 25788 0 -1 4202560 9024 0 0 0 63 4 0 0 20 0 20 0 420896633 28911378432 36761 33554432000 4194304 4196468 140735328874272 140643842997928 140643474758492 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27386] ppid=27382 vsize=28233768 memory=139679852962672 CPUtime=0 cores=0-7
/proc/27384/task/27386/stat : 27386 (java) S 27382 27382 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896634 28911378432 36761 33554432000 4194304 4196468 140735328874272 140643806321808 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27387] ppid=27382 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27387/stat : 27387 (java) S 27382 27382 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896634 28911378432 36761 33554432000 4194304 4196468 140735328874272 140643388746768 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27388] ppid=27382 vsize=28233768 memory=2832 CPUtime=0 cores=0-7
/proc/27384/task/27388/stat : 27388 (java) S 27382 27382 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896634 28911378432 36761 33554432000 4194304 4196468 140735328874272 140643387693968 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0

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

[pid=27384/tid=27393] ppid=27382 vsize=28233768 memory=1616 CPUtime=0.2 cores=0-7
/proc/27384/task/27393/stat : 27393 (java) R 27382 27382 25788 0 -1 4202560 250 0 0 0 12 8 0 0 20 0 20 0 420896634 28911378432 150223 33554432000 4194304 4196468 140735328874272 140643382429968 140643831859492 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27394] ppid=27382 vsize=28233768 memory=784 CPUtime=0.01 cores=0-7
/proc/27384/task/27394/stat : 27394 (java) S 27382 27382 25788 0 -1 1077944384 231 0 0 0 1 0 0 0 20 0 20 0 420896636 28911378432 150223 33554432000 4194304 4196468 140735328874272 140643339896256 140643838772949 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27395] ppid=27382 vsize=28233768 memory=8252 CPUtime=0 cores=0-7
/proc/27384/task/27395/stat : 27395 (java) S 27382 27382 25788 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 420896636 28911378432 150223 33554432000 4194304 4196468 140735328874272 140643338843744 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27396] ppid=27382 vsize=28233768 memory=5936 CPUtime=0 cores=0-7
/proc/27384/task/27396/stat : 27396 (java) S 27382 27382 25788 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420896636 28911378432 150223 33554432000 4194304 4196468 140735328874272 140643337790848 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27397] ppid=27382 vsize=28233768 memory=1056 CPUtime=0 cores=0-7
/proc/27384/task/27397/stat : 27397 (java) S 27382 27382 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896639 28911378432 150223 33554432000 4194304 4196468 140735328874272 140643336739152 140643838781339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27398] ppid=27382 vsize=28233768 memory=164 CPUtime=0.39 cores=0-7
/proc/27384/task/27398/stat : 27398 (java) S 27382 27382 25788 0 -1 1077944384 1172 0 0 0 39 0 0 0 20 0 20 0 420896639 28911378432 150223 33554432000 4194304 4196468 140735328874272 140643335686512 140643838773890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27399] ppid=27382 vsize=28233768 memory=7681905605394137914 CPUtime=0.49 cores=0-7
/proc/27384/task/27399/stat : 27399 (java) S 27382 27382 25788 0 -1 1077944384 1029 0 0 0 49 0 0 0 20 0 20 0 420896639 28911378432 150223 33554432000 4194304 4196468 140735328874272 140643218352368 140643838773890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27400] ppid=27382 vsize=28233768 memory=4206468019014099040 CPUtime=0.36 cores=0-7
/proc/27384/task/27400/stat : 27400 (java) S 27382 27382 25788 0 -1 1077944384 1035 0 0 0 36 0 0 0 20 0 20 0 420896639 28911378432 150223 33554432000 4194304 4196468 140735328874272 140643217299568 140643838773890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27401] ppid=27382 vsize=28233768 memory=7681905605394137914 CPUtime=0.43 cores=0-7
/proc/27384/task/27401/stat : 27401 (java) S 27382 27382 25788 0 -1 1077944384 2113 0 0 0 43 0 0 0 20 0 20 0 420896639 28911378432 150223 33554432000 4194304 4196468 140735328874272 140643216246768 140643838773890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27402] ppid=27382 vsize=28233768 memory=-7522837583129502606 CPUtime=0 cores=0-7
/proc/27384/task/27402/stat : 27402 (java) S 27382 27382 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420896639 28911378432 150223 33554432000 4194304 4196468 140735328874272 140643215195232 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27403] ppid=27382 vsize=28233768 memory=-7233780906022726806 CPUtime=0 cores=0-7
/proc/27384/task/27403/stat : 27403 (java) S 27382 27382 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896639 28911378432 150223 33554432000 4194304 4196468 140735328874272 140643214142512 140643838773890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
Current children cumulated CPU time: 4.72 s
Current children cumulated vsize: 28346896 KiB
Current children cumulated memory: 602348 KiB

[startup+2.00756 s]*
/proc/loadavg: 7.67 8.21 8.25 11/224 27411
/proc/meminfo: memFree=30863332/32770624 swapFree=67004168/67108860
[pid=27382] ppid=27379 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/27382/stat : 27382 (xcsp3-exec) S 27379 27382 25788 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420896633 115843072 364 33554432000 4194304 5098028 140724840564048 140724840562152 140234537669244 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40427520 140724840571765 140724840572009 140724840572009 140724840574922 0
/proc/27382/statm: 28282 364 305 221 0 87 0
[pid=27384] ppid=27382 vsize=28766280 memory=602872 CPUtime=6.35 cores=0-7
/proc/27384/stat : 27384 (java) S 27382 27382 25788 0 -1 1077944320 18805 0 0 0 551 84 0 0 20 0 28 0 420896633 29456670720 150718 33554432000 4194304 4196468 140735328874272 140735328856816 140643838762743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
/proc/27384/statm: 7191570 150718 3501 1 0 7152672 0
[pid=27384/tid=27385] ppid=27382 vsize=28766280 memory=6791534058613427641 CPUtime=1.55 cores=0-7
/proc/27384/task/27385/stat : 27385 (java) S 27382 27382 25788 0 -1 1077944384 9384 0 0 0 148 7 0 0 20 0 28 0 420896633 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643843003520 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27386] ppid=27382 vsize=28766280 memory=4872558044660077418 CPUtime=0.22 cores=0-7
/proc/27384/task/27386/stat : 27386 (java) S 27382 27382 25788 0 -1 1077944384 200 0 0 0 13 9 0 0 20 0 28 0 420896634 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643806321808 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27387] ppid=27382 vsize=28766280 memory=0 CPUtime=0.23 cores=0-7
/proc/27384/task/27387/stat : 27387 (java) S 27382 27382 25788 0 -1 1077944384 274 0 0 0 14 9 0 0 20 0 28 0 420896634 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643388746768 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27388] ppid=27382 vsize=28766280 memory=0 CPUtime=0.22 cores=0-7
/proc/27384/task/27388/stat : 27388 (java) S 27382 27382 25788 0 -1 1077944384 252 0 0 0 13 9 0 0 20 0 28 0 420896634 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643387693968 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27389] ppid=27382 vsize=28766280 memory=0 CPUtime=0.21 cores=0-7
/proc/27384/task/27389/stat : 27389 (java) S 27382 27382 25788 0 -1 1077944384 187 0 0 0 13 8 0 0 20 0 28 0 420896634 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643386641168 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27390] ppid=27382 vsize=28766280 memory=0 CPUtime=0.23 cores=0-7
/proc/27384/task/27390/stat : 27390 (java) S 27382 27382 25788 0 -1 1077944384 204 0 0 0 15 8 0 0 20 0 28 0 420896634 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643385588368 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27391] ppid=27382 vsize=28766280 memory=0 CPUtime=0.23 cores=0-7
/proc/27384/task/27391/stat : 27391 (java) S 27382 27382 25788 0 -1 1077944384 207 0 0 0 15 8 0 0 20 0 28 0 420896634 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643384535568 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27392] ppid=27382 vsize=28766280 memory=0 CPUtime=0.23 cores=0-7
/proc/27384/task/27392/stat : 27392 (java) S 27382 27382 25788 0 -1 1077944384 233 0 0 0 13 10 0 0 20 0 28 0 420896634 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643383482768 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27393] ppid=27382 vsize=28766280 memory=0 CPUtime=0.23 cores=0-7
/proc/27384/task/27393/stat : 27393 (java) S 27382 27382 25788 0 -1 1077944384 252 0 0 0 15 8 0 0 20 0 28 0 420896634 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643382429968 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27394] ppid=27382 vsize=28766280 memory=0 CPUtime=0.03 cores=0-7
/proc/27384/task/27394/stat : 27394 (java) S 27382 27382 25788 0 -1 1077944384 431 0 0 0 3 0 0 0 20 0 28 0 420896636 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643339897712 140643838773890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27395] ppid=27382 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27395/stat : 27395 (java) S 27382 27382 25788 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 420896636 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643338843744 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27396] ppid=27382 vsize=28766280 memory=3690471420374038069 CPUtime=0 cores=0-7
/proc/27384/task/27396/stat : 27396 (java) S 27382 27382 25788 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 420896636 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643337790848 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27397] ppid=27382 vsize=28766280 memory=3690471420374038069 CPUtime=0 cores=0-7
/proc/27384/task/27397/stat : 27397 (java) S 27382 27382 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420896639 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643336739152 140643838781339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27398] ppid=27382 vsize=28766280 memory=0 CPUtime=0.47 cores=0-7
/proc/27384/task/27398/stat : 27398 (java) S 27382 27382 25788 0 -1 1077944384 1204 0 0 0 47 0 0 0 20 0 28 0 420896639 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643335686512 140643838773890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27399] ppid=27382 vsize=28766280 memory=6082483392721998705 CPUtime=0.52 cores=0-7
/proc/27384/task/27399/stat : 27399 (java) R 27382 27382 25788 0 -1 1077944384 1048 0 0 0 52 0 0 0 20 0 28 0 420896639 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643218352368 140643838773890 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27400] ppid=27382 vsize=28766280 memory=6370719275257063784 CPUtime=0.44 cores=0-7
/proc/27384/task/27400/stat : 27400 (java) R 27382 27382 25788 0 -1 4202560 1091 0 0 0 44 0 0 0 20 0 28 0 420896639 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643217291024 140643822248731 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27401] ppid=27382 vsize=28766280 memory=7881696724453321575 CPUtime=0.5 cores=0-7
/proc/27384/task/27401/stat : 27401 (java) S 27382 27382 25788 0 -1 1077944384 2250 0 0 0 50 0 0 0 20 0 28 0 420896639 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643216246768 140643838773890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27402] ppid=27382 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27402/stat : 27402 (java) S 27382 27382 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420896639 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643215195232 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27403] ppid=27382 vsize=28766280 memory=-1 CPUtime=0 cores=0-7
/proc/27384/task/27403/stat : 27403 (java) S 27382 27382 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420896639 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643214142512 140643838773890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27404] ppid=27382 vsize=28766280 memory=-1 CPUtime=0.13 cores=0-7
/proc/27384/task/27404/stat : 27404 (java) R 27382 27382 25788 0 -1 1077944384 50 0 0 0 13 0 0 0 20 0 28 0 420896820 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643204933120 140643838772949 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27405] ppid=27382 vsize=28766280 memory=0 CPUtime=0.13 cores=0-7
/proc/27384/task/27405/stat : 27405 (java) R 27382 27382 25788 0 -1 4202560 41 0 0 0 13 0 0 0 20 0 28 0 420896820 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643203878944 140643474707182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27406] ppid=27382 vsize=28766280 memory=0 CPUtime=0.13 cores=0-7
/proc/27384/task/27406/stat : 27406 (java) S 27382 27382 25788 0 -1 1077944384 40 0 0 0 13 0 0 0 20 0 28 0 420896820 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643202828688 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27407] ppid=27382 vsize=28766280 memory=279359705963392 CPUtime=0.1 cores=0-7
/proc/27384/task/27407/stat : 27407 (java) R 27382 27382 25788 0 -1 4202560 37 0 0 0 10 0 0 0 20 0 28 0 420896820 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643201772944 140643480255737 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27408] ppid=27382 vsize=28766280 memory=7599388386692169796 CPUtime=0.13 cores=0-7
/proc/27384/task/27408/stat : 27408 (java) R 27382 27382 25788 0 -1 4202560 33 0 0 0 13 0 0 0 20 0 28 0 420896820 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643133278736 140643480257466 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27409] ppid=27382 vsize=28766280 memory=288284467825738331 CPUtime=0.08 cores=0-7
/proc/27384/task/27409/stat : 27409 (java) R 27382 27382 25788 0 -1 4202560 33 0 0 0 8 0 0 0 20 0 28 0 420896820 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643132228000 140643480257466 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27410] ppid=27382 vsize=28766280 memory=3762812701311762464 CPUtime=0.08 cores=0-7
/proc/27384/task/27410/stat : 27410 (java) R 27382 27382 25788 0 -1 4202560 30 0 0 0 8 0 0 0 20 0 28 0 420896820 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643131174928 140643480257466 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27411] ppid=27382 vsize=28766280 memory=0 CPUtime=0.08 cores=0-7
/proc/27384/task/27411/stat : 27411 (java) R 27382 27382 25788 0 -1 4202560 27 0 0 0 8 0 0 0 20 0 28 0 420896820 29456670720 150718 33554432000 4194304 4196468 140735328874272 140643130121872 140643474743560 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
Current children cumulated CPU time: 6.35 s
Current children cumulated vsize: 28879408 KiB
Current children cumulated memory: 604328 KiB

[startup+2.11092 s]
/proc/loadavg: 7.67 8.21 8.25 11/224 27411
/proc/meminfo: memFree=30863332/32770624 swapFree=67004168/67108860
[pid=27382] ppid=27379 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/27382/stat : 27382 (xcsp3-exec) S 27379 27382 25788 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420896633 115843072 364 33554432000 4194304 5098028 140724840564048 140724840562152 140234537669244 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40427520 140724840571765 140724840572009 140724840572009 140724840574922 0
/proc/27382/statm: 28282 364 305 221 0 87 0
[pid=27384] ppid=27382 vsize=28766280 memory=608120 CPUtime=6.95 cores=0-7
/proc/27384/stat : 27384 (java) S 27382 27382 25788 0 -1 1077944320 20158 0 0 0 611 84 0 0 20 0 28 0 420896633 29456670720 151964 33554432000 4194304 4196468 140735328874272 140735328856816 140643838762743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
/proc/27384/statm: 7191570 152030 3504 1 0 7152672 0
[pid=27384/tid=27385] ppid=27382 vsize=28766280 memory=6944656592455097440 CPUtime=1.55 cores=0-7
/proc/27384/task/27385/stat : 27385 (java) S 27382 27382 25788 0 -1 1077944384 9384 0 0 0 148 7 0 0 20 0 28 0 420896633 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643843003520 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27386] ppid=27382 vsize=28766280 memory=6656426216303648864 CPUtime=0.22 cores=0-7
/proc/27384/task/27386/stat : 27386 (java) S 27382 27382 25788 0 -1 1077944384 200 0 0 0 13 9 0 0 20 0 28 0 420896634 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643806321808 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27387] ppid=27382 vsize=28766280 memory=0 CPUtime=0.23 cores=0-7
/proc/27384/task/27387/stat : 27387 (java) S 27382 27382 25788 0 -1 1077944384 274 0 0 0 14 9 0 0 20 0 28 0 420896634 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643388746768 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27388] ppid=27382 vsize=28766280 memory=139679965118785 CPUtime=0.22 cores=0-7
/proc/27384/task/27388/stat : 27388 (java) S 27382 27382 25788 0 -1 1077944384 252 0 0 0 13 9 0 0 20 0 28 0 420896634 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643387693968 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27389] ppid=27382 vsize=28766280 memory=7740122499092402793 CPUtime=0.21 cores=0-7
/proc/27384/task/27389/stat : 27389 (java) S 27382 27382 25788 0 -1 1077944384 187 0 0 0 13 8 0 0 20 0 28 0 420896634 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643386641168 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27390] ppid=27382 vsize=28766280 memory=7957689449132282197 CPUtime=0.23 cores=0-7
/proc/27384/task/27390/stat : 27390 (java) S 27382 27382 25788 0 -1 1077944384 204 0 0 0 15 8 0 0 20 0 28 0 420896634 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643385588368 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27391] ppid=27382 vsize=28766280 memory=7158585314504960592 CPUtime=0.23 cores=0-7
/proc/27384/task/27391/stat : 27391 (java) S 27382 27382 25788 0 -1 1077944384 207 0 0 0 15 8 0 0 20 0 28 0 420896634 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643384535568 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27392] ppid=27382 vsize=28766280 memory=56 CPUtime=0.23 cores=0-7
/proc/27384/task/27392/stat : 27392 (java) S 27382 27382 25788 0 -1 1077944384 233 0 0 0 13 10 0 0 20 0 28 0 420896634 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643383482768 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27393] ppid=27382 vsize=28766280 memory=13807 CPUtime=0.23 cores=0-7
/proc/27384/task/27393/stat : 27393 (java) S 27382 27382 25788 0 -1 1077944384 252 0 0 0 15 8 0 0 20 0 28 0 420896634 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643382429968 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27394] ppid=27382 vsize=28766280 memory=20612 CPUtime=0.03 cores=0-7
/proc/27384/task/27394/stat : 27394 (java) S 27382 27382 25788 0 -1 1077944384 431 0 0 0 3 0 0 0 20 0 28 0 420896636 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643339897712 140643838773890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27395] ppid=27382 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27395/stat : 27395 (java) S 27382 27382 25788 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 420896636 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643338843744 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27396] ppid=27382 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27396/stat : 27396 (java) S 27382 27382 25788 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 420896636 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643337790848 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27397] ppid=27382 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27397/stat : 27397 (java) S 27382 27382 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420896639 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643336739152 140643838781339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27398] ppid=27382 vsize=28766280 memory=0 CPUtime=0.55 cores=0-7
/proc/27384/task/27398/stat : 27398 (java) R 27382 27382 25788 0 -1 4202560 1387 0 0 0 55 0 0 0 20 0 28 0 420896639 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643335672944 140643820307393 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27399] ppid=27382 vsize=28766280 memory=4580 CPUtime=0.6 cores=0-7
/proc/27384/task/27399/stat : 27399 (java) R 27382 27382 25788 0 -1 4202560 1256 0 0 0 60 0 0 0 20 0 28 0 420896639 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643218333384 140643819464407 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27400] ppid=27382 vsize=28766280 memory=0 CPUtime=0.53 cores=0-7
/proc/27384/task/27400/stat : 27400 (java) R 27382 27382 25788 0 -1 4202560 1508 0 0 0 53 0 0 0 20 0 28 0 420896639 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643217280584 140643822249552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27401] ppid=27382 vsize=28766280 memory=0 CPUtime=0.56 cores=0-7
/proc/27384/task/27401/stat : 27401 (java) S 27382 27382 25788 0 -1 1077944384 2779 0 0 0 56 0 0 0 20 0 28 0 420896639 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643216246768 140643838773890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27402] ppid=27382 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27402/stat : 27402 (java) S 27382 27382 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420896639 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643215195232 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27403] ppid=27382 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/27384/task/27403/stat : 27403 (java) S 27382 27382 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420896639 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643214142512 140643838773890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27404] ppid=27382 vsize=28766280 memory=0 CPUtime=0.16 cores=0-7
/proc/27384/task/27404/stat : 27404 (java) S 27382 27382 25788 0 -1 1077944384 50 0 0 0 16 0 0 0 20 0 28 0 420896820 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643204935536 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27405] ppid=27382 vsize=28766280 memory=0 CPUtime=0.15 cores=0-7
/proc/27384/task/27405/stat : 27405 (java) S 27382 27382 25788 0 -1 1077944384 43 0 0 0 15 0 0 0 20 0 28 0 420896820 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643203884240 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27406] ppid=27382 vsize=28766280 memory=0 CPUtime=0.21 cores=0-7
/proc/27384/task/27406/stat : 27406 (java) R 27382 27382 25788 0 -1 4202560 67 0 0 0 21 0 0 0 20 0 28 0 420896820 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643202828160 140643821190992 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27407] ppid=27382 vsize=28766280 memory=6944656592455359580 CPUtime=0.13 cores=0-7
/proc/27384/task/27407/stat : 27407 (java) S 27382 27382 25788 0 -1 1077944384 39 0 0 0 13 0 0 0 20 0 28 0 420896820 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643201778640 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27408] ppid=27382 vsize=28766280 memory=7523640749695459928 CPUtime=0.16 cores=0-7
/proc/27384/task/27408/stat : 27408 (java) S 27382 27382 25788 0 -1 1077944384 38 0 0 0 16 0 0 0 20 0 28 0 420896820 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643133285200 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27409] ppid=27382 vsize=28766280 memory=288230574492221466 CPUtime=0.11 cores=0-7
/proc/27384/task/27409/stat : 27409 (java) S 27382 27382 25788 0 -1 1077944384 34 0 0 0 11 0 0 0 20 0 28 0 420896820 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643132232400 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27410] ppid=27382 vsize=28766280 memory=288230583166042426 CPUtime=0.11 cores=0-7
/proc/27384/task/27410/stat : 27410 (java) S 27382 27382 25788 0 -1 1077944384 30 0 0 0 11 0 0 0 20 0 28 0 420896820 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643131180624 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
[pid=27384/tid=27411] ppid=27382 vsize=28766280 memory=14694080391154107 CPUtime=0.12 cores=0-7
/proc/27384/task/27411/stat : 27411 (java) S 27382 27382 25788 0 -1 1077944384 27 0 0 0 12 0 0 0 20 0 28 0 420896820 29456670720 152030 33554432000 4194304 4196468 140735328874272 140643130127824 140643838772949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8687616 140735328879594 140735328879766 140735328879766 140735328882639 0
Current children cumulated CPU time: 6.95 s
Current children cumulated vsize: 28879408 KiB
Current children cumulated memory: 609576 KiB

Child status: 0
Real time (s): 2.1869
CPU time (s): 7.19225
CPU user time (s): 6.32561
CPU system time (s): 0.86664
CPU usage (%): 328.879
Max. virtual memory (cumulated for all children) (KiB): 28879408
Max. memory (cumulated for all children) (KiB): 609576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.32561
system time used= 0.86664
maximum resident set size= 615776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22108
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3396
involuntary context switches= 58


# summary of solver processes directly reported to runsolver:
#   pid: 27382
#   total CPU time (s): 7.19225
#   total CPU user time (s): 6.32561
#   total CPU system time (s): 0.86664

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034301 second user time and 0.07484 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-14 09:35:31
IDJOB=4393475
IDBENCH=140009
IDSOLVER=2841
FILE ID=node133/4393475-1568446570
RUNJOBID= node133-1568439804-25815
PBS_JOBID= 21702337
Free space on /tmp= 59416 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd-vg/Crossword-m1c-ogd-vg-15-19.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-4393475-1568446570/watcher-4393475-1568446570 -o /tmp/evaluation-result-4393475-1568446570/solver-4393475-1568446570 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568439804-25815 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2064076935 HOME/instance-4393475-1568446570.xml

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

MD5SUM BENCH= 771a2032fa08b3551aec0b6adeb94e67
RANDOM SEED=2064076935

node133.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.18
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.18
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.18
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.18
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:        31453780 kB
MemAvailable:   31899532 kB
Buffers:          205592 kB
Cached:           523384 kB
SwapCached:         3336 kB
Active:           410156 kB
Inactive:         322124 kB
Active(anon):      27736 kB
Inactive(anon):    16056 kB
Active(file):     382420 kB
Inactive(file):   306068 kB
Unevictable:      111224 kB
Mlocked:          111224 kB
SwapTotal:      67108860 kB
SwapFree:       67004168 kB
Dirty:             26868 kB
Writeback:             0 kB
AnonPages:        297192 kB
Mapped:            45000 kB
Shmem:             31544 kB
Slab:             174736 kB
SReclaimable:     146196 kB
SUnreclaim:        28540 kB
KernelStack:        3776 kB
PageTables:         5308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    253952 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 59392 MiB
End job on node133 at 2019-09-14 09:35:33