Trace number 4291559

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 2018-07-02? (TO) 2400.07 2378.32

General information on the benchmark

NamePseudoBoolean-opt/
Pb-circ10-3_c18.xml
MD5SUM2a9d5e672b2129585e8bdcc62e976dce
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark360
Best CPU time to get the best result obtained on this benchmark2520.06
Satisfiable
(Un)Satisfiability was proved
Number of variables2700
Number of constraints42620
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2700}]
Minimum variable degree20
Maximum variable degree272
Distribution of variable degrees[{"degree":20,"count":20},{"degree":21,"count":180},{"degree":30,"count":20},{"degree":31,"count":20},{"degree":32,"count":210},{"degree":42,"count":90},{"degree":52,"count":720},{"degree":59,"count":90},{"degree":76,"count":90},{"degree":92,"count":90},{"degree":108,"count":90},{"degree":124,"count":90},{"degree":140,"count":90},{"degree":156,"count":90},{"degree":172,"count":90},{"degree":188,"count":90},{"degree":204,"count":90},{"degree":220,"count":90},{"degree":236,"count":90},{"degree":252,"count":90},{"degree":266,"count":90},{"degree":267,"count":90},{"degree":272,"count":90}]
Minimum constraint arity2
Maximum constraint arity36
Distribution of constraint arities[{"arity":2,"count":3330},{"arity":3,"count":16740},{"arity":4,"count":1590},{"arity":5,"count":1440},{"arity":6,"count":1440},{"arity":7,"count":1440},{"arity":8,"count":1440},{"arity":9,"count":1820},{"arity":10,"count":1620},{"arity":11,"count":1440},{"arity":12,"count":1440},{"arity":13,"count":1440},{"arity":14,"count":1440},{"arity":15,"count":1440},{"arity":16,"count":1440},{"arity":17,"count":1440},{"arity":18,"count":1530},{"arity":36,"count":150}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":42620}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.67/0.55	c version: 2018-07-02
0.67/0.55	c seed: 664413328
0.67/0.55	c timeout: 2400
0.67/0.55	c memlimit: 11000
0.67/0.55	c nbcore: 4
0.67/0.57	c Parsing instance...
9.72/4.46	c Parsing done, starting first complete search...
2400.04/2378.31	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 (14372 MiB free)
  memory of node 1: 16384 MiB (13037 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291559-1532233619/watcher-4291559-1532233619 -o /tmp/evaluation-result-4291559-1532233619/solver-4291559-1532233619 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532226534-26745 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 664413328 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291559-1532233619.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=27447, runsolver pid=27444
Current StackSize limit: 8192 KiB


[startup+0.100446 s]*
/proc/loadavg: 1.38 1.36 1.39 3/215 27462
/proc/meminfo: memFree=28049708/32770624 swapFree=67108860/67108860
[pid=27447] ppid=27444 vsize=14082740 memory=32932 CPUtime=0.11 cores=0,2,4,6
/proc/27447/stat : 27447 (java) S 27444 27447 26714 0 -1 1077944320 7172 0 0 0 10 1 0 0 20 0 15 0 40925086 14420725760 8233 33554432000 4194304 4196468 140736361606016 140736361588560 139644424068855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
/proc/27447/statm: 3520685 8233 3138 1 0 3482761 0
[pid=27447/tid=27449] ppid=27444 vsize=14082740 memory=-8629632960754389626 CPUtime=0.09 cores=0,2,4,6
/proc/27447/task/27449/stat : 27449 (java) R 27444 27447 26714 0 -1 4202560 5239 0 0 0 8 1 0 0 20 0 15 0 40925087 14420725760 8233 33554432000 4194304 4196468 140736361606016 139644428293456 139644424090781 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27450] ppid=27444 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27450/stat : 27450 (java) S 27444 27447 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40925087 14420725760 8233 33554432000 4194304 4196468 140736361606016 139644354156816 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27451] ppid=27444 vsize=14082740 memory=139966294812288 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27451/stat : 27451 (java) S 27444 27447 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40925087 14420725760 8233 33554432000 4194304 4196468 140736361606016 139644018276752 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27452] ppid=27444 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27452/stat : 27452 (java) S 27444 27447 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40925087 14420725760 8233 33554432000 4194304 4196468 140736361606016 139644017224208 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27453] ppid=27444 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27453/stat : 27453 (java) S 27444 27447 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40925087 14420725760 8233 33554432000 4194304 4196468 140736361606016 139644016171664 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27454] ppid=27444 vsize=14082740 memory=139966294812288 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27454/stat : 27454 (java) S 27444 27447 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40925089 14420725760 8233 33554432000 4194304 4196468 140736361606016 139643966151152 139644424080002 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27455] ppid=27444 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27455/stat : 27455 (java) S 27444 27447 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40925089 14420725760 8233 33554432000 4194304 4196468 140736361606016 139643965097376 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27456] ppid=27444 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27456/stat : 27456 (java) S 27444 27447 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40925089 14420725760 8233 33554432000 4194304 4196468 140736361606016 139643964044784 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27457] ppid=27444 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27457/stat : 27457 (java) S 27444 27447 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40925092 14420725760 8233 33554432000 4194304 4196468 140736361606016 139643962993360 139644424087451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27458] ppid=27444 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27458/stat : 27458 (java) S 27444 27447 26714 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 40925092 14420725760 8233 33554432000 4194304 4196468 140736361606016 139643961939952 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27459] ppid=27444 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27459/stat : 27459 (java) S 27444 27447 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40925092 14420725760 8233 33554432000 4194304 4196468 140736361606016 139643960887408 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27460] ppid=27444 vsize=14082740 memory=139966294812288 CPUtime=0.01 cores=0,2,4,6
/proc/27447/task/27460/stat : 27460 (java) R 27444 27447 26714 0 -1 4202560 249 0 0 0 1 0 0 0 20 0 15 0 40925092 14420725760 8233 33554432000 4194304 4196468 140736361606016 139643959834864 139644408316473 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27461] ppid=27444 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27461/stat : 27461 (java) S 27444 27447 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40925092 14420725760 8233 33554432000 4194304 4196468 140736361606016 139643958782560 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27462] ppid=27444 vsize=14082740 memory=139966294812288 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27462/stat : 27462 (java) S 27444 27447 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40925092 14420725760 8233 33554432000 4194304 4196468 140736361606016 139643957730096 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 32932 KiB

