Trace number 4299782

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
The dodo solver 2018-04-29? (TO) 2520.07 2506.72

General information on the benchmark

NameCrossword/
Crossword-m18-ogd2008-vg-09-10_c18.xml
MD5SUM6ec4d3779b35bd6998a70efbce1ebeb4
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of constraints19
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":90}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":90}]
Minimum constraint arity9
Maximum constraint arity10
Distribution of constraint arities[{"arity":9,"count":10},{"arity":10,"count":9}]
Number of extensional constraints19
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":19}]
Optimization problemNO
Type of objective

Solver Data 

0.12/0.13	c version: 2018-04-11
0.12/0.13	c seed: 1811631
0.12/0.13	c timeout: 2520
0.12/0.13	c memlimit: -1
0.12/0.13	c nbcore: -1
2520.04/2506.70	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 (14178 MiB free)
  memory of node 1: 16384 MiB (13239 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299782-1532827098/watcher-4299782-1532827098 -o /tmp/evaluation-result-4299782-1532827098/solver-4299782-1532827098 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532809404-14164 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4299782-1532827098.xml --timelimit 2520 

running on 4 cores: 1,3,5,7

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


[startup+0.100296 s]*
/proc/loadavg: 1.34 1.41 1.41 5/216 16528
/proc/meminfo: memFree=28057676/32770624 swapFree=67108860/67108860
[pid=16513] ppid=16510 vsize=10658972 memory=29264 CPUtime=0.12 cores=1,3,5,7
/proc/16513/stat : 16513 (java) S 16510 16513 14132 0 -1 1077944320 5192 0 0 0 11 1 0 0 20 0 15 0 100272964 10914787328 7316 33554432000 4194304 4196468 140729888764544 140729888747088 140712165150455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
/proc/16513/statm: 2664743 7316 2828 1 0 2627263 0
[pid=16513/tid=16515] ppid=16510 vsize=10658972 memory=-8125511277465472897 CPUtime=0.09 cores=1,3,5,7
/proc/16513/task/16515/stat : 16515 (java) R 16510 16513 14132 0 -1 4202560 3098 0 0 0 9 0 0 0 20 0 15 0 100272964 10914787328 7316 33554432000 4194304 4196468 140729888764544 140712169382736 140712149194085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16516] ppid=16510 vsize=10658972 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16516/stat : 16516 (java) S 16510 16513 14132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100272965 10914787328 7316 33554432000 4194304 4196468 140729888764544 140711771954192 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16517] ppid=16510 vsize=10658972 memory=140436132370048 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16517/stat : 16517 (java) S 16510 16513 14132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100272965 10914787328 7316 33554432000 4194304 4196468 140729888764544 140711770901648 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16518] ppid=16510 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16518/stat : 16518 (java) S 16510 16513 14132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100272965 10914787328 7316 33554432000 4194304 4196468 140729888764544 140711769848592 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16519] ppid=16510 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16519/stat : 16519 (java) S 16510 16513 14132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100272965 10914787328 7316 33554432000 4194304 4196468 140729888764544 140711768796048 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16520] ppid=16510 vsize=10658972 memory=140436132370048 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16520/stat : 16520 (java) S 16510 16513 14132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100272967 10914787328 7316 33554432000 4194304 4196468 140729888764544 140711724894448 140712165161602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16521] ppid=16510 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16521/stat : 16521 (java) S 16510 16513 14132 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 100272967 10914787328 7316 33554432000 4194304 4196468 140729888764544 140711723840672 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16522] ppid=16510 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16522/stat : 16522 (java) S 16510 16513 14132 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 100272967 10914787328 7382 33554432000 4194304 4196468 140729888764544 140711722787568 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16523] ppid=16510 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16523/stat : 16523 (java) S 16510 16513 14132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100272970 10914787328 7382 33554432000 4194304 4196468 140729888764544 140711721736144 140712165169051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16524] ppid=16510 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16524/stat : 16524 (java) R 16510 16513 14132 0 -1 4202560 465 0 0 0 0 0 0 0 20 0 15 0 100272970 10914787328 7382 33554432000 4194304 4196468 140729888764544 140711720669816 140712149046467 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16525] ppid=16510 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16525/stat : 16525 (java) S 16510 16513 14132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100272970 10914787328 7382 33554432000 4194304 4196468 140729888764544 140711719631728 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16526] ppid=16510 vsize=10658972 memory=140436132370048 CPUtime=0.01 cores=1,3,5,7
/proc/16513/task/16526/stat : 16526 (java) R 16510 16513 14132 0 -1 4202560 280 0 0 0 1 0 0 0 20 0 15 0 100272970 10914787328 7382 33554432000 4194304 4196468 140729888764544 140711262415344 140712143707078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16527] ppid=16510 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16527/stat : 16527 (java) S 16510 16513 14132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100272970 10914787328 7382 33554432000 4194304 4196468 140729888764544 140711261363040 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16528] ppid=16510 vsize=10658972 memory=140436132370048 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16528/stat : 16528 (java) S 16510 16513 14132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100272970 10914787328 7382 33554432000 4194304 4196468 140729888764544 140711260310064 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 29264 KiB

