Trace number 4274155

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
OscaR - Conflict Ordering 2017-07-26UNSAT 5.3852 2.2395999

General information on the benchmark

NameRlfap/Rlfap-m1-scens/
Rlfap-scen-06.xml
MD5SUM7a29983c9ff052f95c6899aeb5034357
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.820391
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints1322
Number of domains3
Minimum domain size22
Maximum domain size44
Distribution of domain sizes[{"size":22,"count":2},{"size":36,"count":92},{"size":44,"count":106}]
Minimum variable degree1
Maximum variable degree44
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":3},{"degree":3,"count":9},{"degree":4,"count":5},{"degree":5,"count":12},{"degree":6,"count":11},{"degree":7,"count":15},{"degree":8,"count":5},{"degree":9,"count":12},{"degree":10,"count":17},{"degree":11,"count":9},{"degree":12,"count":7},{"degree":13,"count":15},{"degree":14,"count":1},{"degree":15,"count":18},{"degree":17,"count":11},{"degree":19,"count":8},{"degree":20,"count":3},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":23,"count":6},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":27,"count":4},{"degree":28,"count":8},{"degree":30,"count":4},{"degree":35,"count":2},{"degree":36,"count":2},{"degree":39,"count":1},{"degree":44,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1322}]
Number of extensional constraints0
Number of intensional constraints1322
Distribution of constraint types[{"type":"intension","count":1322}]
Optimization problemNO
Type of objective

Solver Data 

0.30/0.37	c version: 2017-07-26
0.30/0.37	c seed: 1095691497
0.30/0.37	c timeout: 2520
0.30/0.37	c memlimit: 11000
0.30/0.37	c nbcore: 4
0.30/0.39	c Parsing instance...
2.80/1.35	c Parsing done, starting search...
5.34/2.23	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 (15302 MiB free)
  memory of node 1: 16384 MiB (11825 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274155-1502724002/watcher-4274155-1502724002 -o /tmp/evaluation-result-4274155-1502724002/solver-4274155-1502724002 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10387 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1095691497 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274155-1502724002.xml 

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

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

solver pid=20916, runsolver pid=20913

[startup+0.100117 s]*
/proc/loadavg: 2.10 1.85 1.84 3/203 20924
/proc/meminfo: memFree=27772100/32770624 swapFree=67105588/67108860
[pid=20916] ppid=20913 vsize=13573664 memory=16960 CPUtime=0.03 cores=0,2,4,6
/proc/20916/stat : 20916 (java) S 20913 20916 12560 0 -1 1077944320 4164 0 0 0 3 0 0 0 20 0 9 0 74595555 13899431936 4240 18446744073709551615 4194304 4196468 140721603736736 140721603719280 139782939168503 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
/proc/20916/statm: 3393416 4240 2100 1 0 3382913 0
[pid=20916/tid=20918] ppid=20913 vsize=13573664 memory=-6439968830534014599 CPUtime=0.02 cores=0,2,4,6
/proc/20916/task/20918/stat : 20918 (java) R 20913 20916 12560 0 -1 4202560 2799 0 0 0 2 0 0 0 20 0 9 0 74595562 13899431936 4306 18446744073709551615 4194304 4196468 140721603736736 139782943404648 139782939190429 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20919] ppid=20913 vsize=13573664 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20919/stat : 20919 (java) S 20913 20916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 74595563 13899431936 4306 18446744073709551615 4194304 4196468 140721603736736 139782873602704 139782939178709 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20920] ppid=20913 vsize=13573664 memory=140424319141504 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20920/stat : 20920 (java) S 20913 20916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 74595563 13899431936 4306 18446744073709551615 4194304 4196468 140721603736736 139782872549904 139782939178709 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20921] ppid=20913 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20921/stat : 20921 (java) S 20913 20916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 74595563 13899431936 4306 18446744073709551615 4194304 4196468 140721603736736 139782871497104 139782939178709 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20922] ppid=20913 vsize=13573664 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20922/stat : 20922 (java) S 20913 20916 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 74595563 13899431936 4306 18446744073709551615 4194304 4196468 140721603736736 139782870444304 139782939178709 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20923] ppid=20913 vsize=13573664 memory=140424319141504 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20923/stat : 20923 (java) S 20913 20916 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 74595564 13899431936 4306 18446744073709551615 4194304 4196468 140721603736736 139782417505136 139782939179650 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20924] ppid=20913 vsize=13573664 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20924/stat : 20924 (java) S 20913 20916 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 74595565 13899431936 4306 18446744073709551615 4194304 4196468 140721603736736 139782416451104 139782939178709 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20925] ppid=20913 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20925/stat : 20925 (java) S 20913 20916 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 74595565 13899431936 4306 18446744073709551615 4194304 4196468 140721603736736 139782415398320 139782939178709 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 16960 KiB

