Trace number 4291150

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 - Parallel with EPS 2018-07-02Wrong UNSAT 4.58604 1.92363

General information on the benchmark

NameTal/
Tal-09_c18.xml
MD5SUMcfe58506c86657aa9dbb13ad01f0e006
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark130
Best CPU time to get the best result obtained on this benchmark19927.6
Satisfiable
(Un)Satisfiability was proved
Number of variables988
Number of constraints647
Number of domains13
Minimum domain size1
Maximum domain size42
Distribution of domain sizes[{"size":1,"count":165},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":85},{"size":7,"count":9},{"size":8,"count":10},{"size":9,"count":11},{"size":10,"count":78},{"size":11,"count":13},{"size":42,"count":142}]
Minimum variable degree0
Maximum variable degree16
Distribution of variable degrees[{"degree":0,"count":453},{"degree":1,"count":165},{"degree":2,"count":97},{"degree":3,"count":12},{"degree":4,"count":13},{"degree":5,"count":59},{"degree":6,"count":25},{"degree":7,"count":16},{"degree":8,"count":16},{"degree":9,"count":25},{"degree":10,"count":24},{"degree":11,"count":30},{"degree":12,"count":21},{"degree":13,"count":17},{"degree":14,"count":8},{"degree":15,"count":4},{"degree":16,"count":3}]
Minimum constraint arity1
Maximum constraint arity13
Distribution of constraint arities[{"arity":1,"count":179},{"arity":2,"count":208},{"arity":3,"count":68},{"arity":4,"count":14},{"arity":5,"count":24},{"arity":6,"count":23},{"arity":7,"count":22},{"arity":8,"count":21},{"arity":9,"count":22},{"arity":10,"count":21},{"arity":11,"count":15},{"arity":12,"count":20},{"arity":13,"count":10}]
Number of extensional constraints121
Number of intensional constraints506
Distribution of constraint types[{"type":"extension","count":121},{"type":"intension","count":506},{"type":"count","count":20}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.67/0.55	c version: 2018-07-02
0.67/0.56	c seed: 1266267968
0.67/0.56	c timeout: 20160
0.67/0.56	c memlimit: 22000
0.67/0.56	c nbcore: 8
0.67/0.59	c Parsing instance...
3.06/1.30	c Parsing done, starting search...
4.55/1.90	s UNSATISFIABLE

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291150-1532631356/watcher-4291150-1532631356 -o /tmp/evaluation-result-4291150-1532631356/solver-4291150-1532631356 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1532623785-11992 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1266267968 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291150-1532631356.xml 

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

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

solver pid=12591, runsolver pid=12588

[startup+0.100121 s]*
/proc/loadavg: 8.07 8.76 8.79 3/198 12611
/proc/meminfo: memFree=24151176/32770624 swapFree=67077108/67108860
[pid=12591] ppid=12588 vsize=26103424 memory=30136 CPUtime=0.11 cores=0-7
/proc/12591/stat : 12591 (java) S 12588 12591 11965 0 -1 1077944320 6993 0 0 0 9 2 0 0 20 0 20 0 80698815 26729906176 7534 33554432000 4194304 4196468 140726073822976 140726073805520 140643169668855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
/proc/12591/statm: 6525856 7534 3136 1 0 6487932 0
[pid=12591/tid=12593] ppid=12588 vsize=26103424 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/12591/task/12593/stat : 12593 (java) R 12588 12591 11965 0 -1 4202560 5199 0 0 0 7 1 0 0 20 0 20 0 80698816 26729906176 7666 33554432000 4194304 4196468 140726073822976 140643173871984 140643149944615 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12594] ppid=12588 vsize=26103424 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12591/task/12594/stat : 12594 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 7666 33554432000 4194304 4196468 140726073822976 140643134949648 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12595] ppid=12588 vsize=26103424 memory=140239408019072 CPUtime=0 cores=0-7
/proc/12591/task/12595/stat : 12595 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 7666 33554432000 4194304 4196468 140726073822976 140642726758800 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12596] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12596/stat : 12596 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 7666 33554432000 4194304 4196468 140726073822976 140642725706256 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12597] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12597/stat : 12597 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 7666 33554432000 4194304 4196468 140726073822976 140642724653712 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12598] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12598/stat : 12598 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 7732 33554432000 4194304 4196468 140726073822976 140642723601168 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12599] ppid=12588 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/12591/task/12599/stat : 12599 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 7732 33554432000 4194304 4196468 140726073822976 140642722548624 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12600] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12600/stat : 12600 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 7732 33554432000 4194304 4196468 140726073822976 140642721496080 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12601] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12601/stat : 12601 (java) S 12588 12591 11965 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 7732 33554432000 4194304 4196468 140726073822976 140642720443536 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12602] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12602/stat : 12602 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698818 26729906176 7732 33554432000 4194304 4196468 140726073822976 140641845585904 140643169680002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12603] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12603/stat : 12603 (java) S 12588 12591 11965 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80698818 26729906176 7732 33554432000 4194304 4196468 140726073822976 140641844532128 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12604] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12604/stat : 12604 (java) S 12588 12591 11965 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80698819 26729906176 7732 33554432000 4194304 4196468 140726073822976 140641843479536 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12605] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12605/stat : 12605 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698821 26729906176 7732 33554432000 4194304 4196468 140726073822976 140641842428112 140643169687451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12606] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12606/stat : 12606 (java) S 12588 12591 11965 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 80698821 26729906176 7732 33554432000 4194304 4196468 140726073822976 140641841375728 140643169680002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12607] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12607/stat : 12607 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698821 26729906176 7732 33554432000 4194304 4196468 140726073822976 140641840323184 140643169680002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12608] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12608/stat : 12608 (java) S 12588 12591 11965 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80698821 26729906176 7732 33554432000 4194304 4196468 140726073822976 140641839270640 140643169680002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12609] ppid=12588 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/12591/task/12609/stat : 12609 (java) S 12588 12591 11965 0 -1 1077944384 239 0 0 0 1 0 0 0 20 0 20 0 80698821 26729906176 7798 33554432000 4194304 4196468 140726073822976 140641838218096 140643169680002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12610] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12610/stat : 12610 (java) S 12588 12591 11965 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80698821 26729906176 7798 33554432000 4194304 4196468 140726073822976 140641837164768 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12611] ppid=12588 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/12591/task/12611/stat : 12611 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698821 26729906176 7798 33554432000 4194304 4196468 140726073822976 140641836112304 140643169680002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 30136 KiB

