Trace number 4309035

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) 19952.9 2520.62

General information on the benchmark

NameDubois/
Dubois-050_c18.xml
MD5SUM630ab63eaf7c5bcaa7f0eb192a58705a
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark4.42724
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of constraints100
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":150}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":150}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":100}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100}]
Optimization problemNO
Type of objective

Solver Data 

0.66/0.55	c version: 2018-08-14
0.66/0.55	c seed: 1751688118
0.66/0.55	c timeout: 20160
0.66/0.55	c memlimit: 22000
0.66/0.55	c nbcore: 8
0.66/0.58	c Parsing instance...
1.20/0.86	c Parsing done, starting search...
19948.30/2520.10	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 (13111 MiB free)
  memory of node 1: 16384 MiB (11114 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309035-1534380484/watcher-4309035-1534380484 -o /tmp/evaluation-result-4309035-1534380484/solver-4309035-1534380484 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1534373665-29765 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1751688118 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309035-1534380484.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=30592, runsolver pid=30589

[startup+0.100968 s]*
/proc/loadavg: 8.35 8.82 8.78 2/198 30612
/proc/meminfo: memFree=24790888/32770624 swapFree=67108524/67108860
[pid=30592] ppid=30589 vsize=26103420 memory=30996 CPUtime=0.11 cores=0-7
/proc/30592/stat : 30592 (java) S 30589 30592 29738 0 -1 1077944320 6671 0 0 0 9 2 0 0 20 0 20 0 255611650 26729902080 7749 33554432000 4194304 4196468 140721013664208 140721013646752 140538594479863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
/proc/30592/statm: 6525855 7749 3140 1 0 6487932 0
[pid=30592/tid=30594] ppid=30589 vsize=26103420 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/30592/task/30594/stat : 30594 (java) R 30589 30592 29738 0 -1 4202560 4785 0 0 0 7 1 0 0 20 0 20 0 255611651 26729902080 7749 33554432000 4194304 4196468 140721013664208 140538598705552 140538574755623 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30595] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30595/stat : 30595 (java) S 30589 30592 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 7749 33554432000 4194304 4196468 140721013664208 140538517060752 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30596] ppid=30589 vsize=26103420 memory=139992494155392 CPUtime=0 cores=0-7
/proc/30592/task/30596/stat : 30596 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 7815 33554432000 4194304 4196468 140721013664208 140538516007952 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30597] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30597/stat : 30597 (java) S 30589 30592 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 7815 33554432000 4194304 4196468 140721013664208 140538514955152 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30598] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30598/stat : 30598 (java) S 30589 30592 29738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 7815 33554432000 4194304 4196468 140721013664208 140538513902352 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30599] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30599/stat : 30599 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 7815 33554432000 4194304 4196468 140721013664208 140538512849552 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30600] ppid=30589 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/30592/task/30600/stat : 30600 (java) S 30589 30592 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 7815 33554432000 4194304 4196468 140721013664208 140538511796752 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30601] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30601/stat : 30601 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 7815 33554432000 4194304 4196468 140721013664208 140538146740624 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30602] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30602/stat : 30602 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 7815 33554432000 4194304 4196468 140721013664208 140538145687824 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30603] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30603/stat : 30603 (java) S 30589 30592 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255611653 26729902080 7815 33554432000 4194304 4196468 140721013664208 140537001573232 140538594491010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30604] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30604/stat : 30604 (java) S 30589 30592 29738 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 255611653 26729902080 7815 33554432000 4194304 4196468 140721013664208 140537000519200 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30605] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30605/stat : 30605 (java) S 30589 30592 29738 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 255611654 26729902080 7815 33554432000 4194304 4196468 140721013664208 140536999466352 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30606] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30606/stat : 30606 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611656 26729902080 7815 33554432000 4194304 4196468 140721013664208 140536998414672 140538594498459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30607] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30607/stat : 30607 (java) S 30589 30592 29738 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 255611656 26729902080 7881 33554432000 4194304 4196468 140721013664208 140536997362032 140538594491010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30608] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30608/stat : 30608 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611656 26729902080 7881 33554432000 4194304 4196468 140721013664208 140536996309232 140538594491010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30609] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30609/stat : 30609 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611656 26729902080 7881 33554432000 4194304 4196468 140721013664208 140536995256432 140538594491010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30610] ppid=30589 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/30592/task/30610/stat : 30610 (java) S 30589 30592 29738 0 -1 1077944384 238 0 0 0 1 0 0 0 20 0 20 0 255611656 26729902080 7881 33554432000 4194304 4196468 140721013664208 140536994203632 140538594491010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30611] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30611/stat : 30611 (java) S 30589 30592 29738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255611657 26729902080 7881 33554432000 4194304 4196468 140721013664208 140536993152096 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30612] ppid=30589 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/30592/task/30612/stat : 30612 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611657 26729902080 7881 33554432000 4194304 4196468 140721013664208 140536992099376 140538594491010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 30996 KiB