[startup+0.209764 s]*
/proc/loadavg: 2.10 1.85 1.84 3/210 20931
/proc/meminfo: memFree=27761576/32770624 swapFree=67105588/67108860
[pid=20916] ppid=20913 vsize=13976944 memory=34836 CPUtime=0.12 cores=0,2,4,6
/proc/20916/stat : 20916 (java) S 20913 20916 12560 0 -1 1077944320 9455 0 0 0 11 1 0 0 20 0 15 0 74595555 14312390656 8709 18446744073709551615 4194304 4196468 140721603736736 140721603719280 139782939168503 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
/proc/20916/statm: 3494236 8709 3362 1 0 3483015 0
[pid=20916/tid=20918] ppid=20913 vsize=13976944 memory=8318255677412212789 CPUtime=0.09 cores=0,2,4,6
/proc/20916/task/20918/stat : 20918 (java) R 20913 20916 12560 0 -1 4202560 7413 0 0 0 8 1 0 0 20 0 15 0 74595562 14312390656 8709 18446744073709551615 4194304 4196468 140721603736736 139782943357952 139782931848221 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20919] ppid=20913 vsize=13976944 memory=328 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20919/stat : 20919 (java) S 20913 20916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74595563 14312390656 8709 18446744073709551615 4194304 4196468 140721603736736 139782873602704 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20920] ppid=20913 vsize=13976944 memory=140424319856472 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20920/stat : 20920 (java) S 20913 20916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74595563 14312390656 8709 18446744073709551615 4194304 4196468 140721603736736 139782872549904 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20921] ppid=20913 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20921/stat : 20921 (java) S 20913 20916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74595563 14312390656 8709 18446744073709551615 4194304 4196468 140721603736736 139782871497104 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20922] ppid=20913 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20922/stat : 20922 (java) S 20913 20916 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74595563 14312390656 8709 18446744073709551615 4194304 4196468 140721603736736 139782870444304 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20923] ppid=20913 vsize=13976944 memory=140424319141504 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20923/stat : 20923 (java) S 20913 20916 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74595564 14312390656 8709 18446744073709551615 4194304 4196468 140721603736736 139782417505136 139782939179650 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20924] ppid=20913 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20924/stat : 20924 (java) S 20913 20916 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74595565 14312390656 8709 18446744073709551615 4194304 4196468 140721603736736 139782416451104 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20925] ppid=20913 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20925/stat : 20925 (java) S 20913 20916 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74595565 14312390656 8709 18446744073709551615 4194304 4196468 140721603736736 139782415398256 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20926] ppid=20913 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20926/stat : 20926 (java) S 20913 20916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74595567 14312390656 8709 18446744073709551615 4194304 4196468 140721603736736 139782414346576 139782939187099 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20927] ppid=20913 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20927/stat : 20927 (java) S 20913 20916 12560 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 74595568 14312390656 8709 18446744073709551615 4194304 4196468 140721603736736 139782413293936 139782939179650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20928] ppid=20913 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20928/stat : 20928 (java) S 20913 20916 12560 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 74595568 14312390656 8709 18446744073709551615 4194304 4196468 140721603736736 139782412241136 139782939179650 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20929] ppid=20913 vsize=13976944 memory=140424319141504 CPUtime=0.01 cores=0,2,4,6
/proc/20916/task/20929/stat : 20929 (java) S 20913 20916 12560 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 15 0 74595568 14312390656 8709 18446744073709551615 4194304 4196468 140721603736736 139782411188336 139782939179650 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20930] ppid=20913 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20930/stat : 20930 (java) S 20913 20916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74595568 14312390656 8709 18446744073709551615 4194304 4196468 140721603736736 139782410135776 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20931] ppid=20913 vsize=13976944 memory=140424319141504 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20931/stat : 20931 (java) S 20913 20916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74595572 14312390656 8709 18446744073709551615 4194304 4196468 140721603736736 139782409084080 139782939179650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13976944 KiB
Current children cumulated memory: 34836 KiB

