Trace number 4309180

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-08-14? (TO) 19943.5 2520.27

General information on the benchmark

NamePseudoBoolean-dec/
Pb-fpga25-25-sat_c18.xml
MD5SUMac52d6c4be7f254c8b8f2a5f4d50567d
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.4041
Satisfiable
(Un)Satisfiability was proved
Number of variables938
Number of constraints700
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":938}]
Minimum variable degree3
Maximum variable degree26
Distribution of variable degrees[{"degree":3,"count":625},{"degree":26,"count":313}]
Minimum constraint arity12
Maximum constraint arity25
Distribution of constraint arities[{"arity":12,"count":12},{"arity":13,"count":313},{"arity":14,"count":325},{"arity":25,"count":50}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":700}]
Optimization problemNO
Type of objective

Solver Data 

0.66/0.55	c version: 2018-08-14
0.66/0.55	c seed: 1771575294
0.66/0.55	c timeout: 20160
0.66/0.56	c memlimit: 22000
0.66/0.56	c nbcore: 8
0.66/0.58	c Parsing instance...
1.75/1.06	c Parsing done, starting search...
19941.76/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 (9777 MiB free)
  memory of node 1: 16384 MiB (12830 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309180-1534368453/watcher-4309180-1534368453 -o /tmp/evaluation-result-4309180-1534368453/solver-4309180-1534368453 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1534363410-29190 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1771575294 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309180-1534368453.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=29519, runsolver pid=29516

[startup+0.100129 s]*
/proc/loadavg: 8.96 8.20 5.73 3/198 29539
/proc/meminfo: memFree=23136052/32770624 swapFree=67108688/67108860
[pid=29519] ppid=29516 vsize=26103420 memory=28852 CPUtime=0.11 cores=0-7
/proc/29519/stat : 29519 (java) S 29516 29519 29163 0 -1 1077944320 7124 0 0 0 10 1 0 0 20 0 20 0 254408212 26729902080 7147 33554432000 4194304 4196468 140725937948208 140725937930752 140705103974135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
/proc/29519/statm: 6525855 7147 3151 1 0 6487932 0
[pid=29519/tid=29521] ppid=29516 vsize=26103420 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/29519/task/29521/stat : 29521 (java) R 29516 29519 29163 0 -1 4202560 5171 0 0 0 8 0 0 0 20 0 20 0 254408212 26729902080 7213 33554432000 4194304 4196468 140725937948208 140705108199824 140705084249949 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29522] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29522/stat : 29522 (java) S 29516 29519 29163 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 7213 33554432000 4194304 4196468 140725937948208 140704661678352 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29523] ppid=29516 vsize=26103420 memory=140402594154112 CPUtime=0 cores=0-7
/proc/29519/task/29523/stat : 29523 (java) S 29516 29519 29163 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 7213 33554432000 4194304 4196468 140725937948208 140704660625808 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29524] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29524/stat : 29524 (java) S 29516 29519 29163 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 7213 33554432000 4194304 4196468 140725937948208 140704659573264 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29525] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29525/stat : 29525 (java) S 29516 29519 29163 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 7213 33554432000 4194304 4196468 140725937948208 140704658520720 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29526] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29526/stat : 29526 (java) S 29516 29519 29163 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 7213 33554432000 4194304 4196468 140725937948208 140704657468176 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29527] ppid=29516 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/29519/task/29527/stat : 29527 (java) S 29516 29519 29163 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 7213 33554432000 4194304 4196468 140725937948208 140704656415632 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29528] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29528/stat : 29528 (java) S 29516 29519 29163 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 7213 33554432000 4194304 4196468 140725937948208 140704655363088 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29529] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29529/stat : 29529 (java) S 29516 29519 29163 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 7279 33554432000 4194304 4196468 140725937948208 140704654310544 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29530] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29530/stat : 29530 (java) S 29516 29519 29163 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254408214 26729902080 7279 33554432000 4194304 4196468 140725937948208 140703644428272 140705103985282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29531] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29531/stat : 29531 (java) S 29516 29519 29163 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254408215 26729902080 7279 33554432000 4194304 4196468 140725937948208 140703643374496 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29532] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29532/stat : 29532 (java) S 29516 29519 29163 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254408215 26729902080 7279 33554432000 4194304 4196468 140725937948208 140703642321904 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29533] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29533/stat : 29533 (java) S 29516 29519 29163 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254408217 26729902080 7279 33554432000 4194304 4196468 140725937948208 140703641270480 140705103992731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29534] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29534/stat : 29534 (java) S 29516 29519 29163 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 254408217 26729902080 7279 33554432000 4194304 4196468 140725937948208 140703640218096 140705103985282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29535] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29535/stat : 29535 (java) S 29516 29519 29163 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254408217 26729902080 7279 33554432000 4194304 4196468 140725937948208 140703639165552 140705103985282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29536] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29536/stat : 29536 (java) S 29516 29519 29163 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254408217 26729902080 7279 33554432000 4194304 4196468 140725937948208 140703638113008 140705103985282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29537] ppid=29516 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/29519/task/29537/stat : 29537 (java) S 29516 29519 29163 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 20 0 254408217 26729902080 7279 33554432000 4194304 4196468 140725937948208 140703637060464 140705103985282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29538] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29538/stat : 29538 (java) S 29516 29519 29163 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254408218 26729902080 7279 33554432000 4194304 4196468 140725937948208 140703636007136 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29539] ppid=29516 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/29519/task/29539/stat : 29539 (java) S 29516 29519 29163 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254408218 26729902080 7279 33554432000 4194304 4196468 140725937948208 140703634954672 140705103985282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 28852 KiB