[startup+0.210525 s]*
/proc/loadavg: 1.34 1.41 1.41 4/216 16528
/proc/meminfo: memFree=28045396/32770624 swapFree=67108860/67108860
[pid=16513] ppid=16510 vsize=10661056 memory=42204 CPUtime=0.32 cores=1,3,5,7
/proc/16513/stat : 16513 (java) S 16510 16513 14132 0 -1 1077944320 8095 0 0 0 31 1 0 0 20 0 15 0 100272964 10916921344 10551 33554432000 4194304 4196468 140729888764544 140729888747088 140712165150455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
/proc/16513/statm: 2665264 10551 2991 1 0 2627263 0
[pid=16513/tid=16515] ppid=16510 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/16513/task/16515/stat : 16515 (java) R 16510 16513 14132 0 -1 4202560 5090 0 0 0 19 1 0 0 20 0 15 0 100272964 10916921344 10551 33554432000 4194304 4196468 140729888764544 140712169381696 140712165172381 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16516] ppid=16510 vsize=10661056 memory=364 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16516/stat : 16516 (java) S 16510 16513 14132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100272965 10916921344 10551 33554432000 4194304 4196468 140729888764544 140711771954192 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16517] ppid=16510 vsize=10661056 memory=140436132864694 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16517/stat : 16517 (java) S 16510 16513 14132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100272965 10916921344 10551 33554432000 4194304 4196468 140729888764544 140711770901648 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16518] ppid=16510 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16518/stat : 16518 (java) S 16510 16513 14132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100272965 10916921344 10551 33554432000 4194304 4196468 140729888764544 140711769848592 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16519] ppid=16510 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16519/stat : 16519 (java) S 16510 16513 14132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100272965 10916921344 10551 33554432000 4194304 4196468 140729888764544 140711768796048 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16520] ppid=16510 vsize=10661056 memory=140436132370048 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16520/stat : 16520 (java) S 16510 16513 14132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100272967 10916921344 10551 33554432000 4194304 4196468 140729888764544 140711724894448 140712165161602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16521] ppid=16510 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16521/stat : 16521 (java) S 16510 16513 14132 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 100272967 10916921344 10551 33554432000 4194304 4196468 140729888764544 140711723840672 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16522] ppid=16510 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16522/stat : 16522 (java) S 16510 16513 14132 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 100272967 10916921344 10551 33554432000 4194304 4196468 140729888764544 140711722787568 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16523] ppid=16510 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16523/stat : 16523 (java) S 16510 16513 14132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100272970 10916921344 10551 33554432000 4194304 4196468 140729888764544 140711721736144 140712165169051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16524] ppid=16510 vsize=10661056 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/16513/task/16524/stat : 16524 (java) R 16510 16513 14132 0 -1 4202560 873 0 0 0 3 0 0 0 20 0 15 0 100272970 10916921344 10551 33554432000 4194304 4196468 140729888764544 140711720684272 140712151164764 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16525] ppid=16510 vsize=10661056 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/16513/task/16525/stat : 16525 (java) R 16510 16513 14132 0 -1 1077944384 79 0 0 0 1 0 0 0 20 0 15 0 100272970 10916921344 10551 33554432000 4194304 4196468 140729888764544 140711719631728 140712165161602 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16526] ppid=16510 vsize=10661056 memory=140436132370048 CPUtime=0.07 cores=1,3,5,7
/proc/16513/task/16526/stat : 16526 (java) S 16510 16513 14132 0 -1 1077944384 683 0 0 0 7 0 0 0 20 0 15 0 100272970 10916921344 10551 33554432000 4194304 4196468 140729888764544 140711262415344 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16527] ppid=16510 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16527/stat : 16527 (java) S 16510 16513 14132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100272970 10916921344 10551 33554432000 4194304 4196468 140729888764544 140711261363040 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16528] ppid=16510 vsize=10661056 memory=140436132370048 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16528/stat : 16528 (java) S 16510 16513 14132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100272970 10916921344 10551 33554432000 4194304 4196468 140729888764544 140711260310064 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 42204 KiB

