Trace number 4274617

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 NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2017-07-26? (TO) 2520.1101 2500.72

General information on the benchmark

NameQueenAttacking/QueenAttacking-m1-s1/
QueenAttacking-15.xml
MD5SUMab7b26918dfc59e965233a0e800431a7
Bench CategoryCOP (optimization 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 variables274
Number of constraints273
Number of domains2
Minimum domain size2
Maximum domain size225
Distribution of domain sizes[{"size":2,"count":48},{"size":225,"count":226}]
Minimum variable degree2
Maximum variable degree48
Distribution of variable degrees[{"degree":2,"count":50},{"degree":3,"count":175},{"degree":4,"count":48},{"degree":48,"count":1}]
Minimum constraint arity2
Maximum constraint arity225
Distribution of constraint arities[{"arity":2,"count":224},{"arity":3,"count":48},{"arity":225,"count":1}]
Number of extensional constraints0
Number of intensional constraints272
Distribution of constraint types[{"type":"intension","count":272},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.30/0.25	c version: 2017-07-26
0.30/0.25	c seed: 1940685515
0.30/0.25	c timeout: 2520
0.30/0.25	c memlimit: 11000
0.30/0.25	c nbcore: 4
0.30/0.27	c Parsing instance...
14.03/10.94	c Parsing done, starting first complete search...
2520.08/2500.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 (10813 MiB free)
  memory of node 1: 16384 MiB (15394 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274617-1502850309/watcher-4274617-1502850309 -o /tmp/evaluation-result-4274617-1502850309/solver-4274617-1502850309 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node115-1502837205-2590 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1940685515 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274617-1502850309.xml 

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=4298, runsolver pid=4295
Current StackSize limit: 8192 KiB


[startup+0.100125 s]*
/proc/loadavg: 1.91 1.78 1.59 2/216 4313
/proc/meminfo: memFree=26817772/32770624 swapFree=67108860/67108860
[pid=4298] ppid=4295 vsize=13980164 memory=32972 CPUtime=0.12 cores=1,3,5,7
/proc/4298/stat : 4298 (java) S 4295 4298 2558 0 -1 1077944320 8169 0 0 0 11 1 0 0 20 0 15 0 118118628 14315687936 8243 33554432000 4194304 4196468 140727666457760 140727666440304 140274153037559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
/proc/4298/statm: 3495041 8243 3410 1 0 3482761 0
[pid=4298/tid=4300] ppid=4295 vsize=13980164 memory=-8824338890780144832 CPUtime=0.09 cores=1,3,5,7
/proc/4298/task/4300/stat : 4300 (java) R 4295 4298 2558 0 -1 4202560 6111 0 0 0 8 1 0 0 20 0 15 0 118118628 14315687936 8243 33554432000 4194304 4196468 140727666457760 140274157247088 140274137118046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4301] ppid=4295 vsize=13980164 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4301/stat : 4301 (java) S 4295 4298 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118118629 14315687936 8243 33554432000 4194304 4196468 140727666457760 140274105658256 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4302] ppid=4295 vsize=13980164 memory=140201658586752 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4302/stat : 4302 (java) S 4295 4298 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118118629 14315687936 8243 33554432000 4194304 4196468 140727666457760 140274104605456 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4303] ppid=4295 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4303/stat : 4303 (java) S 4295 4298 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118118629 14315687936 8243 33554432000 4194304 4196468 140727666457760 140274103553168 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4304] ppid=4295 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4304/stat : 4304 (java) S 4295 4298 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118118629 14315687936 8243 33554432000 4194304 4196468 140727666457760 140273745325072 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4305] ppid=4295 vsize=13980164 memory=140201658586752 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4305/stat : 4305 (java) S 4295 4298 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118118630 14315687936 8243 33554432000 4194304 4196468 140727666457760 140273493452912 140274153048706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4306] ppid=4295 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4306/stat : 4306 (java) S 4295 4298 2558 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118118631 14315687936 8243 33554432000 4194304 4196468 140727666457760 140273492398880 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4307] ppid=4295 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4307/stat : 4307 (java) S 4295 4298 2558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118118631 14315687936 8243 33554432000 4194304 4196468 140727666457760 140273491346544 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4308] ppid=4295 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4308/stat : 4308 (java) S 4295 4298 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118118633 14315687936 8243 33554432000 4194304 4196468 140727666457760 140273490294864 140274153056155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4309] ppid=4295 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4309/stat : 4309 (java) S 4295 4298 2558 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 118118633 14315687936 8243 33554432000 4194304 4196468 140727666457760 140273489242736 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4310] ppid=4295 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4310/stat : 4310 (java) S 4295 4298 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118118633 14315687936 8243 33554432000 4194304 4196468 140727666457760 140273488189936 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4311] ppid=4295 vsize=13980164 memory=140201658586752 CPUtime=0.02 cores=1,3,5,7
/proc/4298/task/4311/stat : 4311 (java) S 4295 4298 2558 0 -1 1077944384 381 0 0 0 2 0 0 0 20 0 15 0 118118633 14315687936 8243 33554432000 4194304 4196468 140727666457760 140273487137648 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4312] ppid=4295 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4312/stat : 4312 (java) S 4295 4298 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118118633 14315687936 8243 33554432000 4194304 4196468 140727666457760 140273486085088 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4313] ppid=4295 vsize=13980164 memory=140201658586752 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4313/stat : 4313 (java) S 4295 4298 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118118634 14315687936 8243 33554432000 4194304 4196468 140727666457760 140273485031856 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 32972 KiB