[startup+0.31994 s]*
/proc/loadavg: 2.10 1.85 1.84 3/210 20931
/proc/meminfo: memFree=27731284/32770624 swapFree=67105588/67108860
[pid=20916] ppid=20913 vsize=13975920 memory=43140 CPUtime=0.3 cores=0,2,4,6
/proc/20916/stat : 20916 (java) S 20913 20916 12560 0 -1 1077944320 11003 0 0 0 27 3 0 0 20 0 15 0 74595555 14311342080 10785 18446744073709551615 4194304 4196468 140721603736736 140721603719280 139782939168503 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
/proc/20916/statm: 3493980 10785 3595 1 0 3482759 0
[pid=20916/tid=20918] ppid=20913 vsize=13975920 memory=-8774313645642428999 CPUtime=0.2 cores=0,2,4,6
/proc/20916/task/20918/stat : 20918 (java) R 20913 20916 12560 0 -1 4202560 8587 0 0 0 18 2 0 0 20 0 15 0 74595562 14311342080 10785 18446744073709551615 4194304 4196468 140721603736736 139782943393584 139782923212133 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20919] ppid=20913 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20919/stat : 20919 (java) S 20913 20916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74595563 14311342080 10785 18446744073709551615 4194304 4196468 140721603736736 139782873602704 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20920] ppid=20913 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20920/stat : 20920 (java) S 20913 20916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74595563 14311342080 10785 18446744073709551615 4194304 4196468 140721603736736 139782872549904 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20921] ppid=20913 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20921/stat : 20921 (java) S 20913 20916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74595563 14311342080 10798 18446744073709551615 4194304 4196468 140721603736736 139782871497104 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20922] ppid=20913 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20922/stat : 20922 (java) S 20913 20916 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74595563 14311342080 10798 18446744073709551615 4194304 4196468 140721603736736 139782870444304 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20923] ppid=20913 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20923/stat : 20923 (java) S 20913 20916 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74595564 14311342080 10798 18446744073709551615 4194304 4196468 140721603736736 139782417505136 139782939179650 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20924] ppid=20913 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20924/stat : 20924 (java) S 20913 20916 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74595565 14311342080 10798 18446744073709551615 4194304 4196468 140721603736736 139782416451104 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20925] ppid=20913 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20925/stat : 20925 (java) S 20913 20916 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74595565 14311342080 10798 18446744073709551615 4194304 4196468 140721603736736 139782415398256 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20926] ppid=20913 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20926/stat : 20926 (java) S 20913 20916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74595567 14311342080 10798 18446744073709551615 4194304 4196468 140721603736736 139782414346576 139782939187099 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20927] ppid=20913 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20916/task/20927/stat : 20927 (java) S 20913 20916 12560 0 -1 1077944384 201 0 0 0 1 0 0 0 20 0 15 0 74595568 14311342080 10798 18446744073709551615 4194304 4196468 140721603736736 139782413293936 139782939179650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20928] ppid=20913 vsize=13975920 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20916/task/20928/stat : 20928 (java) R 20913 20916 12560 0 -1 4202560 394 0 0 0 2 0 0 0 20 0 15 0 74595568 14311342080 10798 18446744073709551615 4194304 4196468 140721603736736 139782412241136 139782919012148 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20929] ppid=20913 vsize=13975920 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/20916/task/20929/stat : 20929 (java) S 20913 20916 12560 0 -1 1077944384 439 0 0 0 5 0 0 0 20 0 15 0 74595568 14311342080 10798 18446744073709551615 4194304 4196468 140721603736736 139782411188336 139782939179650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20930] ppid=20913 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20930/stat : 20930 (java) S 20913 20916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74595568 14311342080 10798 18446744073709551615 4194304 4196468 140721603736736 139782410135776 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20931] ppid=20913 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20931/stat : 20931 (java) S 20913 20916 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74595572 14311342080 10798 18446744073709551615 4194304 4196468 140721603736736 139782409084080 139782939179650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 43140 KiB