[startup+0.209927 s]*
/proc/loadavg: 8.96 8.20 5.73 3/198 29539
/proc/meminfo: memFree=23121728/32770624 swapFree=67108688/67108860
[pid=29519] ppid=29516 vsize=26103420 memory=41432 CPUtime=0.29 cores=0-7
/proc/29519/stat : 29519 (java) S 29516 29519 29163 0 -1 1077944320 10607 0 0 0 27 2 0 0 20 0 20 0 254408212 26729902080 10358 33554432000 4194304 4196468 140725937948208 140725937930752 140705103974135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
/proc/29519/statm: 6525855 10358 3305 1 0 6487932 0
[pid=29519/tid=29521] ppid=29516 vsize=26103420 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/29519/task/29521/stat : 29521 (java) R 29516 29519 29163 0 -1 4202560 8220 0 0 0 18 1 0 0 20 0 20 0 254408212 26729902080 10358 33554432000 4194304 4196468 140725937948208 140705108192512 140705096211262 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29522] ppid=29516 vsize=26103420 memory=12944 CPUtime=0 cores=0-7
/proc/29519/task/29522/stat : 29522 (java) S 29516 29519 29163 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 10358 33554432000 4194304 4196468 140725937948208 140704661678352 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29523] ppid=29516 vsize=26103420 memory=288370778745865856 CPUtime=0 cores=0-7
/proc/29519/task/29523/stat : 29523 (java) S 29516 29519 29163 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 10358 33554432000 4194304 4196468 140725937948208 140704660625808 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29524] ppid=29516 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/29519/task/29524/stat : 29524 (java) S 29516 29519 29163 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 10358 33554432000 4194304 4196468 140725937948208 140704659573264 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29525] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29525/stat : 29525 (java) S 29516 29519 29163 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 10358 33554432000 4194304 4196468 140725937948208 140704658520720 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29526] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29526/stat : 29526 (java) S 29516 29519 29163 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 10358 33554432000 4194304 4196468 140725937948208 140704657468176 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29527] ppid=29516 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/29519/task/29527/stat : 29527 (java) S 29516 29519 29163 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 10358 33554432000 4194304 4196468 140725937948208 140704656415632 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29528] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29528/stat : 29528 (java) S 29516 29519 29163 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 10358 33554432000 4194304 4196468 140725937948208 140704655363088 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29529] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29529/stat : 29529 (java) S 29516 29519 29163 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 10358 33554432000 4194304 4196468 140725937948208 140704654310544 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29530] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29530/stat : 29530 (java) S 29516 29519 29163 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 254408214 26729902080 10358 33554432000 4194304 4196468 140725937948208 140703644428272 140705103985282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29531] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29531/stat : 29531 (java) S 29516 29519 29163 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254408215 26729902080 10358 33554432000 4194304 4196468 140725937948208 140703643374496 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29532] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29532/stat : 29532 (java) S 29516 29519 29163 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254408215 26729902080 10358 33554432000 4194304 4196468 140725937948208 140703642321904 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29533] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29533/stat : 29533 (java) S 29516 29519 29163 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254408217 26729902080 10358 33554432000 4194304 4196468 140725937948208 140703641270480 140705103992731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29534] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29534/stat : 29534 (java) S 29516 29519 29163 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 20 0 254408217 26729902080 10358 33554432000 4194304 4196468 140725937948208 140703640218096 140705103985282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29535] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29535/stat : 29535 (java) S 29516 29519 29163 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 254408217 26729902080 10358 33554432000 4194304 4196468 140725937948208 140703639165552 140705103985282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29536] ppid=29516 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/29519/task/29536/stat : 29536 (java) S 29516 29519 29163 0 -1 1077944384 182 0 0 0 1 0 0 0 20 0 20 0 254408217 26729902080 10358 33554432000 4194304 4196468 140725937948208 140703638113008 140705103985282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29537] ppid=29516 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7
/proc/29519/task/29537/stat : 29537 (java) R 29516 29519 29163 0 -1 4202560 432 0 0 0 6 0 0 0 20 0 20 0 254408217 26729902080 10358 33554432000 4194304 4196468 140725937948208 140703637056192 140705082958971 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29538] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29538/stat : 29538 (java) S 29516 29519 29163 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254408218 26729902080 10358 33554432000 4194304 4196468 140725937948208 140703636007136 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29539] ppid=29516 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/29519/task/29539/stat : 29539 (java) S 29516 29519 29163 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254408218 26729902080 10358 33554432000 4194304 4196468 140725937948208 140703634954672 140705103985282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 41432 KiB