[startup+0.310621 s]*
/proc/loadavg: 1.34 1.41 1.41 3/216 16528
/proc/meminfo: memFree=28022560/32770624 swapFree=67108860/67108860
[pid=16513] ppid=16510 vsize=10661132 memory=83108 CPUtime=0.52 cores=1,3,5,7
/proc/16513/stat : 16513 (java) S 16510 16513 14132 0 -1 1077944320 8673 0 0 0 50 2 0 0 20 0 15 0 100272964 10916999168 20777 33554432000 4194304 4196468 140729888764544 140729888747088 140712165150455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
/proc/16513/statm: 2665283 20777 3039 1 0 2627263 0
[pid=16513/tid=16515] ppid=16510 vsize=10661132 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/16513/task/16515/stat : 16515 (java) R 16510 16513 14132 0 -1 4202560 5431 0 0 0 28 2 0 0 20 0 15 0 100272964 10916999168 20777 33554432000 4194304 4196468 140729888764544 140712169386808 140711802540223 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16516] ppid=16510 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16516/stat : 16516 (java) S 16510 16513 14132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100272965 10916999168 20777 33554432000 4194304 4196468 140729888764544 140711771954192 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16517] ppid=16510 vsize=10661132 memory=140436132959751 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16517/stat : 16517 (java) S 16510 16513 14132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100272965 10916999168 20777 33554432000 4194304 4196468 140729888764544 140711770901648 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16518] ppid=16510 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16518/stat : 16518 (java) S 16510 16513 14132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100272965 10916999168 20777 33554432000 4194304 4196468 140729888764544 140711769848592 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16519] ppid=16510 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16519/stat : 16519 (java) S 16510 16513 14132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100272965 10916999168 20777 33554432000 4194304 4196468 140729888764544 140711768796048 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16520] ppid=16510 vsize=10661132 memory=140436132370048 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16520/stat : 16520 (java) S 16510 16513 14132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100272967 10916999168 20777 33554432000 4194304 4196468 140729888764544 140711724894448 140712165161602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16521] ppid=16510 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16521/stat : 16521 (java) S 16510 16513 14132 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 100272967 10916999168 20777 33554432000 4194304 4196468 140729888764544 140711723840672 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16522] ppid=16510 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16522/stat : 16522 (java) S 16510 16513 14132 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 100272967 10916999168 20777 33554432000 4194304 4196468 140729888764544 140711722787568 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16523] ppid=16510 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16523/stat : 16523 (java) S 16510 16513 14132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100272970 10916999168 20777 33554432000 4194304 4196468 140729888764544 140711721736144 140712165169051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16524] ppid=16510 vsize=10661132 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16513/task/16524/stat : 16524 (java) R 16510 16513 14132 0 -1 4202560 1022 0 0 0 7 0 0 0 20 0 15 0 100272970 10916999168 20777 33554432000 4194304 4196468 140729888764544 140711720684272 140712165164319 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16525] ppid=16510 vsize=10661132 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/16513/task/16525/stat : 16525 (java) R 16510 16513 14132 0 -1 1077944384 109 0 0 0 3 0 0 0 20 0 15 0 100272970 10916999168 20777 33554432000 4194304 4196468 140729888764544 140711719631728 140712165161602 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16526] ppid=16510 vsize=10661132 memory=140436132370048 CPUtime=0.11 cores=1,3,5,7
/proc/16513/task/16526/stat : 16526 (java) R 16510 16513 14132 0 -1 4202560 747 0 0 0 11 0 0 0 20 0 15 0 100272970 10916999168 20777 33554432000 4194304 4196468 140729888764544 140711262415344 140712144286078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16527] ppid=16510 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16527/stat : 16527 (java) S 16510 16513 14132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100272970 10916999168 20777 33554432000 4194304 4196468 140729888764544 140711261363040 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16528] ppid=16510 vsize=10661132 memory=140436132370048 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16528/stat : 16528 (java) S 16510 16513 14132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100272970 10916999168 20777 33554432000 4194304 4196468 140729888764544 140711260310064 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 83108 KiB

[startup+0.700822 s]
/proc/loadavg: 1.34 1.41 1.41 5/216 16528
/proc/meminfo: memFree=27933880/32770624 swapFree=67108860/67108860
[pid=16513] ppid=16510 vsize=10661132 memory=205772 CPUtime=1.5 cores=1,3,5,7
/proc/16513/stat : 16513 (java) S 16510 16513 14132 0 -1 1077944320 10319 0 0 0 143 7 0 0 20 0 15 0 100272964 10916999168 51443 33554432000 4194304 4196468 140729888764544 140729888747088 140712165150455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
/proc/16513/statm: 2665283 51443 3121 1 0 2627263 0
[pid=16513/tid=16515] ppid=16510 vsize=10661132 memory=1840 CPUtime=0.67 cores=1,3,5,7
/proc/16513/task/16515/stat : 16515 (java) R 16510 16513 14132 0 -1 4202560 5516 0 0 0 64 3 0 0 20 0 15 0 100272964 10916999168 51443 33554432000 4194304 4196468 140729888764544 140712169385552 140711802774400 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16516] ppid=16510 vsize=10661132 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16516/stat : 16516 (java) S 16510 16513 14132 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 100272965 10916999168 51443 33554432000 4194304 4196468 140729888764544 140711771954192 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16517] ppid=16510 vsize=10661132 memory=12060 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16517/stat : 16517 (java) S 16510 16513 14132 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 100272965 10916999168 51443 33554432000 4194304 4196468 140729888764544 140711770901648 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16518] ppid=16510 vsize=10661132 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16518/stat : 16518 (java) S 16510 16513 14132 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 100272965 10916999168 51443 33554432000 4194304 4196468 140729888764544 140711769848592 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16519] ppid=16510 vsize=10661132 memory=792 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16519/stat : 16519 (java) S 16510 16513 14132 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 100272965 10916999168 51443 33554432000 4194304 4196468 140729888764544 140711768796048 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16520] ppid=16510 vsize=10661132 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16520/stat : 16520 (java) S 16510 16513 14132 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 100272967 10916999168 51443 33554432000 4194304 4196468 140729888764544 140711724894448 140712165161602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16521] ppid=16510 vsize=10661132 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16521/stat : 16521 (java) S 16510 16513 14132 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 100272967 10916999168 51443 33554432000 4194304 4196468 140729888764544 140711723840672 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16522] ppid=16510 vsize=10661132 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16522/stat : 16522 (java) S 16510 16513 14132 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 100272967 10916999168 51443 33554432000 4194304 4196468 140729888764544 140711722787568 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16523] ppid=16510 vsize=10661132 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16523/stat : 16523 (java) S 16510 16513 14132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100272970 10916999168 51443 33554432000 4194304 4196468 140729888764544 140711721736144 140712165169051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16524] ppid=16510 vsize=10661132 memory=7163631965283378496 CPUtime=0.33 cores=1,3,5,7
/proc/16513/task/16524/stat : 16524 (java) R 16510 16513 14132 0 -1 4202560 1513 0 0 0 33 0 0 0 20 0 15 0 100272970 10916999168 51443 33554432000 4194304 4196468 140729888764544 140711720672944 140712143001857 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16525] ppid=16510 vsize=10661132 memory=7667213801450137426 CPUtime=0.23 cores=1,3,5,7
/proc/16513/task/16525/stat : 16525 (java) S 16510 16513 14132 0 -1 1077944384 723 0 0 0 23 0 0 0 20 0 15 0 100272970 10916999168 51443 33554432000 4194304 4196468 140729888764544 140711719631728 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16526] ppid=16510 vsize=10661132 memory=7295946094789283920 CPUtime=0.19 cores=1,3,5,7
/proc/16513/task/16526/stat : 16526 (java) S 16510 16513 14132 0 -1 1077944384 1058 0 0 0 19 0 0 0 20 0 15 0 100272970 10916999168 51443 33554432000 4194304 4196468 140729888764544 140711262415344 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16527] ppid=16510 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16527/stat : 16527 (java) S 16510 16513 14132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100272970 10916999168 51443 33554432000 4194304 4196468 140729888764544 140711261363040 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16528] ppid=16510 vsize=10661132 memory=280872071017408 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16528/stat : 16528 (java) S 16510 16513 14132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100272970 10916999168 51443 33554432000 4194304 4196468 140729888764544 140711260310064 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 205772 KiB