[startup+0.700837 s]
/proc/loadavg: 2.10 1.85 1.84 4/210 20931
/proc/meminfo: memFree=27723700/32770624 swapFree=67105588/67108860
[pid=20916] ppid=20913 vsize=13977988 memory=82796 CPUtime=0.97 cores=0,2,4,6
/proc/20916/stat : 20916 (java) S 20913 20916 12560 0 -1 1077944320 13904 0 0 0 93 4 0 0 20 0 15 0 74595555 14313459712 20699 18446744073709551615 4194304 4196468 140721603736736 140721603719280 139782939168503 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
/proc/20916/statm: 3494497 20699 3721 1 0 3483271 0
[pid=20916/tid=20918] ppid=20913 vsize=13977988 memory=94 CPUtime=0.57 cores=0,2,4,6
/proc/20916/task/20918/stat : 20918 (java) R 20913 20916 12560 0 -1 4202560 10530 0 0 0 53 4 0 0 20 0 15 0 74595562 14313459712 20699 18446744073709551615 4194304 4196468 140721603736736 139782943403952 139782546133663 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20919] ppid=20913 vsize=13977988 memory=28 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20919/stat : 20919 (java) S 20913 20916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74595563 14313459712 20699 18446744073709551615 4194304 4196468 140721603736736 139782873602704 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20920] ppid=20913 vsize=13977988 memory=33 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20920/stat : 20920 (java) S 20913 20916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74595563 14313459712 20699 18446744073709551615 4194304 4196468 140721603736736 139782872549904 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20921] ppid=20913 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20921/stat : 20921 (java) S 20913 20916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74595563 14313459712 20699 18446744073709551615 4194304 4196468 140721603736736 139782871497104 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20922] ppid=20913 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20922/stat : 20922 (java) S 20913 20916 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74595563 14313459712 20699 18446744073709551615 4194304 4196468 140721603736736 139782870444304 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20923] ppid=20913 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20923/stat : 20923 (java) S 20913 20916 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74595564 14313459712 20699 18446744073709551615 4194304 4196468 140721603736736 139782417505136 139782939179650 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20924] ppid=20913 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20924/stat : 20924 (java) S 20913 20916 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74595565 14313459712 20699 18446744073709551615 4194304 4196468 140721603736736 139782416451104 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20925] ppid=20913 vsize=13977988 memory=958 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20925/stat : 20925 (java) S 20913 20916 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74595565 14313459712 20699 18446744073709551615 4194304 4196468 140721603736736 139782415398256 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20926] ppid=20913 vsize=13977988 memory=68 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20926/stat : 20926 (java) S 20913 20916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74595567 14313459712 20699 18446744073709551615 4194304 4196468 140721603736736 139782414346576 139782939187099 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20927] ppid=20913 vsize=13977988 memory=250 CPUtime=0.1 cores=0,2,4,6
/proc/20916/task/20927/stat : 20927 (java) S 20913 20916 12560 0 -1 1077944384 520 0 0 0 10 0 0 0 20 0 15 0 74595568 14313459712 20699 18446744073709551615 4194304 4196468 140721603736736 139782413293936 139782939179650 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20928] ppid=20913 vsize=13977988 memory=280848314142480 CPUtime=0.1 cores=0,2,4,6
/proc/20916/task/20928/stat : 20928 (java) S 20913 20916 12560 0 -1 1077944384 755 0 0 0 10 0 0 0 20 0 15 0 74595568 14313459712 20699 18446744073709551615 4194304 4196468 140721603736736 139782412241136 139782939179650 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20929] ppid=20913 vsize=13977988 memory=2508462229249 CPUtime=0.19 cores=0,2,4,6
/proc/20916/task/20929/stat : 20929 (java) R 20913 20916 12560 0 -1 4202560 717 0 0 0 19 0 0 0 20 0 15 0 74595568 14313459712 20699 18446744073709551615 4194304 4196468 140721603736736 139782411184064 139782932265339 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20930] ppid=20913 vsize=13977988 memory=2517052163841 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20930/stat : 20930 (java) S 20913 20916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74595568 14313459712 20699 18446744073709551615 4194304 4196468 140721603736736 139782410135776 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20931] ppid=20913 vsize=13977988 memory=2560001836801 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20931/stat : 20931 (java) S 20913 20916 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74595572 14313459712 20699 18446744073709551615 4194304 4196468 140721603736736 139782409084080 139782939179650 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 82796 KiB