[startup+0.212412 s]*
/proc/loadavg: 1.38 1.36 1.39 6/215 27462
/proc/meminfo: memFree=28034700/32770624 swapFree=67108860/67108860
[pid=27447] ppid=27444 vsize=14082740 memory=47128 CPUtime=0.31 cores=0,2,4,6
/proc/27447/stat : 27447 (java) S 27444 27447 26714 0 -1 1077944320 10369 0 0 0 29 2 0 0 20 0 15 0 40925086 14420725760 11782 33554432000 4194304 4196468 140736361606016 140736361588560 139644424068855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
/proc/27447/statm: 3520685 11782 3410 1 0 3482761 0
[pid=27447/tid=27449] ppid=27444 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/27447/task/27449/stat : 27449 (java) R 27444 27447 26714 0 -1 4202560 8067 0 0 0 18 2 0 0 20 0 15 0 40925087 14420725760 11782 33554432000 4194304 4196468 140736361606016 139644428287232 139644408149342 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27450] ppid=27444 vsize=14082740 memory=345 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27450/stat : 27450 (java) S 27444 27447 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40925087 14420725760 11782 33554432000 4194304 4196468 140736361606016 139644354156816 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27451] ppid=27444 vsize=14082740 memory=288370342446524032 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27451/stat : 27451 (java) S 27444 27447 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40925087 14420725760 11782 33554432000 4194304 4196468 140736361606016 139644018276752 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27452] ppid=27444 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27452/stat : 27452 (java) S 27444 27447 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40925087 14420725760 11782 33554432000 4194304 4196468 140736361606016 139644017224208 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27453] ppid=27444 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27453/stat : 27453 (java) S 27444 27447 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40925087 14420725760 11782 33554432000 4194304 4196468 140736361606016 139644016171664 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27454] ppid=27444 vsize=14082740 memory=139966294812288 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27454/stat : 27454 (java) S 27444 27447 26714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40925089 14420725760 11782 33554432000 4194304 4196468 140736361606016 139643966151152 139644424080002 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27455] ppid=27444 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27455/stat : 27455 (java) S 27444 27447 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40925089 14420725760 11782 33554432000 4194304 4196468 140736361606016 139643965097376 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27456] ppid=27444 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27456/stat : 27456 (java) S 27444 27447 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40925089 14420725760 11782 33554432000 4194304 4196468 140736361606016 139643964044784 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27457] ppid=27444 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27457/stat : 27457 (java) S 27444 27447 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40925092 14420725760 11782 33554432000 4194304 4196468 140736361606016 139643962993360 139644424087451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27458] ppid=27444 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27447/task/27458/stat : 27458 (java) S 27444 27447 26714 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 15 0 40925092 14420725760 11782 33554432000 4194304 4196468 140736361606016 139643961939952 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27459] ppid=27444 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27447/task/27459/stat : 27459 (java) S 27444 27447 26714 0 -1 1077944384 148 0 0 0 2 0 0 0 20 0 15 0 40925092 14420725760 11782 33554432000 4194304 4196468 140736361606016 139643960887408 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27460] ppid=27444 vsize=14082740 memory=139966294812288 CPUtime=0.06 cores=0,2,4,6
/proc/27447/task/27460/stat : 27460 (java) R 27444 27447 26714 0 -1 4202560 300 0 0 0 6 0 0 0 20 0 15 0 40925092 14420725760 11782 33554432000 4194304 4196468 140736361606016 139643959834864 139644402605313 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27461] ppid=27444 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27461/stat : 27461 (java) S 27444 27447 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40925092 14420725760 11782 33554432000 4194304 4196468 140736361606016 139643958782560 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27462] ppid=27444 vsize=14082740 memory=139966294812288 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27462/stat : 27462 (java) S 27444 27447 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40925092 14420725760 11782 33554432000 4194304 4196468 140736361606016 139643957730096 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47128 KiB

