Trace number 4291242

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 - Parallel with EPS 2018-07-02? (TO) 19932 2520.31

General information on the benchmark

NameColouredQueens/
ColouredQueens-13_c18.xml
MD5SUM3785e9b0b2758b612fcaaefab5873f44
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables169
Number of constraints72
Number of domains1
Minimum domain size13
Maximum domain size13
Distribution of domain sizes[{"size":13,"count":169}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":165}]
Minimum constraint arity2
Maximum constraint arity13
Distribution of constraint arities[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":4},{"arity":10,"count":4},{"arity":11,"count":4},{"arity":12,"count":4},{"arity":13,"count":28}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":72}]
Optimization problemNO
Type of objective

Solver Data

0.67/1.05	c version: 2018-07-02
0.67/1.05	c seed: 2093092993
0.67/1.05	c timeout: 20160
0.67/1.05	c memlimit: 22000
0.67/1.06	c nbcore: 8
0.77/1.13	c Parsing instance...
1.32/1.42	c Parsing done, starting search...
19929.66/2520.03	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 (6690 MiB free)
  memory of node 1: 16384 MiB (10428 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100304 s]*
/proc/loadavg: 0.00 0.09 0.59 1/179 7080
/proc/meminfo: memFree=17529708/32770624 swapFree=67108796/67108860
[pid=7079] ppid=7076 vsize=98704 memory=4632 CPUtime=0 cores=0-7
/proc/7079/stat : 7079 (java) S 7076 7079 7035 0 -1 1077944320 1372 0 0 0 0 0 0 0 20 0 2 0 79941952 101072896 1158 33554432000 4194304 4196468 140731207480608 140731207463152 140305909714679 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
/proc/7079/statm: 24676 1158 859 1 0 16800 0
[pid=7079/tid=7081] ppid=7076 vsize=98704 memory=4134692831991783777 CPUtime=0 cores=0-7
/proc/7079/task/7081/stat : 7081 (java) D 7076 7079 7035 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 2 0 79941963 101072896 1158 33554432000 4194304 4196468 140731207480608 140305913951584 140305902393901 0 0 4096 0 18446744072101629476 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 98704 KiB
Current children cumulated memory: 4632 KiB

[startup+0.209066 s]*
/proc/loadavg: 0.00 0.09 0.59 2/180 7081
/proc/meminfo: memFree=17527924/32770624 swapFree=67108796/67108860
[pid=7079] ppid=7076 vsize=361196 memory=7700 CPUtime=0 cores=0-7
/proc/7079/stat : 7079 (java) S 7076 7079 7035 0 -1 1077944320 1711 0 0 0 0 0 0 0 20 0 2 0 79941952 369864704 1925 33554432000 4194304 4196468 140731207480608 140731207463152 140305909714679 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
/proc/7079/statm: 90299 1925 1072 1 0 79210 0
[pid=7079/tid=7081] ppid=7076 vsize=361196 memory=8316850467074736180 CPUtime=0 cores=0-7
/proc/7079/task/7081/stat : 7081 (java) S 7076 7079 7035 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 79941963 369864704 1925 33554432000 4194304 4196468 140731207480608 140305913956768 140305909725826 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 361196 KiB
Current children cumulated memory: 7700 KiB

[startup+0.308702 s]*
/proc/loadavg: 0.00 0.09 0.59 1/191 7092
/proc/meminfo: memFree=17519872/32770624 swapFree=67108796/67108860
[pid=7079] ppid=7076 vsize=25635616 memory=18084 CPUtime=0.04 cores=0-7
/proc/7079/stat : 7079 (java) S 7076 7079 7035 0 -1 1077944320 4361 0 0 0 3 1 0 0 20 0 13 0 79941952 26250870784 4521 33554432000 4194304 4196468 140731207480608 140731207463152 140305909714679 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
/proc/7079/statm: 6408904 4521 2182 1 0 6371445 0
[pid=7079/tid=7081] ppid=7076 vsize=25635616 memory=8316850467074736180 CPUtime=0.03 cores=0-7
/proc/7079/task/7081/stat : 7081 (java) D 7076 7079 7035 0 -1 1077944384 2981 0 0 0 3 0 0 0 20 0 13 0 79941963 26250870784 4521 33554432000 4194304 4196468 140731207480608 140305913941304 140305902392853 0 4 0 16800971 18446744072101629476 0 0 -1 5 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7082] ppid=7076 vsize=25635616 memory=9304 CPUtime=0 cores=0-7
/proc/7079/task/7082/stat : 7082 (java) S 7076 7079 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 79941974 26250870784 4521 33554432000 4194304 4196468 140731207480608 140305862334736 140305909724885 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7083] ppid=7076 vsize=25635616 memory=320860454826355072 CPUtime=0 cores=0-7
/proc/7079/task/7083/stat : 7083 (java) S 7076 7079 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 79941974 26250870784 4521 33554432000 4194304 4196468 140731207480608 140305861282192 140305909724885 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7084] ppid=7076 vsize=25635616 memory=3472328296227679279 CPUtime=0 cores=0-7
/proc/7079/task/7084/stat : 7084 (java) S 7076 7079 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 79941974 26250870784 4521 33554432000 4194304 4196468 140731207480608 140305860229648 140305909724885 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7085] ppid=7076 vsize=25635616 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/7079/task/7085/stat : 7085 (java) S 7076 7079 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 79941975 26250870784 4521 33554432000 4194304 4196468 140731207480608 140305859177104 140305909724885 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7086] ppid=7076 vsize=25635616 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/7079/task/7086/stat : 7086 (java) S 7076 7079 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 79941975 26250870784 4521 33554432000 4194304 4196468 140731207480608 140305858124560 140305909724885 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7087] ppid=7076 vsize=25635616 memory=8751164178631584878 CPUtime=0 cores=0-7
/proc/7079/task/7087/stat : 7087 (java) S 7076 7079 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 79941975 26250870784 4521 33554432000 4194304 4196468 140731207480608 140305857072016 140305909724885 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7088] ppid=7076 vsize=25635616 memory=10 CPUtime=0 cores=0-7
/proc/7079/task/7088/stat : 7088 (java) S 7076 7079 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 79941975 26250870784 4521 33554432000 4194304 4196468 140731207480608 140305856019472 140305909724885 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7089] ppid=7076 vsize=25635616 memory=0 CPUtime=0 cores=0-7
/proc/7079/task/7089/stat : 7089 (java) S 7076 7079 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 79941975 26250870784 4521 33554432000 4194304 4196468 140731207480608 140305854966928 140305909724885 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7090] ppid=7076 vsize=25635616 memory=0 CPUtime=0 cores=0-7
/proc/7079/task/7090/stat : 7090 (java) S 7076 7079 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 79941977 26250870784 4521 33554432000 4194304 4196468 140731207480608 140304114501616 140305909725826 0 0 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7091] ppid=7076 vsize=25635616 memory=0 CPUtime=0 cores=0-7
/proc/7079/task/7091/stat : 7091 (java) S 7076 7079 7035 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 79941978 26250870784 4521 33554432000 4194304 4196468 140731207480608 140304113447840 140305909724885 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7092] ppid=7076 vsize=25635616 memory=0 CPUtime=0 cores=0-7
/proc/7079/task/7092/stat : 7092 (java) S 7076 7079 7035 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 79941978 26250870784 4521 33554432000 4194304 4196468 140731207480608 140304112395248 140305909724885 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 25635616 KiB
Current children cumulated memory: 18084 KiB