[startup+0.210043 s]*
/proc/loadavg: 8.07 8.76 8.79 3/198 12611
/proc/meminfo: memFree=24137844/32770624 swapFree=67077108/67108860
[pid=12591] ppid=12588 vsize=26103424 memory=43224 CPUtime=0.3 cores=0-7
/proc/12591/stat : 12591 (java) S 12588 12591 11965 0 -1 1077944320 10451 0 0 0 27 3 0 0 20 0 20 0 80698815 26729906176 10806 33554432000 4194304 4196468 140726073822976 140726073805520 140643169668855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
/proc/12591/statm: 6525856 10806 3346 1 0 6487932 0
[pid=12591/tid=12593] ppid=12588 vsize=26103424 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/12591/task/12593/stat : 12593 (java) R 12588 12591 11965 0 -1 4202560 8216 0 0 0 17 2 0 0 20 0 20 0 80698816 26729906176 10806 33554432000 4194304 4196468 140726073822976 140643173897904 140643162765715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12594] ppid=12588 vsize=26103424 memory=9237 CPUtime=0 cores=0-7
/proc/12591/task/12594/stat : 12594 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 10806 33554432000 4194304 4196468 140726073822976 140643134949648 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12595] ppid=12588 vsize=26103424 memory=3906223682373891744 CPUtime=0 cores=0-7
/proc/12591/task/12595/stat : 12595 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 10806 33554432000 4194304 4196468 140726073822976 140642726758800 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12596] ppid=12588 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/12591/task/12596/stat : 12596 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 10806 33554432000 4194304 4196468 140726073822976 140642725706256 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12597] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12597/stat : 12597 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 10806 33554432000 4194304 4196468 140726073822976 140642724653712 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12598] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12598/stat : 12598 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 10806 33554432000 4194304 4196468 140726073822976 140642723601168 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12599] ppid=12588 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/12591/task/12599/stat : 12599 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 10806 33554432000 4194304 4196468 140726073822976 140642722548624 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12600] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12600/stat : 12600 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 10806 33554432000 4194304 4196468 140726073822976 140642721496080 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12601] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12601/stat : 12601 (java) S 12588 12591 11965 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 10806 33554432000 4194304 4196468 140726073822976 140642720443536 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12602] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12602/stat : 12602 (java) S 12588 12591 11965 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 80698818 26729906176 10806 33554432000 4194304 4196468 140726073822976 140641845585904 140643169680002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12603] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12603/stat : 12603 (java) S 12588 12591 11965 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80698818 26729906176 10806 33554432000 4194304 4196468 140726073822976 140641844532128 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12604] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12604/stat : 12604 (java) S 12588 12591 11965 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80698819 26729906176 10806 33554432000 4194304 4196468 140726073822976 140641843479536 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12605] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12605/stat : 12605 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698821 26729906176 10806 33554432000 4194304 4196468 140726073822976 140641842428112 140643169687451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12606] ppid=12588 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/12591/task/12606/stat : 12606 (java) S 12588 12591 11965 0 -1 1077944384 492 0 0 0 1 0 0 0 20 0 20 0 80698821 26729906176 10806 33554432000 4194304 4196468 140726073822976 140641841375728 140643169680002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12607] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12607/stat : 12607 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698821 26729906176 10806 33554432000 4194304 4196468 140726073822976 140641840323184 140643169680002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12608] ppid=12588 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/12591/task/12608/stat : 12608 (java) S 12588 12591 11965 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 20 0 80698821 26729906176 10806 33554432000 4194304 4196468 140726073822976 140641839270640 140643169680002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12609] ppid=12588 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/12591/task/12609/stat : 12609 (java) R 12588 12591 11965 0 -1 4202560 305 0 0 0 6 0 0 0 20 0 20 0 80698821 26729906176 10806 33554432000 4194304 4196468 140726073822976 140641838213168 140643148792109 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12610] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12610/stat : 12610 (java) S 12588 12591 11965 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80698821 26729906176 10806 33554432000 4194304 4196468 140726073822976 140641837164768 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12611] ppid=12588 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/12591/task/12611/stat : 12611 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698821 26729906176 10806 33554432000 4194304 4196468 140726073822976 140641836112304 140643169680002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 43224 KiB