[startup+0.309525 s]*
/proc/loadavg: 8.96 8.20 5.73 2/198 29539
/proc/meminfo: memFree=23118068/32770624 swapFree=67108688/67108860
[pid=29519] ppid=29516 vsize=26103420 memory=45760 CPUtime=0.42 cores=0-7
/proc/29519/stat : 29519 (java) S 29516 29519 29163 0 -1 1077944320 11096 0 0 0 39 3 0 0 20 0 20 0 254408212 26729902080 11440 33554432000 4194304 4196468 140725937948208 140725937930752 140705103974135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
/proc/29519/statm: 6525855 11440 3391 1 0 6487932 0
[pid=29519/tid=29521] ppid=29516 vsize=26103420 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/29519/task/29521/stat : 29521 (java) R 29516 29519 29163 0 -1 4202560 8572 0 0 0 28 1 0 0 20 0 20 0 254408212 26729902080 11440 33554432000 4194304 4196468 140725937948208 140705108135872 140705089139774 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29522] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29522/stat : 29522 (java) S 29516 29519 29163 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 11440 33554432000 4194304 4196468 140725937948208 140704661678352 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29523] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29523/stat : 29523 (java) S 29516 29519 29163 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 11440 33554432000 4194304 4196468 140725937948208 140704660625808 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29524] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29524/stat : 29524 (java) S 29516 29519 29163 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 11440 33554432000 4194304 4196468 140725937948208 140704659573264 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29525] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29525/stat : 29525 (java) S 29516 29519 29163 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 11440 33554432000 4194304 4196468 140725937948208 140704658520720 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29526] ppid=29516 vsize=26103420 memory=2244 CPUtime=0 cores=0-7
/proc/29519/task/29526/stat : 29526 (java) S 29516 29519 29163 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 11440 33554432000 4194304 4196468 140725937948208 140704657468176 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29527] ppid=29516 vsize=26103420 memory=140402481001391 CPUtime=0 cores=0-7
/proc/29519/task/29527/stat : 29527 (java) S 29516 29519 29163 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 11440 33554432000 4194304 4196468 140725937948208 140704656415632 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29528] ppid=29516 vsize=26103420 memory=140402481003696 CPUtime=0 cores=0-7
/proc/29519/task/29528/stat : 29528 (java) S 29516 29519 29163 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 11440 33554432000 4194304 4196468 140725937948208 140704655363088 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29529] ppid=29516 vsize=26103420 memory=140402481006000 CPUtime=0 cores=0-7
/proc/29519/task/29529/stat : 29529 (java) S 29516 29519 29163 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254408213 26729902080 11440 33554432000 4194304 4196468 140725937948208 140704654310544 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29530] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29530/stat : 29530 (java) S 29516 29519 29163 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 254408214 26729902080 11440 33554432000 4194304 4196468 140725937948208 140703644428272 140705103985282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29531] ppid=29516 vsize=26103420 memory=280804962018960 CPUtime=0 cores=0-7
/proc/29519/task/29531/stat : 29531 (java) S 29516 29519 29163 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254408215 26729902080 11440 33554432000 4194304 4196468 140725937948208 140703643374496 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29532] ppid=29516 vsize=26103420 memory=280804962025872 CPUtime=0 cores=0-7
/proc/29519/task/29532/stat : 29532 (java) S 29516 29519 29163 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254408215 26729902080 11440 33554432000 4194304 4196468 140725937948208 140703642321904 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29533] ppid=29516 vsize=26103420 memory=280804961967024 CPUtime=0 cores=0-7
/proc/29519/task/29533/stat : 29533 (java) S 29516 29519 29163 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254408217 26729902080 11440 33554432000 4194304 4196468 140725937948208 140703641270480 140705103992731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29534] ppid=29516 vsize=26103420 memory=280804962039696 CPUtime=0 cores=0-7
/proc/29519/task/29534/stat : 29534 (java) S 29516 29519 29163 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 20 0 254408217 26729902080 11440 33554432000 4194304 4196468 140725937948208 140703640218096 140705103985282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29535] ppid=29516 vsize=26103420 memory=280804962046608 CPUtime=0.01 cores=0-7
/proc/29519/task/29535/stat : 29535 (java) S 29516 29519 29163 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 20 0 254408217 26729902080 11440 33554432000 4194304 4196468 140725937948208 140703639165552 140705103985282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29536] ppid=29516 vsize=26103420 memory=280804962044304 CPUtime=0.01 cores=0-7
/proc/29519/task/29536/stat : 29536 (java) S 29516 29519 29163 0 -1 1077944384 193 0 0 0 1 0 0 0 20 0 20 0 254408217 26729902080 11440 33554432000 4194304 4196468 140725937948208 140703638113008 140705103985282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29537] ppid=29516 vsize=26103420 memory=280804962060912 CPUtime=0.07 cores=0-7
/proc/29519/task/29537/stat : 29537 (java) S 29516 29519 29163 0 -1 1077944384 473 0 0 0 7 0 0 0 20 0 20 0 254408217 26729902080 11440 33554432000 4194304 4196468 140725937948208 140703637060464 140705103985282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29538] ppid=29516 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29538/stat : 29538 (java) S 29516 29519 29163 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254408218 26729902080 11440 33554432000 4194304 4196468 140725937948208 140703636007136 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29539] ppid=29516 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/29519/task/29539/stat : 29539 (java) S 29516 29519 29163 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254408218 26729902080 11440 33554432000 4194304 4196468 140725937948208 140703634954672 140705103985282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 45760 KiB