[startup+0.700894 s]
/proc/loadavg: 0.08 0.11 0.59 2/198 7099
/proc/meminfo: memFree=17512184/32770624 swapFree=67108796/67108860
[pid=7079] ppid=7076 vsize=26103424 memory=45980 CPUtime=0.35 cores=0-7
/proc/7079/stat : 7079 (java) S 7076 7079 7035 0 -1 1077944320 10653 0 0 0 33 2 0 0 20 0 20 0 79941952 26729906176 11495 33554432000 4194304 4196468 140731207480608 140731207463152 140305909714679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
/proc/7079/statm: 6525856 11495 3362 1 0 6487932 0
[pid=7079/tid=7081] ppid=7076 vsize=26103424 memory=0 CPUtime=0.23 cores=0-7
/proc/7079/task/7081/stat : 7081 (java) R 7076 7079 7035 0 -1 4202560 8423 0 0 0 22 1 0 0 20 0 20 0 79941963 26729906176 11495 33554432000 4194304 4196468 140731207480608 140305913876416 140305891278176 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7082] ppid=7076 vsize=26103424 memory=2241 CPUtime=0 cores=0-7
/proc/7079/task/7082/stat : 7082 (java) S 7076 7079 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 79941974 26729906176 11495 33554432000 4194304 4196468 140731207480608 140305862334736 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7083] ppid=7076 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/7079/task/7083/stat : 7083 (java) S 7076 7079 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 79941974 26729906176 11495 33554432000 4194304 4196468 140731207480608 140305861282192 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7084] ppid=7076 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7079/task/7084/stat : 7084 (java) S 7076 7079 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 79941974 26729906176 11495 33554432000 4194304 4196468 140731207480608 140305860229648 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7085] ppid=7076 vsize=26103424 memory=2241 CPUtime=0 cores=0-7
/proc/7079/task/7085/stat : 7085 (java) S 7076 7079 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 79941975 26729906176 11495 33554432000 4194304 4196468 140731207480608 140305859177104 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7086] ppid=7076 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/7079/task/7086/stat : 7086 (java) S 7076 7079 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 79941975 26729906176 11495 33554432000 4194304 4196468 140731207480608 140305858124560 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7087] ppid=7076 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7079/task/7087/stat : 7087 (java) S 7076 7079 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 79941975 26729906176 11495 33554432000 4194304 4196468 140731207480608 140305857072016 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7088] ppid=7076 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7079/task/7088/stat : 7088 (java) S 7076 7079 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 79941975 26729906176 11495 33554432000 4194304 4196468 140731207480608 140305856019472 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7089] ppid=7076 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7079/task/7089/stat : 7089 (java) S 7076 7079 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 79941975 26729906176 11495 33554432000 4194304 4196468 140731207480608 140305854966928 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7090] ppid=7076 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7079/task/7090/stat : 7090 (java) S 7076 7079 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 79941977 26729906176 11495 33554432000 4194304 4196468 140731207480608 140304114501616 140305909725826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7091] ppid=7076 vsize=26103424 memory=4342489072520795240 CPUtime=0 cores=0-7
/proc/7079/task/7091/stat : 7091 (java) S 7076 7079 7035 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 79941978 26729906176 11495 33554432000 4194304 4196468 140731207480608 140304113447840 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7092] ppid=7076 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7079/task/7092/stat : 7092 (java) S 7076 7079 7035 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 79941978 26729906176 11495 33554432000 4194304 4196468 140731207480608 140304112395248 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7093] ppid=7076 vsize=26103424 memory=140174377974480 CPUtime=0 cores=0-7
/proc/7079/task/7093/stat : 7093 (java) S 7076 7079 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 79941991 26729906176 11495 33554432000 4194304 4196468 140731207480608 140304111343824 140305909733275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7094] ppid=7076 vsize=26103424 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/7079/task/7094/stat : 7094 (java) S 7076 7079 7035 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 79941992 26729906176 11495 33554432000 4194304 4196468 140731207480608 140304110291440 140305909725826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7095] ppid=7076 vsize=26103424 memory=6944656592387989600 CPUtime=0.01 cores=0-7
/proc/7079/task/7095/stat : 7095 (java) S 7076 7079 7035 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 20 0 79941992 26729906176 11495 33554432000 4194304 4196468 140731207480608 140304109238896 140305909725826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7096] ppid=7076 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/7079/task/7096/stat : 7096 (java) S 7076 7079 7035 0 -1 1077944384 206 0 0 0 1 0 0 0 20 0 20 0 79941992 26729906176 11495 33554432000 4194304 4196468 140731207480608 140304108186352 140305909725826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7097] ppid=7076 vsize=26103424 memory=-2245088631185882904 CPUtime=0.07 cores=0-7
/proc/7079/task/7097/stat : 7097 (java) R 7076 7079 7035 0 -1 4202560 292 0 0 0 7 0 0 0 20 0 20 0 79941992 26729906176 11495 33554432000 4194304 4196468 140731207480608 140304107133808 140305889198376 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7098] ppid=7076 vsize=26103424 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/7079/task/7098/stat : 7098 (java) S 7076 7079 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 79941992 26729906176 11495 33554432000 4194304 4196468 140731207480608 140304106080480 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7099] ppid=7076 vsize=26103424 memory=7524 CPUtime=0 cores=0-7
/proc/7079/task/7099/stat : 7099 (java) S 7076 7079 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 79941997 26729906176 11495 33554432000 4194304 4196468 140731207480608 140304105028016 140305909725826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 45980 KiB