[startup+0.210011 s]*
/proc/loadavg: 8.35 8.82 8.78 3/198 30612
/proc/meminfo: memFree=24777464/32770624 swapFree=67108524/67108860
[pid=30592] ppid=30589 vsize=26103420 memory=43532 CPUtime=0.3 cores=0-7
/proc/30592/stat : 30592 (java) S 30589 30592 29738 0 -1 1077944320 10109 0 0 0 27 3 0 0 20 0 20 0 255611650 26729902080 10883 33554432000 4194304 4196468 140721013664208 140721013646752 140538594479863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
/proc/30592/statm: 6525855 10883 3290 1 0 6487932 0
[pid=30592/tid=30594] ppid=30589 vsize=26103420 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/30592/task/30594/stat : 30594 (java) R 30589 30592 29738 0 -1 4202560 7882 0 0 0 17 2 0 0 20 0 20 0 255611651 26729902080 10883 33554432000 4194304 4196468 140721013664208 140538598705760 140538578523493 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30595] ppid=30589 vsize=26103420 memory=10949 CPUtime=0 cores=0-7
/proc/30592/task/30595/stat : 30595 (java) S 30589 30592 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 10883 33554432000 4194304 4196468 140721013664208 140538517060752 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30596] ppid=30589 vsize=26103420 memory=139992494184755 CPUtime=0 cores=0-7
/proc/30592/task/30596/stat : 30596 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 10883 33554432000 4194304 4196468 140721013664208 140538516007952 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30597] ppid=30589 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/30592/task/30597/stat : 30597 (java) S 30589 30592 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 10883 33554432000 4194304 4196468 140721013664208 140538514955152 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30598] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30598/stat : 30598 (java) S 30589 30592 29738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 10883 33554432000 4194304 4196468 140721013664208 140538513902352 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30599] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30599/stat : 30599 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 10883 33554432000 4194304 4196468 140721013664208 140538512849552 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30600] ppid=30589 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/30592/task/30600/stat : 30600 (java) S 30589 30592 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 10883 33554432000 4194304 4196468 140721013664208 140538511796752 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30601] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30601/stat : 30601 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 10883 33554432000 4194304 4196468 140721013664208 140538146740624 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30602] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30602/stat : 30602 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 10883 33554432000 4194304 4196468 140721013664208 140538145687824 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30603] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30603/stat : 30603 (java) S 30589 30592 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255611653 26729902080 10883 33554432000 4194304 4196468 140721013664208 140537001573232 140538594491010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30604] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30604/stat : 30604 (java) S 30589 30592 29738 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 255611653 26729902080 10883 33554432000 4194304 4196468 140721013664208 140537000519200 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30605] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30605/stat : 30605 (java) S 30589 30592 29738 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 255611654 26729902080 10883 33554432000 4194304 4196468 140721013664208 140536999466352 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30606] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30606/stat : 30606 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611656 26729902080 10883 33554432000 4194304 4196468 140721013664208 140536998414672 140538594498459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30607] ppid=30589 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/30592/task/30607/stat : 30607 (java) S 30589 30592 29738 0 -1 1077944384 449 0 0 0 1 0 0 0 20 0 20 0 255611656 26729902080 10883 33554432000 4194304 4196468 140721013664208 140536997362032 140538594491010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30608] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30608/stat : 30608 (java) R 30589 30592 29738 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 20 0 255611656 26729902080 10883 33554432000 4194304 4196468 140721013664208 140536996309232 140538572871533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30609] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30609/stat : 30609 (java) S 30589 30592 29738 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 255611656 26729902080 10883 33554432000 4194304 4196468 140721013664208 140536995256432 140538594491010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30610] ppid=30589 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7
/proc/30592/task/30610/stat : 30610 (java) R 30589 30592 29738 0 -1 4202560 281 0 0 0 6 0 0 0 20 0 20 0 255611656 26729902080 10883 33554432000 4194304 4196468 140721013664208 140536994201592 140538573889648 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30611] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30611/stat : 30611 (java) S 30589 30592 29738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255611657 26729902080 10883 33554432000 4194304 4196468 140721013664208 140536993152096 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30612] ppid=30589 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/30592/task/30612/stat : 30612 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611657 26729902080 10883 33554432000 4194304 4196468 140721013664208 140536992099376 140538594491010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 43532 KiB

