Trace number 4275279

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 2017-07-26UNSAT 13.5237 3.6660099

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s04/
Blackhole-4-04-2_X2.xml
MD5SUM6b054a9e51d4cac3cb4cd1a46e01dd0a
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.22487301
Satisfiable
(Un)Satisfiability was proved
Number of variables64
Number of constraints432
Number of domains4
Minimum domain size1
Maximum domain size16
Distribution of domain sizes[{"size":1,"count":2},{"size":4,"count":16},{"size":8,"count":15},{"size":16,"count":30}]
Minimum variable degree0
Maximum variable degree32
Distribution of variable degrees[{"degree":0,"count":1},{"degree":2,"count":17},{"degree":3,"count":14},{"degree":16,"count":1},{"degree":17,"count":10},{"degree":18,"count":5},{"degree":32,"count":16}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":432}]
Number of extensional constraints432
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":432}]
Optimization problemNO
Type of objective

Solver Data 

0.29/0.25	c version: 2017-07-26
0.29/0.26	c seed: 1652296296
0.29/0.26	c timeout: 20160
0.29/0.26	c memlimit: 11000
0.29/0.26	c nbcore: 8
0.29/0.28	c Parsing instance...
1.11/0.62	c Parsing done, starting search...
12.94/2.79	s UNSATISFIABLE

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275279-1502769786/watcher-4275279-1502769786 -o /tmp/evaluation-result-4275279-1502769786/solver-4275279-1502769786 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502763873-11559 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1652296296 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275279-1502769786.xml 

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

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


[startup+0.100194 s]*
/proc/loadavg: 7.68 8.74 8.73 1/198 12291
/proc/meminfo: memFree=27706976/32770624 swapFree=67108860/67108860
[pid=12271] ppid=12268 vsize=14325320 memory=33096 CPUtime=0.12 cores=0-7
/proc/12271/stat : 12271 (java) S 12268 12271 11532 0 -1 1077944320 8162 0 0 0 10 2 0 0 20 0 20 0 110059473 14669127680 8274 33554432000 4194304 4196468 140737264281568 140737264264112 140700116295415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
/proc/12271/statm: 3581330 8274 3410 1 0 3569050 0
[pid=12271/tid=12273] ppid=12268 vsize=14325320 memory=7824611210718780062 CPUtime=0.08 cores=0-7
/proc/12271/task/12273/stat : 12273 (java) R 12268 12271 11532 0 -1 4202560 6096 0 0 0 7 1 0 0 20 0 20 0 110059473 14669127680 8274 33554432000 4194304 4196468 140737264281568 140700120505888 140700100375902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12274] ppid=12268 vsize=14325320 memory=732370077368941541 CPUtime=0 cores=0-7
/proc/12271/task/12274/stat : 12274 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110059474 14669127680 8274 33554432000 4194304 4196468 140737264281568 140700046383376 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12275] ppid=12268 vsize=14325320 memory=139939031488128 CPUtime=0 cores=0-7
/proc/12271/task/12275/stat : 12275 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110059474 14669127680 8274 33554432000 4194304 4196468 140737264281568 140700045330832 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12276] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12276/stat : 12276 (java) S 12268 12271 11532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110059474 14669127680 8274 33554432000 4194304 4196468 140737264281568 140700044278288 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12277] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12277/stat : 12277 (java) S 12268 12271 11532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110059474 14669127680 8274 33554432000 4194304 4196468 140737264281568 140700043225744 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12278] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12278/stat : 12278 (java) S 12268 12271 11532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110059474 14669127680 8274 33554432000 4194304 4196468 140737264281568 140699707816720 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12279] ppid=12268 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/12271/task/12279/stat : 12279 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110059474 14669127680 8274 33554432000 4194304 4196468 140737264281568 140699706764176 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12280] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12280/stat : 12280 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110059474 14669127680 8274 33554432000 4194304 4196468 140737264281568 140699705711632 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12281] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12281/stat : 12281 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110059474 14669127680 8274 33554432000 4194304 4196468 140737264281568 140699704659088 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12282] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12282/stat : 12282 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110059476 14669127680 8274 33554432000 4194304 4196468 140737264281568 140699236296688 140700116306562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12283] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12283/stat : 12283 (java) S 12268 12271 11532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110059476 14669127680 8274 33554432000 4194304 4196468 140737264281568 140699235242912 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12284] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12284/stat : 12284 (java) S 12268 12271 11532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110059476 14669127680 8274 33554432000 4194304 4196468 140737264281568 140699234190320 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12285] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12285/stat : 12285 (java) S 12268 12271 11532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110059479 14669127680 8274 33554432000 4194304 4196468 140737264281568 140699233138896 140700116314011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12286] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12286/stat : 12286 (java) S 12268 12271 11532 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 110059479 14669127680 8274 33554432000 4194304 4196468 140737264281568 140699232086512 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12287] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12287/stat : 12287 (java) S 12268 12271 11532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110059479 14669127680 8274 33554432000 4194304 4196468 140737264281568 140699231033968 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12288] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12288/stat : 12288 (java) S 12268 12271 11532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110059479 14669127680 8274 33554432000 4194304 4196468 140737264281568 140699229981424 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12289] ppid=12268 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/12271/task/12289/stat : 12289 (java) R 12268 12271 11532 0 -1 4202560 375 0 0 0 1 0 0 0 20 0 20 0 110059479 14669127680 8274 33554432000 4194304 4196468 140737264281568 140699228928880 140700100375902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12290] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12290/stat : 12290 (java) S 12268 12271 11532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110059479 14669127680 8274 33554432000 4194304 4196468 140737264281568 140699227875552 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12291] ppid=12268 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/12271/task/12291/stat : 12291 (java) S 12268 12271 11532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110059479 14669127680 8274 33554432000 4194304 4196468 140737264281568 140699226823088 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 33096 KiB