[startup+0.309433 s]*
/proc/loadavg: 8.07 8.76 8.79 2/198 12611
/proc/meminfo: memFree=24134184/32770624 swapFree=67077108/67108860
[pid=12591] ppid=12588 vsize=26103424 memory=46732 CPUtime=0.42 cores=0-7
/proc/12591/stat : 12591 (java) S 12588 12591 11965 0 -1 1077944320 10898 0 0 0 39 3 0 0 20 0 20 0 80698815 26729906176 11683 33554432000 4194304 4196468 140726073822976 140726073805520 140643169668855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
/proc/12591/statm: 6525856 11683 3383 1 0 6487932 0
[pid=12591/tid=12593] ppid=12588 vsize=26103424 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/12591/task/12593/stat : 12593 (java) R 12588 12591 11965 0 -1 4202560 8569 0 0 0 27 3 0 0 20 0 20 0 80698816 26729906176 11683 33554432000 4194304 4196468 140726073822976 140643173830592 140643169682742 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12594] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12594/stat : 12594 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 11683 33554432000 4194304 4196468 140726073822976 140643134949648 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12595] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12595/stat : 12595 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 11683 33554432000 4194304 4196468 140726073822976 140642726758800 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12596] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12596/stat : 12596 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 11683 33554432000 4194304 4196468 140726073822976 140642725706256 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12597] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12597/stat : 12597 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 11683 33554432000 4194304 4196468 140726073822976 140642724653712 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12598] ppid=12588 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/12591/task/12598/stat : 12598 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 11683 33554432000 4194304 4196468 140726073822976 140642723601168 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12599] ppid=12588 vsize=26103424 memory=140239272244143 CPUtime=0 cores=0-7
/proc/12591/task/12599/stat : 12599 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 11683 33554432000 4194304 4196468 140726073822976 140642722548624 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12600] ppid=12588 vsize=26103424 memory=140239272246448 CPUtime=0 cores=0-7
/proc/12591/task/12600/stat : 12600 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 11683 33554432000 4194304 4196468 140726073822976 140642721496080 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12601] ppid=12588 vsize=26103424 memory=140239272248752 CPUtime=0 cores=0-7
/proc/12591/task/12601/stat : 12601 (java) S 12588 12591 11965 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80698816 26729906176 11683 33554432000 4194304 4196468 140726073822976 140642720443536 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12602] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12602/stat : 12602 (java) S 12588 12591 11965 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 80698818 26729906176 11683 33554432000 4194304 4196468 140726073822976 140641845585904 140643169680002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12603] ppid=12588 vsize=26103424 memory=280478544504464 CPUtime=0 cores=0-7
/proc/12591/task/12603/stat : 12603 (java) S 12588 12591 11965 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80698818 26729906176 11683 33554432000 4194304 4196468 140726073822976 140641844532128 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12604] ppid=12588 vsize=26103424 memory=280478544511376 CPUtime=0 cores=0-7
/proc/12591/task/12604/stat : 12604 (java) S 12588 12591 11965 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80698819 26729906176 11683 33554432000 4194304 4196468 140726073822976 140641843479536 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12605] ppid=12588 vsize=26103424 memory=280478544452528 CPUtime=0 cores=0-7
/proc/12591/task/12605/stat : 12605 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698821 26729906176 11683 33554432000 4194304 4196468 140726073822976 140641842428112 140643169687451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12606] ppid=12588 vsize=26103424 memory=280478544525200 CPUtime=0.01 cores=0-7
/proc/12591/task/12606/stat : 12606 (java) S 12588 12591 11965 0 -1 1077944384 492 0 0 0 1 0 0 0 20 0 20 0 80698821 26729906176 11683 33554432000 4194304 4196468 140726073822976 140641841375728 140643169680002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12607] ppid=12588 vsize=26103424 memory=280478544532112 CPUtime=0 cores=0-7
/proc/12591/task/12607/stat : 12607 (java) S 12588 12591 11965 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 80698821 26729906176 11683 33554432000 4194304 4196468 140726073822976 140641840323184 140643169680002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12608] ppid=12588 vsize=26103424 memory=280478544529808 CPUtime=0.02 cores=0-7
/proc/12591/task/12608/stat : 12608 (java) S 12588 12591 11965 0 -1 1077944384 117 0 0 0 2 0 0 0 20 0 20 0 80698821 26729906176 11683 33554432000 4194304 4196468 140726073822976 140641839270640 140643169680002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12609] ppid=12588 vsize=26103424 memory=280478544546416 CPUtime=0.07 cores=0-7
/proc/12591/task/12609/stat : 12609 (java) S 12588 12591 11965 0 -1 1077944384 323 0 0 0 7 0 0 0 20 0 20 0 80698821 26729906176 11683 33554432000 4194304 4196468 140726073822976 140641838218096 140643169680002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12610] ppid=12588 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12610/stat : 12610 (java) S 12588 12591 11965 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80698821 26729906176 11683 33554432000 4194304 4196468 140726073822976 140641837164768 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12611] ppid=12588 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/12591/task/12611/stat : 12611 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698821 26729906176 11683 33554432000 4194304 4196468 140726073822976 140641836112304 140643169680002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 46732 KiB