[startup+1.50155 s]
/proc/loadavg: 1.39 1.42 1.41 4/216 16528
/proc/meminfo: memFree=27851676/32770624 swapFree=67108860/67108860
[pid=16513] ppid=16510 vsize=10661132 memory=326876 CPUtime=3.17 cores=1,3,5,7
/proc/16513/stat : 16513 (java) S 16510 16513 14132 0 -1 1077944320 12079 0 0 0 307 10 0 0 20 0 15 0 100272964 10916999168 81719 33554432000 4194304 4196468 140729888764544 140729888747088 140712165150455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
/proc/16513/statm: 2665283 81719 3147 1 0 2627263 0
[pid=16513/tid=16515] ppid=16510 vsize=10661132 memory=1 CPUtime=1.45 cores=1,3,5,7
/proc/16513/task/16515/stat : 16515 (java) R 16510 16513 14132 0 -1 4202560 5739 0 0 0 141 4 0 0 20 0 15 0 100272964 10916999168 81719 33554432000 4194304 4196468 140729888764544 140712169387824 140711806032429 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16516] ppid=16510 vsize=10661132 memory=2 CPUtime=0.01 cores=1,3,5,7
/proc/16513/task/16516/stat : 16516 (java) S 16510 16513 14132 0 -1 1077944384 237 0 0 0 1 0 0 0 20 0 15 0 100272965 10916999168 81719 33554432000 4194304 4196468 140729888764544 140711771954192 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16517] ppid=16510 vsize=10661132 memory=2 CPUtime=0.01 cores=1,3,5,7
/proc/16513/task/16517/stat : 16517 (java) S 16510 16513 14132 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 15 0 100272965 10916999168 81719 33554432000 4194304 4196468 140729888764544 140711770901648 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16518] ppid=16510 vsize=10661132 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16513/task/16518/stat : 16518 (java) S 16510 16513 14132 0 -1 1077944384 73 0 0 0 1 1 0 0 20 0 15 0 100272965 10916999168 81719 33554432000 4194304 4196468 140729888764544 140711769848592 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16519] ppid=16510 vsize=10661132 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16513/task/16519/stat : 16519 (java) S 16510 16513 14132 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 15 0 100272965 10916999168 81719 33554432000 4194304 4196468 140729888764544 140711768796048 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16520] ppid=16510 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16520/stat : 16520 (java) S 16510 16513 14132 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 100272967 10916999168 81719 33554432000 4194304 4196468 140729888764544 140711724894448 140712165161602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0

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