[startup+0.210458 s]*
/proc/loadavg: 7.68 8.74 8.73 2/198 12291
/proc/meminfo: memFree=27695872/32770624 swapFree=67108860/67108860
[pid=12271] ppid=12268 vsize=14325320 memory=42428 CPUtime=0.29 cores=0-7
/proc/12271/stat : 12271 (java) S 12268 12271 11532 0 -1 1077944320 9259 0 0 0 26 3 0 0 20 0 20 0 110059473 14669127680 10607 33554432000 4194304 4196468 140737264281568 140737264264112 140700116295415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
/proc/12271/statm: 3581330 10607 3583 1 0 3569050 0
[pid=12271/tid=12273] ppid=12268 vsize=14325320 memory=32758254098972862 CPUtime=0.19 cores=0-7
/proc/12271/task/12273/stat : 12273 (java) R 12268 12271 11532 0 -1 4202560 6777 0 0 0 17 2 0 0 20 0 20 0 110059473 14669127680 10607 33554432000 4194304 4196468 140737264281568 140700120518720 140700116317341 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12274] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12274/stat : 12274 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110059474 14669127680 10607 33554432000 4194304 4196468 140737264281568 140700046383376 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12275] ppid=12268 vsize=14325320 memory=288370315183199872 CPUtime=0 cores=0-7
/proc/12271/task/12275/stat : 12275 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110059474 14669127680 10607 33554432000 4194304 4196468 140737264281568 140700045330832 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12276] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12276/stat : 12276 (java) S 12268 12271 11532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110059474 14669127680 10607 33554432000 4194304 4196468 140737264281568 140700044278288 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12277] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12277/stat : 12277 (java) S 12268 12271 11532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110059474 14669127680 10607 33554432000 4194304 4196468 140737264281568 140700043225744 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12278] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12278/stat : 12278 (java) S 12268 12271 11532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110059474 14669127680 10607 33554432000 4194304 4196468 140737264281568 140699707816720 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12279] ppid=12268 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/12271/task/12279/stat : 12279 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110059474 14669127680 10607 33554432000 4194304 4196468 140737264281568 140699706764176 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12280] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12280/stat : 12280 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110059474 14669127680 10607 33554432000 4194304 4196468 140737264281568 140699705711632 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12281] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12281/stat : 12281 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110059474 14669127680 10607 33554432000 4194304 4196468 140737264281568 140699704659088 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12282] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12282/stat : 12282 (java) S 12268 12271 11532 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 110059476 14669127680 10607 33554432000 4194304 4196468 140737264281568 140699236296688 140700116306562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12283] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12283/stat : 12283 (java) S 12268 12271 11532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110059476 14669127680 10607 33554432000 4194304 4196468 140737264281568 140699235242912 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12284] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12284/stat : 12284 (java) S 12268 12271 11532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110059476 14669127680 10607 33554432000 4194304 4196468 140737264281568 140699234190320 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12285] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12285/stat : 12285 (java) S 12268 12271 11532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110059479 14669127680 10607 33554432000 4194304 4196468 140737264281568 140699233138896 140700116314011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12286] ppid=12268 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/12271/task/12286/stat : 12286 (java) S 12268 12271 11532 0 -1 1077944384 433 0 0 0 1 0 0 0 20 0 20 0 110059479 14669127680 10607 33554432000 4194304 4196468 140737264281568 140699232086512 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12287] ppid=12268 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/12271/task/12287/stat : 12287 (java) S 12268 12271 11532 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 20 0 110059479 14669127680 10607 33554432000 4194304 4196468 140737264281568 140699231033968 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12288] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12288/stat : 12288 (java) S 12268 12271 11532 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 110059479 14669127680 10607 33554432000 4194304 4196468 140737264281568 140699229981424 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12289] ppid=12268 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/12271/task/12289/stat : 12289 (java) S 12268 12271 11532 0 -1 1077944384 436 0 0 0 5 0 0 0 20 0 20 0 110059479 14669127680 10607 33554432000 4194304 4196468 140737264281568 140699228928880 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12290] ppid=12268 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12290/stat : 12290 (java) S 12268 12271 11532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110059479 14669127680 10607 33554432000 4194304 4196468 140737264281568 140699227875552 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12291] ppid=12268 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/12271/task/12291/stat : 12291 (java) S 12268 12271 11532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110059479 14669127680 10607 33554432000 4194304 4196468 140737264281568 140699226823088 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 42428 KiB