[startup+0.700801 s]
/proc/loadavg: 8.07 8.76 8.79 3/198 12611
/proc/meminfo: memFree=24110124/32770624 swapFree=67077108/67108860
[pid=12591] ppid=12588 vsize=26105492 memory=85456 CPUtime=0.99 cores=0-7
/proc/12591/stat : 12591 (java) S 12588 12591 11965 0 -1 1077944320 17820 0 0 0 93 6 0 0 20 0 20 0 80698815 26732023808 21364 33554432000 4194304 4196468 140726073822976 140726073805520 140643169668855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
/proc/12591/statm: 6526373 21364 3495 1 0 6488444 0
[pid=12591/tid=12593] ppid=12588 vsize=26105492 memory=0 CPUtime=0.67 cores=0-7
/proc/12591/task/12593/stat : 12593 (java) R 12588 12591 11965 0 -1 4202560 15044 0 0 0 62 5 0 0 20 0 20 0 80698816 26732023808 21364 33554432000 4194304 4196468 140726073822976 140643173891520 140643169690781 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12594] ppid=12588 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12594/stat : 12594 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698816 26732023808 21364 33554432000 4194304 4196468 140726073822976 140643134949648 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12595] ppid=12588 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12595/stat : 12595 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698816 26732023808 21364 33554432000 4194304 4196468 140726073822976 140642726758800 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12596] ppid=12588 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12596/stat : 12596 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26732023808 21364 33554432000 4194304 4196468 140726073822976 140642725706256 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12597] ppid=12588 vsize=26105492 memory=3032 CPUtime=0 cores=0-7
/proc/12591/task/12597/stat : 12597 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26732023808 21364 33554432000 4194304 4196468 140726073822976 140642724653712 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12598] ppid=12588 vsize=26105492 memory=2764 CPUtime=0 cores=0-7
/proc/12591/task/12598/stat : 12598 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26732023808 21364 33554432000 4194304 4196468 140726073822976 140642723601168 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12599] ppid=12588 vsize=26105492 memory=796 CPUtime=0 cores=0-7
/proc/12591/task/12599/stat : 12599 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26732023808 21364 33554432000 4194304 4196468 140726073822976 140642722548624 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12600] ppid=12588 vsize=26105492 memory=1008 CPUtime=0 cores=0-7
/proc/12591/task/12600/stat : 12600 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26732023808 21364 33554432000 4194304 4196468 140726073822976 140642721496080 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12601] ppid=12588 vsize=26105492 memory=15316 CPUtime=0 cores=0-7
/proc/12591/task/12601/stat : 12601 (java) S 12588 12591 11965 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80698816 26732023808 21364 33554432000 4194304 4196468 140726073822976 140642720443536 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12602] ppid=12588 vsize=26105492 memory=3604 CPUtime=0 cores=0-7
/proc/12591/task/12602/stat : 12602 (java) S 12588 12591 11965 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 80698818 26732023808 21364 33554432000 4194304 4196468 140726073822976 140641845585904 140643169680002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0

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

[pid=12591/tid=12610] ppid=12588 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12610/stat : 12610 (java) S 12588 12591 11965 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80698821 26738315264 43524 33554432000 4194304 4196468 140726073822976 140641837164768 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12611] ppid=12588 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12611/stat : 12611 (java) S 12588 12591 11965 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 80698821 26738315264 43524 33554432000 4194304 4196468 140726073822976 140641836112304 140643169680002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
Current children cumulated CPU time: 3.45 s
Current children cumulated vsize: 26111636 KiB
Current children cumulated memory: 174096 KiB

[startup+1.92357 s]
# the end of solver process 12591 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.43646 s, system=0.149578 s

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