[startup+0.70085 s]
/proc/loadavg: 8.96 8.20 5.73 4/198 29539
/proc/meminfo: memFree=23094380/32770624 swapFree=67108688/67108860
[pid=29519] ppid=29516 vsize=26105488 memory=84640 CPUtime=0.98 cores=0-7
/proc/29519/stat : 29519 (java) S 29516 29519 29163 0 -1 1077944320 18127 0 0 0 93 5 0 0 20 0 20 0 254408212 26732019712 21160 33554432000 4194304 4196468 140725937948208 140725937930752 140705103974135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
/proc/29519/statm: 6526372 21160 3492 1 0 6488444 0
[pid=29519/tid=29521] ppid=29516 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7
/proc/29519/task/29521/stat : 29521 (java) R 29516 29519 29163 0 -1 4202560 15061 0 0 0 64 3 0 0 20 0 20 0 254408212 26732019712 21160 33554432000 4194304 4196468 140725937948208 140705108196800 140705088054622 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29522] ppid=29516 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29522/stat : 29522 (java) S 29516 29519 29163 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254408213 26732019712 21160 33554432000 4194304 4196468 140725937948208 140704661678352 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29523] ppid=29516 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29523/stat : 29523 (java) S 29516 29519 29163 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254408213 26732019712 21160 33554432000 4194304 4196468 140725937948208 140704660625808 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29524] ppid=29516 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/29519/task/29524/stat : 29524 (java) S 29516 29519 29163 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254408213 26732019712 21160 33554432000 4194304 4196468 140725937948208 140704659573264 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29525] ppid=29516 vsize=26105488 memory=4452 CPUtime=0 cores=0-7
/proc/29519/task/29525/stat : 29525 (java) S 29516 29519 29163 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254408213 26732019712 21160 33554432000 4194304 4196468 140725937948208 140704658520720 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29526] ppid=29516 vsize=26105488 memory=3732 CPUtime=0 cores=0-7
/proc/29519/task/29526/stat : 29526 (java) S 29516 29519 29163 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254408213 26732019712 21160 33554432000 4194304 4196468 140725937948208 140704657468176 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29527] ppid=29516 vsize=26105488 memory=12668 CPUtime=0 cores=0-7
/proc/29519/task/29527/stat : 29527 (java) S 29516 29519 29163 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254408213 26732019712 21160 33554432000 4194304 4196468 140725937948208 140704656415632 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29528] ppid=29516 vsize=26105488 memory=1072 CPUtime=0 cores=0-7
/proc/29519/task/29528/stat : 29528 (java) S 29516 29519 29163 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254408213 26732019712 21160 33554432000 4194304 4196468 140725937948208 140704655363088 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29529] ppid=29516 vsize=26105488 memory=14888 CPUtime=0 cores=0-7
/proc/29519/task/29529/stat : 29529 (java) S 29516 29519 29163 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254408213 26732019712 21160 33554432000 4194304 4196468 140725937948208 140704654310544 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29530] ppid=29516 vsize=26105488 memory=3316 CPUtime=0 cores=0-7
/proc/29519/task/29530/stat : 29530 (java) S 29516 29519 29163 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 254408214 26732019712 21160 33554432000 4194304 4196468 140725937948208 140703644428272 140705103985282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0

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