[startup+0.310273 s]*
/proc/loadavg: 7.68 8.74 8.73 2/198 12291
/proc/meminfo: memFree=27687808/32770624 swapFree=67108860/67108860
[pid=12271] ppid=12268 vsize=14325340 memory=51036 CPUtime=0.48 cores=0-7
/proc/12271/stat : 12271 (java) S 12268 12271 11532 0 -1 1077944320 10491 0 0 0 44 4 0 0 20 0 20 0 110059473 14669148160 12759 33554432000 4194304 4196468 140737264281568 140737264264112 140700116295415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
/proc/12271/statm: 3581335 12759 3690 1 0 3569050 0
[pid=12271/tid=12273] ppid=12268 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12271/task/12273/stat : 12273 (java) R 12268 12271 11532 0 -1 4202560 7541 0 0 0 26 3 0 0 20 0 20 0 110059473 14669148160 12759 33554432000 4194304 4196468 140737264281568 140700120519472 140700100375902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12274] ppid=12268 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12274/stat : 12274 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110059474 14669148160 12759 33554432000 4194304 4196468 140737264281568 140700046383376 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12275] ppid=12268 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12275/stat : 12275 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110059474 14669148160 12759 33554432000 4194304 4196468 140737264281568 140700045330832 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12276] ppid=12268 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12276/stat : 12276 (java) S 12268 12271 11532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110059474 14669148160 12759 33554432000 4194304 4196468 140737264281568 140700044278288 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12277] ppid=12268 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12277/stat : 12277 (java) S 12268 12271 11532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110059474 14669148160 12759 33554432000 4194304 4196468 140737264281568 140700043225744 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12278] ppid=12268 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/12271/task/12278/stat : 12278 (java) S 12268 12271 11532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110059474 14669148160 12759 33554432000 4194304 4196468 140737264281568 140699707816720 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12279] ppid=12268 vsize=14325340 memory=139938892968879 CPUtime=0 cores=0-7
/proc/12271/task/12279/stat : 12279 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110059474 14669148160 12759 33554432000 4194304 4196468 140737264281568 140699706764176 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12280] ppid=12268 vsize=14325340 memory=139938892971184 CPUtime=0 cores=0-7
/proc/12271/task/12280/stat : 12280 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110059474 14669148160 12759 33554432000 4194304 4196468 140737264281568 140699705711632 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12281] ppid=12268 vsize=14325340 memory=139938892973488 CPUtime=0 cores=0-7
/proc/12271/task/12281/stat : 12281 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110059474 14669148160 12759 33554432000 4194304 4196468 140737264281568 140699704659088 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12282] ppid=12268 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12282/stat : 12282 (java) S 12268 12271 11532 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 110059476 14669148160 12759 33554432000 4194304 4196468 140737264281568 140699236296688 140700116306562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12283] ppid=12268 vsize=14325340 memory=279877785953936 CPUtime=0 cores=0-7
/proc/12271/task/12283/stat : 12283 (java) S 12268 12271 11532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110059476 14669148160 12759 33554432000 4194304 4196468 140737264281568 140699235242912 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12284] ppid=12268 vsize=14325340 memory=279877785960848 CPUtime=0 cores=0-7
/proc/12271/task/12284/stat : 12284 (java) S 12268 12271 11532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110059476 14669148160 12759 33554432000 4194304 4196468 140737264281568 140699234190320 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12285] ppid=12268 vsize=14325340 memory=279877785902128 CPUtime=0 cores=0-7
/proc/12271/task/12285/stat : 12285 (java) S 12268 12271 11532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110059479 14669148160 12759 33554432000 4194304 4196468 140737264281568 140699233138896 140700116314011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12286] ppid=12268 vsize=14325340 memory=279877785974672 CPUtime=0.01 cores=0-7
/proc/12271/task/12286/stat : 12286 (java) S 12268 12271 11532 0 -1 1077944384 439 0 0 0 1 0 0 0 20 0 20 0 110059479 14669148160 12759 33554432000 4194304 4196468 140737264281568 140699232086512 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12287] ppid=12268 vsize=14325340 memory=279877785981584 CPUtime=0.04 cores=0-7
/proc/12271/task/12287/stat : 12287 (java) S 12268 12271 11532 0 -1 1077944384 434 0 0 0 4 0 0 0 20 0 20 0 110059479 14669148160 12759 33554432000 4194304 4196468 140737264281568 140699231033968 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12288] ppid=12268 vsize=14325340 memory=279877785979280 CPUtime=0.03 cores=0-7
/proc/12271/task/12288/stat : 12288 (java) S 12268 12271 11532 0 -1 1077944384 226 0 0 0 3 0 0 0 20 0 20 0 110059479 14669148160 12759 33554432000 4194304 4196468 140737264281568 140699229981424 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12289] ppid=12268 vsize=14325340 memory=279877785995840 CPUtime=0.08 cores=0-7
/proc/12271/task/12289/stat : 12289 (java) S 12268 12271 11532 0 -1 1077944384 473 0 0 0 8 0 0 0 20 0 20 0 110059479 14669148160 12759 33554432000 4194304 4196468 140737264281568 140699228928880 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12290] ppid=12268 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12290/stat : 12290 (java) S 12268 12271 11532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110059479 14669148160 12759 33554432000 4194304 4196468 140737264281568 140699227875552 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12291] ppid=12268 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/12271/task/12291/stat : 12291 (java) S 12268 12271 11532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110059479 14669148160 12759 33554432000 4194304 4196468 140737264281568 140699226823088 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 51036 KiB

