Trace number 4291276

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
OscaR - Parallel with EPS 2018-07-02? (TO) 19921.8 2520.26

General information on the benchmark

NameMagicHexagon/
MagicHexagon-07-0002_c18.xml
MD5SUMd84d4d85366018deec6903098e084e8b
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables169
Number of constraints46
Number of domains1
Minimum domain size127
Maximum domain size127
Distribution of domain sizes[{"size":127,"count":127}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":42},{"degree":4,"count":121},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity127
Distribution of constraint arities[{"arity":2,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":3},{"arity":127,"count":1}]
Number of extensional constraints0
Number of intensional constraints6
Distribution of constraint types[{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":39}]
Optimization problemNO
Type of objective

Solver Data 

0.67/0.55	c version: 2018-07-02
0.67/0.55	c seed: 1486243491
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.55	c nbcore: 8
0.67/0.58	c Parsing instance...
1.21/0.87	c Parsing done, starting search...
19920.03/2520.09	s UNKNOWN

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 (9443 MiB free)
  memory of node 1: 16384 MiB (11903 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291276-1532672625/watcher-4291276-1532672625 -o /tmp/evaluation-result-4291276-1532672625/solver-4291276-1532672625 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532664287-11771 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1486243491 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291276-1532672625.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=12810, runsolver pid=12807

[startup+0.100167 s]*
/proc/loadavg: 8.74 8.66 8.55 3/199 12830
/proc/meminfo: memFree=21843160/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=26103424 memory=30028 CPUtime=0.11 cores=0-7
/proc/12810/stat : 12810 (java) S 12807 12810 11744 0 -1 1077944320 6937 0 0 0 11 0 0 0 20 0 20 0 84825664 26729906176 7441 33554432000 4194304 4196468 140724694541920 140724694524464 140218748223223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
/proc/12810/statm: 6525856 7507 3134 1 0 6487932 0
[pid=12810/tid=12812] ppid=12807 vsize=26103424 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/12810/task/12812/stat : 12812 (java) R 12807 12810 11744 0 -1 4202560 5116 0 0 0 9 0 0 0 20 0 20 0 84825665 26729906176 7573 33554432000 4194304 4196468 140724694541920 140218752448912 140218728498944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12813] ppid=12807 vsize=26103424 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12810/task/12813/stat : 12813 (java) S 12807 12810 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 7573 33554432000 4194304 4196468 140724694541920 140218670803856 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12814] ppid=12807 vsize=26103424 memory=139932770883200 CPUtime=0 cores=0-7
/proc/12810/task/12814/stat : 12814 (java) S 12807 12810 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 7573 33554432000 4194304 4196468 140724694541920 140218305895184 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12815] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12815/stat : 12815 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 7639 33554432000 4194304 4196468 140724694541920 140218304842896 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12816] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12816/stat : 12816 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 7639 33554432000 4194304 4196468 140724694541920 140218303790096 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12817] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12817/stat : 12817 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 7639 33554432000 4194304 4196468 140724694541920 140218302736784 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12818] ppid=12807 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/12810/task/12818/stat : 12818 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 7639 33554432000 4194304 4196468 140724694541920 140218301683984 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12819] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12819/stat : 12819 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 7639 33554432000 4194304 4196468 140724694541920 140218300631696 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12820] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12820/stat : 12820 (java) S 12807 12810 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 7639 33554432000 4194304 4196468 140724694541920 140218299578896 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12821] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12821/stat : 12821 (java) S 12807 12810 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84825667 26729906176 7639 33554432000 4194304 4196468 140724694541920 140217469590128 140218748234370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12822] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12822/stat : 12822 (java) S 12807 12810 11744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 84825667 26729906176 7639 33554432000 4194304 4196468 140724694541920 140217468536096 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12823] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12823/stat : 12823 (java) S 12807 12810 11744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 84825667 26729906176 7639 33554432000 4194304 4196468 140724694541920 140217467483760 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12824] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12824/stat : 12824 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825670 26729906176 7639 33554432000 4194304 4196468 140724694541920 140217466432080 140218748241819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12825] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12825/stat : 12825 (java) S 12807 12810 11744 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 84825670 26729906176 7639 33554432000 4194304 4196468 140724694541920 140217465378928 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12826] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12826/stat : 12826 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825670 26729906176 7705 33554432000 4194304 4196468 140724694541920 140217464326128 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12827] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12827/stat : 12827 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825670 26729906176 7705 33554432000 4194304 4196468 140724694541920 140217463273840 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12828] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12828/stat : 12828 (java) S 12807 12810 11744 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 20 0 84825670 26729906176 7705 33554432000 4194304 4196468 140724694541920 140217394653424 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12829] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12829/stat : 12829 (java) S 12807 12810 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84825670 26729906176 7705 33554432000 4194304 4196468 140724694541920 140217393601376 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12830] ppid=12807 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/12810/task/12830/stat : 12830 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825671 26729906176 7705 33554432000 4194304 4196468 140724694541920 140217392548656 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 30028 KiB