/proc/16513/task/16515/stat : 16515 (java) R 16510 16513 14132 0 -1 4202560 49986 0 0 0 243606 232 0 0 20 0 15 0 100272964 10916999168 344640 33554432000 4194304 4196468 140729888764544 140712169385664 140711806567456 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16516] ppid=16510 vsize=10661132 memory=1379076 CPUtime=2.88 cores=1,3,5,7
/proc/16513/task/16516/stat : 16516 (java) S 16510 16513 14132 0 -1 1077944384 11669 0 0 0 276 12 0 0 20 0 15 0 100272965 10916999168 344640 33554432000 4194304 4196468 140729888764544 140711771954192 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16517] ppid=16510 vsize=10661132 memory=1381644 CPUtime=2.88 cores=1,3,5,7
/proc/16513/task/16517/stat : 16517 (java) S 16510 16513 14132 0 -1 1077944384 9897 0 0 0 276 12 0 0 20 0 15 0 100272965 10916999168 344640 33554432000 4194304 4196468 140729888764544 140711770901648 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16518] ppid=16510 vsize=10661132 memory=1383696 CPUtime=2.88 cores=1,3,5,7
/proc/16513/task/16518/stat : 16518 (java) S 16510 16513 14132 0 -1 1077944384 11686 0 0 0 275 13 0 0 20 0 15 0 100272965 10916999168 344640 33554432000 4194304 4196468 140729888764544 140711769848592 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16519] ppid=16510 vsize=10661132 memory=1380104 CPUtime=2.89 cores=1,3,5,7
/proc/16513/task/16519/stat : 16519 (java) S 16510 16513 14132 0 -1 1077944384 11256 0 0 0 276 13 0 0 20 0 15 0 100272965 10916999168 344640 33554432000 4194304 4196468 140729888764544 140711768796048 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16520] ppid=16510 vsize=10661132 memory=1572 CPUtime=0.78 cores=1,3,5,7
/proc/16513/task/16520/stat : 16520 (java) S 16510 16513 14132 0 -1 1077944384 12755 0 0 0 64 14 0 0 20 0 15 0 100272967 10916999168 344640 33554432000 4194304 4196468 140729888764544 140711724894448 140712165161602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16521] ppid=16510 vsize=10661132 memory=1379076 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16521/stat : 16521 (java) S 16510 16513 14132 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 100272967 10916999168 344640 33554432000 4194304 4196468 140729888764544 140711723840736 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16522] ppid=16510 vsize=10661132 memory=1378560 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16522/stat : 16522 (java) S 16510 16513 14132 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 100272967 10916999168 344640 33554432000 4194304 4196468 140729888764544 140711722787568 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16523] ppid=16510 vsize=10661132 memory=1381128 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16523/stat : 16523 (java) S 16510 16513 14132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100272970 10916999168 344640 33554432000 4194304 4196468 140729888764544 140711721736144 140712165169051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16524] ppid=16510 vsize=10661132 memory=1379588 CPUtime=1.07 cores=1,3,5,7
/proc/16513/task/16524/stat : 16524 (java) S 16510 16513 14132 0 -1 1077944384 3210 0 0 0 106 1 0 0 20 0 15 0 100272970 10916999168 344640 33554432000 4194304 4196468 140729888764544 140711720684272 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16525] ppid=16510 vsize=10661132 memory=1380100 CPUtime=1.67 cores=1,3,5,7
/proc/16513/task/16525/stat : 16525 (java) S 16510 16513 14132 0 -1 1077944384 8392 0 0 0 166 1 0 0 20 0 15 0 100272970 10916999168 344640 33554432000 4194304 4196468 140729888764544 140711719631728 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16526] ppid=16510 vsize=10661132 memory=1379076 CPUtime=0.33 cores=1,3,5,7
/proc/16513/task/16526/stat : 16526 (java) S 16510 16513 14132 0 -1 1077944384 1530 0 0 0 32 1 0 0 20 0 15 0 100272970 10916999168 344640 33554432000 4194304 4196468 140729888764544 140711262415344 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16527] ppid=16510 vsize=10661132 memory=640 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16527/stat : 16527 (java) S 16510 16513 14132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100272970 10916999168 344640 33554432000 4194304 4196468 140729888764544 140711261363040 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16528] ppid=16510 vsize=10661132 memory=1784 CPUtime=1.36 cores=1,3,5,7
/proc/16513/task/16528/stat : 16528 (java) S 16510 16513 14132 0 -1 1077944384 1551 0 0 0 60 76 0 0 20 0 15 0 100272970 10916999168 344640 33554432000 4194304 4196468 140729888764544 140711260310064 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
Current children cumulated CPU time: 2455.2 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1378560 KiB