[startup+0.210551 s]*
/proc/loadavg: 1.91 1.78 1.59 5/216 4313
/proc/meminfo: memFree=26809148/32770624 swapFree=67108860/67108860
[pid=4298] ppid=4295 vsize=13980196 memory=42716 CPUtime=0.3 cores=1,3,5,7
/proc/4298/stat : 4298 (java) S 4295 4298 2558 0 -1 1077944320 9227 0 0 0 28 2 0 0 20 0 15 0 118118628 14315720704 10679 33554432000 4194304 4196468 140727666457760 140727666440304 140274153037559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
/proc/4298/statm: 3495049 10679 3645 1 0 3482769 0
[pid=4298/tid=4300] ppid=4295 vsize=13980164 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/4298/task/4300/stat : 4300 (java) R 4295 4298 2558 0 -1 4202560 6811 0 0 0 18 1 0 0 20 0 15 0 118118628 14315687936 10679 33554432000 4194304 4196468 140727666457760 140274157237760 140274137118046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4301] ppid=4295 vsize=13980164 memory=345 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4301/stat : 4301 (java) S 4295 4298 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118118629 14315687936 10679 33554432000 4194304 4196468 140727666457760 140274105658256 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4302] ppid=4295 vsize=13980164 memory=140201658591213 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4302/stat : 4302 (java) S 4295 4298 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118118629 14315687936 10679 33554432000 4194304 4196468 140727666457760 140274104605456 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4303] ppid=4295 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4303/stat : 4303 (java) S 4295 4298 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118118629 14315687936 10679 33554432000 4194304 4196468 140727666457760 140274103553168 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4304] ppid=4295 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4304/stat : 4304 (java) S 4295 4298 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118118629 14315687936 10679 33554432000 4194304 4196468 140727666457760 140273745325072 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4305] ppid=4295 vsize=13980164 memory=140201658586752 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4305/stat : 4305 (java) S 4295 4298 2558 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118118630 14315687936 10679 33554432000 4194304 4196468 140727666457760 140273493452912 140274153048706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4306] ppid=4295 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4306/stat : 4306 (java) S 4295 4298 2558 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118118631 14315687936 10679 33554432000 4194304 4196468 140727666457760 140273492398880 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4307] ppid=4295 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4307/stat : 4307 (java) S 4295 4298 2558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118118631 14315687936 10679 33554432000 4194304 4196468 140727666457760 140273491346544 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4308] ppid=4295 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4308/stat : 4308 (java) S 4295 4298 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118118633 14315687936 10679 33554432000 4194304 4196468 140727666457760 140273490294864 140274153056155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4309] ppid=4295 vsize=13980164 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4298/task/4309/stat : 4309 (java) R 4295 4298 2558 0 -1 1077944384 404 0 0 0 1 0 0 0 20 0 15 0 118118633 14315687936 10679 33554432000 4194304 4196468 140727666457760 140273489242736 140274153048706 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4310] ppid=4295 vsize=13980164 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4298/task/4310/stat : 4310 (java) R 4295 4298 2558 0 -1 4202560 225 0 0 0 2 0 0 0 20 0 15 0 118118633 14315687936 10679 33554432000 4194304 4196468 140727666457760 140273488189936 140274145274686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4311] ppid=4295 vsize=13980164 memory=140201658586752 CPUtime=0.05 cores=1,3,5,7
/proc/4298/task/4311/stat : 4311 (java) S 4295 4298 2558 0 -1 1077944384 422 0 0 0 5 0 0 0 20 0 15 0 118118633 14315687936 10679 33554432000 4194304 4196468 140727666457760 140273487137648 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4312] ppid=4295 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4312/stat : 4312 (java) S 4295 4298 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118118633 14315687936 10679 33554432000 4194304 4196468 140727666457760 140273486085088 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4313] ppid=4295 vsize=13980164 memory=140201658586752 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4313/stat : 4313 (java) S 4295 4298 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118118634 14315687936 10679 33554432000 4194304 4196468 140727666457760 140273485031856 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13980196 KiB
Current children cumulated memory: 42716 KiB