[startup+0.31052 s]*
/proc/loadavg: 1.38 1.36 1.39 4/215 27462
/proc/meminfo: memFree=28031412/32770624 swapFree=67108860/67108860
[pid=27447] ppid=27444 vsize=14082740 memory=50324 CPUtime=0.43 cores=0,2,4,6
/proc/27447/stat : 27447 (java) S 27444 27447 26714 0 -1 1077944320 10719 0 0 0 41 2 0 0 20 0 15 0 40925086 14420725760 12581 33554432000 4194304 4196468 140736361606016 140736361588560 139644424068855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
/proc/27447/statm: 3520685 12581 3411 1 0 3482761 0
[pid=27447/tid=27449] ppid=27444 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/27447/task/27449/stat : 27449 (java) R 27444 27447 26714 0 -1 4202560 8398 0 0 0 28 2 0 0 20 0 15 0 40925087 14420725760 12581 33554432000 4194304 4196468 140736361606016 139644428260416 139644408149342 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27450] ppid=27444 vsize=14082740 memory=288230609002954775 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27450/stat : 27450 (java) S 27444 27447 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40925087 14420725760 12581 33554432000 4194304 4196468 140736361606016 139644354156816 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27451] ppid=27444 vsize=14082740 memory=288370342446524032 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27451/stat : 27451 (java) S 27444 27447 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40925087 14420725760 12581 33554432000 4194304 4196468 140736361606016 139644018276752 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27452] ppid=27444 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27452/stat : 27452 (java) S 27444 27447 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40925087 14420725760 12581 33554432000 4194304 4196468 140736361606016 139644017224208 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27453] ppid=27444 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27453/stat : 27453 (java) S 27444 27447 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40925087 14420725760 12581 33554432000 4194304 4196468 140736361606016 139644016171664 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27454] ppid=27444 vsize=14082740 memory=139966294812288 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27454/stat : 27454 (java) S 27444 27447 26714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40925089 14420725760 12581 33554432000 4194304 4196468 140736361606016 139643966151152 139644424080002 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27455] ppid=27444 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27455/stat : 27455 (java) S 27444 27447 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40925089 14420725760 12581 33554432000 4194304 4196468 140736361606016 139643965097376 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27456] ppid=27444 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27456/stat : 27456 (java) S 27444 27447 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40925089 14420725760 12581 33554432000 4194304 4196468 140736361606016 139643964044784 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27457] ppid=27444 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27457/stat : 27457 (java) S 27444 27447 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40925092 14420725760 12581 33554432000 4194304 4196468 140736361606016 139643962993360 139644424087451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27458] ppid=27444 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27447/task/27458/stat : 27458 (java) S 27444 27447 26714 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 15 0 40925092 14420725760 12581 33554432000 4194304 4196468 140736361606016 139643961939952 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27459] ppid=27444 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27447/task/27459/stat : 27459 (java) S 27444 27447 26714 0 -1 1077944384 152 0 0 0 2 0 0 0 20 0 15 0 40925092 14420725760 12581 33554432000 4194304 4196468 140736361606016 139643960887408 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27460] ppid=27444 vsize=14082740 memory=139966294812288 CPUtime=0.08 cores=0,2,4,6
/proc/27447/task/27460/stat : 27460 (java) R 27444 27447 26714 0 -1 4202560 317 0 0 0 8 0 0 0 20 0 15 0 40925092 14420725760 12581 33554432000 4194304 4196468 140736361606016 139643959834864 139644424090202 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27461] ppid=27444 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27461/stat : 27461 (java) S 27444 27447 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40925092 14420725760 12581 33554432000 4194304 4196468 140736361606016 139643958782560 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27462] ppid=27444 vsize=14082740 memory=139966294812288 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27462/stat : 27462 (java) S 27444 27447 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40925092 14420725760 12581 33554432000 4194304 4196468 140736361606016 139643957730096 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50324 KiB

[startup+0.700746 s]
/proc/loadavg: 1.38 1.36 1.39 3/215 27462
/proc/meminfo: memFree=28007352/32770624 swapFree=67108860/67108860
[pid=27447] ppid=27444 vsize=14084808 memory=88852 CPUtime=0.99 cores=0,2,4,6
/proc/27447/stat : 27447 (java) S 27444 27447 26714 0 -1 1077944320 17611 0 0 0 94 5 0 0 20 0 15 0 40925086 14422843392 22213 33554432000 4194304 4196468 140736361606016 140736361588560 139644424068855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
/proc/27447/statm: 3521202 22213 3497 1 0 3483273 0
[pid=27447/tid=27449] ppid=27444 vsize=14084808 memory=1724 CPUtime=0.67 cores=0,2,4,6
/proc/27447/task/27449/stat : 27449 (java) R 27444 27447 26714 0 -1 4202560 14854 0 0 0 63 4 0 0 20 0 15 0 40925087 14422843392 22213 33554432000 4194304 4196468 140736361606016 139644428274736 139644408149372 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27450] ppid=27444 vsize=14084808 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27450/stat : 27450 (java) S 27444 27447 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40925087 14422843392 22213 33554432000 4194304 4196468 140736361606016 139644354156816 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27451] ppid=27444 vsize=14084808 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27451/stat : 27451 (java) S 27444 27447 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40925087 14422843392 22213 33554432000 4194304 4196468 140736361606016 139644018276752 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27452] ppid=27444 vsize=14084808 memory=796 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27452/stat : 27452 (java) S 27444 27447 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40925087 14422843392 22213 33554432000 4194304 4196468 140736361606016 139644017224208 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27453] ppid=27444 vsize=14084808 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27453/stat : 27453 (java) S 27444 27447 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40925087 14422843392 22213 33554432000 4194304 4196468 140736361606016 139644016171664 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27454] ppid=27444 vsize=14084808 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27454/stat : 27454 (java) S 27444 27447 26714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40925089 14422843392 22213 33554432000 4194304 4196468 140736361606016 139643966151152 139644424080002 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27455] ppid=27444 vsize=14084808 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27455/stat : 27455 (java) S 27444 27447 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40925089 14422843392 22213 33554432000 4194304 4196468 140736361606016 139643965097376 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27456] ppid=27444 vsize=14084808 memory=8356 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27456/stat : 27456 (java) S 27444 27447 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40925089 14422843392 22213 33554432000 4194304 4196468 140736361606016 139643964044784 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27457] ppid=27444 vsize=14084808 memory=5520 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27457/stat : 27457 (java) S 27444 27447 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40925092 14422843392 22213 33554432000 4194304 4196468 140736361606016 139643962993360 139644424087451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27458] ppid=27444 vsize=14084808 memory=7092418796125250880 CPUtime=0.08 cores=0,2,4,6
/proc/27447/task/27458/stat : 27458 (java) S 27444 27447 26714 0 -1 1077944384 642 0 0 0 8 0 0 0 20 0 15 0 40925092 14422843392 22213 33554432000 4194304 4196468 140736361606016 139643961939952 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27459] ppid=27444 vsize=14084808 memory=7597685182856913236 CPUtime=0.06 cores=0,2,4,6
/proc/27447/task/27459/stat : 27459 (java) S 27444 27447 26714 0 -1 1077944384 298 0 0 0 6 0 0 0 20 0 15 0 40925092 14422843392 22213 33554432000 4194304 4196468 140736361606016 139643960887408 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27460] ppid=27444 vsize=14084808 memory=7301858164987948385 CPUtime=0.15 cores=0,2,4,6
/proc/27447/task/27460/stat : 27460 (java) S 27444 27447 26714 0 -1 1077944384 436 0 0 0 15 0 0 0 20 0 15 0 40925092 14422843392 22213 33554432000 4194304 4196468 140736361606016 139643959834864 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27461] ppid=27444 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27461/stat : 27461 (java) S 27444 27447 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40925092 14422843392 22213 33554432000 4194304 4196468 140736361606016 139643958782560 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27462] ppid=27444 vsize=14084808 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27462/stat : 27462 (java) S 27444 27447 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40925092 14422843392 22213 33554432000 4194304 4196468 140736361606016 139643957730096 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88852 KiB