[startup+1.69261 s]
/proc/loadavg: 8.07 8.76 8.79 6/198 12611
/proc/meminfo: memFree=24052172/32770624 swapFree=67077108/67108860
[pid=12591] ppid=12588 vsize=26111636 memory=185640 CPUtime=3.92 cores=0-7
/proc/12591/stat : 12591 (java) S 12588 12591 11965 0 -1 1077944320 26831 0 0 0 380 12 0 0 20 0 20 0 80698815 26738315264 46410 33554432000 4194304 4196468 140726073822976 140726073805520 140643169668855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
/proc/12591/statm: 6527909 46410 3544 1 0 6489980 0
[pid=12591/tid=12593] ppid=12588 vsize=26111636 memory=0 CPUtime=1.66 cores=0-7
/proc/12591/task/12593/stat : 12593 (java) R 12588 12591 11965 0 -1 4202560 18808 0 0 0 158 8 0 0 20 0 20 0 80698816 26738315264 46410 33554432000 4194304 4196468 140726073822976 140643173896736 140643153749342 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12594] ppid=12588 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12594/stat : 12594 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698816 26738315264 46410 33554432000 4194304 4196468 140726073822976 140643134949648 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12595] ppid=12588 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12595/stat : 12595 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698816 26738315264 46410 33554432000 4194304 4196468 140726073822976 140642726758800 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12596] ppid=12588 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12596/stat : 12596 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26738315264 46410 33554432000 4194304 4196468 140726073822976 140642725706256 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12597] ppid=12588 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12597/stat : 12597 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26738315264 46410 33554432000 4194304 4196468 140726073822976 140642724653712 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12598] ppid=12588 vsize=26111636 memory=3544 CPUtime=0 cores=0-7
/proc/12591/task/12598/stat : 12598 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26738315264 46410 33554432000 4194304 4196468 140726073822976 140642723601168 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12599] ppid=12588 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12599/stat : 12599 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26738315264 46410 33554432000 4194304 4196468 140726073822976 140642722548624 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12600] ppid=12588 vsize=26111636 memory=140239272457664 CPUtime=0 cores=0-7
/proc/12591/task/12600/stat : 12600 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26738315264 46410 33554432000 4194304 4196468 140726073822976 140642721496080 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12601] ppid=12588 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12601/stat : 12601 (java) S 12588 12591 11965 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80698816 26738315264 46410 33554432000 4194304 4196468 140726073822976 140642720443536 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12602] ppid=12588 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12602/stat : 12602 (java) S 12588 12591 11965 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 80698818 26738315264 46410 33554432000 4194304 4196468 140726073822976 140641845585904 140643169680002 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12603] ppid=12588 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12603/stat : 12603 (java) S 12588 12591 11965 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80698818 26738315264 46410 33554432000 4194304 4196468 140726073822976 140641844532128 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12604] ppid=12588 vsize=26111636 memory=13773960120851 CPUtime=0 cores=0-7
/proc/12591/task/12604/stat : 12604 (java) S 12588 12591 11965 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80698819 26738315264 46410 33554432000 4194304 4196468 140726073822976 140641843479536 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12605] ppid=12588 vsize=26111636 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/12591/task/12605/stat : 12605 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698821 26738315264 46410 33554432000 4194304 4196468 140726073822976 140641842428112 140643169687451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12606] ppid=12588 vsize=26111636 memory=15258134151170438 CPUtime=0.46 cores=0-7
/proc/12591/task/12606/stat : 12606 (java) S 12588 12591 11965 0 -1 1077944384 1546 0 0 0 46 0 0 0 20 0 20 0 80698821 26738315264 46410 33554432000 4194304 4196468 140726073822976 140641841375728 140643169680002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12607] ppid=12588 vsize=26111636 memory=0 CPUtime=0.44 cores=0-7
/proc/12591/task/12607/stat : 12607 (java) S 12588 12591 11965 0 -1 1077944384 1120 0 0 0 44 0 0 0 20 0 20 0 80698821 26738315264 46410 33554432000 4194304 4196468 140726073822976 140641840323184 140643169680002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12608] ppid=12588 vsize=26111636 memory=0 CPUtime=0.58 cores=0-7
/proc/12591/task/12608/stat : 12608 (java) S 12588 12591 11965 0 -1 1077944384 1632 0 0 0 58 0 0 0 20 0 20 0 80698821 26738315264 46410 33554432000 4194304 4196468 140726073822976 140641839270640 140643169680002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12609] ppid=12588 vsize=26111636 memory=0 CPUtime=0.71 cores=0-7
/proc/12591/task/12609/stat : 12609 (java) S 12588 12591 11965 0 -1 1077944384 2313 0 0 0 71 0 0 0 20 0 20 0 80698821 26738315264 46410 33554432000 4194304 4196468 140726073822976 140641838218096 140643169680002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12610] ppid=12588 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12610/stat : 12610 (java) S 12588 12591 11965 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80698821 26738315264 46410 33554432000 4194304 4196468 140726073822976 140641837164768 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12611] ppid=12588 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12611/stat : 12611 (java) S 12588 12591 11965 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 80698821 26738315264 46410 33554432000 4194304 4196468 140726073822976 140641836112304 140643169680002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
Current children cumulated CPU time: 3.92 s
Current children cumulated vsize: 26111636 KiB
Current children cumulated memory: 185640 KiB