[startup+0.310106 s]*
/proc/loadavg: 8.35 8.82 8.78 3/198 30612
/proc/meminfo: memFree=24774508/32770624 swapFree=67108524/67108860
[pid=30592] ppid=30589 vsize=26103420 memory=47084 CPUtime=0.43 cores=0-7
/proc/30592/stat : 30592 (java) S 30589 30592 29738 0 -1 1077944320 10490 0 0 0 40 3 0 0 20 0 20 0 255611650 26729902080 11771 33554432000 4194304 4196468 140721013664208 140721013646752 140538594479863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
/proc/30592/statm: 6525855 11771 3333 1 0 6487932 0
[pid=30592/tid=30594] ppid=30589 vsize=26103420 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/30592/task/30594/stat : 30594 (java) R 30589 30592 29738 0 -1 4202560 8206 0 0 0 27 2 0 0 20 0 20 0 255611651 26729902080 11771 33554432000 4194304 4196468 140721013664208 140538598688720 140538576043367 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30595] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30595/stat : 30595 (java) S 30589 30592 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 11771 33554432000 4194304 4196468 140721013664208 140538517060752 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30596] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30596/stat : 30596 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 11771 33554432000 4194304 4196468 140721013664208 140538516007952 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30597] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30597/stat : 30597 (java) S 30589 30592 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 11771 33554432000 4194304 4196468 140721013664208 140538514955152 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30598] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30598/stat : 30598 (java) S 30589 30592 29738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 11771 33554432000 4194304 4196468 140721013664208 140538513902352 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30599] ppid=30589 vsize=26103420 memory=2244 CPUtime=0 cores=0-7
/proc/30592/task/30599/stat : 30599 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 11771 33554432000 4194304 4196468 140721013664208 140538512849552 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30600] ppid=30589 vsize=26103420 memory=139992378733487 CPUtime=0 cores=0-7
/proc/30592/task/30600/stat : 30600 (java) S 30589 30592 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 11771 33554432000 4194304 4196468 140721013664208 140538511796752 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30601] ppid=30589 vsize=26103420 memory=139992378735792 CPUtime=0 cores=0-7
/proc/30592/task/30601/stat : 30601 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 11771 33554432000 4194304 4196468 140721013664208 140538146740624 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30602] ppid=30589 vsize=26103420 memory=139992378738096 CPUtime=0 cores=0-7
/proc/30592/task/30602/stat : 30602 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611652 26729902080 11771 33554432000 4194304 4196468 140721013664208 140538145687824 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30603] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30603/stat : 30603 (java) S 30589 30592 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255611653 26729902080 11771 33554432000 4194304 4196468 140721013664208 140537001573232 140538594491010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30604] ppid=30589 vsize=26103420 memory=279984757483152 CPUtime=0 cores=0-7
/proc/30592/task/30604/stat : 30604 (java) S 30589 30592 29738 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 255611653 26729902080 11771 33554432000 4194304 4196468 140721013664208 140537000519200 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30605] ppid=30589 vsize=26103420 memory=279984757490064 CPUtime=0 cores=0-7
/proc/30592/task/30605/stat : 30605 (java) S 30589 30592 29738 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 255611654 26729902080 11771 33554432000 4194304 4196468 140721013664208 140536999466352 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30606] ppid=30589 vsize=26103420 memory=279984757431344 CPUtime=0 cores=0-7
/proc/30592/task/30606/stat : 30606 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611656 26729902080 11771 33554432000 4194304 4196468 140721013664208 140536998414672 140538594498459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30607] ppid=30589 vsize=26103420 memory=279984757503888 CPUtime=0.01 cores=0-7
/proc/30592/task/30607/stat : 30607 (java) S 30589 30592 29738 0 -1 1077944384 449 0 0 0 1 0 0 0 20 0 20 0 255611656 26729902080 11771 33554432000 4194304 4196468 140721013664208 140536997362032 140538594491010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30608] ppid=30589 vsize=26103420 memory=279984757510800 CPUtime=0.02 cores=0-7
/proc/30592/task/30608/stat : 30608 (java) S 30589 30592 29738 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 20 0 255611656 26729902080 11771 33554432000 4194304 4196468 140721013664208 140536996309232 140538594491010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30609] ppid=30589 vsize=26103420 memory=279984757508496 CPUtime=0 cores=0-7
/proc/30592/task/30609/stat : 30609 (java) S 30589 30592 29738 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 255611656 26729902080 11771 33554432000 4194304 4196468 140721013664208 140536995256432 140538594491010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30610] ppid=30589 vsize=26103420 memory=279984757525104 CPUtime=0.08 cores=0-7
/proc/30592/task/30610/stat : 30610 (java) S 30589 30592 29738 0 -1 1077944384 289 0 0 0 8 0 0 0 20 0 20 0 255611656 26729902080 11771 33554432000 4194304 4196468 140721013664208 140536994203632 140538594491010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30611] ppid=30589 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30611/stat : 30611 (java) S 30589 30592 29738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255611657 26729902080 11771 33554432000 4194304 4196468 140721013664208 140536993152096 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30612] ppid=30589 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/30592/task/30612/stat : 30612 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611657 26729902080 11771 33554432000 4194304 4196468 140721013664208 140536992099376 140538594491010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 47084 KiB

[startup+0.700907 s]
/proc/loadavg: 8.35 8.82 8.78 2/198 30612
/proc/meminfo: memFree=24750696/32770624 swapFree=67108524/67108860
[pid=30592] ppid=30589 vsize=26105488 memory=87792 CPUtime=0.99 cores=0-7
/proc/30592/stat : 30592 (java) S 30589 30592 29738 0 -1 1077944320 17337 0 0 0 94 5 0 0 20 0 20 0 255611650 26732019712 21948 33554432000 4194304 4196468 140721013664208 140721013646752 140538594479863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
/proc/30592/statm: 6526372 21948 3490 1 0 6488444 0
[pid=30592/tid=30594] ppid=30589 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7
/proc/30592/task/30594/stat : 30594 (java) R 30589 30592 29738 0 -1 4202560 14596 0 0 0 63 4 0 0 20 0 20 0 255611651 26732019712 21948 33554432000 4194304 4196468 140721013664208 140538598694832 140538578560380 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30595] ppid=30589 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30595/stat : 30595 (java) S 30589 30592 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255611652 26732019712 21948 33554432000 4194304 4196468 140721013664208 140538517060752 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30596] ppid=30589 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30596/stat : 30596 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611652 26732019712 21948 33554432000 4194304 4196468 140721013664208 140538516007952 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30597] ppid=30589 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30597/stat : 30597 (java) S 30589 30592 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255611652 26732019712 21948 33554432000 4194304 4196468 140721013664208 140538514955152 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30598] ppid=30589 vsize=26105488 memory=3516 CPUtime=0 cores=0-7
/proc/30592/task/30598/stat : 30598 (java) S 30589 30592 29738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255611652 26732019712 21948 33554432000 4194304 4196468 140721013664208 140538513902352 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30599] ppid=30589 vsize=26105488 memory=872 CPUtime=0 cores=0-7
/proc/30592/task/30599/stat : 30599 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611652 26732019712 21948 33554432000 4194304 4196468 140721013664208 140538512849552 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30600] ppid=30589 vsize=26105488 memory=1288 CPUtime=0 cores=0-7
/proc/30592/task/30600/stat : 30600 (java) S 30589 30592 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255611652 26732019712 21948 33554432000 4194304 4196468 140721013664208 140538511796752 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30601] ppid=30589 vsize=26105488 memory=1088 CPUtime=0 cores=0-7
/proc/30592/task/30601/stat : 30601 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611652 26732019712 21948 33554432000 4194304 4196468 140721013664208 140538146740624 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30602] ppid=30589 vsize=26105488 memory=14888 CPUtime=0 cores=0-7
/proc/30592/task/30602/stat : 30602 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255611652 26732019712 21948 33554432000 4194304 4196468 140721013664208 140538145687824 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30603] ppid=30589 vsize=26105488 memory=38524 CPUtime=0 cores=0-7
/proc/30592/task/30603/stat : 30603 (java) S 30589 30592 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255611653 26732019712 21948 33554432000 4194304 4196468 140721013664208 140537001573232 140538594491010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0

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