[startup+1.50096 s]
/proc/loadavg: 2.10 1.85 1.84 6/210 20931
/proc/meminfo: memFree=27635300/32770624 swapFree=67105588/67108860
[pid=20916] ppid=20913 vsize=13982084 memory=228448 CPUtime=3.48 cores=0,2,4,6
/proc/20916/stat : 20916 (java) S 20913 20916 12560 0 -1 1077944320 34214 0 0 0 338 10 0 0 20 0 15 0 74595555 14317654016 57112 18446744073709551615 4194304 4196468 140721603736736 140721603719280 139782939168503 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
/proc/20916/statm: 3495521 57112 3778 1 0 3484295 0
[pid=20916/tid=20918] ppid=20913 vsize=13982084 memory=0 CPUtime=1.35 cores=0,2,4,6
/proc/20916/task/20918/stat : 20918 (java) R 20913 20916 12560 0 -1 4202560 15412 0 0 0 128 7 0 0 20 0 15 0 74595562 14317654016 57112 18446744073709551615 4194304 4196468 140721603736736 139782943406640 139782552707549 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20919] ppid=20913 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20919/stat : 20919 (java) S 20913 20916 12560 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 74595563 14317654016 57112 18446744073709551615 4194304 4196468 140721603736736 139782873602704 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20920] ppid=20913 vsize=13982084 memory=280848314374528 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20920/stat : 20920 (java) S 20913 20916 12560 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 74595563 14317654016 57112 18446744073709551615 4194304 4196468 140721603736736 139782872549904 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20921] ppid=20913 vsize=13982084 memory=9132 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20921/stat : 20921 (java) S 20913 20916 12560 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 15 0 74595563 14317654016 57112 18446744073709551615 4194304 4196468 140721603736736 139782871497104 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20922] ppid=20913 vsize=13982084 memory=19658 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20922/stat : 20922 (java) S 20913 20916 12560 0 -1 1077944384 586 0 0 0 0 0 0 0 20 0 15 0 74595563 14317654016 57112 18446744073709551615 4194304 4196468 140721603736736 139782870444304 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20923] ppid=20913 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20923/stat : 20923 (java) S 20913 20916 12560 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 15 0 74595564 14317654016 57112 18446744073709551615 4194304 4196468 140721603736736 139782417505136 139782939179650 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20924] ppid=20913 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20924/stat : 20924 (java) S 20913 20916 12560 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 74595565 14317654016 57112 18446744073709551615 4194304 4196468 140721603736736 139782416451168 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20925] ppid=20913 vsize=13982084 memory=33 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20925/stat : 20925 (java) S 20913 20916 12560 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 74595565 14317654016 57112 18446744073709551615 4194304 4196468 140721603736736 139782415398272 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20926] ppid=20913 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20926/stat : 20926 (java) S 20913 20916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74595567 14317654016 57112 18446744073709551615 4194304 4196468 140721603736736 139782414346576 139782939187099 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20927] ppid=20913 vsize=13982084 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/20916/task/20927/stat : 20927 (java) R 20913 20916 12560 0 -1 4202560 3982 0 0 0 68 0 0 0 20 0 15 0 74595568 14317654016 57112 18446744073709551615 4194304 4196468 140721603736736 139782413280048 139782922668617 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20928] ppid=20913 vsize=13982084 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/20916/task/20928/stat : 20928 (java) R 20913 20916 12560 0 -1 4202560 5225 0 0 0 66 0 0 0 20 0 15 0 74595568 14317654016 57112 18446744073709551615 4194304 4196468 140721603736736 139782412227160 139782918406984 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20929] ppid=20913 vsize=13982084 memory=0 CPUtime=0.72 cores=0,2,4,6
/proc/20916/task/20929/stat : 20929 (java) S 20913 20916 12560 0 -1 1077944384 7037 0 0 0 71 1 0 0 20 0 15 0 74595568 14317654016 57112 18446744073709551615 4194304 4196468 140721603736736 139782411188336 139782939179650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20930] ppid=20913 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20930/stat : 20930 (java) S 20913 20916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74595568 14317654016 57112 18446744073709551615 4194304 4196468 140721603736736 139782410135776 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20931] ppid=20913 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20931/stat : 20931 (java) S 20913 20916 12560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 74595572 14317654016 57112 18446744073709551615 4194304 4196468 140721603736736 139782409084080 139782939179650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
Current children cumulated CPU time: 3.48 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 228448 KiB

[startup+2.23954 s]
# the end of solver process 20916 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5.2618 s, system=0.123402 s

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