[startup+2502.3 s]
/proc/loadavg: 1.95 1.83 1.77 3/215 16721
/proc/meminfo: memFree=24889904/32770624 swapFree=67108860/67108860
[pid=16513] ppid=16510 vsize=10661132 memory=1370856 CPUtime=2515.62 cores=1,3,5,7
/proc/16513/stat : 16513 (java) S 16510 16513 14132 0 -1 1077944320 124560 0 0 0 251198 364 0 0 20 0 15 0 100272964 10916999168 342714 33554432000 4194304 4196468 140729888764544 140729888747088 140712165150455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
/proc/16513/statm: 2665283 342714 3159 1 0 2627263 0
[pid=16513/tid=16515] ppid=16510 vsize=10661132 memory=1371884 CPUtime=2498.2 cores=1,3,5,7
/proc/16513/task/16515/stat : 16515 (java) R 16510 16513 14132 0 -1 4202560 50267 0 0 0 249583 237 0 0 20 0 15 0 100272964 10916999168 342714 33554432000 4194304 4196468 140729888764544 140712169382912 140711806565955 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16516] ppid=16510 vsize=10661132 memory=1370860 CPUtime=3.01 cores=1,3,5,7
/proc/16513/task/16516/stat : 16516 (java) S 16510 16513 14132 0 -1 1077944384 11876 0 0 0 289 12 0 0 20 0 15 0 100272965 10916999168 342714 33554432000 4194304 4196468 140729888764544 140711771954192 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16517] ppid=16510 vsize=10661132 memory=1370860 CPUtime=3.01 cores=1,3,5,7
/proc/16513/task/16517/stat : 16517 (java) S 16510 16513 14132 0 -1 1077944384 10022 0 0 0 289 12 0 0 20 0 15 0 100272965 10916999168 342714 33554432000 4194304 4196468 140729888764544 140711770901648 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16518] ppid=16510 vsize=10661132 memory=1371372 CPUtime=3.02 cores=1,3,5,7
/proc/16513/task/16518/stat : 16518 (java) S 16510 16513 14132 0 -1 1077944384 12060 0 0 0 288 14 0 0 20 0 15 0 100272965 10916999168 342714 33554432000 4194304 4196468 140729888764544 140711769848592 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16519] ppid=16510 vsize=10661132 memory=1372400 CPUtime=3.02 cores=1,3,5,7
/proc/16513/task/16519/stat : 16519 (java) S 16510 16513 14132 0 -1 1077944384 11333 0 0 0 289 13 0 0 20 0 15 0 100272965 10916999168 342714 33554432000 4194304 4196468 140729888764544 140711768796048 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16520] ppid=16510 vsize=10661132 memory=294 CPUtime=0.82 cores=1,3,5,7
/proc/16513/task/16520/stat : 16520 (java) S 16510 16513 14132 0 -1 1077944384 12938 0 0 0 67 15 0 0 20 0 15 0 100272967 10916999168 342714 33554432000 4194304 4196468 140729888764544 140711724894448 140712165161602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16521] ppid=16510 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16521/stat : 16521 (java) S 16510 16513 14132 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 100272967 10916999168 342714 33554432000 4194304 4196468 140729888764544 140711723840736 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16522] ppid=16510 vsize=10661132 memory=1371372 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16522/stat : 16522 (java) S 16510 16513 14132 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 100272967 10916999168 342714 33554432000 4194304 4196468 140729888764544 140711722787568 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16523] ppid=16510 vsize=10661132 memory=1369832 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16523/stat : 16523 (java) S 16510 16513 14132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100272970 10916999168 342714 33554432000 4194304 4196468 140729888764544 140711721736144 140712165169051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16524] ppid=16510 vsize=10661132 memory=1369320 CPUtime=1.07 cores=1,3,5,7
/proc/16513/task/16524/stat : 16524 (java) S 16510 16513 14132 0 -1 1077944384 3212 0 0 0 106 1 0 0 20 0 15 0 100272970 10916999168 342714 33554432000 4194304 4196468 140729888764544 140711720684272 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16525] ppid=16510 vsize=10661132 memory=1370860 CPUtime=1.67 cores=1,3,5,7
/proc/16513/task/16525/stat : 16525 (java) S 16510 16513 14132 0 -1 1077944384 8394 0 0 0 166 1 0 0 20 0 15 0 100272970 10916999168 342714 33554432000 4194304 4196468 140729888764544 140711719631728 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16526] ppid=16510 vsize=10661132 memory=1370344 CPUtime=0.33 cores=1,3,5,7
/proc/16513/task/16526/stat : 16526 (java) S 16510 16513 14132 0 -1 1077944384 1532 0 0 0 32 1 0 0 20 0 15 0 100272970 10916999168 342714 33554432000 4194304 4196468 140729888764544 140711262415344 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16527] ppid=16510 vsize=10661132 memory=1370344 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16527/stat : 16527 (java) S 16510 16513 14132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100272970 10916999168 342714 33554432000 4194304 4196468 140729888764544 140711261363040 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16528] ppid=16510 vsize=10661132 memory=1371376 CPUtime=1.39 cores=1,3,5,7
/proc/16513/task/16528/stat : 16528 (java) S 16510 16513 14132 0 -1 1077944384 1565 0 0 0 61 78 0 0 20 0 15 0 100272970 10916999168 342714 33554432000 4194304 4196468 140729888764544 140711260310064 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
Current children cumulated CPU time: 2515.62 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1370856 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.7 s]
/proc/loadavg: 1.95 1.83 1.77 3/215 16728
/proc/meminfo: memFree=24891032/32770624 swapFree=67108860/67108860
[pid=16513] ppid=16510 vsize=10661132 memory=1368804 CPUtime=2520.04 cores=1,3,5,7
/proc/16513/stat : 16513 (java) S 16510 16513 14132 0 -1 1077944320 124959 0 0 0 251640 364 0 0 20 0 15 0 100272964 10916999168 342201 33554432000 4194304 4196468 140729888764544 140729888747088 140712165150455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
/proc/16513/statm: 2665283 342201 3159 1 0 2627263 0
[pid=16513/tid=16515] ppid=16510 vsize=10661132 memory=1368804 CPUtime=2502.59 cores=1,3,5,7
/proc/16513/task/16515/stat : 16515 (java) R 16510 16513 14132 0 -1 4202560 50281 0 0 0 250022 237 0 0 20 0 15 0 100272964 10916999168 342201 33554432000 4194304 4196468 140729888764544 140712169384848 140711806401205 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16516] ppid=16510 vsize=10661132 memory=1369828 CPUtime=3.02 cores=1,3,5,7
/proc/16513/task/16516/stat : 16516 (java) S 16510 16513 14132 0 -1 1077944384 11898 0 0 0 290 12 0 0 20 0 15 0 100272965 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711771954192 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16517] ppid=16510 vsize=10661132 memory=1368804 CPUtime=3.02 cores=1,3,5,7
/proc/16513/task/16517/stat : 16517 (java) S 16510 16513 14132 0 -1 1077944384 10056 0 0 0 290 12 0 0 20 0 15 0 100272965 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711770901648 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16518] ppid=16510 vsize=10661132 memory=1370860 CPUtime=3.02 cores=1,3,5,7
/proc/16513/task/16518/stat : 16518 (java) S 16510 16513 14132 0 -1 1077944384 12125 0 0 0 288 14 0 0 20 0 15 0 100272965 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711769848592 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16519] ppid=16510 vsize=10661132 memory=1371372 CPUtime=3.03 cores=1,3,5,7
/proc/16513/task/16519/stat : 16519 (java) S 16510 16513 14132 0 -1 1077944384 11575 0 0 0 290 13 0 0 20 0 15 0 100272965 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711768796048 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16520] ppid=16510 vsize=10661132 memory=1372400 CPUtime=0.82 cores=1,3,5,7
/proc/16513/task/16520/stat : 16520 (java) S 16510 16513 14132 0 -1 1077944384 12956 0 0 0 67 15 0 0 20 0 15 0 100272967 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711724894448 140712165161602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16521] ppid=16510 vsize=10661132 memory=294 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16521/stat : 16521 (java) S 16510 16513 14132 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 100272967 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711723840736 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16522] ppid=16510 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16522/stat : 16522 (java) S 16510 16513 14132 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 100272967 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711722787568 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16523] ppid=16510 vsize=10661132 memory=1371372 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16523/stat : 16523 (java) S 16510 16513 14132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100272970 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711721736144 140712165169051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16524] ppid=16510 vsize=10661132 memory=1369832 CPUtime=1.07 cores=1,3,5,7
/proc/16513/task/16524/stat : 16524 (java) S 16510 16513 14132 0 -1 1077944384 3212 0 0 0 106 1 0 0 20 0 15 0 100272970 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711720684272 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16525] ppid=16510 vsize=10661132 memory=1370856 CPUtime=1.67 cores=1,3,5,7
/proc/16513/task/16525/stat : 16525 (java) S 16510 16513 14132 0 -1 1077944384 8394 0 0 0 166 1 0 0 20 0 15 0 100272970 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711719631728 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16526] ppid=16510 vsize=10661132 memory=1371884 CPUtime=0.33 cores=1,3,5,7
/proc/16513/task/16526/stat : 16526 (java) S 16510 16513 14132 0 -1 1077944384 1532 0 0 0 32 1 0 0 20 0 15 0 100272970 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711262415344 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16527] ppid=16510 vsize=10661132 memory=1370860 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16527/stat : 16527 (java) S 16510 16513 14132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100272970 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711261363040 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16528] ppid=16510 vsize=10661132 memory=1368804 CPUtime=1.39 cores=1,3,5,7
/proc/16513/task/16528/stat : 16528 (java) S 16510 16513 14132 0 -1 1077944384 1569 0 0 0 61 78 0 0 20 0 15 0 100272970 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711260310064 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1368804 KiB

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