[startup+0.210202 s]*
/proc/loadavg: 8.74 8.66 8.55 3/199 12830
/proc/meminfo: memFree=21829456/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=26103424 memory=43616 CPUtime=0.3 cores=0-7
/proc/12810/stat : 12810 (java) S 12807 12810 11744 0 -1 1077944320 10512 0 0 0 29 1 0 0 20 0 20 0 84825664 26729906176 10904 33554432000 4194304 4196468 140724694541920 140724694524464 140218748223223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
/proc/12810/statm: 6525856 10904 3359 1 0 6487932 0
[pid=12810/tid=12812] ppid=12807 vsize=26103424 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/12810/task/12812/stat : 12812 (java) R 12807 12810 11744 0 -1 4202560 8290 0 0 0 19 1 0 0 20 0 20 0 84825665 26729906176 10904 33554432000 4194304 4196468 140724694541920 140218752447904 140218351093153 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12813] ppid=12807 vsize=26103424 memory=12881 CPUtime=0 cores=0-7
/proc/12810/task/12813/stat : 12813 (java) S 12807 12810 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 10904 33554432000 4194304 4196468 140724694541920 140218670803856 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12814] ppid=12807 vsize=26103424 memory=139932770895609 CPUtime=0 cores=0-7
/proc/12810/task/12814/stat : 12814 (java) S 12807 12810 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 10904 33554432000 4194304 4196468 140724694541920 140218305895184 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12815] ppid=12807 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/12810/task/12815/stat : 12815 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 10904 33554432000 4194304 4196468 140724694541920 140218304842896 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12816] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12816/stat : 12816 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 10904 33554432000 4194304 4196468 140724694541920 140218303790096 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12817] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12817/stat : 12817 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 10904 33554432000 4194304 4196468 140724694541920 140218302736784 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12818] ppid=12807 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/12810/task/12818/stat : 12818 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 10904 33554432000 4194304 4196468 140724694541920 140218301683984 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12819] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12819/stat : 12819 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 10904 33554432000 4194304 4196468 140724694541920 140218300631696 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12820] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12820/stat : 12820 (java) S 12807 12810 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 10904 33554432000 4194304 4196468 140724694541920 140218299578896 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12821] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12821/stat : 12821 (java) S 12807 12810 11744 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 84825667 26729906176 10904 33554432000 4194304 4196468 140724694541920 140217469590128 140218748234370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12822] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12822/stat : 12822 (java) S 12807 12810 11744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 84825667 26729906176 10904 33554432000 4194304 4196468 140724694541920 140217468536096 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12823] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12823/stat : 12823 (java) S 12807 12810 11744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 84825667 26729906176 10904 33554432000 4194304 4196468 140724694541920 140217467483760 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12824] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12824/stat : 12824 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825670 26729906176 10904 33554432000 4194304 4196468 140724694541920 140217466432080 140218748241819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12825] ppid=12807 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/12810/task/12825/stat : 12825 (java) S 12807 12810 11744 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 20 0 84825670 26729906176 10904 33554432000 4194304 4196468 140724694541920 140217465378928 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12826] ppid=12807 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/12810/task/12826/stat : 12826 (java) S 12807 12810 11744 0 -1 1077944384 206 0 0 0 1 0 0 0 20 0 20 0 84825670 26729906176 10904 33554432000 4194304 4196468 140724694541920 140217464326128 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12827] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12827/stat : 12827 (java) S 12807 12810 11744 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84825670 26729906176 10904 33554432000 4194304 4196468 140724694541920 140217463273840 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12828] ppid=12807 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/12810/task/12828/stat : 12828 (java) R 12807 12810 11744 0 -1 4202560 283 0 0 0 6 0 0 0 20 0 20 0 84825670 26729906176 10904 33554432000 4194304 4196468 140724694541920 140217394649152 140218740460350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12829] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12829/stat : 12829 (java) S 12807 12810 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84825670 26729906176 10904 33554432000 4194304 4196468 140724694541920 140217393601376 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12830] ppid=12807 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/12810/task/12830/stat : 12830 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825671 26729906176 10904 33554432000 4194304 4196468 140724694541920 140217392548656 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 43616 KiB