[startup+0.3103 s]*
/proc/loadavg: 1.91 1.78 1.59 3/216 4313
/proc/meminfo: memFree=26801084/32770624 swapFree=67108860/67108860
[pid=4298] ppid=4295 vsize=13980184 memory=50676 CPUtime=0.49 cores=1,3,5,7
/proc/4298/stat : 4298 (java) S 4295 4298 2558 0 -1 1077944320 10417 0 0 0 46 3 0 0 20 0 15 0 118118628 14315708416 12669 33554432000 4194304 4196468 140727666457760 140727666440304 140274153037559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
/proc/4298/statm: 3495046 12669 3712 1 0 3482761 0
[pid=4298/tid=4300] ppid=4295 vsize=13980184 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/4298/task/4300/stat : 4300 (java) R 4295 4298 2558 0 -1 4202560 7540 0 0 0 27 2 0 0 20 0 15 0 118118628 14315708416 12669 33554432000 4194304 4196468 140727666457760 140274157266896 140273783018689 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4301] ppid=4295 vsize=13980184 memory=4294976291 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4301/stat : 4301 (java) S 4295 4298 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118118629 14315708416 12669 33554432000 4194304 4196468 140727666457760 140274105658256 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4302] ppid=4295 vsize=13980184 memory=140201659120904 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4302/stat : 4302 (java) S 4295 4298 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118118629 14315708416 12669 33554432000 4194304 4196468 140727666457760 140274104605456 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4303] ppid=4295 vsize=13980184 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4303/stat : 4303 (java) S 4295 4298 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118118629 14315708416 12669 33554432000 4194304 4196468 140727666457760 140274103553168 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4304] ppid=4295 vsize=13980184 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4304/stat : 4304 (java) S 4295 4298 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118118629 14315708416 12669 33554432000 4194304 4196468 140727666457760 140273745325072 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4305] ppid=4295 vsize=13980184 memory=140201658586752 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4305/stat : 4305 (java) S 4295 4298 2558 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118118630 14315708416 12669 33554432000 4194304 4196468 140727666457760 140273493452912 140274153048706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4306] ppid=4295 vsize=13980184 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4306/stat : 4306 (java) S 4295 4298 2558 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118118631 14315708416 12669 33554432000 4194304 4196468 140727666457760 140273492398880 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4307] ppid=4295 vsize=13980184 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4307/stat : 4307 (java) S 4295 4298 2558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118118631 14315708416 12669 33554432000 4194304 4196468 140727666457760 140273491346544 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4308] ppid=4295 vsize=13980184 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4308/stat : 4308 (java) S 4295 4298 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118118633 14315708416 12669 33554432000 4194304 4196468 140727666457760 140273490294864 140274153056155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4309] ppid=4295 vsize=13980184 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4298/task/4309/stat : 4309 (java) R 4295 4298 2558 0 -1 4202560 601 0 0 0 5 0 0 0 20 0 15 0 118118633 14315708416 12669 33554432000 4194304 4196468 140727666457760 140273489242736 140274136448573 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4310] ppid=4295 vsize=13980184 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/4298/task/4310/stat : 4310 (java) S 4295 4298 2558 0 -1 1077944384 443 0 0 0 4 0 0 0 20 0 15 0 118118633 14315708416 12669 33554432000 4194304 4196468 140727666457760 140273488189936 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4311] ppid=4295 vsize=13980184 memory=140201658586752 CPUtime=0.08 cores=1,3,5,7
/proc/4298/task/4311/stat : 4311 (java) S 4295 4298 2558 0 -1 1077944384 451 0 0 0 8 0 0 0 20 0 15 0 118118633 14315708416 12669 33554432000 4194304 4196468 140727666457760 140273487137648 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4312] ppid=4295 vsize=13980184 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4312/stat : 4312 (java) S 4295 4298 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118118633 14315708416 12669 33554432000 4194304 4196468 140727666457760 140273486085088 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4313] ppid=4295 vsize=13980184 memory=140201658586752 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4313/stat : 4313 (java) S 4295 4298 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118118634 14315708416 12669 33554432000 4194304 4196468 140727666457760 140273485031856 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13980184 KiB
Current children cumulated memory: 50676 KiB

[startup+0.70076 s]
/proc/loadavg: 1.91 1.78 1.59 4/216 4313
/proc/meminfo: memFree=26788180/32770624 swapFree=67108860/67108860
[pid=4298] ppid=4295 vsize=13982232 memory=70672 CPUtime=1.25 cores=1,3,5,7
/proc/4298/stat : 4298 (java) S 4295 4298 2558 0 -1 1077944320 12273 0 0 0 122 3 0 0 20 0 15 0 118118628 14317805568 17668 33554432000 4194304 4196468 140727666457760 140727666440304 140274153037559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
/proc/4298/statm: 3495558 17668 3770 1 0 3483273 0
[pid=4298/tid=4300] ppid=4295 vsize=13982232 memory=158691391185968 CPUtime=0.67 cores=1,3,5,7
/proc/4298/task/4300/stat : 4300 (java) R 4295 4298 2558 0 -1 4202560 8458 0 0 0 65 2 0 0 20 0 15 0 118118628 14317805568 17668 33554432000 4194304 4196468 140727666457760 140274157273856 140273784020623 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4301] ppid=4295 vsize=13982232 memory=524738 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4301/stat : 4301 (java) S 4295 4298 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118118629 14317805568 17668 33554432000 4194304 4196468 140727666457760 140274105658256 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4302] ppid=4295 vsize=13982232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4302/stat : 4302 (java) S 4295 4298 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118118629 14317805568 17668 33554432000 4194304 4196468 140727666457760 140274104605456 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4303] ppid=4295 vsize=13982232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4303/stat : 4303 (java) S 4295 4298 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118118629 14317805568 17668 33554432000 4194304 4196468 140727666457760 140274103553168 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4304] ppid=4295 vsize=13982232 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4304/stat : 4304 (java) S 4295 4298 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118118629 14317805568 17668 33554432000 4194304 4196468 140727666457760 140273745325072 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4305] ppid=4295 vsize=13982232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4305/stat : 4305 (java) S 4295 4298 2558 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118118630 14317805568 17668 33554432000 4194304 4196468 140727666457760 140273493452912 140274153048706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4306] ppid=4295 vsize=13982232 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4306/stat : 4306 (java) S 4295 4298 2558 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118118631 14317805568 17668 33554432000 4194304 4196468 140727666457760 140273492398880 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4307] ppid=4295 vsize=13982232 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4307/stat : 4307 (java) S 4295 4298 2558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118118631 14317805568 17668 33554432000 4194304 4196468 140727666457760 140273491346544 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4308] ppid=4295 vsize=13982232 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4308/stat : 4308 (java) S 4295 4298 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118118633 14317805568 17668 33554432000 4194304 4196468 140727666457760 140273490294864 140274153056155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4309] ppid=4295 vsize=13982232 memory=6944656575208382560 CPUtime=0.17 cores=1,3,5,7
/proc/4298/task/4309/stat : 4309 (java) S 4295 4298 2558 0 -1 1077944384 836 0 0 0 17 0 0 0 20 0 15 0 118118633 14317805568 17668 33554432000 4194304 4196468 140727666457760 140273489242736 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4310] ppid=4295 vsize=13982232 memory=6944656592455360604 CPUtime=0.15 cores=1,3,5,7
/proc/4298/task/4310/stat : 4310 (java) S 4295 4298 2558 0 -1 1077944384 710 0 0 0 15 0 0 0 20 0 15 0 118118633 14317805568 17668 33554432000 4194304 4196468 140727666457760 140273488189936 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4311] ppid=4295 vsize=13982232 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/4298/task/4311/stat : 4311 (java) S 4295 4298 2558 0 -1 1077944384 887 0 0 0 25 0 0 0 20 0 15 0 118118633 14317805568 17668 33554432000 4194304 4196468 140727666457760 140273487137648 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4312] ppid=4295 vsize=13982232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4312/stat : 4312 (java) S 4295 4298 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118118633 14317805568 17668 33554432000 4194304 4196468 140727666457760 140273486085088 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4313] ppid=4295 vsize=13982232 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4313/stat : 4313 (java) S 4295 4298 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118118634 14317805568 17668 33554432000 4194304 4196468 140727666457760 140273485031856 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 13982232 KiB
Current children cumulated memory: 70672 KiB