[startup+2506.72 s]
# the end of solver process 16513 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.42 s, system=3.65659 s

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

[startup+2506.7 s]
/proc/loadavg: 1.95 1.83 1.77 3/215 16728
/proc/meminfo: memFree=24891032/32770624 swapFree=67108860/67108860
[pid=16513] ppid=16510 vsize=10661132 memory=1368804 CPUtime=2520.04 cores=1,3,5,7
/proc/16513/stat : 16513 (java) S 16510 16513 14132 0 -1 1077944320 124959 0 0 0 251640 364 0 0 20 0 15 0 100272964 10916999168 342201 33554432000 4194304 4196468 140729888764544 140729888747088 140712165150455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
/proc/16513/statm: 2665283 342201 3159 1 0 2627263 0
[pid=16513/tid=16515] ppid=16510 vsize=10661132 memory=1368804 CPUtime=2502.59 cores=1,3,5,7
/proc/16513/task/16515/stat : 16515 (java) R 16510 16513 14132 0 -1 4202560 50281 0 0 0 250022 237 0 0 20 0 15 0 100272964 10916999168 342201 33554432000 4194304 4196468 140729888764544 140712169384848 140711806401205 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16516] ppid=16510 vsize=10661132 memory=1369828 CPUtime=3.02 cores=1,3,5,7
/proc/16513/task/16516/stat : 16516 (java) S 16510 16513 14132 0 -1 1077944384 11898 0 0 0 290 12 0 0 20 0 15 0 100272965 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711771954192 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16517] ppid=16510 vsize=10661132 memory=1368804 CPUtime=3.02 cores=1,3,5,7
/proc/16513/task/16517/stat : 16517 (java) S 16510 16513 14132 0 -1 1077944384 10056 0 0 0 290 12 0 0 20 0 15 0 100272965 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711770901648 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16518] ppid=16510 vsize=10661132 memory=1370860 CPUtime=3.02 cores=1,3,5,7
/proc/16513/task/16518/stat : 16518 (java) S 16510 16513 14132 0 -1 1077944384 12125 0 0 0 288 14 0 0 20 0 15 0 100272965 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711769848592 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16519] ppid=16510 vsize=10661132 memory=1371372 CPUtime=3.03 cores=1,3,5,7
/proc/16513/task/16519/stat : 16519 (java) S 16510 16513 14132 0 -1 1077944384 11575 0 0 0 290 13 0 0 20 0 15 0 100272965 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711768796048 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16520] ppid=16510 vsize=10661132 memory=1372400 CPUtime=0.82 cores=1,3,5,7
/proc/16513/task/16520/stat : 16520 (java) S 16510 16513 14132 0 -1 1077944384 12956 0 0 0 67 15 0 0 20 0 15 0 100272967 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711724894448 140712165161602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16521] ppid=16510 vsize=10661132 memory=294 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16521/stat : 16521 (java) S 16510 16513 14132 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 100272967 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711723840736 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16522] ppid=16510 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16522/stat : 16522 (java) S 16510 16513 14132 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 100272967 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711722787568 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16523] ppid=16510 vsize=10661132 memory=1371372 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16523/stat : 16523 (java) S 16510 16513 14132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100272970 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711721736144 140712165169051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16524] ppid=16510 vsize=10661132 memory=1369832 CPUtime=1.07 cores=1,3,5,7
/proc/16513/task/16524/stat : 16524 (java) S 16510 16513 14132 0 -1 1077944384 3212 0 0 0 106 1 0 0 20 0 15 0 100272970 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711720684272 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16525] ppid=16510 vsize=10661132 memory=1370856 CPUtime=1.67 cores=1,3,5,7
/proc/16513/task/16525/stat : 16525 (java) S 16510 16513 14132 0 -1 1077944384 8394 0 0 0 166 1 0 0 20 0 15 0 100272970 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711719631728 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16526] ppid=16510 vsize=10661132 memory=1371884 CPUtime=0.33 cores=1,3,5,7
/proc/16513/task/16526/stat : 16526 (java) S 16510 16513 14132 0 -1 1077944384 1532 0 0 0 32 1 0 0 20 0 15 0 100272970 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711262415344 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16527] ppid=16510 vsize=10661132 memory=1370860 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16527/stat : 16527 (java) S 16510 16513 14132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100272970 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711261363040 140712165160661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
[pid=16513/tid=16528] ppid=16510 vsize=10661132 memory=1368804 CPUtime=1.39 cores=1,3,5,7
/proc/16513/task/16528/stat : 16528 (java) S 16510 16513 14132 0 -1 1077944384 1569 0 0 0 61 78 0 0 20 0 15 0 100272970 10916999168 342201 33554432000 4194304 4196468 140729888764544 140711260310064 140712165161602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 25653248 140729888773240 140729888773385 140729888773385 140729888776143 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1368804 KiB