[startup+1.60096 s]
/proc/loadavg: 2.10 1.85 1.84 6/210 20931
/proc/meminfo: memFree=27635300/32770624 swapFree=67105588/67108860
[pid=20916] ppid=20913 vsize=13982084 memory=227320 CPUtime=3.78 cores=0,2,4,6
/proc/20916/stat : 20916 (java) S 20913 20916 12560 0 -1 1077944320 35034 0 0 0 368 10 0 0 20 0 15 0 74595555 14317654016 56830 18446744073709551615 4194304 4196468 140721603736736 140721603719280 139782939168503 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
/proc/20916/statm: 3495521 56830 3778 1 0 3484295 0
[pid=20916/tid=20918] ppid=20913 vsize=13982084 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/20916/task/20918/stat : 20918 (java) R 20913 20916 12560 0 -1 4202560 15412 0 0 0 138 7 0 0 20 0 15 0 74595562 14317654016 56830 18446744073709551615 4194304 4196468 140721603736736 139782943404096 139782554061536 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20919] ppid=20913 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20919/stat : 20919 (java) S 20913 20916 12560 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 74595563 14317654016 56830 18446744073709551615 4194304 4196468 140721603736736 139782873602704 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20920] ppid=20913 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20920/stat : 20920 (java) S 20913 20916 12560 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 74595563 14317654016 56830 18446744073709551615 4194304 4196468 140721603736736 139782872549904 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20921] ppid=20913 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20921/stat : 20921 (java) S 20913 20916 12560 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 15 0 74595563 14317654016 56830 18446744073709551615 4194304 4196468 140721603736736 139782871497104 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20922] ppid=20913 vsize=13982084 memory=96416256 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20922/stat : 20922 (java) S 20913 20916 12560 0 -1 1077944384 586 0 0 0 0 0 0 0 20 0 15 0 74595563 14317654016 56830 18446744073709551615 4194304 4196468 140721603736736 139782870444304 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20923] ppid=20913 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20923/stat : 20923 (java) S 20913 20916 12560 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 15 0 74595564 14317654016 56830 18446744073709551615 4194304 4196468 140721603736736 139782417505136 139782939179650 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20924] ppid=20913 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20924/stat : 20924 (java) S 20913 20916 12560 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 74595565 14317654016 56830 18446744073709551615 4194304 4196468 140721603736736 139782416451168 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20925] ppid=20913 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20925/stat : 20925 (java) S 20913 20916 12560 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 74595565 14317654016 56830 18446744073709551615 4194304 4196468 140721603736736 139782415398272 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20926] ppid=20913 vsize=13982084 memory=-3395018494849220696 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20926/stat : 20926 (java) S 20913 20916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74595567 14317654016 56830 18446744073709551615 4194304 4196468 140721603736736 139782414346576 139782939187099 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20927] ppid=20913 vsize=13982084 memory=8330969454845486047 CPUtime=0.78 cores=0,2,4,6
/proc/20916/task/20927/stat : 20927 (java) R 20913 20916 12560 0 -1 4202560 4572 0 0 0 78 0 0 0 20 0 15 0 74595568 14317654016 56830 18446744073709551615 4194304 4196468 140721603736736 139782413280048 139782918414298 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20928] ppid=20913 vsize=13982084 memory=1399101730491701635 CPUtime=0.76 cores=0,2,4,6
/proc/20916/task/20928/stat : 20928 (java) R 20913 20916 12560 0 -1 4202560 5455 0 0 0 76 0 0 0 20 0 15 0 74595568 14317654016 56830 18446744073709551615 4194304 4196468 140721603736736 139782412234328 139782923161179 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20929] ppid=20913 vsize=13982084 memory=-7522837583129502606 CPUtime=0.72 cores=0,2,4,6
/proc/20916/task/20929/stat : 20929 (java) S 20913 20916 12560 0 -1 1077944384 7037 0 0 0 71 1 0 0 20 0 15 0 74595568 14317654016 56830 18446744073709551615 4194304 4196468 140721603736736 139782411188336 139782939179650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20930] ppid=20913 vsize=13982084 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20930/stat : 20930 (java) S 20913 20916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74595568 14317654016 56830 18446744073709551615 4194304 4196468 140721603736736 139782410135776 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20931] ppid=20913 vsize=13982084 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20931/stat : 20931 (java) S 20913 20916 12560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 74595572 14317654016 56830 18446744073709551615 4194304 4196468 140721603736736 139782409084080 139782939179650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
Current children cumulated CPU time: 3.78 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 227320 KiB