[startup+0.700903 s]
/proc/loadavg: 7.23 8.63 8.70 4/198 12291
/proc/meminfo: memFree=27674440/32770624 swapFree=67108860/67108860
[pid=12271] ppid=12268 vsize=14329436 memory=82424 CPUtime=1.25 cores=0-7
/proc/12271/stat : 12271 (java) S 12268 12271 11532 0 -1 1077944320 13714 0 0 0 119 6 0 0 20 0 20 0 110059473 14673342464 20606 33554432000 4194304 4196468 140737264281568 140737264264112 140700116295415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
/proc/12271/statm: 3582359 20606 3762 1 0 3570074 0
[pid=12271/tid=12273] ppid=12268 vsize=14329436 memory=5865727822183879273 CPUtime=0.67 cores=0-7
/proc/12271/task/12273/stat : 12273 (java) R 12268 12271 11532 0 -1 4202560 8931 0 0 0 63 4 0 0 20 0 20 0 110059473 14673342464 20606 33554432000 4194304 4196468 140737264281568 140700120530976 140700116317341 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12274] ppid=12268 vsize=14329436 memory=52785148092420 CPUtime=0 cores=0-7
/proc/12271/task/12274/stat : 12274 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110059474 14673342464 20606 33554432000 4194304 4196468 140737264281568 140700046383376 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12275] ppid=12268 vsize=14329436 memory=139938892983336 CPUtime=0 cores=0-7
/proc/12271/task/12275/stat : 12275 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110059474 14673342464 20606 33554432000 4194304 4196468 140737264281568 140700045330832 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12276] ppid=12268 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12276/stat : 12276 (java) S 12268 12271 11532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110059474 14673342464 20606 33554432000 4194304 4196468 140737264281568 140700044278288 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12277] ppid=12268 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12277/stat : 12277 (java) S 12268 12271 11532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110059474 14673342464 20606 33554432000 4194304 4196468 140737264281568 140700043225744 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12278] ppid=12268 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12278/stat : 12278 (java) S 12268 12271 11532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110059474 14673342464 20606 33554432000 4194304 4196468 140737264281568 140699707816720 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12279] ppid=12268 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12279/stat : 12279 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110059474 14673342464 20606 33554432000 4194304 4196468 140737264281568 140699706764176 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12280] ppid=12268 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12280/stat : 12280 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110059474 14673342464 20606 33554432000 4194304 4196468 140737264281568 140699705711632 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12281] ppid=12268 vsize=14329436 memory=1732 CPUtime=0 cores=0-7
/proc/12271/task/12281/stat : 12281 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110059474 14673342464 20606 33554432000 4194304 4196468 140737264281568 140699704659088 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12282] ppid=12268 vsize=14329436 memory=1224 CPUtime=0 cores=0-7
/proc/12271/task/12282/stat : 12282 (java) S 12268 12271 11532 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 110059476 14673342464 20606 33554432000 4194304 4196468 140737264281568 140699236296688 140700116306562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0

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

[pid=12271/tid=12286] ppid=12268 vsize=14329436 memory=1436 CPUtime=0.1 cores=0-7
/proc/12271/task/12286/stat : 12286 (java) S 12268 12271 11532 0 -1 1077944384 1008 0 0 0 10 0 0 0 20 0 20 0 110059479 14673342464 20606 33554432000 4194304 4196468 140737264281568 140699232086512 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12287] ppid=12268 vsize=14329436 memory=1012 CPUtime=0.07 cores=0-7
/proc/12271/task/12287/stat : 12287 (java) S 12268 12271 11532 0 -1 1077944384 661 0 0 0 7 0 0 0 20 0 20 0 110059479 14673342464 20606 33554432000 4194304 4196468 140737264281568 140699231033968 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12288] ppid=12268 vsize=14329436 memory=1712 CPUtime=0.1 cores=0-7
/proc/12271/task/12288/stat : 12288 (java) S 12268 12271 11532 0 -1 1077944384 490 0 0 0 10 0 0 0 20 0 20 0 110059479 14673342464 20606 33554432000 4194304 4196468 140737264281568 140699229981424 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12289] ppid=12268 vsize=14329436 memory=1952 CPUtime=0.26 cores=0-7
/proc/12271/task/12289/stat : 12289 (java) S 12268 12271 11532 0 -1 1077944384 1234 0 0 0 26 0 0 0 20 0 20 0 110059479 14673342464 20606 33554432000 4194304 4196468 140737264281568 140699228928880 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12290] ppid=12268 vsize=14329436 memory=8616 CPUtime=0 cores=0-7
/proc/12271/task/12290/stat : 12290 (java) S 12268 12271 11532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110059479 14673342464 20606 33554432000 4194304 4196468 140737264281568 140699227875552 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12291] ppid=12268 vsize=14329436 memory=4620 CPUtime=0 cores=0-7
/proc/12271/task/12291/stat : 12291 (java) S 12268 12271 11532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110059479 14673342464 20606 33554432000 4194304 4196468 140737264281568 140699226823088 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 14329436 KiB
Current children cumulated memory: 82424 KiB