[startup+1.50094 s]
/proc/loadavg: 0.08 0.11 0.59 4/198 7099
/proc/meminfo: memFree=17471244/32770624 swapFree=67108796/67108860
[pid=7079] ppid=7076 vsize=26109588 memory=104092 CPUtime=1.47 cores=0-7
/proc/7079/stat : 7079 (java) S 7076 7079 7035 0 -1 1077944320 19348 0 0 0 141 6 0 0 20 0 20 0 79941952 26736218112 26023 33554432000 4194304 4196468 140731207480608 140731207463152 140305909714679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
/proc/7079/statm: 6527397 26023 3512 1 0 6489468 0
[pid=7079/tid=7081] ppid=7076 vsize=26109588 memory=0 CPUtime=0.93 cores=0-7
/proc/7079/task/7081/stat : 7081 (java) R 7076 7079 7035 0 -1 4202560 16144 0 0 0 89 4 0 0 20 0 20 0 79941963 26736218112 26023 33554432000 4194304 4196468 140731207480608 140305913936688 140305895408111 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7082] ppid=7076 vsize=26109588 memory=0 CPUtime=0 cores=0-7
/proc/7079/task/7082/stat : 7082 (java) S 7076 7079 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 79941974 26736218112 26023 33554432000 4194304 4196468 140731207480608 140305862334736 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7083] ppid=7076 vsize=26109588 memory=140174377949736 CPUtime=0 cores=0-7
/proc/7079/task/7083/stat : 7083 (java) S 7076 7079 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 79941974 26736218112 26023 33554432000 4194304 4196468 140731207480608 140305861282192 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7084] ppid=7076 vsize=26109588 memory=0 CPUtime=0 cores=0-7
/proc/7079/task/7084/stat : 7084 (java) S 7076 7079 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 79941974 26736218112 26023 33554432000 4194304 4196468 140731207480608 140305860229648 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7085] ppid=7076 vsize=26109588 memory=4580 CPUtime=0 cores=0-7
/proc/7079/task/7085/stat : 7085 (java) S 7076 7079 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 79941975 26736218112 26023 33554432000 4194304 4196468 140731207480608 140305859177104 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7086] ppid=7076 vsize=26109588 memory=8881 CPUtime=0 cores=0-7
/proc/7079/task/7086/stat : 7086 (java) S 7076 7079 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 79941975 26736218112 26023 33554432000 4194304 4196468 140731207480608 140305858124560 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7087] ppid=7076 vsize=26109588 memory=4420 CPUtime=0 cores=0-7
/proc/7079/task/7087/stat : 7087 (java) S 7076 7079 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 79941975 26736218112 26023 33554432000 4194304 4196468 140731207480608 140305857072016 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7088] ppid=7076 vsize=26109588 memory=6628 CPUtime=0 cores=0-7
/proc/7079/task/7088/stat : 7088 (java) S 7076 7079 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 79941975 26736218112 26023 33554432000 4194304 4196468 140731207480608 140305856019472 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7089] ppid=7076 vsize=26109588 memory=8836 CPUtime=0 cores=0-7
/proc/7079/task/7089/stat : 7089 (java) S 7076 7079 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 79941975 26736218112 26023 33554432000 4194304 4196468 140731207480608 140305854966928 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7090] ppid=7076 vsize=26109588 memory=4342489072520795240 CPUtime=0 cores=0-7
/proc/7079/task/7090/stat : 7090 (java) S 7076 7079 7035 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 79941977 26736218112 26023 33554432000 4194304 4196468 140731207480608 140304114501616 140305909725826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7091] ppid=7076 vsize=26109588 memory=0 CPUtime=0 cores=0-7
/proc/7079/task/7091/stat : 7091 (java) S 7076 7079 7035 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 79941978 26736218112 26023 33554432000 4194304 4196468 140731207480608 140304113447840 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7092] ppid=7076 vsize=26109588 memory=140174378084288 CPUtime=0 cores=0-7
/proc/7079/task/7092/stat : 7092 (java) S 7076 7079 7035 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 79941978 26736218112 26023 33554432000 4194304 4196468 140731207480608 140304112395248 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7093] ppid=7076 vsize=26109588 memory=7523377872131156079 CPUtime=0 cores=0-7
/proc/7079/task/7093/stat : 7093 (java) S 7076 7079 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 79941991 26736218112 26023 33554432000 4194304 4196468 140731207480608 140304111343824 140305909733275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7094] ppid=7076 vsize=26109588 memory=7524765567508047168 CPUtime=0.06 cores=0-7
/proc/7079/task/7094/stat : 7094 (java) S 7076 7079 7035 0 -1 1077944384 481 0 0 0 6 0 0 0 20 0 20 0 79941992 26736218112 26023 33554432000 4194304 4196468 140731207480608 140304110291440 140305909725826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7095] ppid=7076 vsize=26109588 memory=7805115717600635746 CPUtime=0.08 cores=0-7
/proc/7079/task/7095/stat : 7095 (java) S 7076 7079 7035 0 -1 1077944384 236 0 0 0 8 0 0 0 20 0 20 0 79941992 26736218112 26023 33554432000 4194304 4196468 140731207480608 140304109238896 140305909725826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7096] ppid=7076 vsize=26109588 memory=7236547281622689387 CPUtime=0.09 cores=0-7
/proc/7079/task/7096/stat : 7096 (java) S 7076 7079 7035 0 -1 1077944384 383 0 0 0 9 0 0 0 20 0 20 0 79941992 26736218112 26023 33554432000 4194304 4196468 140731207480608 140304108186352 140305909725826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7097] ppid=7076 vsize=26109588 memory=8099279071866868837 CPUtime=0.28 cores=0-7
/proc/7079/task/7097/stat : 7097 (java) S 7076 7079 7035 0 -1 1077944384 716 0 0 0 28 0 0 0 20 0 20 0 79941992 26736218112 26023 33554432000 4194304 4196468 140731207480608 140304107133808 140305909725826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7098] ppid=7076 vsize=26109588 memory=7019257425709197167 CPUtime=0 cores=0-7
/proc/7079/task/7098/stat : 7098 (java) S 7076 7079 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 79941992 26736218112 26023 33554432000 4194304 4196468 140731207480608 140304106080480 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7099] ppid=7076 vsize=26109588 memory=6083073847998109799 CPUtime=0 cores=0-7
/proc/7079/task/7099/stat : 7099 (java) S 7076 7079 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 79941997 26736218112 26023 33554432000 4194304 4196468 140731207480608 140304105028016 140305909725826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 26109588 KiB
Current children cumulated memory: 104092 KiB