[startup+1.80077 s]
/proc/loadavg: 8.07 8.76 8.79 6/198 12611
/proc/meminfo: memFree=24052172/32770624 swapFree=67077108/67108860
[pid=12591] ppid=12588 vsize=26113684 memory=196092 CPUtime=4.19 cores=0-7
/proc/12591/stat : 12591 (java) S 12588 12591 11965 0 -1 1077944320 27961 0 0 0 407 12 0 0 20 0 20 0 80698815 26740412416 49023 33554432000 4194304 4196468 140726073822976 140726073805520 140643169668855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
/proc/12591/statm: 6528421 49023 3546 1 0 6490492 0
[pid=12591/tid=12593] ppid=12588 vsize=26113684 memory=6791534058613427641 CPUtime=1.77 cores=0-7
/proc/12591/task/12593/stat : 12593 (java) R 12588 12591 11965 0 -1 4202560 19718 0 0 0 168 9 0 0 20 0 20 0 80698816 26740412416 49023 33554432000 4194304 4196468 140726073822976 140643173902624 140642814327704 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12594] ppid=12588 vsize=26113684 memory=377 CPUtime=0 cores=0-7
/proc/12591/task/12594/stat : 12594 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698816 26740412416 49023 33554432000 4194304 4196468 140726073822976 140643134949648 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12595] ppid=12588 vsize=26113684 memory=280478544639168 CPUtime=0 cores=0-7
/proc/12591/task/12595/stat : 12595 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698816 26740412416 49023 33554432000 4194304 4196468 140726073822976 140642726758800 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12596] ppid=12588 vsize=26113684 memory=288230613214036277 CPUtime=0 cores=0-7
/proc/12591/task/12596/stat : 12596 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26740412416 49023 33554432000 4194304 4196468 140726073822976 140642725706256 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12597] ppid=12588 vsize=26113684 memory=15816686058080632 CPUtime=0 cores=0-7
/proc/12591/task/12597/stat : 12597 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26740412416 49023 33554432000 4194304 4196468 140726073822976 140642724653712 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12598] ppid=12588 vsize=26113684 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12598/stat : 12598 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26740412416 49023 33554432000 4194304 4196468 140726073822976 140642723601168 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12599] ppid=12588 vsize=26113684 memory=6219568299104223330 CPUtime=0 cores=0-7
/proc/12591/task/12599/stat : 12599 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26740412416 49023 33554432000 4194304 4196468 140726073822976 140642722548624 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12600] ppid=12588 vsize=26113684 memory=7660742144744843625 CPUtime=0 cores=0-7
/proc/12591/task/12600/stat : 12600 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26740412416 49023 33554432000 4194304 4196468 140726073822976 140642721496080 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12601] ppid=12588 vsize=26113684 memory=6935649255759568960 CPUtime=0 cores=0-7
/proc/12591/task/12601/stat : 12601 (java) S 12588 12591 11965 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80698816 26740412416 49023 33554432000 4194304 4196468 140726073822976 140642720443536 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12602] ppid=12588 vsize=26113684 memory=140239272256010 CPUtime=0 cores=0-7
/proc/12591/task/12602/stat : 12602 (java) S 12588 12591 11965 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 80698818 26740412416 49023 33554432000 4194304 4196468 140726073822976 140641845585904 140643169680002 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12603] ppid=12588 vsize=26113684 memory=280478544815488 CPUtime=0 cores=0-7
/proc/12591/task/12603/stat : 12603 (java) S 12588 12591 11965 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80698818 26740412416 49023 33554432000 4194304 4196468 140726073822976 140641844532128 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12604] ppid=12588 vsize=26113684 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12604/stat : 12604 (java) S 12588 12591 11965 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80698819 26740412416 49023 33554432000 4194304 4196468 140726073822976 140641843479536 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12605] ppid=12588 vsize=26113684 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12605/stat : 12605 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698821 26740412416 49023 33554432000 4194304 4196468 140726073822976 140641842428112 140643169687451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12606] ppid=12588 vsize=26113684 memory=6940729180056021335 CPUtime=0.48 cores=0-7
/proc/12591/task/12606/stat : 12606 (java) R 12588 12591 11965 0 -1 4202560 1565 0 0 0 48 0 0 0 20 0 20 0 80698821 26740412416 49023 33554432000 4194304 4196468 140726073822976 140641841375728 140643148914847 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12607] ppid=12588 vsize=26113684 memory=7810763844726514514 CPUtime=0.49 cores=0-7
/proc/12591/task/12607/stat : 12607 (java) R 12588 12591 11965 0 -1 4202560 1143 0 0 0 48 1 0 0 20 0 20 0 80698821 26740412416 49023 33554432000 4194304 4196468 140726073822976 140641840323184 140643169690202 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12608] ppid=12588 vsize=26113684 memory=776 CPUtime=0.61 cores=0-7
/proc/12591/task/12608/stat : 12608 (java) R 12588 12591 11965 0 -1 4202560 1644 0 0 0 61 0 0 0 20 0 20 0 80698821 26740412416 49023 33554432000 4194304 4196468 140726073822976 140641839258080 140643153079648 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12609] ppid=12588 vsize=26113684 memory=1876 CPUtime=0.79 cores=0-7
/proc/12591/task/12609/stat : 12609 (java) R 12588 12591 11965 0 -1 4202560 2481 0 0 0 79 0 0 0 20 0 20 0 80698821 26740412416 49023 33554432000 4194304 4196468 140726073822976 140641838213136 140643169690202 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12610] ppid=12588 vsize=26113684 memory=1664 CPUtime=0 cores=0-7
/proc/12591/task/12610/stat : 12610 (java) S 12588 12591 11965 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80698821 26740412416 49023 33554432000 4194304 4196468 140726073822976 140641837164768 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12611] ppid=12588 vsize=26113684 memory=1828 CPUtime=0 cores=0-7
/proc/12591/task/12611/stat : 12611 (java) S 12588 12591 11965 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 80698821 26740412416 49023 33554432000 4194304 4196468 140726073822976 140641836112304 140643169680002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
Current children cumulated CPU time: 4.19 s
Current children cumulated vsize: 26113684 KiB
Current children cumulated memory: 196092 KiB