[startup+1.50069 s]
/proc/loadavg: 1.91 1.78 1.59 3/216 4313
/proc/meminfo: memFree=26774224/32770624 swapFree=67108860/67108860
[pid=4298] ppid=4295 vsize=13982232 memory=80372 CPUtime=2.37 cores=1,3,5,7
/proc/4298/stat : 4298 (java) S 4295 4298 2558 0 -1 1077944320 16580 0 0 0 233 4 0 0 20 0 15 0 118118628 14317805568 20093 33554432000 4194304 4196468 140727666457760 140727666440304 140274153037559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
/proc/4298/statm: 3495558 20093 3776 1 0 3483273 0
[pid=4298/tid=4300] ppid=4295 vsize=13982232 memory=9220 CPUtime=1.47 cores=1,3,5,7
/proc/4298/task/4300/stat : 4300 (java) R 4295 4298 2558 0 -1 4202560 9472 0 0 0 145 2 0 0 20 0 15 0 118118628 14317805568 20093 33554432000 4194304 4196468 140727666457760 140274157268320 140273785997895 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4301] ppid=4295 vsize=13982232 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4301/stat : 4301 (java) S 4295 4298 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118118629 14317805568 20093 33554432000 4194304 4196468 140727666457760 140274105658256 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4302] ppid=4295 vsize=13982232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4302/stat : 4302 (java) S 4295 4298 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118118629 14317805568 20093 33554432000 4194304 4196468 140727666457760 140274104605456 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4303] ppid=4295 vsize=13982232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4303/stat : 4303 (java) S 4295 4298 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118118629 14317805568 20093 33554432000 4194304 4196468 140727666457760 140274103553168 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4304] ppid=4295 vsize=13982232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4304/stat : 4304 (java) S 4295 4298 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118118629 14317805568 20093 33554432000 4194304 4196468 140727666457760 140273745325072 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4305] ppid=4295 vsize=13982232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4305/stat : 4305 (java) S 4295 4298 2558 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118118630 14317805568 20093 33554432000 4194304 4196468 140727666457760 140273493452912 140274153048706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0

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