[startup+0.310495 s]*
/proc/loadavg: 8.74 8.66 8.55 3/199 12830
/proc/meminfo: memFree=21826044/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=26103424 memory=47172 CPUtime=0.43 cores=0-7
/proc/12810/stat : 12810 (java) S 12807 12810 11744 0 -1 1077944320 10919 0 0 0 41 2 0 0 20 0 20 0 84825664 26729906176 11793 33554432000 4194304 4196468 140724694541920 140724694524464 140218748223223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
/proc/12810/statm: 6525856 11793 3404 1 0 6487932 0
[pid=12810/tid=12812] ppid=12807 vsize=26103424 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/12810/task/12812/stat : 12812 (java) R 12807 12810 11744 0 -1 4202560 8625 0 0 0 29 1 0 0 20 0 20 0 84825665 26729906176 11793 33554432000 4194304 4196468 140724694541920 140218752384960 140218729786775 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12813] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12813/stat : 12813 (java) S 12807 12810 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 11793 33554432000 4194304 4196468 140724694541920 140218670803856 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12814] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12814/stat : 12814 (java) S 12807 12810 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 11793 33554432000 4194304 4196468 140724694541920 140218305895184 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12815] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12815/stat : 12815 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 11793 33554432000 4194304 4196468 140724694541920 140218304842896 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12816] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12816/stat : 12816 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 11793 33554432000 4194304 4196468 140724694541920 140218303790096 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12817] ppid=12807 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/12810/task/12817/stat : 12817 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 11793 33554432000 4194304 4196468 140724694541920 140218302736784 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12818] ppid=12807 vsize=26103424 memory=139932651844527 CPUtime=0 cores=0-7
/proc/12810/task/12818/stat : 12818 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 11793 33554432000 4194304 4196468 140724694541920 140218301683984 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12819] ppid=12807 vsize=26103424 memory=139932651846832 CPUtime=0 cores=0-7
/proc/12810/task/12819/stat : 12819 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 11793 33554432000 4194304 4196468 140724694541920 140218300631696 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12820] ppid=12807 vsize=26103424 memory=139932651849136 CPUtime=0 cores=0-7
/proc/12810/task/12820/stat : 12820 (java) S 12807 12810 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84825665 26729906176 11793 33554432000 4194304 4196468 140724694541920 140218299578896 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12821] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12821/stat : 12821 (java) S 12807 12810 11744 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 84825667 26729906176 11793 33554432000 4194304 4196468 140724694541920 140217469590128 140218748234370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12822] ppid=12807 vsize=26103424 memory=279865303705232 CPUtime=0 cores=0-7
/proc/12810/task/12822/stat : 12822 (java) S 12807 12810 11744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 84825667 26729906176 11793 33554432000 4194304 4196468 140724694541920 140217468536096 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12823] ppid=12807 vsize=26103424 memory=279865303712144 CPUtime=0 cores=0-7
/proc/12810/task/12823/stat : 12823 (java) S 12807 12810 11744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 84825667 26729906176 11793 33554432000 4194304 4196468 140724694541920 140217467483760 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12824] ppid=12807 vsize=26103424 memory=279865303653424 CPUtime=0 cores=0-7
/proc/12810/task/12824/stat : 12824 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825670 26729906176 11793 33554432000 4194304 4196468 140724694541920 140217466432080 140218748241819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12825] ppid=12807 vsize=26103424 memory=279865303725968 CPUtime=0.01 cores=0-7
/proc/12810/task/12825/stat : 12825 (java) S 12807 12810 11744 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 20 0 84825670 26729906176 11793 33554432000 4194304 4196468 140724694541920 140217465378928 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12826] ppid=12807 vsize=26103424 memory=279865303732880 CPUtime=0.01 cores=0-7
/proc/12810/task/12826/stat : 12826 (java) S 12807 12810 11744 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 20 0 84825670 26729906176 11793 33554432000 4194304 4196468 140724694541920 140217464326128 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12827] ppid=12807 vsize=26103424 memory=279865303730576 CPUtime=0 cores=0-7
/proc/12810/task/12827/stat : 12827 (java) S 12807 12810 11744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 84825670 26729906176 11793 33554432000 4194304 4196468 140724694541920 140217463273840 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12828] ppid=12807 vsize=26103424 memory=279865303747184 CPUtime=0.07 cores=0-7
/proc/12810/task/12828/stat : 12828 (java) S 12807 12810 11744 0 -1 1077944384 289 0 0 0 7 0 0 0 20 0 20 0 84825670 26729906176 11793 33554432000 4194304 4196468 140724694541920 140217394653424 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12829] ppid=12807 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12829/stat : 12829 (java) S 12807 12810 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84825670 26729906176 11793 33554432000 4194304 4196468 140724694541920 140217393601376 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12830] ppid=12807 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/12810/task/12830/stat : 12830 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825671 26729906176 11793 33554432000 4194304 4196468 140724694541920 140217392548656 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 47172 KiB