[startup+3.11111 s]
/proc/loadavg: 0.08 0.11 0.59 10/213 7114
/proc/meminfo: memFree=17273760/32770624 swapFree=67108796/67108860
[pid=7079] ppid=7076 vsize=27118324 memory=269724 CPUtime=6.39 cores=0-7
/proc/7079/stat : 7079 (java) S 7076 7079 7035 0 -1 1077944320 30239 0 0 0 621 18 0 0 20 0 35 0 79941952 27769163776 67431 33554432000 4194304 4196468 140731207480608 140731207463152 140305909714679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
/proc/7079/statm: 6779581 67431 3590 1 0 6741131 0
[pid=7079/tid=7081] ppid=7076 vsize=27118324 memory=6944652177228980320 CPUtime=2.21 cores=0-7
/proc/7079/task/7081/stat : 7081 (java) S 7076 7079 7035 0 -1 1077944384 20170 0 0 0 214 7 0 0 20 0 35 0 79941963 27769163776 67431 33554432000 4194304 4196468 140731207480608 140305913952144 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7082] ppid=7076 vsize=27118324 memory=0 CPUtime=0.01 cores=0-7
/proc/7079/task/7082/stat : 7082 (java) S 7076 7079 7035 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 35 0 79941974 27769163776 67431 33554432000 4194304 4196468 140731207480608 140305862334736 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7083] ppid=7076 vsize=27118324 memory=43757090685 CPUtime=0.01 cores=0-7
/proc/7079/task/7083/stat : 7083 (java) S 7076 7079 7035 0 -1 1077944384 164 0 0 0 1 0 0 0 20 0 35 0 79941974 27769163776 67431 33554432000 4194304 4196468 140731207480608 140305861282192 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7084] ppid=7076 vsize=27118324 memory=0 CPUtime=0.01 cores=0-7
/proc/7079/task/7084/stat : 7084 (java) S 7076 7079 7035 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 35 0 79941974 27769163776 67431 33554432000 4194304 4196468 140731207480608 140305860229648 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7085] ppid=7076 vsize=27118324 memory=0 CPUtime=0.01 cores=0-7
/proc/7079/task/7085/stat : 7085 (java) S 7076 7079 7035 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 35 0 79941975 27769163776 67431 33554432000 4194304 4196468 140731207480608 140305859177104 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0

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