[startup+1.50091 s]
/proc/loadavg: 7.23 8.63 8.70 6/198 12291
/proc/meminfo: memFree=27602304/32770624 swapFree=67108860/67108860
[pid=12271] ppid=12268 vsize=14466660 memory=203036 CPUtime=4.41 cores=0-7
/proc/12271/stat : 12271 (java) S 12268 12271 11532 0 -1 1077944320 35099 0 0 0 427 14 0 0 20 0 22 0 110059473 14813859840 50759 33554432000 4194304 4196468 140737264281568 140737264264112 140700116295415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
/proc/12271/statm: 3616665 50759 3793 1 0 3604380 0
[pid=12271/tid=12273] ppid=12268 vsize=14466660 memory=174384 CPUtime=1.47 cores=0-7
/proc/12271/task/12273/stat : 12273 (java) R 12268 12271 11532 0 -1 4202560 12338 0 0 0 140 7 0 0 20 0 22 0 110059473 14813859840 50759 33554432000 4194304 4196468 140737264281568 140700120520160 140700116317341 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12274] ppid=12268 vsize=14466660 memory=8616 CPUtime=0 cores=0-7
/proc/12271/task/12274/stat : 12274 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 22 0 110059474 14813859840 50759 33554432000 4194304 4196468 140737264281568 140700046383376 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12275] ppid=12268 vsize=14466660 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12275/stat : 12275 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 22 0 110059474 14813859840 50759 33554432000 4194304 4196468 140737264281568 140700045330832 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12276] ppid=12268 vsize=14466660 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12276/stat : 12276 (java) S 12268 12271 11532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 110059474 14813859840 50759 33554432000 4194304 4196468 140737264281568 140700044278288 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12277] ppid=12268 vsize=14466660 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12277/stat : 12277 (java) S 12268 12271 11532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 110059474 14813859840 50759 33554432000 4194304 4196468 140737264281568 140700043225744 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12278] ppid=12268 vsize=14466660 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12278/stat : 12278 (java) S 12268 12271 11532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 110059474 14813859840 50759 33554432000 4194304 4196468 140737264281568 140699707816720 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12279] ppid=12268 vsize=14466660 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12279/stat : 12279 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 22 0 110059474 14813859840 50759 33554432000 4194304 4196468 140737264281568 140699706764176 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12280] ppid=12268 vsize=14466660 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12280/stat : 12280 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 22 0 110059474 14813859840 50759 33554432000 4194304 4196468 140737264281568 140699705711632 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12281] ppid=12268 vsize=14466660 memory=2241 CPUtime=0 cores=0-7
/proc/12271/task/12281/stat : 12281 (java) S 12268 12271 11532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 22 0 110059474 14813859840 50759 33554432000 4194304 4196468 140737264281568 140699704659088 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12282] ppid=12268 vsize=14466660 memory=2244 CPUtime=0 cores=0-7
/proc/12271/task/12282/stat : 12282 (java) S 12268 12271 11532 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 22 0 110059476 14813859840 50759 33554432000 4194304 4196468 140737264281568 140699236296688 140700116306562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12283] ppid=12268 vsize=14466660 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12283/stat : 12283 (java) S 12268 12271 11532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 22 0 110059476 14813859840 50759 33554432000 4194304 4196468 140737264281568 140699235242912 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12284] ppid=12268 vsize=14466660 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12284/stat : 12284 (java) S 12268 12271 11532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 22 0 110059476 14813859840 50759 33554432000 4194304 4196468 140737264281568 140699234190320 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12285] ppid=12268 vsize=14466660 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12285/stat : 12285 (java) S 12268 12271 11532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 110059479 14813859840 50759 33554432000 4194304 4196468 140737264281568 140699233138896 140700116314011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12286] ppid=12268 vsize=14466660 memory=0 CPUtime=0.79 cores=0-7
/proc/12271/task/12286/stat : 12286 (java) R 12268 12271 11532 0 -1 4202560 6588 0 0 0 77 2 0 0 20 0 22 0 110059479 14813859840 50759 33554432000 4194304 4196468 140737264281568 140699232065024 140700099792195 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12287] ppid=12268 vsize=14466660 memory=0 CPUtime=0.76 cores=0-7
/proc/12271/task/12287/stat : 12287 (java) S 12268 12271 11532 0 -1 1077944384 4290 0 0 0 75 1 0 0 20 0 22 0 110059479 14813859840 50759 33554432000 4194304 4196468 140737264281568 140699231033968 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12288] ppid=12268 vsize=14466660 memory=7156615908706051922 CPUtime=0.76 cores=0-7
/proc/12271/task/12288/stat : 12288 (java) S 12268 12271 11532 0 -1 1077944384 5140 0 0 0 75 1 0 0 20 0 22 0 110059479 14813859840 50759 33554432000 4194304 4196468 140737264281568 140699229981424 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12289] ppid=12268 vsize=14466660 memory=7301857172715104592 CPUtime=0.58 cores=0-7
/proc/12271/task/12289/stat : 12289 (java) S 12268 12271 11532 0 -1 1077944384 5287 0 0 0 57 1 0 0 20 0 22 0 110059479 14813859840 50759 33554432000 4194304 4196468 140737264281568 140699228928880 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12290] ppid=12268 vsize=14466660 memory=6153395286986805840 CPUtime=0 cores=0-7
/proc/12271/task/12290/stat : 12290 (java) S 12268 12271 11532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 110059479 14813859840 50759 33554432000 4194304 4196468 140737264281568 140699227875552 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12291] ppid=12268 vsize=14466660 memory=139943326455423 CPUtime=0 cores=0-7
/proc/12271/task/12291/stat : 12291 (java) S 12268 12271 11532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 110059479 14813859840 50759 33554432000 4194304 4196468 140737264281568 140699226823088 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
Current children cumulated CPU time: 4.41 s
Current children cumulated vsize: 14466660 KiB
Current children cumulated memory: 203036 KiB