[startup+2.00091 s]*
/proc/loadavg: 2.10 1.85 1.84 5/209 20931
/proc/meminfo: memFree=27565936/32770624 swapFree=67105588/67108860
[pid=20916] ppid=20913 vsize=13982084 memory=228204 CPUtime=5.01 cores=0,2,4,6
/proc/20916/stat : 20916 (java) S 20913 20916 12560 0 -1 1077944320 37752 0 0 0 490 11 0 0 20 0 15 0 74595555 14317654016 57051 18446744073709551615 4194304 4196468 140721603736736 140721603719280 139782939168503 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
/proc/20916/statm: 3495521 57051 3779 1 0 3484295 0
[pid=20916/tid=20918] ppid=20913 vsize=13982084 memory=-8774313645642428999 CPUtime=1.86 cores=0,2,4,6
/proc/20916/task/20918/stat : 20918 (java) R 20913 20916 12560 0 -1 4202560 15412 0 0 0 179 7 0 0 20 0 15 0 74595562 14317654016 57051 18446744073709551615 4194304 4196468 140721603736736 139782943404784 139782554651828 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20919] ppid=20913 vsize=13982084 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20919/stat : 20919 (java) S 20913 20916 12560 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 74595563 14317654016 57051 18446744073709551615 4194304 4196468 140721603736736 139782873602704 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20920] ppid=20913 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20920/stat : 20920 (java) S 20913 20916 12560 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 74595563 14317654016 57051 18446744073709551615 4194304 4196468 140721603736736 139782872549904 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20921] ppid=20913 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20921/stat : 20921 (java) S 20913 20916 12560 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 15 0 74595563 14317654016 57051 18446744073709551615 4194304 4196468 140721603736736 139782871497104 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20922] ppid=20913 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20922/stat : 20922 (java) S 20913 20916 12560 0 -1 1077944384 586 0 0 0 0 0 0 0 20 0 15 0 74595563 14317654016 57051 18446744073709551615 4194304 4196468 140721603736736 139782870444304 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20923] ppid=20913 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20923/stat : 20923 (java) S 20913 20916 12560 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 15 0 74595564 14317654016 57051 18446744073709551615 4194304 4196468 140721603736736 139782417505136 139782939179650 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20924] ppid=20913 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20924/stat : 20924 (java) S 20913 20916 12560 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 74595565 14317654016 57051 18446744073709551615 4194304 4196468 140721603736736 139782416451168 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20925] ppid=20913 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20925/stat : 20925 (java) S 20913 20916 12560 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 74595565 14317654016 57051 18446744073709551615 4194304 4196468 140721603736736 139782415398272 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20926] ppid=20913 vsize=13982084 memory=8314877900371809289 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20926/stat : 20926 (java) S 20913 20916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74595567 14317654016 57051 18446744073709551615 4194304 4196468 140721603736736 139782414346576 139782939187099 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20927] ppid=20913 vsize=13982084 memory=0 CPUtime=1.19 cores=0,2,4,6
/proc/20916/task/20927/stat : 20927 (java) R 20913 20916 12560 0 -1 4202560 6119 0 0 0 119 0 0 0 20 0 15 0 74595568 14317654016 57051 18446744073709551615 4194304 4196468 140721603736736 139782413280048 139782922651964 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20928] ppid=20913 vsize=13982084 memory=8508261139989150265 CPUtime=1.16 cores=0,2,4,6
/proc/20916/task/20928/stat : 20928 (java) R 20913 20916 12560 0 -1 4202560 6625 0 0 0 116 0 0 0 20 0 15 0 74595568 14317654016 57051 18446744073709551615 4194304 4196468 140721603736736 139782412228816 139782923571804 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20929] ppid=20913 vsize=13982084 memory=8514726395714820750 CPUtime=0.72 cores=0,2,4,6
/proc/20916/task/20929/stat : 20929 (java) R 20913 20916 12560 0 -1 1077944384 7038 0 0 0 71 1 0 0 20 0 15 0 74595568 14317654016 57051 18446744073709551615 4194304 4196468 140721603736736 139782411188432 139782939178709 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20930] ppid=20913 vsize=13982084 memory=7100839887318451826 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20930/stat : 20930 (java) S 20913 20916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74595568 14317654016 57051 18446744073709551615 4194304 4196468 140721603736736 139782410135776 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20931] ppid=20913 vsize=13982084 memory=8318867000361985395 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20931/stat : 20931 (java) S 20913 20916 12560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 74595572 14317654016 57051 18446744073709551615 4194304 4196468 140721603736736 139782409084080 139782939179650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
Current children cumulated CPU time: 5.01 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 228204 KiB