[pid=30592/tid=30596] ppid=30589 vsize=27051756 memory=1288 CPUtime=6.1 cores=0-7
/proc/30592/task/30596/stat : 30596 (java) S 30589 30592 29738 0 -1 1077944384 104369 0 0 0 569 41 0 0 20 0 34 0 255611652 27700998144 977144 33554432000 4194304 4196468 140721013664208 140538516007952 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30597] ppid=30589 vsize=27051756 memory=1398720917958146503 CPUtime=6.1 cores=0-7
/proc/30592/task/30597/stat : 30597 (java) S 30589 30592 29738 0 -1 1077944384 121417 0 0 0 569 41 0 0 20 0 34 0 255611652 27700998144 977144 33554432000 4194304 4196468 140721013664208 140538514955152 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30598] ppid=30589 vsize=27051756 memory=288230596050944315 CPUtime=6.09 cores=0-7
/proc/30592/task/30598/stat : 30598 (java) S 30589 30592 29738 0 -1 1077944384 111644 0 0 0 566 43 0 0 20 0 34 0 255611652 27700998144 977144 33554432000 4194304 4196468 140721013664208 140538513902352 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30599] ppid=30589 vsize=27051756 memory=15258134151170443 CPUtime=6.1 cores=0-7
/proc/30592/task/30599/stat : 30599 (java) S 30589 30592 29738 0 -1 1077944384 114852 0 0 0 570 40 0 0 20 0 34 0 255611652 27700998144 977144 33554432000 4194304 4196468 140721013664208 140538512849552 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 18 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30600] ppid=30589 vsize=27051756 memory=1828 CPUtime=6.07 cores=0-7
/proc/30592/task/30600/stat : 30600 (java) S 30589 30592 29738 0 -1 1077944384 109752 0 0 0 565 42 0 0 20 0 34 0 255611652 27700998144 977144 33554432000 4194304 4196468 140721013664208 140538511796752 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30601] ppid=30589 vsize=27051756 memory=1120 CPUtime=6.08 cores=0-7
/proc/30592/task/30601/stat : 30601 (java) S 30589 30592 29738 0 -1 1077944384 120541 0 0 0 566 42 0 0 20 0 34 0 255611652 27700998144 977144 33554432000 4194304 4196468 140721013664208 140538146740624 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30602] ppid=30589 vsize=27051756 memory=6076 CPUtime=6.08 cores=0-7
/proc/30592/task/30602/stat : 30602 (java) S 30589 30592 29738 0 -1 1077944384 111247 0 0 0 572 36 0 0 20 0 34 0 255611652 27700998144 977144 33554432000 4194304 4196468 140721013664208 140538145687824 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 18 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30603] ppid=30589 vsize=27051756 memory=1620 CPUtime=7.15 cores=0-7
/proc/30592/task/30603/stat : 30603 (java) S 30589 30592 29738 0 -1 1077944384 186875 0 0 0 629 86 0 0 20 0 34 0 255611653 27700998144 977144 33554432000 4194304 4196468 140721013664208 140537001573232 140538594491010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30604] ppid=30589 vsize=27051756 memory=504 CPUtime=0 cores=0-7
/proc/30592/task/30604/stat : 30604 (java) S 30589 30592 29738 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 34 0 255611653 27700998144 977144 33554432000 4194304 4196468 140721013664208 140537000519264 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30605] ppid=30589 vsize=27051756 memory=1740 CPUtime=0 cores=0-7
/proc/30592/task/30605/stat : 30605 (java) S 30589 30592 29738 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 34 0 255611654 27700998144 977144 33554432000 4194304 4196468 140721013664208 140536999466368 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30606] ppid=30589 vsize=27051756 memory=11192 CPUtime=0 cores=0-7
/proc/30592/task/30606/stat : 30606 (java) S 30589 30592 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 34 0 255611656 27700998144 977144 33554432000 4194304 4196468 140721013664208 140536998414672 140538594498459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30607] ppid=30589 vsize=27051756 memory=4088 CPUtime=1.18 cores=0-7
/proc/30592/task/30607/stat : 30607 (java) S 30589 30592 29738 0 -1 1077944384 6133 0 0 0 117 1 0 0 20 0 34 0 255611656 27700998144 977144 33554432000 4194304 4196468 140721013664208 140536997362032 140538594491010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30608] ppid=30589 vsize=27051756 memory=3908576 CPUtime=1.04 cores=0-7
/proc/30592/task/30608/stat : 30608 (java) S 30589 30592 29738 0 -1 1077944384 3142 0 0 0 103 1 0 0 20 0 34 0 255611656 27700998144 977144 33554432000 4194304 4196468 140721013664208 140536996309232 140538594491010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30609] ppid=30589 vsize=27051756 memory=736 CPUtime=0.85 cores=0-7
/proc/30592/task/30609/stat : 30609 (java) S 30589 30592 29738 0 -1 1077944384 3899 0 0 0 85 0 0 0 20 0 34 0 255611656 27700998144 977144 33554432000 4194304 4196468 140721013664208 140536995256432 140538594491010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30610] ppid=30589 vsize=27051756 memory=4108 CPUtime=0.84 cores=0-7
/proc/30592/task/30610/stat : 30610 (java) S 30589 30592 29738 0 -1 1077944384 11102 0 0 0 80 4 0 0 20 0 34 0 255611656 27700998144 977144 33554432000 4194304 4196468 140721013664208 140536994203632 140538594491010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30611] ppid=30589 vsize=27051756 memory=1398720917958146503 CPUtime=0 cores=0-7
/proc/30592/task/30611/stat : 30611 (java) S 30589 30592 29738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 34 0 255611657 27700998144 977144 33554432000 4194304 4196468 140721013664208 140536993152096 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30612] ppid=30589 vsize=27051756 memory=0 CPUtime=0.87 cores=0-7
/proc/30592/task/30612/stat : 30612 (java) S 30589 30592 29738 0 -1 1077944384 8963 0 0 0 41 46 0 0 20 0 34 0 255611657 27700998144 977144 33554432000 4194304 4196468 140721013664208 140536992099376 140538594491010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30613] ppid=30589 vsize=27051756 memory=0 CPUtime=0 cores=0-7
/proc/30592/task/30613/stat : 30613 (java) S 30589 30592 29738 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 34 0 255611809 27700998144 977144 33554432000 4194304 4196468 140721013664208 140536980755584 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30614] ppid=30589 vsize=27051756 memory=0 CPUtime=4.95 cores=0-7
/proc/30592/task/30614/stat : 30614 (java) R 30589 30592 29738 0 -1 1077944384 20156 0 0 0 188 307 0 0 20 0 34 0 255611827 27700998144 977144 33554432000 4194304 4196468 140721013664208 140536977605920 140538594491010 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30615] ppid=30589 vsize=27051756 memory=0 CPUtime=2483.13 cores=0-7
/proc/30592/task/30615/stat : 30615 (java) R 30589 30592 29738 0 -1 4202560 111225 0 0 0 248161 152 0 0 20 0 34 0 255611847 27700998144 977144 33554432000 4194304 4196468 140721013664208 140536974447792 140538201165897 0 4 0 16800975 0 0 0 -1 7 0 0 33 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30616] ppid=30589 vsize=27051756 memory=0 CPUtime=0.04 cores=0-7
/proc/30592/task/30616/stat : 30616 (java) S 30589 30592 29738 0 -1 1077944384 91 0 0 0 4 0 0 0 20 0 34 0 255611848 27700998144 977144 33554432000 4194304 4196468 140721013664208 140536973403056 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30617] ppid=30589 vsize=27051756 memory=3908576 CPUtime=2486.36 cores=0-7
/proc/30592/task/30617/stat : 30617 (java) R 30589 30592 29738 0 -1 4202560 114539 0 0 0 248481 155 0 0 20 0 34 0 255611848 27700998144 977144 33554432000 4194304 4196468 140721013664208 140536972343112 140538201269552 0 4 0 16800975 0 0 0 -1 4 0 0 37 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30618] ppid=30589 vsize=27051756 memory=1120 CPUtime=2485.26 cores=0-7
/proc/30592/task/30618/stat : 30618 (java) R 30589 30592 29738 0 -1 4202560 115995 0 0 0 248372 154 0 0 20 0 34 0 255611855 27700998144 977144 33554432000 4194304 4196468 140721013664208 140536969193088 140538201164350 0 4 0 16800975 0 0 0 -1 0 0 0 38 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30619] ppid=30589 vsize=27051756 memory=6076 CPUtime=0.03 cores=0-7
/proc/30592/task/30619/stat : 30619 (java) S 30589 30592 29738 0 -1 1077944384 41 0 0 0 3 0 0 0 20 0 34 0 255611855 27700998144 977144 33554432000 4194304 4196468 140721013664208 140536968148528 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30620] ppid=30589 vsize=27051756 memory=1724 CPUtime=2484.45 cores=0-7
/proc/30592/task/30620/stat : 30620 (java) R 30589 30592 29738 0 -1 4202560 113445 0 0 0 248283 162 0 0 20 0 34 0 255611855 27700998144 977144 33554432000 4194304 4196468 140721013664208 140536458328384 140538201761146 0 4 0 16800975 0 0 0 -1 1 0 0 38 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30621] ppid=30589 vsize=27051756 memory=4004 CPUtime=2485.48 cores=0-7
/proc/30592/task/30621/stat : 30621 (java) R 30589 30592 29738 0 -1 4202560 112578 0 0 0 248399 149 0 0 20 0 34 0 255611855 27700998144 977144 33554432000 4194304 4196468 140721013664208 140536457277888 140538201267749 0 4 0 16800975 0 0 0 -1 2 0 0 39 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30622] ppid=30589 vsize=27051756 memory=3516 CPUtime=0.03 cores=0-7
/proc/30592/task/30622/stat : 30622 (java) S 30589 30592 29738 0 -1 1077944384 35 0 0 0 3 0 0 0 20 0 34 0 255611855 27700998144 977144 33554432000 4194304 4196468 140721013664208 140536456230064 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30623] ppid=30589 vsize=27051756 memory=872 CPUtime=2484.34 cores=0-7
/proc/30592/task/30623/stat : 30623 (java) R 30589 30592 29738 0 -1 4202560 110712 0 0 0 248287 147 0 0 20 0 34 0 255611856 27700998144 977144 33554432000 4194304 4196468 140721013664208 140536455170120 140538201167692 0 4 0 16800975 0 0 0 -1 5 0 0 37 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30624] ppid=30589 vsize=27051756 memory=1288 CPUtime=2486.79 cores=0-7
/proc/30592/task/30624/stat : 30624 (java) R 30589 30592 29738 0 -1 4202560 114696 0 0 0 248524 155 0 0 20 0 34 0 255611856 27700998144 977144 33554432000 4194304 4196468 140721013664208 140536454116512 140538195941447 0 4 0 16800975 0 0 0 -1 3 0 0 39 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30625] ppid=30589 vsize=27051756 memory=1088 CPUtime=2484.57 cores=0-7
/proc/30592/task/30625/stat : 30625 (java) R 30589 30592 29738 0 -1 4202560 123122 0 0 0 248300 157 0 0 20 0 34 0 255611862 27700998144 977144 33554432000 4194304 4196468 140721013664208 140536453064384 140538201312446 0 4 0 16800975 0 0 0 -1 6 0 0 39 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30626] ppid=30589 vsize=27051756 memory=14888 CPUtime=0 cores=0-7
/proc/30592/task/30626/stat : 30626 (java) S 30589 30592 29738 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 34 0 255611862 27700998144 977144 33554432000 4194304 4196468 140721013664208 140536452018864 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
Current children cumulated CPU time: 19948.3 s
Current children cumulated vsize: 27051756 KiB
Current children cumulated memory: 3908576 KiB

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