[startup+3.10967 s]
/proc/loadavg: 7.23 8.63 8.70 1/196 12318
/proc/meminfo: memFree=27423424/32770624 swapFree=67108860/67108860
[pid=12271] ppid=12268 vsize=16068328 memory=295584 CPUtime=13.5 cores=0-7
/proc/12271/stat : 12271 (java) S 12268 12271 11532 0 -1 1077944320 41740 0 0 0 1319 31 0 0 20 0 18 0 110059473 16453967872 73896 33554432000 4194304 4196468 140737264281568 140737264264112 140700116295415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
/proc/12271/statm: 4017082 73896 3839 1 0 4004276 0
[pid=12271/tid=12273] ppid=12268 vsize=16068328 memory=0 CPUtime=1.58 cores=0-7
/proc/12271/task/12273/stat : 12273 (java) D 12268 12271 11532 0 -1 4202560 12946 0 0 0 151 7 0 0 20 0 18 0 110059473 16453967872 73896 33554432000 4194304 4196468 140737264281568 140700120538424 140700108981047 0 0 0 16800975 18446744072100265093 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12274] ppid=12268 vsize=16068328 memory=4629799972190126725 CPUtime=0.03 cores=0-7
/proc/12271/task/12274/stat : 12274 (java) S 12268 12271 11532 0 -1 1077944384 45 0 0 0 2 1 0 0 20 0 18 0 110059474 16453967872 73896 33554432000 4194304 4196468 140737264281568 140700046383376 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12275] ppid=12268 vsize=16068328 memory=57 CPUtime=0.02 cores=0-7
/proc/12271/task/12275/stat : 12275 (java) S 12268 12271 11532 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 18 0 110059474 16453967872 73896 33554432000 4194304 4196468 140737264281568 140700045330832 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12276] ppid=12268 vsize=16068328 memory=-3472574944341025154 CPUtime=0.02 cores=0-7
/proc/12271/task/12276/stat : 12276 (java) S 12268 12271 11532 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 18 0 110059474 16453967872 73896 33554432000 4194304 4196468 140737264281568 140700044278288 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12277] ppid=12268 vsize=16068328 memory=0 CPUtime=0.03 cores=0-7
/proc/12271/task/12277/stat : 12277 (java) S 12268 12271 11532 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 18 0 110059474 16453967872 73896 33554432000 4194304 4196468 140737264281568 140700043225744 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12278] ppid=12268 vsize=16068328 memory=0 CPUtime=0.03 cores=0-7
/proc/12271/task/12278/stat : 12278 (java) S 12268 12271 11532 0 -1 1077944384 59 0 0 0 2 1 0 0 20 0 18 0 110059474 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699707816720 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12279] ppid=12268 vsize=16068328 memory=295584 CPUtime=0.03 cores=0-7
/proc/12271/task/12279/stat : 12279 (java) S 12268 12271 11532 0 -1 1077944384 76 0 0 0 2 1 0 0 20 0 18 0 110059474 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699706764176 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12280] ppid=12268 vsize=16068328 memory=2241 CPUtime=0.02 cores=0-7
/proc/12271/task/12280/stat : 12280 (java) S 12268 12271 11532 0 -1 1077944384 40 0 0 0 1 1 0 0 20 0 18 0 110059474 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699705711632 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12281] ppid=12268 vsize=16068328 memory=2244 CPUtime=0.03 cores=0-7
/proc/12271/task/12281/stat : 12281 (java) S 12268 12271 11532 0 -1 1077944384 165 0 0 0 2 1 0 0 20 0 18 0 110059474 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699704659088 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12283] ppid=12268 vsize=16068328 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12283/stat : 12283 (java) S 12268 12271 11532 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 18 0 110059476 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699235242976 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12284] ppid=12268 vsize=16068328 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12284/stat : 12284 (java) S 12268 12271 11532 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 18 0 110059476 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699234190336 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12285] ppid=12268 vsize=16068328 memory=192689681562772 CPUtime=0 cores=0-7
/proc/12271/task/12285/stat : 12285 (java) S 12268 12271 11532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 110059479 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699233137952 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12286] ppid=12268 vsize=16068328 memory=1108 CPUtime=1.53 cores=0-7
/proc/12271/task/12286/stat : 12286 (java) S 12268 12271 11532 0 -1 1077944384 7333 0 0 0 151 2 0 0 20 0 18 0 110059479 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699232086512 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12287] ppid=12268 vsize=16068328 memory=288230591722422566 CPUtime=1.45 cores=0-7
/proc/12271/task/12287/stat : 12287 (java) S 12268 12271 11532 0 -1 1077944384 4771 0 0 0 144 1 0 0 20 0 18 0 110059479 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699231014368 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12288] ppid=12268 vsize=16068328 memory=14975559646053779 CPUtime=1.51 cores=0-7
/proc/12271/task/12288/stat : 12288 (java) S 12268 12271 11532 0 -1 1077944384 5608 0 0 0 150 1 0 0 20 0 18 0 110059479 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699229981424 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12289] ppid=12268 vsize=16068328 memory=0 CPUtime=0.89 cores=0-7
/proc/12271/task/12289/stat : 12289 (java) S 12268 12271 11532 0 -1 1077944384 7694 0 0 0 87 2 0 0 20 0 18 0 110059479 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699228928880 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12290] ppid=12268 vsize=16068328 memory=279877786139696 CPUtime=0 cores=0-7
/proc/12271/task/12290/stat : 12290 (java) S 12268 12271 11532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 110059479 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699227875552 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
Current children cumulated CPU time: 13.5 s
Current children cumulated vsize: 16068328 KiB
Current children cumulated memory: 295584 KiB