[startup+1.51046 s]
/proc/loadavg: 1.51 1.39 1.40 4/215 27462
/proc/meminfo: memFree=27917332/32770624 swapFree=67108860/67108860
[pid=27447] ppid=27444 vsize=14086856 memory=303832 CPUtime=3.52 cores=0,2,4,6
/proc/27447/stat : 27447 (java) S 27444 27447 26714 0 -1 1077944320 26808 0 0 0 338 14 0 0 20 0 15 0 40925086 14424940544 75958 33554432000 4194304 4196468 140736361606016 140736361588560 139644424068855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
/proc/27447/statm: 3521714 75958 3569 1 0 3483785 0
[pid=27447/tid=27449] ppid=27444 vsize=14086856 memory=0 CPUtime=1.4 cores=0,2,4,6
/proc/27447/task/27449/stat : 27449 (java) R 27444 27447 26714 0 -1 4202560 15883 0 0 0 134 6 0 0 20 0 15 0 40925087 14424940544 75958 33554432000 4194304 4196468 140736361606016 139644428304256 139644037570857 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27450] ppid=27444 vsize=14086856 memory=-6951259422114956437 CPUtime=0.06 cores=0,2,4,6
/proc/27447/task/27450/stat : 27450 (java) S 27444 27447 26714 0 -1 1077944384 238 0 0 0 5 1 0 0 20 0 15 0 40925087 14424940544 75958 33554432000 4194304 4196468 140736361606016 139644354156816 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27451] ppid=27444 vsize=14086856 memory=-6509546260019855299 CPUtime=0.04 cores=0,2,4,6
/proc/27447/task/27451/stat : 27451 (java) S 27444 27447 26714 0 -1 1077944384 75 0 0 0 3 1 0 0 20 0 15 0 40925087 14424940544 75958 33554432000 4194304 4196468 140736361606016 139644018276752 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27452] ppid=27444 vsize=14086856 memory=-7390251449858225344 CPUtime=0.05 cores=0,2,4,6
/proc/27447/task/27452/stat : 27452 (java) S 27444 27447 26714 0 -1 1077944384 324 0 0 0 4 1 0 0 20 0 15 0 40925087 14424940544 75958 33554432000 4194304 4196468 140736361606016 139644017224208 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27453] ppid=27444 vsize=14086856 memory=4134692831991786133 CPUtime=0.06 cores=0,2,4,6
/proc/27447/task/27453/stat : 27453 (java) S 27444 27447 26714 0 -1 1077944384 389 0 0 0 5 1 0 0 20 0 15 0 40925087 14424940544 75958 33554432000 4194304 4196468 140736361606016 139644016171664 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27454] ppid=27444 vsize=14086856 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27454/stat : 27454 (java) S 27444 27447 26714 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 40925089 14424940544 75958 33554432000 4194304 4196468 140736361606016 139643966151152 139644424080002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0

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