[startup+0.700905 s]
/proc/loadavg: 8.74 8.66 8.55 2/199 12830
/proc/meminfo: memFree=21802232/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=26105492 memory=87384 CPUtime=0.99 cores=0-7
/proc/12810/stat : 12810 (java) S 12807 12810 11744 0 -1 1077944320 17827 0 0 0 95 4 0 0 20 0 20 0 84825664 26732023808 21846 33554432000 4194304 4196468 140724694541920 140724694524464 140218748223223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
/proc/12810/statm: 6526373 21846 3482 1 0 6488444 0
[pid=12810/tid=12812] ppid=12807 vsize=26105492 memory=0 CPUtime=0.67 cores=0-7
/proc/12810/task/12812/stat : 12812 (java) R 12807 12810 11744 0 -1 4202560 15070 0 0 0 65 2 0 0 20 0 20 0 84825665 26732023808 21846 33554432000 4194304 4196468 140724694541920 140218752447392 140218732303740 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12813] ppid=12807 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12813/stat : 12813 (java) S 12807 12810 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84825665 26732023808 21846 33554432000 4194304 4196468 140724694541920 140218670803856 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12814] ppid=12807 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12814/stat : 12814 (java) S 12807 12810 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84825665 26732023808 21846 33554432000 4194304 4196468 140724694541920 140218305895184 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12815] ppid=12807 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/12810/task/12815/stat : 12815 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825665 26732023808 21846 33554432000 4194304 4196468 140724694541920 140218304842896 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12816] ppid=12807 vsize=26105492 memory=1200 CPUtime=0 cores=0-7
/proc/12810/task/12816/stat : 12816 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825665 26732023808 21846 33554432000 4194304 4196468 140724694541920 140218303790096 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12817] ppid=12807 vsize=26105492 memory=10608 CPUtime=0 cores=0-7
/proc/12810/task/12817/stat : 12817 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825665 26732023808 21846 33554432000 4194304 4196468 140724694541920 140218302736784 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12818] ppid=12807 vsize=26105492 memory=4616 CPUtime=0 cores=0-7
/proc/12810/task/12818/stat : 12818 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825665 26732023808 21846 33554432000 4194304 4196468 140724694541920 140218301683984 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12819] ppid=12807 vsize=26105492 memory=1428 CPUtime=0 cores=0-7
/proc/12810/task/12819/stat : 12819 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84825665 26732023808 21846 33554432000 4194304 4196468 140724694541920 140218300631696 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12820] ppid=12807 vsize=26105492 memory=15876 CPUtime=0 cores=0-7
/proc/12810/task/12820/stat : 12820 (java) S 12807 12810 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84825665 26732023808 21846 33554432000 4194304 4196468 140724694541920 140218299578896 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12821] ppid=12807 vsize=26105492 memory=16412 CPUtime=0 cores=0-7
/proc/12810/task/12821/stat : 12821 (java) S 12807 12810 11744 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 84825667 26732023808 21846 33554432000 4194304 4196468 140724694541920 140217469590128 140218748234370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0

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