[startup+3.66598 s]
# the end of solver process 12271 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=13.1997 s, system=0.323943 s

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

[startup+3.10967 s]
/proc/loadavg: 7.23 8.63 8.70 1/196 12318
/proc/meminfo: memFree=27423424/32770624 swapFree=67108860/67108860
[pid=12271] ppid=12268 vsize=16068328 memory=295584 CPUtime=13.5 cores=0-7
/proc/12271/stat : 12271 (java) S 12268 12271 11532 0 -1 1077944320 41740 0 0 0 1319 31 0 0 20 0 18 0 110059473 16453967872 73896 33554432000 4194304 4196468 140737264281568 140737264264112 140700116295415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
/proc/12271/statm: 4017082 73896 3839 1 0 4004276 0
[pid=12271/tid=12273] ppid=12268 vsize=16068328 memory=0 CPUtime=1.58 cores=0-7
/proc/12271/task/12273/stat : 12273 (java) D 12268 12271 11532 0 -1 4202560 12946 0 0 0 151 7 0 0 20 0 18 0 110059473 16453967872 73896 33554432000 4194304 4196468 140737264281568 140700120538424 140700108981047 0 0 0 16800975 18446744072100265093 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12274] ppid=12268 vsize=16068328 memory=4629799972190126725 CPUtime=0.03 cores=0-7
/proc/12271/task/12274/stat : 12274 (java) S 12268 12271 11532 0 -1 1077944384 45 0 0 0 2 1 0 0 20 0 18 0 110059474 16453967872 73896 33554432000 4194304 4196468 140737264281568 140700046383376 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12275] ppid=12268 vsize=16068328 memory=57 CPUtime=0.02 cores=0-7
/proc/12271/task/12275/stat : 12275 (java) S 12268 12271 11532 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 18 0 110059474 16453967872 73896 33554432000 4194304 4196468 140737264281568 140700045330832 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12276] ppid=12268 vsize=16068328 memory=-3472574944341025154 CPUtime=0.02 cores=0-7
/proc/12271/task/12276/stat : 12276 (java) S 12268 12271 11532 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 18 0 110059474 16453967872 73896 33554432000 4194304 4196468 140737264281568 140700044278288 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12277] ppid=12268 vsize=16068328 memory=0 CPUtime=0.03 cores=0-7
/proc/12271/task/12277/stat : 12277 (java) S 12268 12271 11532 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 18 0 110059474 16453967872 73896 33554432000 4194304 4196468 140737264281568 140700043225744 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12278] ppid=12268 vsize=16068328 memory=0 CPUtime=0.03 cores=0-7
/proc/12271/task/12278/stat : 12278 (java) S 12268 12271 11532 0 -1 1077944384 59 0 0 0 2 1 0 0 20 0 18 0 110059474 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699707816720 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12279] ppid=12268 vsize=16068328 memory=295584 CPUtime=0.03 cores=0-7
/proc/12271/task/12279/stat : 12279 (java) S 12268 12271 11532 0 -1 1077944384 76 0 0 0 2 1 0 0 20 0 18 0 110059474 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699706764176 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12280] ppid=12268 vsize=16068328 memory=2241 CPUtime=0.02 cores=0-7
/proc/12271/task/12280/stat : 12280 (java) S 12268 12271 11532 0 -1 1077944384 40 0 0 0 1 1 0 0 20 0 18 0 110059474 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699705711632 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12281] ppid=12268 vsize=16068328 memory=2244 CPUtime=0.03 cores=0-7
/proc/12271/task/12281/stat : 12281 (java) S 12268 12271 11532 0 -1 1077944384 165 0 0 0 2 1 0 0 20 0 18 0 110059474 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699704659088 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12283] ppid=12268 vsize=16068328 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12283/stat : 12283 (java) S 12268 12271 11532 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 18 0 110059476 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699235242976 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12284] ppid=12268 vsize=16068328 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12284/stat : 12284 (java) S 12268 12271 11532 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 18 0 110059476 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699234190336 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12285] ppid=12268 vsize=16068328 memory=192689681562772 CPUtime=0 cores=0-7
/proc/12271/task/12285/stat : 12285 (java) S 12268 12271 11532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 110059479 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699233137952 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12286] ppid=12268 vsize=16068328 memory=1108 CPUtime=1.53 cores=0-7
/proc/12271/task/12286/stat : 12286 (java) S 12268 12271 11532 0 -1 1077944384 7333 0 0 0 151 2 0 0 20 0 18 0 110059479 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699232086512 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12287] ppid=12268 vsize=16068328 memory=288230591722422566 CPUtime=1.45 cores=0-7
/proc/12271/task/12287/stat : 12287 (java) S 12268 12271 11532 0 -1 1077944384 4771 0 0 0 144 1 0 0 20 0 18 0 110059479 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699231014368 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12288] ppid=12268 vsize=16068328 memory=14975559646053779 CPUtime=1.51 cores=0-7
/proc/12271/task/12288/stat : 12288 (java) S 12268 12271 11532 0 -1 1077944384 5608 0 0 0 150 1 0 0 20 0 18 0 110059479 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699229981424 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12289] ppid=12268 vsize=16068328 memory=0 CPUtime=0.89 cores=0-7
/proc/12271/task/12289/stat : 12289 (java) S 12268 12271 11532 0 -1 1077944384 7694 0 0 0 87 2 0 0 20 0 18 0 110059479 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699228928880 140700116306562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
[pid=12271/tid=12290] ppid=12268 vsize=16068328 memory=279877786139696 CPUtime=0 cores=0-7
/proc/12271/task/12290/stat : 12290 (java) S 12268 12271 11532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 110059479 16453967872 73896 33554432000 4194304 4196468 140737264281568 140699227875552 140700116305621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140737264284769 140737264284955 140737264284955 140737264287695 0
Current children cumulated CPU time: 13.5 s
Current children cumulated vsize: 16068328 KiB
Current children cumulated memory: 295584 KiB