/proc/4298/task/4300/stat : 4300 (java) R 4295 4298 2558 0 -1 4202560 116285 0 0 0 237610 40 0 0 20 0 15 0 118118628 14321999872 625174 33554432000 4194304 4196468 140727666457760 140274157275632 140273790267514 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4301] ppid=4295 vsize=13986328 memory=2500656 CPUtime=4.42 cores=1,3,5,7
/proc/4298/task/4301/stat : 4301 (java) S 4295 4298 2558 0 -1 1077944384 15741 0 0 0 419 23 0 0 20 0 15 0 118118629 14321999872 625174 33554432000 4194304 4196468 140727666457760 140274105658256 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4302] ppid=4295 vsize=13986328 memory=2500696 CPUtime=4.43 cores=1,3,5,7
/proc/4298/task/4302/stat : 4302 (java) S 4295 4298 2558 0 -1 1077944384 19238 0 0 0 419 24 0 0 20 0 15 0 118118629 14321999872 625174 33554432000 4194304 4196468 140727666457760 140274104605456 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4303] ppid=4295 vsize=13986328 memory=2500696 CPUtime=4.42 cores=1,3,5,7
/proc/4298/task/4303/stat : 4303 (java) S 4295 4298 2558 0 -1 1077944384 17759 0 0 0 419 23 0 0 20 0 15 0 118118629 14321999872 625174 33554432000 4194304 4196468 140727666457760 140274103553168 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4304] ppid=4295 vsize=13986328 memory=2500696 CPUtime=4.43 cores=1,3,5,7
/proc/4298/task/4304/stat : 4304 (java) S 4295 4298 2558 0 -1 1077944384 19755 0 0 0 419 24 0 0 20 0 15 0 118118629 14321999872 625174 33554432000 4194304 4196468 140727666457760 140273745325072 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4305] ppid=4295 vsize=13986328 memory=2500696 CPUtime=0.88 cores=1,3,5,7
/proc/4298/task/4305/stat : 4305 (java) S 4295 4298 2558 0 -1 1077944384 15489 0 0 0 82 6 0 0 20 0 15 0 118118630 14321999872 625174 33554432000 4194304 4196468 140727666457760 140273493452912 140274153048706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4306] ppid=4295 vsize=13986328 memory=2500696 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4306/stat : 4306 (java) S 4295 4298 2558 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 118118631 14321999872 625174 33554432000 4194304 4196468 140727666457760 140273492398944 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4307] ppid=4295 vsize=13986328 memory=2500696 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4307/stat : 4307 (java) S 4295 4298 2558 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 118118631 14321999872 625174 33554432000 4194304 4196468 140727666457760 140273491346560 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4308] ppid=4295 vsize=13986328 memory=2500696 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4308/stat : 4308 (java) S 4295 4298 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118118633 14321999872 625174 33554432000 4194304 4196468 140727666457760 140273490294864 140274153056155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4309] ppid=4295 vsize=13986328 memory=4132 CPUtime=1.94 cores=1,3,5,7
/proc/4298/task/4309/stat : 4309 (java) S 4295 4298 2558 0 -1 1077944384 4942 0 0 0 193 1 0 0 20 0 15 0 118118633 14321999872 625174 33554432000 4194304 4196468 140727666457760 140273489242736 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4310] ppid=4295 vsize=13986328 memory=1788 CPUtime=1.6 cores=1,3,5,7
/proc/4298/task/4310/stat : 4310 (java) S 4295 4298 2558 0 -1 1077944384 4477 0 0 0 160 0 0 0 20 0 15 0 118118633 14321999872 625174 33554432000 4194304 4196468 140727666457760 140273488189936 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4311] ppid=4295 vsize=13986328 memory=280403114821680 CPUtime=0.67 cores=1,3,5,7
/proc/4298/task/4311/stat : 4311 (java) S 4295 4298 2558 0 -1 1077944384 5346 0 0 0 66 1 0 0 20 0 15 0 118118633 14321999872 625174 33554432000 4194304 4196468 140727666457760 140273487137648 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4312] ppid=4295 vsize=13986328 memory=3184097920075971105 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4312/stat : 4312 (java) S 4295 4298 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118118633 14321999872 625174 33554432000 4194304 4196468 140727666457760 140273486085088 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4313] ppid=4295 vsize=13986328 memory=2500696 CPUtime=0.51 cores=1,3,5,7
/proc/4298/task/4313/stat : 4313 (java) S 4295 4298 2558 0 -1 1077944384 1732 0 0 0 22 29 0 0 20 0 15 0 118118634 14321999872 625174 33554432000 4194304 4196468 140727666457760 140273485031856 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 79 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
Current children cumulated CPU time: 2399.9 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 2500696 KiB