[startup+1.90092 s]
/proc/loadavg: 8.07 8.76 8.79 6/198 12611
/proc/meminfo: memFree=24052172/32770624 swapFree=67077108/67108860
[pid=12591] ppid=12588 vsize=26113684 memory=221528 CPUtime=4.55 cores=0-7
/proc/12591/stat : 12591 (java) S 12588 12591 11965 0 -1 1077944320 29317 0 0 0 442 13 0 0 20 0 20 0 80698815 26740412416 55382 33554432000 4194304 4196468 140726073822976 140726073805520 140643169668855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
/proc/12591/statm: 6528421 55382 3547 1 0 6490492 0
[pid=12591/tid=12593] ppid=12588 vsize=26113684 memory=0 CPUtime=1.86 cores=0-7
/proc/12591/task/12593/stat : 12593 (java) R 12588 12591 11965 0 -1 4202560 19823 0 0 0 177 9 0 0 20 0 20 0 80698816 26740412416 55382 33554432000 4194304 4196468 140726073822976 140643173900320 140643169690781 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12594] ppid=12588 vsize=26113684 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12594/stat : 12594 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698816 26740412416 55382 33554432000 4194304 4196468 140726073822976 140643134949648 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12595] ppid=12588 vsize=26113684 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12595/stat : 12595 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698816 26740412416 55382 33554432000 4194304 4196468 140726073822976 140642726758800 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12596] ppid=12588 vsize=26113684 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12596/stat : 12596 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26740412416 55382 33554432000 4194304 4196468 140726073822976 140642725706256 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12597] ppid=12588 vsize=26113684 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12597/stat : 12597 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26740412416 55382 33554432000 4194304 4196468 140726073822976 140642724653712 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12598] ppid=12588 vsize=26113684 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12598/stat : 12598 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26740412416 55382 33554432000 4194304 4196468 140726073822976 140642723601168 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12599] ppid=12588 vsize=26113684 memory=0 CPUtime=0 cores=0-7
/proc/12591/task/12599/stat : 12599 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26740412416 55382 33554432000 4194304 4196468 140726073822976 140642722548624 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12600] ppid=12588 vsize=26113684 memory=171076 CPUtime=0 cores=0-7
/proc/12591/task/12600/stat : 12600 (java) S 12588 12591 11965 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80698816 26740412416 55382 33554432000 4194304 4196468 140726073822976 140642721496080 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12601] ppid=12588 vsize=26113684 memory=280478544661728 CPUtime=0 cores=0-7
/proc/12591/task/12601/stat : 12601 (java) S 12588 12591 11965 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80698816 26740412416 55382 33554432000 4194304 4196468 140726073822976 140642720443536 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12602] ppid=12588 vsize=26113684 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/12591/task/12602/stat : 12602 (java) S 12588 12591 11965 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 80698818 26740412416 55382 33554432000 4194304 4196468 140726073822976 140641845585904 140643169680002 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12603] ppid=12588 vsize=26113684 memory=280478544663232 CPUtime=0 cores=0-7
/proc/12591/task/12603/stat : 12603 (java) S 12588 12591 11965 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80698818 26740412416 55382 33554432000 4194304 4196468 140726073822976 140641844532128 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12604] ppid=12588 vsize=26113684 memory=280478544663424 CPUtime=0 cores=0-7
/proc/12591/task/12604/stat : 12604 (java) S 12588 12591 11965 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80698819 26740412416 55382 33554432000 4194304 4196468 140726073822976 140641843479536 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12605] ppid=12588 vsize=26113684 memory=280478544663616 CPUtime=0 cores=0-7
/proc/12591/task/12605/stat : 12605 (java) S 12588 12591 11965 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80698821 26740412416 55382 33554432000 4194304 4196468 140726073822976 140641842428112 140643169687451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12606] ppid=12588 vsize=26113684 memory=280478544641728 CPUtime=0.56 cores=0-7
/proc/12591/task/12606/stat : 12606 (java) R 12588 12591 11965 0 -1 4202560 1590 0 0 0 55 1 0 0 20 0 20 0 80698821 26740412416 55382 33554432000 4194304 4196468 140726073822976 140641841364320 140643153055659 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12607] ppid=12588 vsize=26113684 memory=280478544365344 CPUtime=0.55 cores=0-7
/proc/12591/task/12607/stat : 12607 (java) R 12588 12591 11965 0 -1 4202560 1180 0 0 0 54 1 0 0 20 0 20 0 80698821 26740412416 55382 33554432000 4194304 4196468 140726073822976 140641840309968 140643151189973 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12608] ppid=12588 vsize=26113684 memory=280478544365536 CPUtime=0.68 cores=0-7
/proc/12591/task/12608/stat : 12608 (java) R 12588 12591 11965 0 -1 4202560 1680 0 0 0 68 0 0 0 20 0 20 0 80698821 26740412416 55382 33554432000 4194304 4196468 140726073822976 140641839270640 140643154792397 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12609] ppid=12588 vsize=26113684 memory=280478544365728 CPUtime=0.87 cores=0-7
/proc/12591/task/12609/stat : 12609 (java) R 12588 12591 11965 0 -1 4202560 3631 0 0 0 87 0 0 0 20 0 20 0 80698821 26740412416 55382 33554432000 4194304 4196468 140726073822976 140641838212080 140643150313759 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12610] ppid=12588 vsize=26113684 memory=280478544365920 CPUtime=0 cores=0-7
/proc/12591/task/12610/stat : 12610 (java) S 12588 12591 11965 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80698821 26740412416 55382 33554432000 4194304 4196468 140726073822976 140641837164768 140643169679061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
[pid=12591/tid=12611] ppid=12588 vsize=26113684 memory=140239272386784 CPUtime=0 cores=0-7
/proc/12591/task/12611/stat : 12611 (java) S 12588 12591 11965 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 80698821 26740412416 55382 33554432000 4194304 4196468 140726073822976 140641836112304 140643169680002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6971392 140726073824333 140726073824517 140726073824517 140726073827279 0
Current children cumulated CPU time: 4.55 s
Current children cumulated vsize: 26113684 KiB
Current children cumulated memory: 221528 KiB