/proc/27447/task/27449/stat : 27449 (java) R 27444 27447 26714 0 -1 4202560 110280 0 0 0 225738 79 0 0 20 0 15 0 40925087 14429134848 659995 33554432000 4194304 4196468 140736361606016 139644428307264 139644045086328 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27450] ppid=27444 vsize=14090952 memory=2640496 CPUtime=3.6 cores=0,2,4,6
/proc/27447/task/27450/stat : 27450 (java) S 27444 27447 26714 0 -1 1077944384 18874 0 0 0 348 12 0 0 20 0 15 0 40925087 14429134848 659995 33554432000 4194304 4196468 140736361606016 139644354156816 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27451] ppid=27444 vsize=14090952 memory=2645628 CPUtime=3.56 cores=0,2,4,6
/proc/27447/task/27451/stat : 27451 (java) S 27444 27447 26714 0 -1 1077944384 16022 0 0 0 345 11 0 0 20 0 15 0 40925087 14429134848 659995 33554432000 4194304 4196468 140736361606016 139644018276752 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27452] ppid=27444 vsize=14090952 memory=2644600 CPUtime=3.59 cores=0,2,4,6
/proc/27447/task/27452/stat : 27452 (java) S 27444 27447 26714 0 -1 1077944384 14588 0 0 0 348 11 0 0 20 0 15 0 40925087 14429134848 659995 33554432000 4194304 4196468 140736361606016 139644017224208 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27453] ppid=27444 vsize=14090952 memory=6944652177228980320 CPUtime=3.59 cores=0,2,4,6
/proc/27447/task/27453/stat : 27453 (java) S 27444 27447 26714 0 -1 1077944384 12264 0 0 0 348 11 0 0 20 0 15 0 40925087 14429134848 659995 33554432000 4194304 4196468 140736361606016 139644016171664 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27454] ppid=27444 vsize=14090952 memory=2641008 CPUtime=0.3 cores=0,2,4,6
/proc/27447/task/27454/stat : 27454 (java) S 27444 27447 26714 0 -1 1077944384 14446 0 0 0 21 9 0 0 20 0 15 0 40925089 14429134848 659995 33554432000 4194304 4196468 140736361606016 139643966151152 139644424080002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27455] ppid=27444 vsize=14090952 memory=2642032 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27455/stat : 27455 (java) S 27444 27447 26714 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 40925089 14429134848 659995 33554432000 4194304 4196468 140736361606016 139643965097440 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27456] ppid=27444 vsize=14090952 memory=2643572 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27456/stat : 27456 (java) S 27444 27447 26714 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 40925089 14429134848 659995 33554432000 4194304 4196468 140736361606016 139643964044800 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27457] ppid=27444 vsize=14090952 memory=8356 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27457/stat : 27457 (java) S 27444 27447 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40925092 14429134848 659995 33554432000 4194304 4196468 140736361606016 139643962993360 139644424087451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27458] ppid=27444 vsize=14090952 memory=2641008 CPUtime=2.9 cores=0,2,4,6
/proc/27447/task/27458/stat : 27458 (java) S 27444 27447 26714 0 -1 1077944384 6928 0 0 0 289 1 0 0 20 0 15 0 40925092 14429134848 659995 33554432000 4194304 4196468 140736361606016 139643961939952 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27459] ppid=27444 vsize=14090952 memory=2204 CPUtime=2.89 cores=0,2,4,6
/proc/27447/task/27459/stat : 27459 (java) S 27444 27447 26714 0 -1 1077944384 9610 0 0 0 288 1 0 0 20 0 15 0 40925092 14429134848 659995 33554432000 4194304 4196468 140736361606016 139643960887408 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27460] ppid=27444 vsize=14090952 memory=7888 CPUtime=0.93 cores=0,2,4,6
/proc/27447/task/27460/stat : 27460 (java) S 27444 27447 26714 0 -1 1077944384 6769 0 0 0 91 2 0 0 20 0 15 0 40925092 14429134848 659995 33554432000 4194304 4196468 140736361606016 139643959834864 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27461] ppid=27444 vsize=14090952 memory=2640496 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27461/stat : 27461 (java) S 27444 27447 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40925092 14429134848 659995 33554432000 4194304 4196468 140736361606016 139643958782560 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27462] ppid=27444 vsize=14090952 memory=1196 CPUtime=1.3 cores=0,2,4,6
/proc/27447/task/27462/stat : 27462 (java) S 27444 27447 26714 0 -1 1077944384 1566 0 0 0 65 65 0 0 20 0 15 0 40925092 14429134848 659995 33554432000 4194304 4196468 140736361606016 139643957730096 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
Current children cumulated CPU time: 2280.92 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 2639980 KiB