[startup+2520.62 s]
# the end of solver process 30592 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19936.2 s, system=16.691 s

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

[startup+2520.4 s]
/proc/loadavg: 8.86 8.93 8.86 9/213 30683
/proc/meminfo: memFree=20904812/32770624 swapFree=67108524/67108860
[pid=30592] ppid=30589 vsize=27518732 memory=3910908 CPUtime=19951.3 cores=0-7
/proc/30592/stat : 30592 (java) S 30589 30592 29738 0 -1 1077944320 2098694 0 0 0 1993467 1666 0 0 20 0 42 0 255611650 28179181568 977727 33554432000 4194304 4196468 140721013664208 140721013646752 140538594479863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
/proc/30592/statm: 6879683 977727 3612 1 0 6841234 0
[pid=30592/tid=30594] ppid=30589 vsize=27518732 memory=3908576 CPUtime=1.95 cores=0-7
/proc/30592/task/30594/stat : 30594 (java) S 30589 30592 29738 0 -1 1077944384 21280 0 0 0 186 9 0 0 20 0 42 0 255611651 28179181568 977727 33554432000 4194304 4196468 140721013664208 140538598717328 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30595] ppid=30589 vsize=27518732 memory=736 CPUtime=6.09 cores=0-7
/proc/30592/task/30595/stat : 30595 (java) S 30589 30592 29738 0 -1 1077944384 121657 0 0 0 568 41 0 0 20 0 42 0 255611652 28179181568 977727 33554432000 4194304 4196468 140721013664208 140538517060752 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30596] ppid=30589 vsize=27518732 memory=4108 CPUtime=6.1 cores=0-7
/proc/30592/task/30596/stat : 30596 (java) S 30589 30592 29738 0 -1 1077944384 104369 0 0 0 569 41 0 0 20 0 42 0 255611652 28179181568 977727 33554432000 4194304 4196468 140721013664208 140538516007952 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30597] ppid=30589 vsize=27518732 memory=3908576 CPUtime=6.1 cores=0-7
/proc/30592/task/30597/stat : 30597 (java) S 30589 30592 29738 0 -1 1077944384 121417 0 0 0 569 41 0 0 20 0 42 0 255611652 28179181568 977727 33554432000 4194304 4196468 140721013664208 140538514955152 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30598] ppid=30589 vsize=27518732 memory=3908576 CPUtime=6.09 cores=0-7
/proc/30592/task/30598/stat : 30598 (java) S 30589 30592 29738 0 -1 1077944384 111644 0 0 0 566 43 0 0 20 0 42 0 255611652 28179181568 977727 33554432000 4194304 4196468 140721013664208 140538513902352 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30599] ppid=30589 vsize=27518732 memory=0 CPUtime=6.1 cores=0-7
/proc/30592/task/30599/stat : 30599 (java) S 30589 30592 29738 0 -1 1077944384 114852 0 0 0 570 40 0 0 20 0 42 0 255611652 28179181568 977727 33554432000 4194304 4196468 140721013664208 140538512849552 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 18 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30600] ppid=30589 vsize=27518732 memory=6368766495445248872 CPUtime=6.07 cores=0-7
/proc/30592/task/30600/stat : 30600 (java) S 30589 30592 29738 0 -1 1077944384 109752 0 0 0 565 42 0 0 20 0 42 0 255611652 28179181568 977727 33554432000 4194304 4196468 140721013664208 140538511796752 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30601] ppid=30589 vsize=27518732 memory=1288 CPUtime=6.08 cores=0-7
/proc/30592/task/30601/stat : 30601 (java) S 30589 30592 29738 0 -1 1077944384 120541 0 0 0 566 42 0 0 20 0 42 0 255611652 28179181568 977727 33554432000 4194304 4196468 140721013664208 140538146740624 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30602] ppid=30589 vsize=27518732 memory=1088 CPUtime=6.08 cores=0-7
/proc/30592/task/30602/stat : 30602 (java) S 30589 30592 29738 0 -1 1077944384 111247 0 0 0 572 36 0 0 20 0 42 0 255611652 28179181568 977727 33554432000 4194304 4196468 140721013664208 140538145687824 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 18 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30603] ppid=30589 vsize=27518732 memory=14888 CPUtime=7.15 cores=0-7
/proc/30592/task/30603/stat : 30603 (java) S 30589 30592 29738 0 -1 1077944384 186875 0 0 0 629 86 0 0 20 0 42 0 255611653 28179181568 977727 33554432000 4194304 4196468 140721013664208 140537001573232 140538594491010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30604] ppid=30589 vsize=27518732 memory=38564 CPUtime=0 cores=0-7
/proc/30592/task/30604/stat : 30604 (java) S 30589 30592 29738 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 42 0 255611653 28179181568 977727 33554432000 4194304 4196468 140721013664208 140537000519264 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30605] ppid=30589 vsize=27518732 memory=3312 CPUtime=0 cores=0-7
/proc/30592/task/30605/stat : 30605 (java) S 30589 30592 29738 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 42 0 255611654 28179181568 977727 33554432000 4194304 4196468 140721013664208 140536999466368 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30606] ppid=30589 vsize=27518732 memory=15708 CPUtime=0 cores=0-7
/proc/30592/task/30606/stat : 30606 (java) S 30589 30592 29738 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 42 0 255611656 28179181568 977727 33554432000 4194304 4196468 140721013664208 140536998414672 140538594498459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30607] ppid=30589 vsize=27518732 memory=1620 CPUtime=1.19 cores=0-7
/proc/30592/task/30607/stat : 30607 (java) S 30589 30592 29738 0 -1 1077944384 6152 0 0 0 118 1 0 0 20 0 42 0 255611656 28179181568 977727 33554432000 4194304 4196468 140721013664208 140536997362032 140538594491010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30608] ppid=30589 vsize=27518732 memory=504 CPUtime=1.1 cores=0-7
/proc/30592/task/30608/stat : 30608 (java) R 30589 30592 29738 0 -1 4202560 3837 0 0 0 109 1 0 0 20 0 42 0 255611656 28179181568 977727 33554432000 4194304 4196468 140721013664208 140536996295416 140538586716990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30609] ppid=30589 vsize=27518732 memory=924 CPUtime=0.87 cores=0-7
/proc/30592/task/30609/stat : 30609 (java) R 30589 30592 29738 0 -1 4202560 3993 0 0 0 87 0 0 0 20 0 42 0 255611656 28179181568 977727 33554432000 4194304 4196468 140721013664208 140536995242528 140538579588707 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30610] ppid=30589 vsize=27518732 memory=1168 CPUtime=0.85 cores=0-7
/proc/30592/task/30610/stat : 30610 (java) S 30589 30592 29738 0 -1 1077944384 11317 0 0 0 81 4 0 0 20 0 42 0 255611656 28179181568 977727 33554432000 4194304 4196468 140721013664208 140536994203632 140538594491010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30611] ppid=30589 vsize=27518732 memory=2132 CPUtime=0 cores=0-7
/proc/30592/task/30611/stat : 30611 (java) S 30589 30592 29738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 42 0 255611657 28179181568 977727 33554432000 4194304 4196468 140721013664208 140536993152096 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30612] ppid=30589 vsize=27518732 memory=2180 CPUtime=0.87 cores=0-7
/proc/30592/task/30612/stat : 30612 (java) S 30589 30592 29738 0 -1 1077944384 8963 0 0 0 41 46 0 0 20 0 42 0 255611657 28179181568 977727 33554432000 4194304 4196468 140721013664208 140536992099376 140538594491010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30613] ppid=30589 vsize=27518732 memory=924 CPUtime=0 cores=0-7
/proc/30592/task/30613/stat : 30613 (java) S 30589 30592 29738 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 42 0 255611809 28179181568 977727 33554432000 4194304 4196468 140721013664208 140536980755584 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30614] ppid=30589 vsize=27518732 memory=1576 CPUtime=4.95 cores=0-7
/proc/30592/task/30614/stat : 30614 (java) S 30589 30592 29738 0 -1 1077944384 20166 0 0 0 188 307 0 0 20 0 42 0 255611827 28179181568 977727 33554432000 4194304 4196468 140721013664208 140536977605808 140538594491010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30615] ppid=30589 vsize=27518732 memory=6791534058613427641 CPUtime=2483.5 cores=0-7
/proc/30592/task/30615/stat : 30615 (java) R 30589 30592 29738 0 -1 4202560 111240 0 0 0 248198 152 0 0 20 0 42 0 255611847 28179181568 977727 33554432000 4194304 4196468 140721013664208 140536974447792 140538201350727 0 4 0 16800975 0 0 0 -1 5 0 0 33 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30616] ppid=30589 vsize=27518732 memory=1932 CPUtime=0.04 cores=0-7
/proc/30592/task/30616/stat : 30616 (java) S 30589 30592 29738 0 -1 1077944384 115 0 0 0 4 0 0 0 20 0 42 0 255611848 28179181568 977727 33554432000 4194304 4196468 140721013664208 140536973402672 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30617] ppid=30589 vsize=27518732 memory=7288 CPUtime=2486.74 cores=0-7
/proc/30592/task/30617/stat : 30617 (java) R 30589 30592 29738 0 -1 4202560 114550 0 0 0 248519 155 0 0 20 0 42 0 255611848 28179181568 977727 33554432000 4194304 4196468 140721013664208 140536972343112 140538201086528 0 4 0 16800975 0 0 0 -1 4 0 0 37 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30618] ppid=30589 vsize=27518732 memory=804 CPUtime=2485.63 cores=0-7
/proc/30592/task/30618/stat : 30618 (java) R 30589 30592 29738 0 -1 4202560 116008 0 0 0 248408 155 0 0 20 0 42 0 255611855 28179181568 977727 33554432000 4194304 4196468 140721013664208 140536969193224 140538196212864 0 4 0 16800975 0 0 0 -1 0 0 0 38 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30619] ppid=30589 vsize=27518732 memory=1800 CPUtime=0.03 cores=0-7
/proc/30592/task/30619/stat : 30619 (java) S 30589 30592 29738 0 -1 1077944384 88 0 0 0 3 0 0 0 20 0 42 0 255611855 28179181568 977727 33554432000 4194304 4196468 140721013664208 140536968148528 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30620] ppid=30589 vsize=27518732 memory=920 CPUtime=2484.78 cores=0-7
/proc/30592/task/30620/stat : 30620 (java) R 30589 30592 29738 0 -1 4202560 113457 0 0 0 248316 162 0 0 20 0 42 0 255611855 28179181568 977728 33554432000 4194304 4196468 140721013664208 140536458328520 140538201649864 0 4 0 16800975 0 0 0 -1 1 0 0 38 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30621] ppid=30589 vsize=27518732 memory=5792 CPUtime=2485.86 cores=0-7
/proc/30592/task/30621/stat : 30621 (java) R 30589 30592 29738 0 -1 4202560 112590 0 0 0 248437 149 0 0 20 0 42 0 255611855 28179181568 977728 33554432000 4194304 4196468 140721013664208 140536457277888 140538201266039 0 4 0 16800975 0 0 0 -1 2 0 0 39 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30622] ppid=30589 vsize=27518732 memory=1408 CPUtime=0.04 cores=0-7
/proc/30592/task/30622/stat : 30622 (java) S 30589 30592 29738 0 -1 1077944384 432 0 0 0 4 0 0 0 20 0 42 0 255611855 28179181568 977728 33554432000 4194304 4196468 140721013664208 140536456230064 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30623] ppid=30589 vsize=27518732 memory=4088 CPUtime=2484.71 cores=0-7
/proc/30592/task/30623/stat : 30623 (java) R 30589 30592 29738 0 -1 4202560 110722 0 0 0 248324 147 0 0 20 0 42 0 255611856 28179181568 977728 33554432000 4194304 4196468 140721013664208 140536455170120 140538201079692 0 4 0 16800975 0 0 0 -1 7 0 0 37 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30624] ppid=30589 vsize=27518732 memory=3908576 CPUtime=2487.15 cores=0-7
/proc/30592/task/30624/stat : 30624 (java) R 30589 30592 29738 0 -1 4202560 114706 0 0 0 248560 155 0 0 20 0 42 0 255611856 28179181568 977728 33554432000 4194304 4196468 140721013664208 140536454116648 140538198021824 0 4 0 16800975 0 0 0 -1 3 0 0 39 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30625] ppid=30589 vsize=27518732 memory=736 CPUtime=2484.93 cores=0-7
/proc/30592/task/30625/stat : 30625 (java) R 30589 30592 29738 0 -1 4202560 123136 0 0 0 248336 157 0 0 20 0 42 0 255611862 28179181568 977728 33554432000 4194304 4196468 140721013664208 140536453064520 140538201483847 0 4 0 16800975 0 0 0 -1 6 0 0 39 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
[pid=30592/tid=30626] ppid=30589 vsize=27518732 memory=4108 CPUtime=0.01 cores=0-7
/proc/30592/task/30626/stat : 30626 (java) S 30589 30592 29738 0 -1 1077944384 527 0 0 0 1 0 0 0 20 0 42 0 255611862 28179181568 977728 33554432000 4194304 4196468 140721013664208 140536452017808 140538594490069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29360128 140721013670989 140721013671173 140721013671173 140721013673935 0
Current children cumulated CPU time: 19951.3 s
Current children cumulated vsize: 27518732 KiB
Current children cumulated memory: 3910908 KiB