[pid=29519] ppid=29516 vsize=27051756 memory=2355088 CPUtime=19941.8 cores=0-7
/proc/29519/stat : 29519 (java) S 29516 29519 29163 0 -1 1077944320 2196249 0 0 0 1993175 1001 0 0 20 0 34 0 254408212 27700998144 588772 33554432000 4194304 4196468 140725937948208 140725937930752 140705103974135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
/proc/29519/statm: 6762939 588772 3618 1 0 6724490 0
[pid=29519/tid=29521] ppid=29516 vsize=27051756 memory=1398720917958146503 CPUtime=4.17 cores=0-7
/proc/29519/task/29521/stat : 29521 (java) S 29516 29519 29163 0 -1 1077944384 22557 0 0 0 410 7 0 0 20 0 34 0 254408212 27700998144 588772 33554432000 4194304 4196468 140725937948208 140705108211600 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29522] ppid=29516 vsize=27051756 memory=924 CPUtime=10.07 cores=0-7
/proc/29519/task/29522/stat : 29522 (java) S 29516 29519 29163 0 -1 1077944384 155055 0 0 0 953 54 0 0 20 0 34 0 254408213 27700998144 588772 33554432000 4194304 4196468 140725937948208 140704661678352 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 51 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29523] ppid=29516 vsize=27051756 memory=1224 CPUtime=10.06 cores=0-7
/proc/29519/task/29523/stat : 29523 (java) S 29516 29519 29163 0 -1 1077944384 154236 0 0 0 952 54 0 0 20 0 34 0 254408213 27700998144 588772 33554432000 4194304 4196468 140725937948208 140704660625808 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 52 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29524] ppid=29516 vsize=27051756 memory=2336 CPUtime=10.03 cores=0-7
/proc/29519/task/29524/stat : 29524 (java) S 29516 29519 29163 0 -1 1077944384 135439 0 0 0 951 52 0 0 20 0 34 0 254408213 27700998144 588772 33554432000 4194304 4196468 140725937948208 140704659573264 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 53 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29525] ppid=29516 vsize=27051756 memory=1752 CPUtime=10.06 cores=0-7
/proc/29519/task/29525/stat : 29525 (java) S 29516 29519 29163 0 -1 1077944384 149205 0 0 0 954 52 0 0 20 0 34 0 254408213 27700998144 588772 33554432000 4194304 4196468 140725937948208 140704658520720 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 52 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29526] ppid=29516 vsize=27051756 memory=868 CPUtime=10.03 cores=0-7
/proc/29519/task/29526/stat : 29526 (java) S 29516 29519 29163 0 -1 1077944384 154197 0 0 0 951 52 0 0 20 0 34 0 254408213 27700998144 588772 33554432000 4194304 4196468 140725937948208 140704657468176 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 51 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29527] ppid=29516 vsize=27051756 memory=1808 CPUtime=10.08 cores=0-7
/proc/29519/task/29527/stat : 29527 (java) S 29516 29519 29163 0 -1 1077944384 144714 0 0 0 954 54 0 0 20 0 34 0 254408213 27700998144 588772 33554432000 4194304 4196468 140725937948208 140704656415632 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 50 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29528] ppid=29516 vsize=27051756 memory=1620 CPUtime=10.06 cores=0-7
/proc/29519/task/29528/stat : 29528 (java) S 29516 29519 29163 0 -1 1077944384 143053 0 0 0 953 53 0 0 20 0 34 0 254408213 27700998144 588772 33554432000 4194304 4196468 140725937948208 140704655363088 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 52 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29529] ppid=29516 vsize=27051756 memory=748 CPUtime=10.07 cores=0-7
/proc/29519/task/29529/stat : 29529 (java) S 29516 29519 29163 0 -1 1077944384 164126 0 0 0 950 57 0 0 20 0 34 0 254408213 27700998144 588772 33554432000 4194304 4196468 140725937948208 140704654310544 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 51 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29530] ppid=29516 vsize=27051756 memory=1220 CPUtime=6.64 cores=0-7
/proc/29519/task/29530/stat : 29530 (java) S 29516 29519 29163 0 -1 1077944384 217803 0 0 0 582 82 0 0 20 0 34 0 254408214 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703644428272 140705103985282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29531] ppid=29516 vsize=27051756 memory=6612 CPUtime=0 cores=0-7
/proc/29519/task/29531/stat : 29531 (java) S 29516 29519 29163 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 34 0 254408215 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703643374560 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29532] ppid=29516 vsize=27051756 memory=1296 CPUtime=0 cores=0-7
/proc/29519/task/29532/stat : 29532 (java) S 29516 29519 29163 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 34 0 254408215 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703642321920 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29533] ppid=29516 vsize=27051756 memory=4452 CPUtime=0 cores=0-7
/proc/29519/task/29533/stat : 29533 (java) S 29516 29519 29163 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 34 0 254408217 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703641270480 140705103992731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29534] ppid=29516 vsize=27051756 memory=2355088 CPUtime=1.3 cores=0-7
/proc/29519/task/29534/stat : 29534 (java) S 29516 29519 29163 0 -1 1077944384 7098 0 0 0 128 2 0 0 20 0 34 0 254408217 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703640218096 140705103985282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29535] ppid=29516 vsize=27051756 memory=3868 CPUtime=1.13 cores=0-7
/proc/29519/task/29535/stat : 29535 (java) S 29516 29519 29163 0 -1 1077944384 5713 0 0 0 112 1 0 0 20 0 34 0 254408217 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703639165552 140705103985282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29536] ppid=29516 vsize=27051756 memory=7284 CPUtime=1.37 cores=0-7
/proc/29519/task/29536/stat : 29536 (java) S 29516 29519 29163 0 -1 1077944384 6031 0 0 0 135 2 0 0 20 0 34 0 254408217 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703638113008 140705103985282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29537] ppid=29516 vsize=27051756 memory=804 CPUtime=1 cores=0-7
/proc/29519/task/29537/stat : 29537 (java) S 29516 29519 29163 0 -1 1077944384 11281 0 0 0 98 2 0 0 20 0 34 0 254408217 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703637060464 140705103985282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29538] ppid=29516 vsize=27051756 memory=1696 CPUtime=0 cores=0-7
/proc/29519/task/29538/stat : 29538 (java) S 29516 29519 29163 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 34 0 254408218 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703636007136 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29539] ppid=29516 vsize=27051756 memory=916 CPUtime=0.8 cores=0-7
/proc/29519/task/29539/stat : 29539 (java) S 29516 29519 29163 0 -1 1077944384 11183 0 0 0 43 37 0 0 20 0 34 0 254408218 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703634954672 140705103985282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 40 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29540] ppid=29516 vsize=27051756 memory=4148 CPUtime=0 cores=0-7
/proc/29519/task/29540/stat : 29540 (java) S 29516 29519 29163 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 34 0 254408620 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703623611136 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29541] ppid=29516 vsize=27051756 memory=1404 CPUtime=4.07 cores=0-7
/proc/29519/task/29541/stat : 29541 (java) R 29516 29519 29163 0 -1 1077944384 26663 0 0 0 198 209 0 0 20 0 34 0 254408637 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703620461728 140705103985282 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29542] ppid=29516 vsize=27051756 memory=4076 CPUtime=0.06 cores=0-7
/proc/29519/task/29542/stat : 29542 (java) S 29516 29519 29163 0 -1 1077944384 109 0 0 0 6 0 0 0 20 0 34 0 254408658 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703617311920 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29543] ppid=29516 vsize=27051756 memory=2355088 CPUtime=2480.29 cores=0-7
/proc/29519/task/29543/stat : 29543 (java) R 29516 29519 29163 0 -1 4202560 86065 0 0 0 247968 61 0 0 20 0 34 0 254408659 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703616254000 140704748654848 0 4 0 16800975 0 0 0 -1 6 0 0 47 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29544] ppid=29516 vsize=27051756 memory=4104 CPUtime=2477.6 cores=0-7
/proc/29519/task/29544/stat : 29544 (java) R 29516 29519 29163 0 -1 4202560 87864 0 0 0 247697 63 0 0 20 0 34 0 254408662 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703615201304 140704741850163 0 4 0 16800975 0 0 0 -1 3 0 0 35 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29545] ppid=29516 vsize=27051756 memory=7284 CPUtime=0.04 cores=0-7
/proc/29519/task/29545/stat : 29545 (java) S 29516 29519 29163 0 -1 1077944384 35 0 0 0 4 0 0 0 20 0 34 0 254408667 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703612057136 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29546] ppid=29516 vsize=27051756 memory=924 CPUtime=2481.58 cores=0-7
/proc/29519/task/29546/stat : 29546 (java) R 29516 29519 29163 0 -1 4202560 85898 0 0 0 248097 61 0 0 20 0 34 0 254408667 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703610995624 140704748654855 0 4 0 16800975 0 0 0 -1 0 0 0 51 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29547] ppid=29516 vsize=27051756 memory=2192 CPUtime=2481.32 cores=0-7
/proc/29519/task/29547/stat : 29547 (java) R 29516 29519 29163 0 -1 4202560 82199 0 0 0 248071 61 0 0 20 0 34 0 254408667 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703609942944 140704743184521 0 4 0 16800975 0 0 0 -1 1 0 0 46 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29548] ppid=29516 vsize=27051756 memory=3980 CPUtime=0.04 cores=0-7
/proc/29519/task/29548/stat : 29548 (java) S 29516 29519 29163 0 -1 1077944384 35 0 0 0 4 0 0 0 20 0 34 0 254408667 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703608898480 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29549] ppid=29516 vsize=27051756 memory=1924 CPUtime=2478.31 cores=0-7
/proc/29519/task/29549/stat : 29549 (java) R 29516 29519 29163 0 -1 4202560 89697 0 0 0 247768 63 0 0 20 0 34 0 254408667 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703607838296 140704751831869 0 4 0 16800975 0 0 0 -1 7 0 0 40 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29550] ppid=29516 vsize=27051756 memory=7284 CPUtime=2480.6 cores=0-7
/proc/29519/task/29550/stat : 29550 (java) R 29516 29519 29163 0 -1 4202560 81939 0 0 0 247999 61 0 0 20 0 34 0 254408667 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703606785960 140704751832314 0 4 0 16800975 0 0 0 -1 2 0 0 43 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29551] ppid=29516 vsize=27051756 memory=804 CPUtime=2479.64 cores=0-7
/proc/29519/task/29551/stat : 29551 (java) R 29516 29519 29163 0 -1 4202560 89396 0 0 0 247904 60 0 0 20 0 34 0 254408667 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703605735072 140704749074371 0 4 0 16800975 0 0 0 -1 5 0 0 37 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29552] ppid=29516 vsize=27051756 memory=1696 CPUtime=2481.1 cores=0-7
/proc/29519/task/29552/stat : 29552 (java) R 29516 29519 29163 0 -1 4202560 83179 0 0 0 248049 61 0 0 20 0 34 0 254408667 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703604682472 140704743184186 0 4 0 16800975 0 0 0 -1 4 0 0 45 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29553] ppid=29516 vsize=27051756 memory=916 CPUtime=0 cores=0-7
/proc/29519/task/29553/stat : 29553 (java) S 29516 29519 29163 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 34 0 254408676 27700998144 588772 33554432000 4194304 4196468 140725937948208 140703603635760 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
Current children cumulated CPU time: 19941.8 s
Current children cumulated vsize: 27051756 KiB
Current children cumulated memory: 2355088 KiB

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