[startup+2322.3 s]
/proc/loadavg: 1.46 1.46 1.56 3/215 27632
/proc/meminfo: memFree=24561048/32770624 swapFree=67108860/67108860
[pid=27447] ppid=27444 vsize=14090952 memory=2617384 CPUtime=2342.53 cores=0,2,4,6
/proc/27447/stat : 27447 (java) S 27444 27447 26714 0 -1 1077944320 216081 0 0 0 234059 194 0 0 20 0 15 0 40925086 14429134848 654346 33554432000 4194304 4196468 140736361606016 140736361588560 139644424068855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
/proc/27447/statm: 3522738 654346 3592 1 0 3484809 0
[pid=27447/tid=27449] ppid=27444 vsize=14090952 memory=2616364 CPUtime=2317.58 cores=0,2,4,6
/proc/27447/task/27449/stat : 27449 (java) R 27444 27447 26714 0 -1 4202560 111497 0 0 0 231679 79 0 0 20 0 15 0 40925087 14429134848 654346 33554432000 4194304 4196468 140736361606016 139644428307264 139644044627057 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27450] ppid=27444 vsize=14090952 memory=2617388 CPUtime=4.12 cores=0,2,4,6
/proc/27447/task/27450/stat : 27450 (java) S 27444 27447 26714 0 -1 1077944384 19307 0 0 0 400 12 0 0 20 0 15 0 40925087 14429134848 654346 33554432000 4194304 4196468 140736361606016 139644354156816 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27451] ppid=27444 vsize=14090952 memory=2629200 CPUtime=4.09 cores=0,2,4,6
/proc/27447/task/27451/stat : 27451 (java) S 27444 27447 26714 0 -1 1077944384 16319 0 0 0 397 12 0 0 20 0 15 0 40925087 14429134848 654346 33554432000 4194304 4196468 140736361606016 139644018276752 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27452] ppid=27444 vsize=14090952 memory=2626628 CPUtime=4.11 cores=0,2,4,6
/proc/27447/task/27452/stat : 27452 (java) S 27444 27447 26714 0 -1 1077944384 14981 0 0 0 400 11 0 0 20 0 15 0 40925087 14429134848 654346 33554432000 4194304 4196468 140736361606016 139644017224208 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27453] ppid=27444 vsize=14090952 memory=2625084 CPUtime=4.11 cores=0,2,4,6
/proc/27447/task/27453/stat : 27453 (java) S 27444 27447 26714 0 -1 1077944384 12675 0 0 0 400 11 0 0 20 0 15 0 40925087 14429134848 654346 33554432000 4194304 4196468 140736361606016 139644016171664 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27454] ppid=27444 vsize=14090952 memory=2622520 CPUtime=0.34 cores=0,2,4,6
/proc/27447/task/27454/stat : 27454 (java) S 27444 27447 26714 0 -1 1077944384 14956 0 0 0 24 10 0 0 20 0 15 0 40925089 14429134848 654346 33554432000 4194304 4196468 140736361606016 139643966151152 139644424080002 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27455] ppid=27444 vsize=14090952 memory=2617388 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27455/stat : 27455 (java) S 27444 27447 26714 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 40925089 14429134848 654346 33554432000 4194304 4196468 140736361606016 139643965097440 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27456] ppid=27444 vsize=14090952 memory=2617384 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27456/stat : 27456 (java) S 27444 27447 26714 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 40925089 14429134848 654346 33554432000 4194304 4196468 140736361606016 139643964044800 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27457] ppid=27444 vsize=14090952 memory=2626628 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27457/stat : 27457 (java) S 27444 27447 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40925092 14429134848 654346 33554432000 4194304 4196468 140736361606016 139643962993360 139644424087451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27458] ppid=27444 vsize=14090952 memory=2618416 CPUtime=2.9 cores=0,2,4,6
/proc/27447/task/27458/stat : 27458 (java) S 27444 27447 26714 0 -1 1077944384 6934 0 0 0 289 1 0 0 20 0 15 0 40925092 14429134848 654346 33554432000 4194304 4196468 140736361606016 139643961939952 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27459] ppid=27444 vsize=14090952 memory=2628684 CPUtime=2.89 cores=0,2,4,6
/proc/27447/task/27459/stat : 27459 (java) S 27444 27447 26714 0 -1 1077944384 9616 0 0 0 288 1 0 0 20 0 15 0 40925092 14429134848 654346 33554432000 4194304 4196468 140736361606016 139643960887408 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27460] ppid=27444 vsize=14090952 memory=2628684 CPUtime=0.94 cores=0,2,4,6
/proc/27447/task/27460/stat : 27460 (java) S 27444 27447 26714 0 -1 1077944384 6775 0 0 0 92 2 0 0 20 0 15 0 40925092 14429134848 654346 33554432000 4194304 4196468 140736361606016 139643959834864 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27461] ppid=27444 vsize=14090952 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27461/stat : 27461 (java) S 27444 27447 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40925092 14429134848 654346 33554432000 4194304 4196468 140736361606016 139643958782560 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27462] ppid=27444 vsize=14090952 memory=290763896594366775 CPUtime=1.33 cores=0,2,4,6
/proc/27447/task/27462/stat : 27462 (java) S 27444 27447 26714 0 -1 1077944384 1603 0 0 0 67 66 0 0 20 0 15 0 40925092 14429134848 654346 33554432000 4194304 4196468 140736361606016 139643957730096 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
Current children cumulated CPU time: 2342.53 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 2617384 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2378.31 s]
/proc/loadavg: 1.71 1.54 1.58 5/215 27710
/proc/meminfo: memFree=26373228/32770624 swapFree=67108860/67108860
[pid=27447] ppid=27444 vsize=14090952 memory=2592232 CPUtime=2400.04 cores=0,2,4,6
/proc/27447/stat : 27447 (java) S 27444 27447 26714 0 -1 1077944320 218539 0 0 0 239806 198 0 0 20 0 15 0 40925086 14429134848 648058 33554432000 4194304 4196468 140736361606016 140736361588560 139644424068855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
/proc/27447/statm: 3522738 648058 3592 1 0 3484809 0
[pid=27447/tid=27449] ppid=27444 vsize=14090952 memory=2594800 CPUtime=2373.03 cores=0,2,4,6
/proc/27447/task/27449/stat : 27449 (java) S 27444 27447 26714 0 -1 1077944384 112393 0 0 0 237223 80 0 0 20 0 15 0 40925087 14429134848 648058 33554432000 4194304 4196468 140736361606016 139644428307264 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27450] ppid=27444 vsize=14090952 memory=2597884 CPUtime=4.63 cores=0,2,4,6
/proc/27447/task/27450/stat : 27450 (java) R 27444 27447 26714 0 -1 1077944384 19507 0 0 0 450 13 0 0 20 0 15 0 40925087 14429134848 648058 33554432000 4194304 4196468 140736361606016 139644354156832 139644424079061 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27451] ppid=27444 vsize=14090952 memory=2596856 CPUtime=4.59 cores=0,2,4,6
/proc/27447/task/27451/stat : 27451 (java) S 27444 27447 26714 0 -1 1077944384 16770 0 0 0 447 12 0 0 20 0 15 0 40925087 14429134848 648058 33554432000 4194304 4196468 140736361606016 139644018276752 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27452] ppid=27444 vsize=14090952 memory=2593776 CPUtime=4.61 cores=0,2,4,6
/proc/27447/task/27452/stat : 27452 (java) S 27444 27447 26714 0 -1 1077944384 15197 0 0 0 450 11 0 0 20 0 15 0 40925087 14429134848 648058 33554432000 4194304 4196468 140736361606016 139644017224208 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27453] ppid=27444 vsize=14090952 memory=2592748 CPUtime=4.61 cores=0,2,4,6
/proc/27447/task/27453/stat : 27453 (java) S 27444 27447 26714 0 -1 1077944384 12975 0 0 0 449 12 0 0 20 0 15 0 40925087 14429134848 648058 33554432000 4194304 4196468 140736361606016 139644016171664 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27454] ppid=27444 vsize=14090952 memory=2591212 CPUtime=0.37 cores=0,2,4,6
/proc/27447/task/27454/stat : 27454 (java) S 27444 27447 26714 0 -1 1077944384 15300 0 0 0 27 10 0 0 20 0 15 0 40925089 14429134848 648058 33554432000 4194304 4196468 140736361606016 139643966149664 139644424079061 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27455] ppid=27444 vsize=14090952 memory=2592232 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27455/stat : 27455 (java) S 27444 27447 26714 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 40925089 14429134848 648058 33554432000 4194304 4196468 140736361606016 139643965097440 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27456] ppid=27444 vsize=14090952 memory=2592232 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27456/stat : 27456 (java) S 27444 27447 26714 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 40925089 14429134848 648058 33554432000 4194304 4196468 140736361606016 139643964044800 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27457] ppid=27444 vsize=14090952 memory=2626628 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27457/stat : 27457 (java) S 27444 27447 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40925092 14429134848 648058 33554432000 4194304 4196468 140736361606016 139643962993360 139644424087451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27458] ppid=27444 vsize=14090952 memory=279932279122784 CPUtime=2.9 cores=0,2,4,6
/proc/27447/task/27458/stat : 27458 (java) S 27444 27447 26714 0 -1 1077944384 6938 0 0 0 289 1 0 0 20 0 15 0 40925092 14429134848 648058 33554432000 4194304 4196468 140736361606016 139643961939952 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27459] ppid=27444 vsize=14090952 memory=2613796 CPUtime=2.89 cores=0,2,4,6
/proc/27447/task/27459/stat : 27459 (java) S 27444 27447 26714 0 -1 1077944384 9620 0 0 0 288 1 0 0 20 0 15 0 40925092 14429134848 648058 33554432000 4194304 4196468 140736361606016 139643960887408 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27460] ppid=27444 vsize=14090952 memory=2591212 CPUtime=0.94 cores=0,2,4,6
/proc/27447/task/27460/stat : 27460 (java) S 27444 27447 26714 0 -1 1077944384 6779 0 0 0 92 2 0 0 20 0 15 0 40925092 14429134848 648058 33554432000 4194304 4196468 140736361606016 139643959834864 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27461] ppid=27444 vsize=14090952 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27461/stat : 27461 (java) S 27444 27447 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40925092 14429134848 648058 33554432000 4194304 4196468 140736361606016 139643958782560 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27462] ppid=27444 vsize=14090952 memory=956 CPUtime=1.36 cores=0,2,4,6
/proc/27447/task/27462/stat : 27462 (java) S 27444 27447 26714 0 -1 1077944384 1642 0 0 0 68 68 0 0 20 0 15 0 40925092 14429134848 648058 33554432000 4194304 4196468 140736361606016 139643957730096 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 2592232 KiB

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