/proc/12810/task/12818/stat : 12818 (java) S 12807 12810 11744 0 -1 1077944384 83400 0 0 0 759 42 0 0 20 0 38 0 84825665 27973648384 169015 33554432000 4194304 4196468 140724694541920 140218301683984 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12819] ppid=12807 vsize=27318016 memory=1700 CPUtime=7.99 cores=0-7
/proc/12810/task/12819/stat : 12819 (java) S 12807 12810 11744 0 -1 1077944384 95719 0 0 0 758 41 0 0 20 0 38 0 84825665 27973648384 169015 33554432000 4194304 4196468 140724694541920 140218300631696 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12820] ppid=12807 vsize=27318016 memory=796 CPUtime=8.03 cores=0-7
/proc/12810/task/12820/stat : 12820 (java) S 12807 12810 11744 0 -1 1077944384 87477 0 0 0 763 40 0 0 20 0 38 0 84825665 27973648384 169015 33554432000 4194304 4196468 140724694541920 140218299578896 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12821] ppid=12807 vsize=27318016 memory=5408 CPUtime=8.66 cores=0-7
/proc/12810/task/12821/stat : 12821 (java) S 12807 12810 11744 0 -1 1077944384 136575 0 0 0 754 112 0 0 20 0 38 0 84825667 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217469590128 140218748234370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12822] ppid=12807 vsize=27318016 memory=1008 CPUtime=0 cores=0-7
/proc/12810/task/12822/stat : 12822 (java) S 12807 12810 11744 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 38 0 84825667 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217468536160 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12823] ppid=12807 vsize=27318016 memory=9992 CPUtime=0 cores=0-7
/proc/12810/task/12823/stat : 12823 (java) S 12807 12810 11744 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 38 0 84825667 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217467483776 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12824] ppid=12807 vsize=27318016 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/12810/task/12824/stat : 12824 (java) S 12807 12810 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 38 0 84825670 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217466432080 140218748241819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12825] ppid=12807 vsize=27318016 memory=840 CPUtime=1.56 cores=0-7
/proc/12810/task/12825/stat : 12825 (java) S 12807 12810 11744 0 -1 1077944384 7985 0 0 0 152 4 0 0 20 0 38 0 84825670 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217465378928 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12826] ppid=12807 vsize=27318016 memory=688884 CPUtime=1.48 cores=0-7
/proc/12810/task/12826/stat : 12826 (java) S 12807 12810 11744 0 -1 1077944384 6433 0 0 0 146 2 0 0 20 0 38 0 84825670 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217464326128 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12827] ppid=12807 vsize=27318016 memory=796 CPUtime=1.48 cores=0-7
/proc/12810/task/12827/stat : 12827 (java) S 12807 12810 11744 0 -1 1077944384 5212 0 0 0 146 2 0 0 20 0 38 0 84825670 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217463273840 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12828] ppid=12807 vsize=27318016 memory=5408 CPUtime=0.94 cores=0-7
/proc/12810/task/12828/stat : 12828 (java) S 12807 12810 11744 0 -1 1077944384 11881 0 0 0 90 4 0 0 20 0 38 0 84825670 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217394653424 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12829] ppid=12807 vsize=27318016 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/12810/task/12829/stat : 12829 (java) S 12807 12810 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 38 0 84825670 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217393601376 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12830] ppid=12807 vsize=27318016 memory=5 CPUtime=0.76 cores=0-7
/proc/12810/task/12830/stat : 12830 (java) S 12807 12810 11744 0 -1 1077944384 7442 0 0 0 30 46 0 0 20 0 38 0 84825671 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217392548656 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12831] ppid=12807 vsize=27318016 memory=243918 CPUtime=0 cores=0-7
/proc/12810/task/12831/stat : 12831 (java) S 12807 12810 11744 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 38 0 84826044 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217379104128 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12832] ppid=12807 vsize=27318016 memory=681188 CPUtime=1.89 cores=0-7
/proc/12810/task/12832/stat : 12832 (java) R 12807 12810 11744 0 -1 1077944384 18005 0 0 0 63 126 0 0 20 0 38 0 84826065 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217378051616 140218748234370 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12833] ppid=12807 vsize=27318016 memory=677084 CPUtime=2479.73 cores=0-7
/proc/12810/task/12833/stat : 12833 (java) R 12807 12810 11744 0 -1 4202560 138925 0 0 0 247925 48 0 0 20 0 38 0 84826082 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217374893056 140218361749260 0 4 0 16800975 0 0 0 -1 4 0 0 24 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12834] ppid=12807 vsize=27318016 memory=1796 CPUtime=0.06 cores=0-7
/proc/12810/task/12834/stat : 12834 (java) S 12807 12810 11744 0 -1 1077944384 94 0 0 0 6 0 0 0 20 0 38 0 84826083 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217373848224 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12835] ppid=12807 vsize=27318016 memory=636 CPUtime=0.09 cores=0-7
/proc/12810/task/12835/stat : 12835 (java) S 12807 12810 11744 0 -1 1077944384 92 0 0 0 9 0 0 0 20 0 38 0 84826083 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217372795936 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12836] ppid=12807 vsize=27318016 memory=960 CPUtime=2480.37 cores=0-7
/proc/12810/task/12836/stat : 12836 (java) R 12807 12810 11744 0 -1 4202560 125269 0 0 0 247990 47 0 0 20 0 38 0 84826089 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217369641264 140218357676044 0 4 0 16800975 0 0 0 -1 7 0 0 21 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12837] ppid=12807 vsize=27318016 memory=1232 CPUtime=2478.95 cores=0-7
/proc/12810/task/12837/stat : 12837 (java) R 12807 12810 11744 0 -1 4202560 140478 0 0 0 247846 49 0 0 20 0 38 0 84826090 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217368585752 140218362396599 0 4 0 16800975 0 0 0 -1 3 0 0 24 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12838] ppid=12807 vsize=27318016 memory=2344 CPUtime=2477.5 cores=0-7
/proc/12810/task/12838/stat : 12838 (java) R 12807 12810 11744 0 -1 4202560 157357 0 0 0 247702 48 0 0 20 0 38 0 84826090 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217367533248 140218362159897 0 4 0 16800975 0 0 0 -1 6 0 0 22 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12839] ppid=12807 vsize=27318016 memory=4128 CPUtime=0.05 cores=0-7
/proc/12810/task/12839/stat : 12839 (java) S 12807 12810 11744 0 -1 1077944384 40 0 0 0 5 0 0 0 20 0 38 0 84826090 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217366488608 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12840] ppid=12807 vsize=27318016 memory=24840 CPUtime=2477.96 cores=0-7
/proc/12810/task/12840/stat : 12840 (java) R 12807 12810 11744 0 -1 4202560 138562 0 0 0 247751 45 0 0 20 0 38 0 84826090 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217365428376 140218363106379 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12841] ppid=12807 vsize=27318016 memory=1292 CPUtime=2480.52 cores=0-7
/proc/12810/task/12841/stat : 12841 (java) R 12807 12810 11744 0 -1 4202560 131504 0 0 0 248000 52 0 0 20 0 38 0 84826090 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217364375288 140218362823577 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12842] ppid=12807 vsize=27318016 memory=636 CPUtime=2480.24 cores=0-7
/proc/12810/task/12842/stat : 12842 (java) R 12807 12810 11744 0 -1 4202560 143702 0 0 0 247975 49 0 0 20 0 38 0 84826090 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217363325392 140218362170165 0 4 0 16800975 0 0 0 -1 0 0 0 22 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12843] ppid=12807 vsize=27318016 memory=960 CPUtime=0 cores=0-7
/proc/12810/task/12843/stat : 12843 (java) S 12807 12810 11744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 84826090 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217362277408 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12844] ppid=12807 vsize=27318016 memory=1232 CPUtime=2479.24 cores=0-7
/proc/12810/task/12844/stat : 12844 (java) R 12807 12810 11744 0 -1 4202560 133445 0 0 0 247881 43 0 0 20 0 38 0 84826090 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217361219728 140218362396729 0 4 0 16800975 0 0 0 -1 5 0 0 23 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12845] ppid=12807 vsize=27318016 memory=2344 CPUtime=0 cores=0-7
/proc/12810/task/12845/stat : 12845 (java) S 12807 12810 11744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 84826104 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217360172320 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12846] ppid=12807 vsize=27318016 memory=932 CPUtime=0 cores=0-7
/proc/12810/task/12846/stat : 12846 (java) S 12807 12810 11744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 84826104 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217359119520 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12847] ppid=12807 vsize=27318016 memory=1580 CPUtime=0 cores=0-7
/proc/12810/task/12847/stat : 12847 (java) S 12807 12810 11744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 84826104 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217358067232 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12848] ppid=12807 vsize=27318016 memory=2240 CPUtime=0 cores=0-7
/proc/12810/task/12848/stat : 12848 (java) S 12807 12810 11744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 84826104 27973648384 169015 33554432000 4194304 4196468 140724694541920 140217357014432 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
Current children cumulated CPU time: 19920 s
Current children cumulated vsize: 27318016 KiB
Current children cumulated memory: 676060 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.26 s]
# the end of solver process 12810 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19913.4 s, system=8.44222 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2520.2 s]
/proc/loadavg: 8.57 8.68 8.70 10/217 12905
/proc/meminfo: memFree=21188984/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=27983656 memory=677272 CPUtime=19921.5 cores=0-7
/proc/12810/stat : 12810 (java) S 12807 12810 11744 0 -1 1077944320 2036753 0 0 0 1991305 843 0 0 20 0 48 0 84825664 28655263744 169318 33554432000 4194304 4196468 140724694541920 140724694524464 140218748223223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
/proc/12810/statm: 6995914 169318 3611 1 0 6957464 0
[pid=12810/tid=12812] ppid=12807 vsize=27983656 memory=2200 CPUtime=4.13 cores=0-7
/proc/12810/task/12812/stat : 12812 (java) S 12807 12810 11744 0 -1 1077944384 22477 0 0 0 407 6 0 0 20 0 48 0 84825665 28655263744 169318 33554432000 4194304 4196468 140724694541920 140218752460688 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12813] ppid=12807 vsize=27983656 memory=7528 CPUtime=8.04 cores=0-7
/proc/12810/task/12813/stat : 12813 (java) S 12807 12810 11744 0 -1 1077944384 88495 0 0 0 762 42 0 0 20 0 48 0 84825665 28655263744 169318 33554432000 4194304 4196468 140724694541920 140218670803856 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12814] ppid=12807 vsize=27983656 memory=840 CPUtime=8.02 cores=0-7
/proc/12810/task/12814/stat : 12814 (java) S 12807 12810 11744 0 -1 1077944384 88179 0 0 0 761 41 0 0 20 0 48 0 84825665 28655263744 169318 33554432000 4194304 4196468 140724694541920 140218305895184 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12815] ppid=12807 vsize=27983656 memory=1696 CPUtime=8.03 cores=0-7
/proc/12810/task/12815/stat : 12815 (java) S 12807 12810 11744 0 -1 1077944384 81518 0 0 0 761 42 0 0 20 0 48 0 84825665 28655263744 169318 33554432000 4194304 4196468 140724694541920 140218304842896 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12816] ppid=12807 vsize=27983656 memory=920 CPUtime=8.05 cores=0-7
/proc/12810/task/12816/stat : 12816 (java) S 12807 12810 11744 0 -1 1077944384 96097 0 0 0 766 39 0 0 20 0 48 0 84825665 28655263744 169318 33554432000 4194304 4196468 140724694541920 140218303790096 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12817] ppid=12807 vsize=27983656 memory=4144 CPUtime=8.01 cores=0-7
/proc/12810/task/12817/stat : 12817 (java) S 12807 12810 11744 0 -1 1077944384 86167 0 0 0 764 37 0 0 20 0 48 0 84825665 28655263744 169318 33554432000 4194304 4196468 140724694541920 140218302736784 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12818] ppid=12807 vsize=27983656 memory=2240 CPUtime=8.01 cores=0-7
/proc/12810/task/12818/stat : 12818 (java) S 12807 12810 11744 0 -1 1077944384 83400 0 0 0 759 42 0 0 20 0 48 0 84825665 28655263744 169318 33554432000 4194304 4196468 140724694541920 140218301683984 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12819] ppid=12807 vsize=27983656 memory=288230574492221466 CPUtime=7.99 cores=0-7
/proc/12810/task/12819/stat : 12819 (java) S 12807 12810 11744 0 -1 1077944384 95719 0 0 0 758 41 0 0 20 0 48 0 84825665 28655263744 169318 33554432000 4194304 4196468 140724694541920 140218300631696 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12820] ppid=12807 vsize=27983656 memory=288230621803970871 CPUtime=8.03 cores=0-7
/proc/12810/task/12820/stat : 12820 (java) S 12807 12810 11744 0 -1 1077944384 87477 0 0 0 763 40 0 0 20 0 48 0 84825665 28655263744 169318 33554432000 4194304 4196468 140724694541920 140218299578896 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12821] ppid=12807 vsize=27983656 memory=14134428972616243 CPUtime=8.66 cores=0-7
/proc/12810/task/12821/stat : 12821 (java) S 12807 12810 11744 0 -1 1077944384 136579 0 0 0 754 112 0 0 20 0 48 0 84825667 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217469590128 140218748234370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12822] ppid=12807 vsize=27983656 memory=677084 CPUtime=0 cores=0-7
/proc/12810/task/12822/stat : 12822 (java) S 12807 12810 11744 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 48 0 84825667 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217468536160 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12823] ppid=12807 vsize=27983656 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/12810/task/12823/stat : 12823 (java) S 12807 12810 11744 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 48 0 84825667 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217467483776 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12824] ppid=12807 vsize=27983656 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12810/task/12824/stat : 12824 (java) S 12807 12810 11744 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 48 0 84825670 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217466432080 140218748241819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12825] ppid=12807 vsize=27983656 memory=932 CPUtime=1.56 cores=0-7
/proc/12810/task/12825/stat : 12825 (java) S 12807 12810 11744 0 -1 1077944384 7985 0 0 0 152 4 0 0 20 0 48 0 84825670 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217465378928 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12826] ppid=12807 vsize=27983656 memory=1580 CPUtime=1.48 cores=0-7
/proc/12810/task/12826/stat : 12826 (java) S 12807 12810 11744 0 -1 1077944384 6613 0 0 0 146 2 0 0 20 0 48 0 84825670 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217464326128 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12827] ppid=12807 vsize=27983656 memory=2240 CPUtime=1.48 cores=0-7
/proc/12810/task/12827/stat : 12827 (java) S 12807 12810 11744 0 -1 1077944384 5212 0 0 0 146 2 0 0 20 0 48 0 84825670 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217463273840 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12828] ppid=12807 vsize=27983656 memory=4124 CPUtime=0.96 cores=0-7
/proc/12810/task/12828/stat : 12828 (java) S 12807 12810 11744 0 -1 1077944384 12285 0 0 0 92 4 0 0 20 0 48 0 84825670 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217394652992 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12829] ppid=12807 vsize=27983656 memory=2200 CPUtime=0 cores=0-7
/proc/12810/task/12829/stat : 12829 (java) S 12807 12810 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 84825670 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217393601376 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12830] ppid=12807 vsize=27983656 memory=7528 CPUtime=0.76 cores=0-7
/proc/12810/task/12830/stat : 12830 (java) S 12807 12810 11744 0 -1 1077944384 7442 0 0 0 30 46 0 0 20 0 48 0 84825671 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217392548656 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12831] ppid=12807 vsize=27983656 memory=840 CPUtime=0 cores=0-7
/proc/12810/task/12831/stat : 12831 (java) S 12807 12810 11744 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 48 0 84826044 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217379104128 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12832] ppid=12807 vsize=27983656 memory=1696 CPUtime=1.89 cores=0-7
/proc/12810/task/12832/stat : 12832 (java) S 12807 12810 11744 0 -1 1077944384 18029 0 0 0 63 126 0 0 20 0 48 0 84826065 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217378051504 140218748234370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12833] ppid=12807 vsize=27983656 memory=6791534058613427641 CPUtime=2479.9 cores=0-7
/proc/12810/task/12833/stat : 12833 (java) R 12807 12810 11744 0 -1 1077944384 138945 0 0 0 247942 48 0 0 20 0 48 0 84826082 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217374893264 140218748233429 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12834] ppid=12807 vsize=27983656 memory=932 CPUtime=0.07 cores=0-7
/proc/12810/task/12834/stat : 12834 (java) S 12807 12810 11744 0 -1 1077944384 378 0 0 0 7 0 0 0 20 0 48 0 84826083 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217373848240 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12835] ppid=12807 vsize=27983656 memory=1580 CPUtime=0.09 cores=0-7
/proc/12810/task/12835/stat : 12835 (java) S 12807 12810 11744 0 -1 1077944384 162 0 0 0 9 0 0 0 20 0 48 0 84826083 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217372794672 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12836] ppid=12807 vsize=27983656 memory=2240 CPUtime=2480.55 cores=0-7
/proc/12810/task/12836/stat : 12836 (java) R 12807 12810 11744 0 -1 4202560 125288 0 0 0 248008 47 0 0 20 0 48 0 84826089 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217369638336 140218362399264 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12837] ppid=12807 vsize=27983656 memory=4124 CPUtime=2479.12 cores=0-7
/proc/12810/task/12837/stat : 12837 (java) R 12807 12810 11744 0 -1 4202560 140498 0 0 0 247863 49 0 0 20 0 48 0 84826090 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217368586048 140218357676576 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12838] ppid=12807 vsize=27983656 memory=2200 CPUtime=2477.68 cores=0-7
/proc/12810/task/12838/stat : 12838 (java) S 12807 12810 11744 0 -1 1077944384 157381 0 0 0 247720 48 0 0 20 0 48 0 84826090 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217367532832 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12839] ppid=12807 vsize=27983656 memory=33 CPUtime=0.05 cores=0-7
/proc/12810/task/12839/stat : 12839 (java) S 12807 12810 11744 0 -1 1077944384 136 0 0 0 5 0 0 0 20 0 48 0 84826090 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217366488624 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12840] ppid=12807 vsize=27983656 memory=4498404016631593320 CPUtime=2478.14 cores=0-7
/proc/12810/task/12840/stat : 12840 (java) R 12807 12810 11744 0 -1 4202560 138581 0 0 0 247769 45 0 0 20 0 48 0 84826090 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217365428256 140218362235767 0 4 0 16800975 0 0 0 -1 0 0 0 23 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12841] ppid=12807 vsize=27983656 memory=-8961168018402230209 CPUtime=2480.67 cores=0-7
/proc/12810/task/12841/stat : 12841 (java) S 12807 12810 11744 0 -1 1077944384 131523 0 0 0 248015 52 0 0 20 0 48 0 84826090 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217364374432 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12842] ppid=12807 vsize=27983656 memory=-8341965534556230502 CPUtime=2480.41 cores=0-7
/proc/12810/task/12842/stat : 12842 (java) R 12807 12810 11744 0 -1 4202560 143722 0 0 0 247992 49 0 0 20 0 48 0 84826090 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217363322352 140218362395547 0 4 0 16800975 0 0 0 -1 2 0 0 22 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12843] ppid=12807 vsize=27983656 memory=-8707038579349950309 CPUtime=0 cores=0-7
/proc/12810/task/12843/stat : 12843 (java) S 12807 12810 11744 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 48 0 84826090 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217362273120 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12844] ppid=12807 vsize=27983656 memory=-8412652177879177843 CPUtime=2479.41 cores=0-7
/proc/12810/task/12844/stat : 12844 (java) S 12807 12810 11744 0 -1 1077944384 133464 0 0 0 247898 43 0 0 20 0 48 0 84826090 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217361217056 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12845] ppid=12807 vsize=27983656 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/12810/task/12845/stat : 12845 (java) S 12807 12810 11744 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 48 0 84826104 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217360171056 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12846] ppid=12807 vsize=27983656 memory=315815169521615159 CPUtime=0 cores=0-7
/proc/12810/task/12846/stat : 12846 (java) S 12807 12810 11744 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 48 0 84826104 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217359119536 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12847] ppid=12807 vsize=27983656 memory=14134428972616243 CPUtime=0 cores=0-7
/proc/12810/task/12847/stat : 12847 (java) S 12807 12810 11744 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 48 0 84826104 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217358064656 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
[pid=12810/tid=12848] ppid=12807 vsize=27983656 memory=139934329471572 CPUtime=0 cores=0-7
/proc/12810/task/12848/stat : 12848 (java) S 12807 12810 11744 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 48 0 84826104 28655263744 169318 33554432000 4194304 4196468 140724694541920 140217357014448 140218748233429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36425728 140724694545485 140724694545669 140724694545669 140724694548431 0
Current children cumulated CPU time: 19921.5 s
Current children cumulated vsize: 27983656 KiB
Current children cumulated memory: 677272 KiB