[startup+2520.27 s]
# the end of solver process 29519 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19933.5 s, system=10.0315 s

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

[startup+2520.2 s]
/proc/loadavg: 8.52 8.74 8.56 10/212 29624
/proc/meminfo: memFree=20802936/32770624 swapFree=67108688/67108860
[pid=29519] ppid=29516 vsize=27717396 memory=2359412 CPUtime=19943.2 cores=0-7
/proc/29519/stat : 29519 (java) S 29516 29519 29163 0 -1 1077944320 2198806 0 0 0 1993314 1001 0 0 20 0 44 0 254408212 28382613504 589853 33554432000 4194304 4196468 140725937948208 140725937930752 140705103974135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
/proc/29519/statm: 6929349 589853 3621 1 0 6890900 0
[pid=29519/tid=29521] ppid=29516 vsize=27717396 memory=1404 CPUtime=4.17 cores=0-7
/proc/29519/task/29521/stat : 29521 (java) S 29516 29519 29163 0 -1 1077944384 22557 0 0 0 410 7 0 0 20 0 44 0 254408212 28382613504 589853 33554432000 4194304 4196468 140725937948208 140705108211600 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29522] ppid=29516 vsize=27717396 memory=4076 CPUtime=10.08 cores=0-7
/proc/29519/task/29522/stat : 29522 (java) S 29516 29519 29163 0 -1 1077944384 155055 0 0 0 954 54 0 0 20 0 44 0 254408213 28382613504 589853 33554432000 4194304 4196468 140725937948208 140704661678352 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 51 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29523] ppid=29516 vsize=27717396 memory=2355088 CPUtime=10.06 cores=0-7
/proc/29519/task/29523/stat : 29523 (java) S 29516 29519 29163 0 -1 1077944384 154243 0 0 0 952 54 0 0 20 0 44 0 254408213 28382613504 589853 33554432000 4194304 4196468 140725937948208 140704660625808 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 52 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29524] ppid=29516 vsize=27717396 memory=4104 CPUtime=10.04 cores=0-7
/proc/29519/task/29524/stat : 29524 (java) S 29516 29519 29163 0 -1 1077944384 135458 0 0 0 952 52 0 0 20 0 44 0 254408213 28382613504 589853 33554432000 4194304 4196468 140725937948208 140704659573264 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 53 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29525] ppid=29516 vsize=27717396 memory=6368766504018536809 CPUtime=10.06 cores=0-7
/proc/29519/task/29525/stat : 29525 (java) S 29516 29519 29163 0 -1 1077944384 149211 0 0 0 954 52 0 0 20 0 44 0 254408213 28382613504 589853 33554432000 4194304 4196468 140725937948208 140704658520720 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 52 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29526] ppid=29516 vsize=27717396 memory=1398720917958146503 CPUtime=10.04 cores=0-7
/proc/29519/task/29526/stat : 29526 (java) S 29516 29519 29163 0 -1 1077944384 154208 0 0 0 952 52 0 0 20 0 44 0 254408213 28382613504 589853 33554432000 4194304 4196468 140725937948208 140704657468176 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 51 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29527] ppid=29516 vsize=27717396 memory=6791534058613427641 CPUtime=10.08 cores=0-7
/proc/29519/task/29527/stat : 29527 (java) S 29516 29519 29163 0 -1 1077944384 144717 0 0 0 954 54 0 0 20 0 44 0 254408213 28382613504 589853 33554432000 4194304 4196468 140725937948208 140704656415632 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 50 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29528] ppid=29516 vsize=27717396 memory=1924 CPUtime=10.06 cores=0-7
/proc/29519/task/29528/stat : 29528 (java) S 29516 29519 29163 0 -1 1077944384 143054 0 0 0 953 53 0 0 20 0 44 0 254408213 28382613504 589853 33554432000 4194304 4196468 140725937948208 140704655363088 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 52 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29529] ppid=29516 vsize=27717396 memory=7284 CPUtime=10.07 cores=0-7
/proc/29519/task/29529/stat : 29529 (java) S 29516 29519 29163 0 -1 1077944384 164156 0 0 0 950 57 0 0 20 0 44 0 254408213 28382613504 589853 33554432000 4194304 4196468 140725937948208 140704654310544 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29530] ppid=29516 vsize=27717396 memory=69480 CPUtime=6.64 cores=0-7
/proc/29519/task/29530/stat : 29530 (java) S 29516 29519 29163 0 -1 1077944384 217826 0 0 0 582 82 0 0 20 0 44 0 254408214 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703644428272 140705103985282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29531] ppid=29516 vsize=27717396 memory=1224 CPUtime=0 cores=0-7
/proc/29519/task/29531/stat : 29531 (java) S 29516 29519 29163 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 44 0 254408215 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703643374560 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29532] ppid=29516 vsize=27717396 memory=2336 CPUtime=0 cores=0-7
/proc/29519/task/29532/stat : 29532 (java) S 29516 29519 29163 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 44 0 254408215 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703642321920 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29533] ppid=29516 vsize=27717396 memory=1752 CPUtime=0 cores=0-7
/proc/29519/task/29533/stat : 29533 (java) S 29516 29519 29163 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 44 0 254408217 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703641270480 140705103992731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29534] ppid=29516 vsize=27717396 memory=868 CPUtime=1.32 cores=0-7
/proc/29519/task/29534/stat : 29534 (java) S 29516 29519 29163 0 -1 1077944384 7184 0 0 0 130 2 0 0 20 0 44 0 254408217 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703640218096 140705103985282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29535] ppid=29516 vsize=27717396 memory=1808 CPUtime=1.16 cores=0-7
/proc/29519/task/29535/stat : 29535 (java) R 29516 29519 29163 0 -1 4202560 6233 0 0 0 115 1 0 0 20 0 44 0 254408217 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703639144592 140705081950535 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29536] ppid=29516 vsize=27717396 memory=1620 CPUtime=1.38 cores=0-7
/proc/29519/task/29536/stat : 29536 (java) R 29516 29519 29163 0 -1 4202560 6054 0 0 0 136 2 0 0 20 0 44 0 254408217 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703638099552 140705085518800 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29537] ppid=29516 vsize=27717396 memory=748 CPUtime=1.01 cores=0-7
/proc/29519/task/29537/stat : 29537 (java) S 29516 29519 29163 0 -1 1077944384 11489 0 0 0 99 2 0 0 20 0 44 0 254408217 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703637060464 140705103985282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29538] ppid=29516 vsize=27717396 memory=1220 CPUtime=0 cores=0-7
/proc/29519/task/29538/stat : 29538 (java) S 29516 29519 29163 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 44 0 254408218 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703636007136 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29539] ppid=29516 vsize=27717396 memory=6612 CPUtime=0.8 cores=0-7
/proc/29519/task/29539/stat : 29539 (java) S 29516 29519 29163 0 -1 1077944384 11183 0 0 0 43 37 0 0 20 0 44 0 254408218 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703634954672 140705103985282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 40 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29540] ppid=29516 vsize=27717396 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/29519/task/29540/stat : 29540 (java) S 29516 29519 29163 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 44 0 254408620 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703623611136 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29541] ppid=29516 vsize=27717396 memory=12668 CPUtime=4.07 cores=0-7
/proc/29519/task/29541/stat : 29541 (java) R 29516 29519 29163 0 -1 1077944384 26683 0 0 0 198 209 0 0 20 0 44 0 254408637 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703620461616 140705103985282 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29542] ppid=29516 vsize=27717396 memory=1072 CPUtime=0.06 cores=0-7
/proc/29519/task/29542/stat : 29542 (java) S 29516 29519 29163 0 -1 1077944384 136 0 0 0 6 0 0 0 20 0 44 0 254408658 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703617311920 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29543] ppid=29516 vsize=27717396 memory=14888 CPUtime=2480.46 cores=0-7
/proc/29519/task/29543/stat : 29543 (java) R 29516 29519 29163 0 -1 4202560 86085 0 0 0 247985 61 0 0 20 0 44 0 254408659 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703616251944 140704751836033 0 4 0 16800975 0 0 0 -1 1 0 0 47 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29544] ppid=29516 vsize=27717396 memory=3316 CPUtime=2477.74 cores=0-7
/proc/29519/task/29544/stat : 29544 (java) S 29516 29519 29163 0 -1 1077944384 87883 0 0 0 247711 63 0 0 20 0 44 0 254408662 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703615200864 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29545] ppid=29516 vsize=27717396 memory=916 CPUtime=0.05 cores=0-7
/proc/29519/task/29545/stat : 29545 (java) S 29516 29519 29163 0 -1 1077944384 143 0 0 0 5 0 0 0 20 0 44 0 254408667 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703612057136 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29546] ppid=29516 vsize=27717396 memory=4148 CPUtime=2481.75 cores=0-7
/proc/29519/task/29546/stat : 29546 (java) R 29516 29519 29163 0 -1 4202560 85917 0 0 0 248114 61 0 0 20 0 44 0 254408667 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703610995624 140704749347001 0 4 0 16800975 0 0 0 -1 2 0 0 51 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29547] ppid=29516 vsize=27717396 memory=1404 CPUtime=2481.43 cores=0-7
/proc/29519/task/29547/stat : 29547 (java) R 29516 29519 29163 0 -1 4202560 82219 0 0 0 248082 61 0 0 20 0 44 0 254408667 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703609945360 140704748665324 0 4 0 16800975 0 0 0 -1 3 0 0 46 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29548] ppid=29516 vsize=27717396 memory=4076 CPUtime=0.05 cores=0-7
/proc/29519/task/29548/stat : 29548 (java) R 29516 29519 29163 0 -1 1077944384 214 0 0 0 5 0 0 0 20 0 44 0 254408667 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703608898480 140705103984341 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29549] ppid=29516 vsize=27717396 memory=2355088 CPUtime=2478.45 cores=0-7
/proc/29519/task/29549/stat : 29549 (java) R 29516 29519 29163 0 -1 1077944384 89717 0 0 0 247782 63 0 0 20 0 44 0 254408667 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703607839968 140705103984341 0 4 0 16800975 0 0 0 -1 7 0 0 40 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29550] ppid=29516 vsize=27717396 memory=4104 CPUtime=2480.76 cores=0-7
/proc/29519/task/29550/stat : 29550 (java) R 29516 29519 29163 0 -1 4202560 81958 0 0 0 248015 61 0 0 20 0 44 0 254408667 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703606785448 140704748654855 0 4 0 16800975 0 0 0 -1 4 0 0 43 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29551] ppid=29516 vsize=27717396 memory=2336 CPUtime=2479.81 cores=0-7
/proc/29519/task/29551/stat : 29551 (java) R 29516 29519 29163 0 -1 4202560 89417 0 0 0 247921 60 0 0 20 0 44 0 254408667 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703605733416 140704751832043 0 4 0 16800975 0 0 0 -1 5 0 0 37 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29552] ppid=29516 vsize=27717396 memory=0 CPUtime=2481.28 cores=0-7
/proc/29519/task/29552/stat : 29552 (java) R 29516 29519 29163 0 -1 4202560 83200 0 0 0 248067 61 0 0 20 0 44 0 254408667 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703604681080 140704748654848 0 4 0 16800975 0 0 0 -1 6 0 0 45 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
[pid=29519/tid=29553] ppid=29516 vsize=27717396 memory=7738138911329247520 CPUtime=0.01 cores=0-7
/proc/29519/task/29553/stat : 29553 (java) S 29516 29519 29163 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 44 0 254408676 28382613504 589853 33554432000 4194304 4196468 140725937948208 140703603635760 140705103984341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37552128 140725937955917 140725937956101 140725937956101 140725937958863 0
Current children cumulated CPU time: 19943.2 s
Current children cumulated vsize: 27717396 KiB
Current children cumulated memory: 2359412 KiB