[pid=7079/tid=7085] ppid=7076 vsize=27118324 memory=644 CPUtime=8.29 cores=0-7
/proc/7079/task/7085/stat : 7085 (java) S 7076 7079 7035 0 -1 1077944384 100043 0 0 0 790 39 0 0 20 0 35 0 79941975 27769163776 194201 33554432000 4194304 4196468 140731207480608 140305859177104 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7086] ppid=7076 vsize=27118324 memory=1676 CPUtime=8.34 cores=0-7
/proc/7079/task/7086/stat : 7086 (java) S 7076 7079 7035 0 -1 1077944384 103613 0 0 0 789 45 0 0 20 0 35 0 79941975 27769163776 194201 33554432000 4194304 4196468 140731207480608 140305858124560 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7087] ppid=7076 vsize=27118324 memory=960 CPUtime=8.3 cores=0-7
/proc/7079/task/7087/stat : 7087 (java) S 7076 7079 7035 0 -1 1077944384 96812 0 0 0 786 44 0 0 20 0 35 0 79941975 27769163776 194201 33554432000 4194304 4196468 140731207480608 140305857072016 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7088] ppid=7076 vsize=27118324 memory=1232 CPUtime=8.33 cores=0-7
/proc/7079/task/7088/stat : 7088 (java) S 7076 7079 7035 0 -1 1077944384 103436 0 0 0 791 42 0 0 20 0 35 0 79941975 27769163776 194201 33554432000 4194304 4196468 140731207480608 140305856019472 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7089] ppid=7076 vsize=27118324 memory=1040 CPUtime=8.37 cores=0-7
/proc/7079/task/7089/stat : 7089 (java) S 7076 7079 7035 0 -1 1077944384 99703 0 0 0 790 47 0 0 20 0 35 0 79941975 27769163776 194201 33554432000 4194304 4196468 140731207480608 140305854966928 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7090] ppid=7076 vsize=27118324 memory=1628 CPUtime=8.42 cores=0-7
/proc/7079/task/7090/stat : 7090 (java) S 7076 7079 7035 0 -1 1077944384 181138 0 0 0 698 144 0 0 20 0 35 0 79941977 27769163776 194201 33554432000 4194304 4196468 140731207480608 140304114501616 140305909725826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7091] ppid=7076 vsize=27118324 memory=8876 CPUtime=0 cores=0-7
/proc/7079/task/7091/stat : 7091 (java) S 7076 7079 7035 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 35 0 79941978 27769163776 194201 33554432000 4194304 4196468 140731207480608 140304113447904 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7092] ppid=7076 vsize=27118324 memory=1120 CPUtime=0 cores=0-7
/proc/7079/task/7092/stat : 7092 (java) S 7076 7079 7035 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 35 0 79941978 27769163776 194201 33554432000 4194304 4196468 140731207480608 140304112395264 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7093] ppid=7076 vsize=27118324 memory=792 CPUtime=0 cores=0-7
/proc/7079/task/7093/stat : 7093 (java) S 7076 7079 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 35 0 79941991 27769163776 194201 33554432000 4194304 4196468 140731207480608 140304111343824 140305909733275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7094] ppid=7076 vsize=27118324 memory=832 CPUtime=1.03 cores=0-7
/proc/7079/task/7094/stat : 7094 (java) S 7076 7079 7035 0 -1 1077944384 5664 0 0 0 102 1 0 0 20 0 35 0 79941992 27769163776 194201 33554432000 4194304 4196468 140731207480608 140304110291440 140305909725826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7095] ppid=7076 vsize=27118324 memory=1608 CPUtime=1.09 cores=0-7
/proc/7079/task/7095/stat : 7095 (java) S 7076 7079 7035 0 -1 1077944384 3812 0 0 0 108 1 0 0 20 0 35 0 79941992 27769163776 194201 33554432000 4194304 4196468 140731207480608 140304109238896 140305909725826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7096] ppid=7076 vsize=27118324 memory=5024 CPUtime=1.13 cores=0-7
/proc/7079/task/7096/stat : 7096 (java) S 7076 7079 7035 0 -1 1077944384 3777 0 0 0 111 2 0 0 20 0 35 0 79941992 27769163776 194201 33554432000 4194304 4196468 140731207480608 140304108186352 140305909725826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7097] ppid=7076 vsize=27118324 memory=4032 CPUtime=0.88 cores=0-7
/proc/7079/task/7097/stat : 7097 (java) S 7076 7079 7035 0 -1 1077944384 9341 0 0 0 87 1 0 0 20 0 35 0 79941992 27769163776 194201 33554432000 4194304 4196468 140731207480608 140304107133808 140305909725826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7098] ppid=7076 vsize=27118324 memory=1284 CPUtime=0 cores=0-7
/proc/7079/task/7098/stat : 7098 (java) S 7076 7079 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 35 0 79941992 27769163776 194201 33554432000 4194304 4196468 140731207480608 140304106080480 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7099] ppid=7076 vsize=27118324 memory=776804 CPUtime=0.76 cores=0-7
/proc/7079/task/7099/stat : 7099 (java) S 7076 7079 7035 0 -1 1077944384 9740 0 0 0 23 53 0 0 20 0 35 0 79941997 27769163776 194201 33554432000 4194304 4196468 140731207480608 140304105028016 140305909725826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7100] ppid=7076 vsize=27118324 memory=644 CPUtime=0 cores=0-7
/proc/7079/task/7100/stat : 7100 (java) S 7076 7079 7035 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 35 0 79942193 27769163776 194201 33554432000 4194304 4196468 140731207480608 140303785612032 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7101] ppid=7076 vsize=27118324 memory=1676 CPUtime=2.51 cores=0-7
/proc/7079/task/7101/stat : 7101 (java) S 7076 7079 7035 0 -1 1077944384 21014 0 0 0 94 157 0 0 20 0 35 0 79942210 27769163776 194201 33554432000 4194304 4196468 140731207480608 140303782462624 140305909725826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7102] ppid=7076 vsize=27118324 memory=960 CPUtime=2480.33 cores=0-7
/proc/7079/task/7102/stat : 7102 (java) R 7076 7079 7035 0 -1 4202560 72096 0 0 0 247977 56 0 0 20 0 35 0 79942229 27769163776 194201 33554432000 4194304 4196468 140731207480608 140303779305344 140305535048284 0 4 0 16800975 0 0 0 -1 4 0 0 31 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7103] ppid=7076 vsize=27118324 memory=1232 CPUtime=2481.34 cores=0-7
/proc/7079/task/7103/stat : 7103 (java) R 7076 7079 7035 0 -1 4202560 73648 0 0 0 248081 53 0 0 20 0 35 0 79942230 27769163776 194201 33554432000 4194304 4196468 140731207480608 140303778252936 140305535048310 0 4 0 16800975 0 0 0 -1 2 0 0 29 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7104] ppid=7076 vsize=27118324 memory=4072 CPUtime=2479.36 cores=0-7
/proc/7079/task/7104/stat : 7104 (java) R 7076 7079 7035 0 -1 4202560 72106 0 0 0 247887 49 0 0 20 0 35 0 79942230 27769163776 194201 33554432000 4194304 4196468 140731207480608 140303777200328 140305535236740 0 4 0 16800975 0 0 0 -1 1 0 0 31 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7105] ppid=7076 vsize=27118324 memory=2244 CPUtime=0.03 cores=0-7
/proc/7079/task/7105/stat : 7105 (java) S 7076 7079 7035 0 -1 1077944384 40 0 0 0 3 0 0 0 20 0 35 0 79942237 27769163776 194201 33554432000 4194304 4196468 140731207480608 140303774058016 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7106] ppid=7076 vsize=27118324 memory=644 CPUtime=2481.19 cores=0-7
/proc/7079/task/7106/stat : 7106 (java) R 7076 7079 7035 0 -1 4202560 72898 0 0 0 248066 53 0 0 20 0 35 0 79942237 27769163776 194201 33554432000 4194304 4196468 140731207480608 140303772996536 140305536192321 0 4 0 16800975 0 0 0 -1 7 0 0 31 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7107] ppid=7076 vsize=27118324 memory=1676 CPUtime=0.03 cores=0-7
/proc/7079/task/7107/stat : 7107 (java) S 7076 7079 7035 0 -1 1077944384 37 0 0 0 3 0 0 0 20 0 35 0 79942237 27769163776 194201 33554432000 4194304 4196468 140731207480608 140303771951904 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7108] ppid=7076 vsize=27118324 memory=960 CPUtime=0.03 cores=0-7
/proc/7079/task/7108/stat : 7108 (java) S 7076 7079 7035 0 -1 1077944384 43 0 0 0 3 0 0 0 20 0 35 0 79942237 27769163776 194201 33554432000 4194304 4196468 140731207480608 140303770899360 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7109] ppid=7076 vsize=27118324 memory=1232 CPUtime=0 cores=0-7
/proc/7079/task/7109/stat : 7109 (java) S 7076 7079 7035 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 35 0 79942237 27769163776 194201 33554432000 4194304 4196468 140731207480608 140303769846816 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7110] ppid=7076 vsize=27118324 memory=4072 CPUtime=0 cores=0-7
/proc/7079/task/7110/stat : 7110 (java) S 7076 7079 7035 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 35 0 79942237 27769163776 194201 33554432000 4194304 4196468 140731207480608 140303768794272 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7111] ppid=7076 vsize=27118324 memory=2244 CPUtime=2480.58 cores=0-7
/proc/7079/task/7111/stat : 7111 (java) R 7076 7079 7035 0 -1 4202560 71425 0 0 0 248010 48 0 0 20 0 35 0 79942237 27769163776 194201 33554432000 4194304 4196468 140731207480608 140303767736736 140305535657895 0 4 0 16800975 0 0 0 -1 5 0 0 31 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7112] ppid=7076 vsize=27118324 memory=1088 CPUtime=2480.18 cores=0-7
/proc/7079/task/7112/stat : 7112 (java) R 7076 7079 7035 0 -1 4202560 67785 0 0 0 247963 55 0 0 20 0 35 0 79942237 27769163776 194201 33554432000 4194304 4196468 140731207480608 140303766681152 140305530054988 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7113] ppid=7076 vsize=27118324 memory=1800 CPUtime=2480.58 cores=0-7
/proc/7079/task/7113/stat : 7113 (java) R 7076 7079 7035 0 -1 4202560 69888 0 0 0 248006 52 0 0 20 0 35 0 79942237 27769163776 194201 33554432000 4194304 4196468 140731207480608 140303765628632 140305535839468 0 4 0 16800975 0 0 0 -1 6 0 0 31 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7114] ppid=7076 vsize=27118324 memory=7024 CPUtime=2481.15 cores=0-7
/proc/7079/task/7114/stat : 7114 (java) R 7076 7079 7035 0 -1 4202560 75774 0 0 0 248063 52 0 0 20 0 35 0 79942245 27769163776 194201 33554432000 4194304 4196468 140731207480608 140302622901384 140305535840216 0 4 0 16800975 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
Current children cumulated CPU time: 19929.7 s
Current children cumulated vsize: 27118324 KiB
Current children cumulated memory: 776804 KiB

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