Child status: 0
Real time (s): 3.66601
CPU time (s): 13.5237
CPU user time (s): 13.1997
CPU system time (s): 0.323943
CPU usage (%): 368.893
Max. virtual memory (cumulated for all children) (KiB): 16068328
Max. memory (cumulated for all children) (KiB): 295584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.1997
system time used= 0.323943
maximum resident set size= 296912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41744
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7521
involuntary context switches= 674


# summary of solver processes directly reported to runsolver:
#   pid: 12271
#   total CPU time (s): 13.5237
#   total CPU user time (s): 13.1997
#   total CPU system time (s): 0.323943

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042153 second user time and 0.082311 second system time

The end

Launcher Data 

Begin job on node149 at 2017-08-15 05:48:47
IDJOB=4275279
IDBENCH=134548
IDSOLVER=2668
FILE ID=node149/4275279-1502769786
RUNJOBID= node149-1502763873-11559
PBS_JOBID= 20629093
Free space on /tmp= 61936 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s04/Blackhole-4-04-2_X2.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4275279-1502769786/watcher-4275279-1502769786 -o /tmp/evaluation-result-4275279-1502769786/solver-4275279-1502769786 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502763873-11559 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1652296296 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275279-1502769786.xml

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

MD5SUM BENCH= 6b054a9e51d4cac3cb4cd1a46e01dd0a
RANDOM SEED=1652296296

node149.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.43
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.43
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.43
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.43
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:        27723068 kB
MemAvailable:   31968088 kB
Buffers:          312532 kB
Cached:          4205112 kB
SwapCached:            0 kB
Active:          1222224 kB
Inactive:        3349340 kB
Active(anon):      57032 kB
Inactive(anon):    24944 kB
Active(file):    1165192 kB
Inactive(file):  3324396 kB
Unevictable:        6360 kB
Mlocked:            6360 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42436 kB
Writeback:             0 kB
AnonPages:         58684 kB
Mapped:            45224 kB
Shmem:             25224 kB
Slab:             169540 kB
SReclaimable:     142532 kB
SUnreclaim:        27008 kB
KernelStack:        3312 kB
PageTables:         5068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       97664 kB
DirectMap2M:    33447936 kB

Free space on /tmp at the end= 61892 MiB
End job on node149 at 2017-08-15 05:48:51