[startup+2442.3 s]
/proc/loadavg: 1.27 1.36 1.63 3/216 4465
/proc/meminfo: memFree=28505908/32770624 swapFree=67108860/67108860
[pid=4298] ppid=4295 vsize=13986328 memory=2500704 CPUtime=2460.8 cores=1,3,5,7
/proc/4298/stat : 4298 (java) S 4295 4298 2558 0 -1 1077944320 226134 0 0 0 245912 168 0 0 20 0 15 0 118118628 14321999872 625176 33554432000 4194304 4196468 140727666457760 140727666440304 140274153037559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
/proc/4298/statm: 3496582 625176 3844 1 0 3484297 0
[pid=4298/tid=4300] ppid=4295 vsize=13986328 memory=4132 CPUtime=2436.11 cores=1,3,5,7
/proc/4298/task/4300/stat : 4300 (java) R 4295 4298 2558 0 -1 4202560 117147 0 0 0 243571 40 0 0 20 0 15 0 118118628 14321999872 625176 33554432000 4194304 4196468 140727666457760 140274157275632 140273790338257 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4301] ppid=4295 vsize=13986328 memory=2500704 CPUtime=4.72 cores=1,3,5,7
/proc/4298/task/4301/stat : 4301 (java) S 4295 4298 2558 0 -1 1077944384 16511 0 0 0 449 23 0 0 20 0 15 0 118118629 14321999872 625176 33554432000 4194304 4196468 140727666457760 140274105658256 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4302] ppid=4295 vsize=13986328 memory=2500704 CPUtime=4.74 cores=1,3,5,7
/proc/4298/task/4302/stat : 4302 (java) S 4295 4298 2558 0 -1 1077944384 20102 0 0 0 449 25 0 0 20 0 15 0 118118629 14321999872 625176 33554432000 4194304 4196468 140727666457760 140274104605456 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4303] ppid=4295 vsize=13986328 memory=2500704 CPUtime=4.73 cores=1,3,5,7
/proc/4298/task/4303/stat : 4303 (java) S 4295 4298 2558 0 -1 1077944384 17976 0 0 0 450 23 0 0 20 0 15 0 118118629 14321999872 625176 33554432000 4194304 4196468 140727666457760 140274103553168 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4304] ppid=4295 vsize=13986328 memory=2500704 CPUtime=4.73 cores=1,3,5,7
/proc/4298/task/4304/stat : 4304 (java) S 4295 4298 2558 0 -1 1077944384 20430 0 0 0 449 24 0 0 20 0 15 0 118118629 14321999872 625176 33554432000 4194304 4196468 140727666457760 140273745325072 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4305] ppid=4295 vsize=13986328 memory=2500704 CPUtime=0.93 cores=1,3,5,7
/proc/4298/task/4305/stat : 4305 (java) S 4295 4298 2558 0 -1 1077944384 15984 0 0 0 86 7 0 0 20 0 15 0 118118630 14321999872 625176 33554432000 4194304 4196468 140727666457760 140273493452912 140274153048706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4306] ppid=4295 vsize=13986328 memory=2500704 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4306/stat : 4306 (java) S 4295 4298 2558 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 118118631 14321999872 625176 33554432000 4194304 4196468 140727666457760 140273492398944 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4307] ppid=4295 vsize=13986328 memory=2500704 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4307/stat : 4307 (java) S 4295 4298 2558 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 118118631 14321999872 625176 33554432000 4194304 4196468 140727666457760 140273491346560 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4308] ppid=4295 vsize=13986328 memory=2500704 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4308/stat : 4308 (java) S 4295 4298 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118118633 14321999872 625176 33554432000 4194304 4196468 140727666457760 140273490294864 140274153056155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4309] ppid=4295 vsize=13986328 memory=2500704 CPUtime=1.94 cores=1,3,5,7
/proc/4298/task/4309/stat : 4309 (java) S 4295 4298 2558 0 -1 1077944384 4948 0 0 0 193 1 0 0 20 0 15 0 118118633 14321999872 625176 33554432000 4194304 4196468 140727666457760 140273489242736 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4310] ppid=4295 vsize=13986328 memory=2500704 CPUtime=1.6 cores=1,3,5,7
/proc/4298/task/4310/stat : 4310 (java) S 4295 4298 2558 0 -1 1077944384 4485 0 0 0 160 0 0 0 20 0 15 0 118118633 14321999872 625176 33554432000 4194304 4196468 140727666457760 140273488189936 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4311] ppid=4295 vsize=13986328 memory=2500704 CPUtime=0.67 cores=1,3,5,7
/proc/4298/task/4311/stat : 4311 (java) S 4295 4298 2558 0 -1 1077944384 5356 0 0 0 66 1 0 0 20 0 15 0 118118633 14321999872 625176 33554432000 4194304 4196468 140727666457760 140273487137648 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4312] ppid=4295 vsize=13986328 memory=2500704 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4312/stat : 4312 (java) S 4295 4298 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118118633 14321999872 625176 33554432000 4194304 4196468 140727666457760 140273486085088 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4313] ppid=4295 vsize=13986328 memory=2500704 CPUtime=0.52 cores=1,3,5,7
/proc/4298/task/4313/stat : 4313 (java) S 4295 4298 2558 0 -1 1077944384 1772 0 0 0 22 30 0 0 20 0 15 0 118118634 14321999872 625176 33554432000 4194304 4196468 140727666457760 140273485031856 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 79 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
Current children cumulated CPU time: 2460.8 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 2500704 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2500.7 s]
/proc/loadavg: 1.47 1.39 1.62 3/217 4467
/proc/meminfo: memFree=28504136/32770624 swapFree=67108860/67108860
[pid=4298] ppid=4295 vsize=13986328 memory=2500712 CPUtime=2520.08 cores=1,3,5,7
/proc/4298/stat : 4298 (java) S 4295 4298 2558 0 -1 1077944320 229917 0 0 0 251838 170 0 0 20 0 15 0 118118628 14321999872 625178 33554432000 4194304 4196468 140727666457760 140727666440304 140274153037559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
/proc/4298/statm: 3496582 625178 3844 1 0 3484297 0
[pid=4298/tid=4300] ppid=4295 vsize=13986328 memory=2500712 CPUtime=2494.16 cores=1,3,5,7
/proc/4298/task/4300/stat : 4300 (java) R 4295 4298 2558 0 -1 4202560 117870 0 0 0 249375 41 0 0 20 0 15 0 118118628 14321999872 625178 33554432000 4194304 4196468 140727666457760 140274157276080 140273789841170 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4301] ppid=4295 vsize=13986328 memory=2500712 CPUtime=5.02 cores=1,3,5,7
/proc/4298/task/4301/stat : 4301 (java) S 4295 4298 2558 0 -1 1077944384 17583 0 0 0 478 24 0 0 20 0 15 0 118118629 14321999872 625178 33554432000 4194304 4196468 140727666457760 140274105658256 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4302] ppid=4295 vsize=13986328 memory=2500708 CPUtime=5.04 cores=1,3,5,7
/proc/4298/task/4302/stat : 4302 (java) S 4295 4298 2558 0 -1 1077944384 20845 0 0 0 479 25 0 0 20 0 15 0 118118629 14321999872 625178 33554432000 4194304 4196468 140727666457760 140274104605456 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4303] ppid=4295 vsize=13986328 memory=2500708 CPUtime=5.03 cores=1,3,5,7
/proc/4298/task/4303/stat : 4303 (java) S 4295 4298 2558 0 -1 1077944384 18124 0 0 0 479 24 0 0 20 0 15 0 118118629 14321999872 625178 33554432000 4194304 4196468 140727666457760 140274103553168 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4304] ppid=4295 vsize=13986328 memory=2500712 CPUtime=5.03 cores=1,3,5,7
/proc/4298/task/4304/stat : 4304 (java) S 4295 4298 2558 0 -1 1077944384 20963 0 0 0 479 24 0 0 20 0 15 0 118118629 14321999872 625178 33554432000 4194304 4196468 140727666457760 140273745325072 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4305] ppid=4295 vsize=13986328 memory=2408 CPUtime=0.97 cores=1,3,5,7
/proc/4298/task/4305/stat : 4305 (java) S 4295 4298 2558 0 -1 1077944384 16482 0 0 0 90 7 0 0 20 0 15 0 118118630 14321999872 625178 33554432000 4194304 4196468 140727666457760 140273493452912 140274153048706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4306] ppid=4295 vsize=13986328 memory=2500712 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4306/stat : 4306 (java) S 4295 4298 2558 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 118118631 14321999872 625178 33554432000 4194304 4196468 140727666457760 140273492398944 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4307] ppid=4295 vsize=13986328 memory=2500708 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4307/stat : 4307 (java) S 4295 4298 2558 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 118118631 14321999872 625178 33554432000 4194304 4196468 140727666457760 140273491346560 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4308] ppid=4295 vsize=13986328 memory=2500712 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4308/stat : 4308 (java) S 4295 4298 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118118633 14321999872 625178 33554432000 4194304 4196468 140727666457760 140273490294864 140274153056155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4309] ppid=4295 vsize=13986328 memory=2500712 CPUtime=1.94 cores=1,3,5,7
/proc/4298/task/4309/stat : 4309 (java) S 4295 4298 2558 0 -1 1077944384 4953 0 0 0 193 1 0 0 20 0 15 0 118118633 14321999872 625178 33554432000 4194304 4196468 140727666457760 140273489242736 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4310] ppid=4295 vsize=13986328 memory=2500712 CPUtime=1.6 cores=1,3,5,7
/proc/4298/task/4310/stat : 4310 (java) S 4295 4298 2558 0 -1 1077944384 4496 0 0 0 160 0 0 0 20 0 15 0 118118633 14321999872 625178 33554432000 4194304 4196468 140727666457760 140273488189936 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4311] ppid=4295 vsize=13986328 memory=2500712 CPUtime=0.67 cores=1,3,5,7
/proc/4298/task/4311/stat : 4311 (java) S 4295 4298 2558 0 -1 1077944384 5362 0 0 0 66 1 0 0 20 0 15 0 118118633 14321999872 625178 33554432000 4194304 4196468 140727666457760 140273487137648 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4312] ppid=4295 vsize=13986328 memory=2500712 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4312/stat : 4312 (java) S 4295 4298 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118118633 14321999872 625178 33554432000 4194304 4196468 140727666457760 140273486085088 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4313] ppid=4295 vsize=13986328 memory=2500712 CPUtime=0.54 cores=1,3,5,7
/proc/4298/task/4313/stat : 4313 (java) S 4295 4298 2558 0 -1 1077944384 1816 0 0 0 23 31 0 0 20 0 15 0 118118634 14321999872 625178 33554432000 4194304 4196468 140727666457760 140273485031856 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 79 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 2500712 KiB

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