[startup+2378.32 s]
# the end of solver process 27447 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.07 s, system=1.99447 s

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

[startup+2378.31 s]
/proc/loadavg: 1.71 1.54 1.58 5/215 27710
/proc/meminfo: memFree=26373228/32770624 swapFree=67108860/67108860
[pid=27447] ppid=27444 vsize=14090952 memory=2592232 CPUtime=2400.04 cores=0,2,4,6
/proc/27447/stat : 27447 (java) S 27444 27447 26714 0 -1 1077944320 218539 0 0 0 239806 198 0 0 20 0 15 0 40925086 14429134848 648058 33554432000 4194304 4196468 140736361606016 140736361588560 139644424068855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
/proc/27447/statm: 3522738 648058 3592 1 0 3484809 0
[pid=27447/tid=27449] ppid=27444 vsize=14090952 memory=2594800 CPUtime=2373.03 cores=0,2,4,6
/proc/27447/task/27449/stat : 27449 (java) S 27444 27447 26714 0 -1 1077944384 112393 0 0 0 237223 80 0 0 20 0 15 0 40925087 14429134848 648058 33554432000 4194304 4196468 140736361606016 139644428307264 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27450] ppid=27444 vsize=14090952 memory=2597884 CPUtime=4.63 cores=0,2,4,6
/proc/27447/task/27450/stat : 27450 (java) R 27444 27447 26714 0 -1 1077944384 19507 0 0 0 450 13 0 0 20 0 15 0 40925087 14429134848 648058 33554432000 4194304 4196468 140736361606016 139644354156832 139644424079061 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27451] ppid=27444 vsize=14090952 memory=2596856 CPUtime=4.59 cores=0,2,4,6
/proc/27447/task/27451/stat : 27451 (java) S 27444 27447 26714 0 -1 1077944384 16770 0 0 0 447 12 0 0 20 0 15 0 40925087 14429134848 648058 33554432000 4194304 4196468 140736361606016 139644018276752 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27452] ppid=27444 vsize=14090952 memory=2593776 CPUtime=4.61 cores=0,2,4,6
/proc/27447/task/27452/stat : 27452 (java) S 27444 27447 26714 0 -1 1077944384 15197 0 0 0 450 11 0 0 20 0 15 0 40925087 14429134848 648058 33554432000 4194304 4196468 140736361606016 139644017224208 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27453] ppid=27444 vsize=14090952 memory=2592748 CPUtime=4.61 cores=0,2,4,6
/proc/27447/task/27453/stat : 27453 (java) S 27444 27447 26714 0 -1 1077944384 12975 0 0 0 449 12 0 0 20 0 15 0 40925087 14429134848 648058 33554432000 4194304 4196468 140736361606016 139644016171664 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27454] ppid=27444 vsize=14090952 memory=2591212 CPUtime=0.37 cores=0,2,4,6
/proc/27447/task/27454/stat : 27454 (java) S 27444 27447 26714 0 -1 1077944384 15300 0 0 0 27 10 0 0 20 0 15 0 40925089 14429134848 648058 33554432000 4194304 4196468 140736361606016 139643966149664 139644424079061 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27455] ppid=27444 vsize=14090952 memory=2592232 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27455/stat : 27455 (java) S 27444 27447 26714 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 40925089 14429134848 648058 33554432000 4194304 4196468 140736361606016 139643965097440 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27456] ppid=27444 vsize=14090952 memory=2592232 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27456/stat : 27456 (java) S 27444 27447 26714 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 40925089 14429134848 648058 33554432000 4194304 4196468 140736361606016 139643964044800 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27457] ppid=27444 vsize=14090952 memory=2626628 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27457/stat : 27457 (java) S 27444 27447 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40925092 14429134848 648058 33554432000 4194304 4196468 140736361606016 139643962993360 139644424087451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27458] ppid=27444 vsize=14090952 memory=279932279122784 CPUtime=2.9 cores=0,2,4,6
/proc/27447/task/27458/stat : 27458 (java) S 27444 27447 26714 0 -1 1077944384 6938 0 0 0 289 1 0 0 20 0 15 0 40925092 14429134848 648058 33554432000 4194304 4196468 140736361606016 139643961939952 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27459] ppid=27444 vsize=14090952 memory=2613796 CPUtime=2.89 cores=0,2,4,6
/proc/27447/task/27459/stat : 27459 (java) S 27444 27447 26714 0 -1 1077944384 9620 0 0 0 288 1 0 0 20 0 15 0 40925092 14429134848 648058 33554432000 4194304 4196468 140736361606016 139643960887408 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27460] ppid=27444 vsize=14090952 memory=2591212 CPUtime=0.94 cores=0,2,4,6
/proc/27447/task/27460/stat : 27460 (java) S 27444 27447 26714 0 -1 1077944384 6779 0 0 0 92 2 0 0 20 0 15 0 40925092 14429134848 648058 33554432000 4194304 4196468 140736361606016 139643959834864 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27461] ppid=27444 vsize=14090952 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/27447/task/27461/stat : 27461 (java) S 27444 27447 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40925092 14429134848 648058 33554432000 4194304 4196468 140736361606016 139643958782560 139644424079061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
[pid=27447/tid=27462] ppid=27444 vsize=14090952 memory=956 CPUtime=1.36 cores=0,2,4,6
/proc/27447/task/27462/stat : 27462 (java) S 27444 27447 26714 0 -1 1077944384 1642 0 0 0 68 68 0 0 20 0 15 0 40925092 14429134848 648058 33554432000 4194304 4196468 140736361606016 139643957730096 139644424080002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6914048 140736361612373 140736361612553 140736361612553 140736361615311 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 2592232 KiB