Child status: 143
Real time (s): 2506.72
CPU time (s): 2520.07
CPU user time (s): 2516.42
CPU system time (s): 3.65659
CPU usage (%): 100.533
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 2229972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.42
system time used= 3.65659
maximum resident set size= 2233184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125213
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74883
involuntary context switches= 1256


# summary of solver processes directly reported to runsolver:
#   pid: 16513
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2516.42
#   total CPU system time (s): 3.65659

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9679 second user time and 24.9395 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-29 03:18:18
IDJOB=4299782
IDBENCH=141443
IDSOLVER=2768
FILE ID=node151/4299782-1532827098
RUNJOBID= node151-1532809404-14164
PBS_JOBID= 21022477
Free space on /tmp= 54920 MiB

SOLVER NAME= The dodo solver 2018-04-29
BENCH NAME= XCSP18/Crossword/Crossword-m18-ogd2008-vg-09-10_c18.xml
COMMAND LINE= java -jar DIR/dodo_solver.jar BENCHNAME --timelimit TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299782-1532827098/watcher-4299782-1532827098 -o /tmp/evaluation-result-4299782-1532827098/solver-4299782-1532827098 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532809404-14164 --watchdog 2580  java -jar HOME/dodo_solver.jar HOME/instance-4299782-1532827098.xml --timelimit 2520

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 6ec4d3779b35bd6998a70efbce1ebeb4
RANDOM SEED=326895668

node151.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.87
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.87
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.87
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.87
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:        28075220 kB
MemAvailable:   31801740 kB
Buffers:          199544 kB
Cached:          3796012 kB
SwapCached:            0 kB
Active:          1604296 kB
Inactive:        2610904 kB
Active(anon):     169468 kB
Inactive(anon):    78200 kB
Active(file):    1434828 kB
Inactive(file):  2532704 kB
Unevictable:        7804 kB
Mlocked:            7804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              6320 kB
Writeback:             0 kB
AnonPages:        241580 kB
Mapped:            55432 kB
Shmem:             25256 kB
Slab:             177628 kB
SReclaimable:     149644 kB
SUnreclaim:        27984 kB
KernelStack:        3808 kB
PageTables:         5864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1063160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    174080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 54916 MiB
End job on node151 at 2018-07-29 04:00:05