[startup+2520.6 s]*
/proc/loadavg: 9.04 8.96 8.87 2/181 30695
/proc/meminfo: memFree=20905284/32770624 swapFree=67108524/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.62
CPU time (s): 19952.9
CPU user time (s): 19936.2
CPU system time (s): 16.691
CPU usage (%): 791.587
Max. virtual memory (cumulated for all children) (KiB): 27651860
Max. memory (cumulated for all children) (KiB): 3911028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19936.2
system time used= 16.691
maximum resident set size= 3914868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2100689
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 810508
involuntary context switches= 440484


# summary of solver processes directly reported to runsolver:
#   pid: 30592
#   total CPU time (s): 19952.9
#   total CPU user time (s): 19936.2
#   total CPU system time (s): 16.691

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.4109 second user time and 31.3091 second system time

The end

Launcher Data 

Begin job on node107 at 2018-08-16 02:48:05
IDJOB=4309035
IDBENCH=141399
IDSOLVER=2793
FILE ID=node107/4309035-1534380484
RUNJOBID= node107-1534373665-29765
PBS_JOBID= 21038294
Free space on /tmp= 50628 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-08-14
BENCH NAME= XCSP18/Dubois/Dubois-050_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-4309035-1534380484/watcher-4309035-1534380484 -o /tmp/evaluation-result-4309035-1534380484/solver-4309035-1534380484 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1534373665-29765 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1751688118 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309035-1534380484.xml

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

MD5SUM BENCH= 630ab63eaf7c5bcaa7f0eb192a58705a
RANDOM SEED=1751688118

node107.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.40
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.40
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.40
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.40
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:        24808844 kB
MemAvailable:   31892596 kB
Buffers:          224016 kB
Cached:          7109604 kB
SwapCached:           20 kB
Active:          3964964 kB
Inactive:        3425172 kB
Active(anon):       5364 kB
Inactive(anon):   111352 kB
Active(file):    3959600 kB
Inactive(file):  3313820 kB
Unevictable:        6972 kB
Mlocked:            6972 kB
SwapTotal:      67108860 kB
SwapFree:       67108524 kB
Dirty:             35640 kB
Writeback:             0 kB
AnonPages:         71632 kB
Mapped:            55792 kB
Shmem:             57824 kB
Slab:             266728 kB
SReclaimable:     238792 kB
SUnreclaim:        27936 kB
KernelStack:        3520 kB
PageTables:         5024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     358520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 50592 MiB
End job on node107 at 2018-08-16 03:30:05