Child status: 143
Real time (s): 2520.26
CPU time (s): 19921.8
CPU user time (s): 19913.4
CPU system time (s): 8.44222
CPU usage (%): 790.469
Max. virtual memory (cumulated for all children) (KiB): 27983656
Max. memory (cumulated for all children) (KiB): 1527056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19913.4
system time used= 8.44222
maximum resident set size= 1529112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2037062
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 790693
involuntary context switches= 431888


# summary of solver processes directly reported to runsolver:
#   pid: 12810
#   total CPU time (s): 19921.8
#   total CPU user time (s): 19913.4
#   total CPU system time (s): 8.44222

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.3964 second user time and 33.1712 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-27 08:23:45
IDJOB=4291276
IDBENCH=141558
IDSOLVER=2745
FILE ID=node139/4291276-1532672625
RUNJOBID= node139-1532664287-11771
PBS_JOBID= 21022231
Free space on /tmp= 38720 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
BENCH NAME= XCSP18/MagicHexagon/MagicHexagon-07-0002_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291276-1532672625/watcher-4291276-1532672625 -o /tmp/evaluation-result-4291276-1532672625/solver-4291276-1532672625 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532664287-11771 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1486243491 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291276-1532672625.xml

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

MD5SUM BENCH= d84d4d85366018deec6903098e084e8b
RANDOM SEED=1486243491

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.80
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.80
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.80
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.80
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:        21859892 kB
MemAvailable:   31930628 kB
Buffers:          209996 kB
Cached:          9977988 kB
SwapCached:            0 kB
Active:          3060856 kB
Inactive:        7179484 kB
Active(anon):       3416 kB
Inactive(anon):    77004 kB
Active(file):    3057440 kB
Inactive(file):  7102480 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35760 kB
Writeback:             0 kB
AnonPages:         52480 kB
Mapped:            40932 kB
Shmem:             25228 kB
Slab:             366040 kB
SReclaimable:     339276 kB
SUnreclaim:        26764 kB
KernelStack:        3952 kB
PageTables:         4584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 38684 MiB
End job on node139 at 2018-07-27 09:05:45