Child status: 143
Real time (s): 2520.27
CPU time (s): 19943.5
CPU user time (s): 19933.5
CPU system time (s): 10.0315
CPU usage (%): 791.322
Max. virtual memory (cumulated for all children) (KiB): 27717396
Max. memory (cumulated for all children) (KiB): 2359412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19933.5
system time used= 10.0315
maximum resident set size= 2363732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2199568
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 751882
involuntary context switches= 425352


# summary of solver processes directly reported to runsolver:
#   pid: 29519
#   total CPU time (s): 19943.5
#   total CPU user time (s): 19933.5
#   total CPU system time (s): 10.0315

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.3556 second user time and 33.7097 second system time

The end

Launcher Data 

Begin job on node106 at 2018-08-15 23:27:33
IDJOB=4309180
IDBENCH=141228
IDSOLVER=2793
FILE ID=node106/4309180-1534368453
RUNJOBID= node106-1534363410-29190
PBS_JOBID= 21038278
Free space on /tmp= 45856 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-08-14
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-fpga25-25-sat_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-4309180-1534368453/watcher-4309180-1534368453 -o /tmp/evaluation-result-4309180-1534368453/solver-4309180-1534368453 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1534363410-29190 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1771575294 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309180-1534368453.xml

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

MD5SUM BENCH= ac52d6c4be7f254c8b8f2a5f4d50567d
RANDOM SEED=1771575294

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        23151188 kB
MemAvailable:   31892868 kB
Buffers:          212156 kB
Cached:          8755172 kB
SwapCached:            0 kB
Active:          4568368 kB
Inactive:        4456172 kB
Active(anon):       4156 kB
Inactive(anon):   113644 kB
Active(file):    4564212 kB
Inactive(file):  4342528 kB
Unevictable:        6968 kB
Mlocked:            6968 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:             35996 kB
Writeback:             4 kB
AnonPages:         64208 kB
Mapped:            55964 kB
Shmem:             57824 kB
Slab:             291712 kB
SReclaimable:     263400 kB
SUnreclaim:        28312 kB
KernelStack:        3200 kB
PageTables:         5372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     356780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 45820 MiB
End job on node106 at 2018-08-16 00:09:34