[startup+2520.31 s]
# the end of solver process 7079 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19922.9 s, system=9.06766 s

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

[startup+2520.2 s]
/proc/loadavg: 9.30 8.97 8.28 9/214 7179
/proc/meminfo: memFree=16757084/32770624 swapFree=67108796/67108860
[pid=7079] ppid=7076 vsize=27452172 memory=778316 CPUtime=19931.2 cores=0-7
/proc/7079/stat : 7079 (java) S 7076 7079 7035 0 -1 1077944320 1654021 0 0 0 1992212 905 0 0 20 0 41 0 79941952 28111024128 194579 33554432000 4194304 4196468 140731207480608 140731207463152 140305909714679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
/proc/7079/statm: 6863043 194579 3612 1 0 6824593 0
[pid=7079/tid=7081] ppid=7076 vsize=27452172 memory=18572 CPUtime=2.21 cores=0-7
/proc/7079/task/7081/stat : 7081 (java) S 7076 7079 7035 0 -1 1077944384 20170 0 0 0 214 7 0 0 20 0 41 0 79941963 28111024128 194579 33554432000 4194304 4196468 140731207480608 140305913952144 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7082] ppid=7076 vsize=27452172 memory=17804 CPUtime=8.31 cores=0-7
/proc/7079/task/7082/stat : 7082 (java) S 7076 7079 7035 0 -1 1077944384 101651 0 0 0 792 39 0 0 20 0 41 0 79941974 28111024128 194579 33554432000 4194304 4196468 140731207480608 140305862334736 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7083] ppid=7076 vsize=27452172 memory=4016 CPUtime=8.31 cores=0-7
/proc/7079/task/7083/stat : 7083 (java) S 7076 7079 7035 0 -1 1077944384 107518 0 0 0 789 42 0 0 20 0 41 0 79941974 28111024128 194579 33554432000 4194304 4196468 140731207480608 140305861282192 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7084] ppid=7076 vsize=27452172 memory=644 CPUtime=8.35 cores=0-7
/proc/7079/task/7084/stat : 7084 (java) S 7076 7079 7035 0 -1 1077944384 106587 0 0 0 792 43 0 0 20 0 41 0 79941974 28111024128 194579 33554432000 4194304 4196468 140731207480608 140305860229648 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7085] ppid=7076 vsize=27452172 memory=1676 CPUtime=8.29 cores=0-7
/proc/7079/task/7085/stat : 7085 (java) S 7076 7079 7035 0 -1 1077944384 100071 0 0 0 790 39 0 0 20 0 41 0 79941975 28111024128 194579 33554432000 4194304 4196468 140731207480608 140305859177104 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7086] ppid=7076 vsize=27452172 memory=960 CPUtime=8.34 cores=0-7
/proc/7079/task/7086/stat : 7086 (java) S 7076 7079 7035 0 -1 1077944384 103623 0 0 0 789 45 0 0 20 0 41 0 79941975 28111024128 194579 33554432000 4194304 4196468 140731207480608 140305858124560 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7087] ppid=7076 vsize=27452172 memory=1232 CPUtime=8.3 cores=0-7
/proc/7079/task/7087/stat : 7087 (java) S 7076 7079 7035 0 -1 1077944384 96836 0 0 0 786 44 0 0 20 0 41 0 79941975 28111024128 194579 33554432000 4194304 4196468 140731207480608 140305857072016 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7088] ppid=7076 vsize=27452172 memory=4072 CPUtime=8.33 cores=0-7
/proc/7079/task/7088/stat : 7088 (java) S 7076 7079 7035 0 -1 1077944384 103461 0 0 0 791 42 0 0 20 0 41 0 79941975 28111024128 194579 33554432000 4194304 4196468 140731207480608 140305856019472 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7089] ppid=7076 vsize=27452172 memory=2244 CPUtime=8.38 cores=0-7
/proc/7079/task/7089/stat : 7089 (java) S 7076 7079 7035 0 -1 1077944384 99710 0 0 0 791 47 0 0 20 0 41 0 79941975 28111024128 194579 33554432000 4194304 4196468 140731207480608 140305854966928 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7090] ppid=7076 vsize=27452172 memory=288230574492221466 CPUtime=8.42 cores=0-7
/proc/7079/task/7090/stat : 7090 (java) S 7076 7079 7035 0 -1 1077944384 181139 0 0 0 698 144 0 0 20 0 41 0 79941977 28111024128 194579 33554432000 4194304 4196468 140731207480608 140304114501616 140305909725826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7091] ppid=7076 vsize=27452172 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/7079/task/7091/stat : 7091 (java) S 7076 7079 7035 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 41 0 79941978 28111024128 194579 33554432000 4194304 4196468 140731207480608 140304113447904 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7092] ppid=7076 vsize=27452172 memory=14417003460954453 CPUtime=0 cores=0-7
/proc/7079/task/7092/stat : 7092 (java) S 7076 7079 7035 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 41 0 79941978 28111024128 194579 33554432000 4194304 4196468 140731207480608 140304112395264 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7093] ppid=7076 vsize=27452172 memory=1676 CPUtime=0 cores=0-7
/proc/7079/task/7093/stat : 7093 (java) S 7076 7079 7035 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 41 0 79941991 28111024128 194579 33554432000 4194304 4196468 140731207480608 140304111343824 140305909733275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7094] ppid=7076 vsize=27452172 memory=960 CPUtime=1.03 cores=0-7
/proc/7079/task/7094/stat : 7094 (java) S 7076 7079 7035 0 -1 1077944384 5666 0 0 0 102 1 0 0 20 0 41 0 79941992 28111024128 194579 33554432000 4194304 4196468 140731207480608 140304110291440 140305909725826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7095] ppid=7076 vsize=27452172 memory=1232 CPUtime=1.11 cores=0-7
/proc/7079/task/7095/stat : 7095 (java) S 7076 7079 7035 0 -1 1077944384 3982 0 0 0 110 1 0 0 20 0 41 0 79941992 28111024128 194579 33554432000 4194304 4196468 140731207480608 140304109238896 140305909725826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7096] ppid=7076 vsize=27452172 memory=4072 CPUtime=1.13 cores=0-7
/proc/7079/task/7096/stat : 7096 (java) S 7076 7079 7035 0 -1 1077944384 3779 0 0 0 111 2 0 0 20 0 41 0 79941992 28111024128 194579 33554432000 4194304 4196468 140731207480608 140304108186352 140305909725826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7097] ppid=7076 vsize=27452172 memory=2244 CPUtime=0.89 cores=0-7
/proc/7079/task/7097/stat : 7097 (java) S 7076 7079 7035 0 -1 1077944384 9672 0 0 0 88 1 0 0 20 0 41 0 79941992 28111024128 194579 33554432000 4194304 4196468 140731207480608 140304107133808 140305909725826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7098] ppid=7076 vsize=27452172 memory=4124 CPUtime=0 cores=0-7
/proc/7079/task/7098/stat : 7098 (java) S 7076 7079 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 41 0 79941992 28111024128 194579 33554432000 4194304 4196468 140731207480608 140304106080480 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7099] ppid=7076 vsize=27452172 memory=778356 CPUtime=0.76 cores=0-7
/proc/7079/task/7099/stat : 7099 (java) S 7076 7079 7035 0 -1 1077944384 9740 0 0 0 23 53 0 0 20 0 41 0 79941997 28111024128 194579 33554432000 4194304 4196468 140731207480608 140304105028016 140305909725826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7100] ppid=7076 vsize=27452172 memory=1572 CPUtime=0 cores=0-7
/proc/7079/task/7100/stat : 7100 (java) S 7076 7079 7035 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 41 0 79942193 28111024128 194579 33554432000 4194304 4196468 140731207480608 140303785612032 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7101] ppid=7076 vsize=27452172 memory=2092 CPUtime=2.51 cores=0-7
/proc/7079/task/7101/stat : 7101 (java) S 7076 7079 7035 0 -1 1077944384 21035 0 0 0 94 157 0 0 20 0 41 0 79942210 28111024128 194579 33554432000 4194304 4196468 140731207480608 140303782462512 140305909725826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7102] ppid=7076 vsize=27452172 memory=7524 CPUtime=2480.51 cores=0-7
/proc/7079/task/7102/stat : 7102 (java) R 7076 7079 7035 0 -1 4202560 72298 0 0 0 247995 56 0 0 20 0 41 0 79942229 28111024128 194579 33554432000 4194304 4196468 140731207480608 140303779305240 140305535673554 0 4 0 16800975 0 0 0 -1 0 0 0 31 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7103] ppid=7076 vsize=27452172 memory=840 CPUtime=2481.51 cores=0-7
/proc/7079/task/7103/stat : 7103 (java) R 7076 7079 7035 0 -1 4202560 73652 0 0 0 248098 53 0 0 20 0 41 0 79942230 28111024128 194579 33554432000 4194304 4196468 140731207480608 140303778255800 140305535236148 0 4 0 16800975 0 0 0 -1 2 0 0 29 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7104] ppid=7076 vsize=27452172 memory=1120 CPUtime=2479.54 cores=0-7
/proc/7079/task/7104/stat : 7104 (java) R 7076 7079 7035 0 -1 4202560 72106 0 0 0 247905 49 0 0 20 0 41 0 79942230 28111024128 194579 33554432000 4194304 4196468 140731207480608 140303777203976 140305535048315 0 4 0 16800975 0 0 0 -1 1 0 0 31 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7105] ppid=7076 vsize=27452172 memory=792 CPUtime=0.03 cores=0-7
/proc/7079/task/7105/stat : 7105 (java) S 7076 7079 7035 0 -1 1077944384 74 0 0 0 3 0 0 0 20 0 41 0 79942237 28111024128 194579 33554432000 4194304 4196468 140731207480608 140303774056976 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7106] ppid=7076 vsize=27452172 memory=832 CPUtime=2481.36 cores=0-7
/proc/7079/task/7106/stat : 7106 (java) R 7076 7079 7035 0 -1 4202560 73055 0 0 0 248083 53 0 0 20 0 41 0 79942237 28111024128 194579 33554432000 4194304 4196468 140731207480608 140303772996392 140305535201298 0 4 0 16800975 0 0 0 -1 7 0 0 31 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7107] ppid=7076 vsize=27452172 memory=1608 CPUtime=0.03 cores=0-7
/proc/7079/task/7107/stat : 7107 (java) S 7076 7079 7035 0 -1 1077944384 59 0 0 0 3 0 0 0 20 0 41 0 79942237 28111024128 194579 33554432000 4194304 4196468 140731207480608 140303771950864 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7108] ppid=7076 vsize=27452172 memory=5024 CPUtime=0.03 cores=0-7
/proc/7079/task/7108/stat : 7108 (java) S 7076 7079 7035 0 -1 1077944384 94 0 0 0 3 0 0 0 20 0 41 0 79942237 28111024128 194579 33554432000 4194304 4196468 140731207480608 140303770898816 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7109] ppid=7076 vsize=27452172 memory=4032 CPUtime=0.01 cores=0-7
/proc/7079/task/7109/stat : 7109 (java) S 7076 7079 7035 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 41 0 79942237 28111024128 194579 33554432000 4194304 4196468 140731207480608 140303769846832 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7110] ppid=7076 vsize=27452172 memory=1284 CPUtime=0.01 cores=0-7
/proc/7079/task/7110/stat : 7110 (java) S 7076 7079 7035 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 41 0 79942237 28111024128 194579 33554432000 4194304 4196468 140731207480608 140303768794288 140305909724885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7111] ppid=7076 vsize=27452172 memory=1088 CPUtime=2480.75 cores=0-7
/proc/7079/task/7111/stat : 7111 (java) R 7076 7079 7035 0 -1 4202560 71426 0 0 0 248027 48 0 0 20 0 41 0 79942237 28111024128 194579 33554432000 4194304 4196468 140731207480608 140303767733576 140305535236736 0 4 0 16800975 0 0 0 -1 6 0 0 31 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7112] ppid=7076 vsize=27452172 memory=1800 CPUtime=2480.35 cores=0-7
/proc/7079/task/7112/stat : 7112 (java) R 7076 7079 7035 0 -1 4202560 67791 0 0 0 247980 55 0 0 20 0 41 0 79942237 28111024128 194579 33554432000 4194304 4196468 140731207480608 140303766681128 140305535677154 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7113] ppid=7076 vsize=27452172 memory=7024 CPUtime=2480.77 cores=0-7
/proc/7079/task/7113/stat : 7113 (java) R 7076 7079 7035 0 -1 4202560 70103 0 0 0 248025 52 0 0 20 0 41 0 79942237 28111024128 194579 33554432000 4194304 4196468 140731207480608 140303765629256 140305535673305 0 4 0 16800975 0 0 0 -1 5 0 0 31 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
[pid=7079/tid=7114] ppid=7076 vsize=27452172 memory=15044 CPUtime=2481.34 cores=0-7
/proc/7079/task/7114/stat : 7114 (java) R 7076 7079 7035 0 -1 4202560 75977 0 0 0 248082 52 0 0 20 0 41 0 79942245 28111024128 194579 33554432000 4194304 4196468 140731207480608 140302622901768 140305535839468 0 4 0 16800975 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 34152448 140731207488589 140731207488773 140731207488773 140731207491535 0
Current children cumulated CPU time: 19931.2 s
Current children cumulated vsize: 27452172 KiB
Current children cumulated memory: 778316 KiB