Child status: 143
Real time (s): 2378.32
CPU time (s): 2400.07
CPU user time (s): 2398.07
CPU system time (s): 1.99447
CPU usage (%): 100.914
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 3611156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.07
system time used= 1.99447
maximum resident set size= 3611880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218831
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62079
involuntary context switches= 3388


# summary of solver processes directly reported to runsolver:
#   pid: 27447
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2398.07
#   total CPU system time (s): 1.99447

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5682 second user time and 23.0288 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-22 06:26:59
IDJOB=4291559
IDBENCH=141111
IDSOLVER=2746
FILE ID=node149/4291559-1532233619
RUNJOBID= node149-1532226534-26745
PBS_JOBID= 21018956
Free space on /tmp= 51844 MiB

SOLVER NAME= OscaR - Hybrid 2018-07-02
BENCH NAME= XCSP18/PseudoBoolean-opt/Pb-circ10-3_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291559-1532233619/watcher-4291559-1532233619 -o /tmp/evaluation-result-4291559-1532233619/solver-4291559-1532233619 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532226534-26745 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 664413328 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291559-1532233619.xml

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

MD5SUM BENCH= 2a9d5e672b2129585e8bdcc62e976dce
RANDOM SEED=664413328

node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
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.60
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.60
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.60
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:        28068544 kB
MemAvailable:   30716500 kB
Buffers:           89132 kB
Cached:          2819296 kB
SwapCached:            0 kB
Active:          2775012 kB
Inactive:        1446100 kB
Active(anon):    1262444 kB
Inactive(anon):    70216 kB
Active(file):    1512568 kB
Inactive(file):  1375884 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             39180 kB
Writeback:             0 kB
AnonPages:       1320500 kB
Mapped:            48564 kB
Shmem:             17032 kB
Slab:             178256 kB
SReclaimable:     150680 kB
SUnreclaim:        27576 kB
KernelStack:        3520 kB
PageTables:         7840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2246316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1245184 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 51804 MiB
End job on node149 at 2018-07-22 07:06:37