[startup+2.20067 s]
/proc/loadavg: 2.10 1.85 1.84 5/209 20931
/proc/meminfo: memFree=27565936/32770624 swapFree=67105588/67108860
[pid=20916] ppid=20913 vsize=13982084 memory=228628 CPUtime=5.34 cores=0,2,4,6
/proc/20916/stat : 20916 (java) S 20913 20916 12560 0 -1 1077944320 37951 0 0 0 523 11 0 0 20 0 15 0 74595555 14317654016 57157 18446744073709551615 4194304 4196468 140721603736736 140721603719280 139782939168503 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
/proc/20916/statm: 3495521 57157 3779 1 0 3484295 0
[pid=20916/tid=20918] ppid=20913 vsize=13982084 memory=288230596084507334 CPUtime=2.05 cores=0,2,4,6
/proc/20916/task/20918/stat : 20918 (java) R 20913 20916 12560 0 -1 4202560 15494 0 0 0 198 7 0 0 20 0 15 0 74595562 14317654016 57157 18446744073709551615 4194304 4196468 140721603736736 139782943404728 139782554548687 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20919] ppid=20913 vsize=13982084 memory=698969 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20919/stat : 20919 (java) S 20913 20916 12560 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 74595563 14317654016 57157 18446744073709551615 4194304 4196468 140721603736736 139782873602704 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20920] ppid=20913 vsize=13982084 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20920/stat : 20920 (java) S 20913 20916 12560 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 74595563 14317654016 57157 18446744073709551615 4194304 4196468 140721603736736 139782872549904 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20921] ppid=20913 vsize=13982084 memory=140424157131680 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20921/stat : 20921 (java) S 20913 20916 12560 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 15 0 74595563 14317654016 57157 18446744073709551615 4194304 4196468 140721603736736 139782871497104 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20922] ppid=20913 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20922/stat : 20922 (java) S 20913 20916 12560 0 -1 1077944384 586 0 0 0 0 0 0 0 20 0 15 0 74595563 14317654016 57157 18446744073709551615 4194304 4196468 140721603736736 139782870444304 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20923] ppid=20913 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20923/stat : 20923 (java) S 20913 20916 12560 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 15 0 74595564 14317654016 57157 18446744073709551615 4194304 4196468 140721603736736 139782417505136 139782939179650 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20924] ppid=20913 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20924/stat : 20924 (java) S 20913 20916 12560 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 74595565 14317654016 57157 18446744073709551615 4194304 4196468 140721603736736 139782416451168 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20925] ppid=20913 vsize=13982084 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20925/stat : 20925 (java) S 20913 20916 12560 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 74595565 14317654016 57157 18446744073709551615 4194304 4196468 140721603736736 139782415398272 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20926] ppid=20913 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20926/stat : 20926 (java) S 20913 20916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74595567 14317654016 57157 18446744073709551615 4194304 4196468 140721603736736 139782414346576 139782939187099 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20927] ppid=20913 vsize=13982084 memory=1 CPUtime=1.23 cores=0,2,4,6
/proc/20916/task/20927/stat : 20927 (java) S 20913 20916 12560 0 -1 1077944384 6205 0 0 0 123 0 0 0 20 0 15 0 74595568 14317654016 57157 18446744073709551615 4194304 4196468 140721603736736 139782413293936 139782939179650 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20928] ppid=20913 vsize=13982084 memory=2 CPUtime=1.24 cores=0,2,4,6
/proc/20916/task/20928/stat : 20928 (java) S 20913 20916 12560 0 -1 1077944384 6645 0 0 0 124 0 0 0 20 0 15 0 74595568 14317654016 57157 18446744073709551615 4194304 4196468 140721603736736 139782412241136 139782939179650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20929] ppid=20913 vsize=13982084 memory=5 CPUtime=0.73 cores=0,2,4,6
/proc/20916/task/20929/stat : 20929 (java) S 20913 20916 12560 0 -1 1077944384 7046 0 0 0 72 1 0 0 20 0 15 0 74595568 14317654016 57157 18446744073709551615 4194304 4196468 140721603736736 139782411188336 139782939179650 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20930] ppid=20913 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20930/stat : 20930 (java) S 20913 20916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74595568 14317654016 57157 18446744073709551615 4194304 4196468 140721603736736 139782410135776 139782939178709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
[pid=20916/tid=20931] ppid=20913 vsize=13982084 memory=8325338924929671819 CPUtime=0 cores=0,2,4,6
/proc/20916/task/20931/stat : 20931 (java) S 20913 20916 12560 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 74595572 14317654016 57157 18446744073709551615 4194304 4196468 140721603736736 139782409084080 139782939179650 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140721603740014 140721603740201 140721603740201 140721603743695 0
Current children cumulated CPU time: 5.34 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 228628 KiB

Child status: 0
Real time (s): 2.2396
CPU time (s): 5.3852
CPU user time (s): 5.2618
CPU system time (s): 0.123402
CPU usage (%): 240.454
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 232148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.2618
system time used= 0.123402
maximum resident set size= 232324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38164
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= 2598
involuntary context switches= 21


# summary of solver processes directly reported to runsolver:
#   pid: 20916
#   total CPU time (s): 5.3852
#   total CPU user time (s): 5.2618
#   total CPU system time (s): 0.123402

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031589 second user time and 0.068743 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-14 17:06:00
IDJOB=4274155
IDBENCH=120826
IDSOLVER=2666
FILE ID=node126/4274155-1502724002
RUNJOBID= node126-1502662832-10387
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-07-26
BENCH NAME= XCSP17/Rlfap/Rlfap-m1-scens/Rlfap-scen-06.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274155-1502724002/watcher-4274155-1502724002 -o /tmp/evaluation-result-4274155-1502724002/solver-4274155-1502724002 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10387 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1095691497 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274155-1502724002.xml

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

MD5SUM BENCH= 7a29983c9ff052f95c6899aeb5034357
RANDOM SEED=1095691497

node126.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.81
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.81
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.81
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.81
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:        27779528 kB
MemAvailable:   28255592 kB
Buffers:          306684 kB
Cached:           437844 kB
SwapCached:          524 kB
Active:          4268580 kB
Inactive:         232152 kB
Active(anon):    3704156 kB
Inactive(anon):    85392 kB
Active(file):     564424 kB
Inactive(file):   146760 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:             42484 kB
Writeback:             4 kB
AnonPages:       3755640 kB
Mapped:            63212 kB
Shmem:             33440 kB
Slab:             187932 kB
SReclaimable:     161428 kB
SUnreclaim:        26504 kB
KernelStack:        3472 kB
PageTables:        12752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4692928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3633152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61948 MiB
End job on node126 at 2017-08-14 17:06:02