[startup+2520.3 s]*
/proc/loadavg: 9.30 8.97 8.28 2/181 7189
/proc/meminfo: memFree=16756220/32770624 swapFree=67108796/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.31
CPU time (s): 19932
CPU user time (s): 19922.9
CPU system time (s): 9.06766
CPU usage (%): 790.853
Max. virtual memory (cumulated for all children) (KiB): 27452172
Max. memory (cumulated for all children) (KiB): 1853084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19922.9
system time used= 9.06766
maximum resident set size= 1853512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1654742
page faults= 0
swaps= 0
block input operations= 1160
block output operations= 4608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 846300
involuntary context switches= 439167


# summary of solver processes directly reported to runsolver:
#   pid: 7079
#   total CPU time (s): 19932
#   total CPU user time (s): 19922.9
#   total CPU system time (s): 9.06766

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.0046 second user time and 33.5344 second system time

The end

Launcher Data

Begin job on node138 at 2018-07-26 18:49:45
IDJOB=4291242
IDBENCH=141022
IDSOLVER=2745
FILE ID=node138/4291242-1532623785
RUNJOBID= node138-1532623784-7062
PBS_JOBID= 21022023
Free space on /tmp= 53804 MiB

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

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

MD5SUM BENCH= 3785e9b0b2758b612fcaaefab5873f44
RANDOM SEED=2093092993

node138.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.71
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.71
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.71
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.71
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:        17530044 kB
MemAvailable:   31924368 kB
Buffers:          197912 kB
Cached:         14340340 kB
SwapCached:           44 kB
Active:          2408584 kB
Inactive:       12188316 kB
Active(anon):       9316 kB
Inactive(anon):    77300 kB
Active(file):    2399268 kB
Inactive(file): 12111016 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:             35616 kB
Writeback:             0 kB
AnonPages:         65960 kB
Mapped:            35752 kB
Shmem:             25164 kB
Slab:             340736 kB
SReclaimable:     312500 kB
SUnreclaim:        28236 kB
KernelStack:        3168 kB
PageTables:         4580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 53768 MiB
End job on node138 at 2018-07-26 19:31:48