[startup+2500.72 s]
# the end of solver process 4298 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.39 s, system=1.72151 s

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

[startup+2500.7 s]
/proc/loadavg: 1.47 1.39 1.62 3/217 4467
/proc/meminfo: memFree=28504136/32770624 swapFree=67108860/67108860
[pid=4298] ppid=4295 vsize=13986328 memory=2500712 CPUtime=2520.08 cores=1,3,5,7
/proc/4298/stat : 4298 (java) S 4295 4298 2558 0 -1 1077944320 229917 0 0 0 251838 170 0 0 20 0 15 0 118118628 14321999872 625178 33554432000 4194304 4196468 140727666457760 140727666440304 140274153037559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
/proc/4298/statm: 3496582 625178 3844 1 0 3484297 0
[pid=4298/tid=4300] ppid=4295 vsize=13986328 memory=2500712 CPUtime=2494.16 cores=1,3,5,7
/proc/4298/task/4300/stat : 4300 (java) R 4295 4298 2558 0 -1 4202560 117870 0 0 0 249375 41 0 0 20 0 15 0 118118628 14321999872 625178 33554432000 4194304 4196468 140727666457760 140274157276080 140273789841170 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4301] ppid=4295 vsize=13986328 memory=2500712 CPUtime=5.02 cores=1,3,5,7
/proc/4298/task/4301/stat : 4301 (java) S 4295 4298 2558 0 -1 1077944384 17583 0 0 0 478 24 0 0 20 0 15 0 118118629 14321999872 625178 33554432000 4194304 4196468 140727666457760 140274105658256 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4302] ppid=4295 vsize=13986328 memory=2500708 CPUtime=5.04 cores=1,3,5,7
/proc/4298/task/4302/stat : 4302 (java) S 4295 4298 2558 0 -1 1077944384 20845 0 0 0 479 25 0 0 20 0 15 0 118118629 14321999872 625178 33554432000 4194304 4196468 140727666457760 140274104605456 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4303] ppid=4295 vsize=13986328 memory=2500708 CPUtime=5.03 cores=1,3,5,7
/proc/4298/task/4303/stat : 4303 (java) S 4295 4298 2558 0 -1 1077944384 18124 0 0 0 479 24 0 0 20 0 15 0 118118629 14321999872 625178 33554432000 4194304 4196468 140727666457760 140274103553168 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4304] ppid=4295 vsize=13986328 memory=2500712 CPUtime=5.03 cores=1,3,5,7
/proc/4298/task/4304/stat : 4304 (java) S 4295 4298 2558 0 -1 1077944384 20963 0 0 0 479 24 0 0 20 0 15 0 118118629 14321999872 625178 33554432000 4194304 4196468 140727666457760 140273745325072 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4305] ppid=4295 vsize=13986328 memory=2408 CPUtime=0.97 cores=1,3,5,7
/proc/4298/task/4305/stat : 4305 (java) S 4295 4298 2558 0 -1 1077944384 16482 0 0 0 90 7 0 0 20 0 15 0 118118630 14321999872 625178 33554432000 4194304 4196468 140727666457760 140273493452912 140274153048706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4306] ppid=4295 vsize=13986328 memory=2500712 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4306/stat : 4306 (java) S 4295 4298 2558 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 118118631 14321999872 625178 33554432000 4194304 4196468 140727666457760 140273492398944 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4307] ppid=4295 vsize=13986328 memory=2500708 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4307/stat : 4307 (java) S 4295 4298 2558 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 118118631 14321999872 625178 33554432000 4194304 4196468 140727666457760 140273491346560 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4308] ppid=4295 vsize=13986328 memory=2500712 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4308/stat : 4308 (java) S 4295 4298 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118118633 14321999872 625178 33554432000 4194304 4196468 140727666457760 140273490294864 140274153056155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4309] ppid=4295 vsize=13986328 memory=2500712 CPUtime=1.94 cores=1,3,5,7
/proc/4298/task/4309/stat : 4309 (java) S 4295 4298 2558 0 -1 1077944384 4953 0 0 0 193 1 0 0 20 0 15 0 118118633 14321999872 625178 33554432000 4194304 4196468 140727666457760 140273489242736 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4310] ppid=4295 vsize=13986328 memory=2500712 CPUtime=1.6 cores=1,3,5,7
/proc/4298/task/4310/stat : 4310 (java) S 4295 4298 2558 0 -1 1077944384 4496 0 0 0 160 0 0 0 20 0 15 0 118118633 14321999872 625178 33554432000 4194304 4196468 140727666457760 140273488189936 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4311] ppid=4295 vsize=13986328 memory=2500712 CPUtime=0.67 cores=1,3,5,7
/proc/4298/task/4311/stat : 4311 (java) S 4295 4298 2558 0 -1 1077944384 5362 0 0 0 66 1 0 0 20 0 15 0 118118633 14321999872 625178 33554432000 4194304 4196468 140727666457760 140273487137648 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4312] ppid=4295 vsize=13986328 memory=2500712 CPUtime=0 cores=1,3,5,7
/proc/4298/task/4312/stat : 4312 (java) S 4295 4298 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118118633 14321999872 625178 33554432000 4194304 4196468 140727666457760 140273486085088 140274153047765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
[pid=4298/tid=4313] ppid=4295 vsize=13986328 memory=2500712 CPUtime=0.54 cores=1,3,5,7
/proc/4298/task/4313/stat : 4313 (java) S 4295 4298 2558 0 -1 1077944384 1816 0 0 0 23 31 0 0 20 0 15 0 118118634 14321999872 625178 33554432000 4194304 4196468 140727666457760 140273485031856 140274153048706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 79 0 0 6293624 6294260 8708096 140727666459752 140727666459935 140727666459935 140727666462671 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 2500712 KiB