Child status: 0
Real time (s): 1.92363
CPU time (s): 4.58604
CPU user time (s): 4.43646
CPU system time (s): 0.149578
CPU usage (%): 238.406
Max. virtual memory (cumulated for all children) (KiB): 26113684
Max. memory (cumulated for all children) (KiB): 221528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.43647
system time used= 0.149578
maximum resident set size= 224424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29416
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4778
involuntary context switches= 6


# summary of solver processes directly reported to runsolver:
#   pid: 12591
#   total CPU time (s): 4.58604
#   total CPU user time (s): 4.43646
#   total CPU system time (s): 0.149578

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.02681 second user time and 0.061282 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-26 20:55:56
IDJOB=4291150
IDBENCH=141107
IDSOLVER=2745
FILE ID=node102/4291150-1532631356
RUNJOBID= node102-1532623785-11992
PBS_JOBID= 21022033
Free space on /tmp= 52748 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
BENCH NAME= XCSP18/Tal/Tal-09_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291150-1532631356/watcher-4291150-1532631356 -o /tmp/evaluation-result-4291150-1532631356/solver-4291150-1532631356 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1532623785-11992 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1266267968 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291150-1532631356.xml

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

MD5SUM BENCH= cfe58506c86657aa9dbb13ad01f0e006
RANDOM SEED=1266267968

node102.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.51
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.51
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.51
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.51
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:        24168488 kB
MemAvailable:   31957984 kB
Buffers:          199208 kB
Cached:          7826252 kB
SwapCached:         5220 kB
Active:          1380888 kB
Inactive:        6679196 kB
Active(anon):       5708 kB
Inactive(anon):    53680 kB
Active(file):    1375180 kB
Inactive(file):  6625516 kB
Unevictable:        6616 kB
Mlocked:            6616 kB
SwapTotal:      67108860 kB
SwapFree:       67077108 kB
Dirty:             36076 kB
Writeback:             4 kB
AnonPages:         40828 kB
Mapped:            33412 kB
Shmem:             22036 kB
Slab:             236520 kB
SReclaimable:     209268 kB
SUnreclaim:        27252 kB
KernelStack:        3504 kB
PageTables:         5780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52712 MiB
End job on node102 at 2018-07-26 20:55:59