Child status: 143
Real time (s): 2500.72
CPU time (s): 2520.11
CPU user time (s): 2518.39
CPU system time (s): 1.72151
CPU usage (%): 100.775
Max. virtual memory (cumulated for all children) (KiB): 13986328
Max. memory (cumulated for all children) (KiB): 2895380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.39
system time used= 1.72151
maximum resident set size= 2897428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230449
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72885
involuntary context switches= 1722


# summary of solver processes directly reported to runsolver:
#   pid: 4298
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2518.39
#   total CPU system time (s): 1.72151

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0562 second user time and 21.3832 second system time

The end

Launcher Data 

Begin job on node115 at 2017-08-16 04:10:50
IDJOB=4274617
IDBENCH=130622
IDSOLVER=2667
FILE ID=node115/4274617-1502850309
RUNJOBID= node115-1502837205-2590
PBS_JOBID= 20629848
Free space on /tmp= 61780 MiB

SOLVER NAME= OscaR - Hybrid 2017-07-26
BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-15.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274617-1502850309/watcher-4274617-1502850309 -o /tmp/evaluation-result-4274617-1502850309/solver-4274617-1502850309 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node115-1502837205-2590 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1940685515 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274617-1502850309.xml

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

MD5SUM BENCH= ab7b26918dfc59e965233a0e800431a7
RANDOM SEED=1940685515

node115.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.69
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.69
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.69
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.69
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:        26837472 kB
MemAvailable:   27426400 kB
Buffers:          199544 kB
Cached:           676276 kB
SwapCached:            0 kB
Active:          5226612 kB
Inactive:         257524 kB
Active(anon):    4559000 kB
Inactive(anon):    77364 kB
Active(file):     667612 kB
Inactive(file):   180160 kB
Unevictable:        6188 kB
Mlocked:            6188 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42356 kB
Writeback:             0 kB
AnonPages:       4614428 kB
Mapped:            61124 kB
Shmem:             25224 kB
Slab:             141096 kB
SReclaimable:     113984 kB
SUnreclaim:        27112 kB
KernelStack:        3552 kB
PageTables:        14568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6846464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4452352 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61740 MiB
End job on node115 at 2017-08-16 04:52:31