Trace number 4404496

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
choco-solver 2019-09-20 parallel? (TO) 19933.3 2520.1

General information on the benchmark

NameBibd/Bibd-sum-open/
Bibd-sum-40-052-13-10-03.xml
MD5SUM2a84a2defac446a2567920a0781991b9
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 variables2080
Number of constraints873
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2080}]
Minimum variable degree42
Maximum variable degree42
Distribution of variable degrees[{"degree":42,"count":2080}]
Minimum constraint arity40
Maximum constraint arity2080
Distribution of constraint arities[{"arity":40,"count":52},{"arity":52,"count":40},{"arity":104,"count":780},{"arity":2080,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":872}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404496-1568996684.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404496-1568996684.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
14.36/3.14	c solve instance...
19932.65/2520.07	s UNKNOWN
19932.65/2520.07	c Unexpected resolution interruption!

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 (6729 MiB free)
  memory of node 1: 16384 MiB (9588 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404496-1568996684/watcher-4404496-1568996684 -o /var/tmp/evaluation-result-4404496-1568996684/solver-4404496-1568996684 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1568994120-11888 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1202661036 HOME/instance-4404496-1568996684.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=12211, runsolver pid=12208
Current StackSize limit: 8192 KiB


[startup+0.100111 s]*
/proc/loadavg: 8.06 8.19 8.18 3/211 12232
/proc/meminfo: memFree=16693844/32770624 swapFree=66988872/67108860
[pid=12211] ppid=12208 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12211/stat : 12211 (xcsp3-exec) S 12208 12211 11861 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475931032 115843072 363 33554432000 4194304 5098028 140723613280480 140723613278584 140166253519484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33697792 140723613287249 140723613287509 140723613287509 140723613290438 0
/proc/12211/statm: 28282 363 304 221 0 87 0
[pid=12213] ppid=12211 vsize=28227396 memory=28916 CPUtime=0.12 cores=0-7
/proc/12213/stat : 12213 (java) S 12211 12211 11861 0 -1 1077944320 5695 0 0 0 10 2 0 0 20 0 20 0 475931032 28904853504 7229 33554432000 4194304 4196468 140733744212928 140733744195472 140291862847223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
/proc/12213/statm: 7056849 7229 3122 1 0 7019032 0
[pid=12213/tid=12214] ppid=12211 vsize=28227396 memory=-2177352373413752899 CPUtime=0.08 cores=0-7
/proc/12213/task/12214/stat : 12214 (java) R 12211 12211 11861 0 -1 4202560 3592 0 0 0 8 0 0 0 20 0 20 0 475931032 28904853504 7229 33554432000 4194304 4196468 140733744212928 140291867079152 140291843035851 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12215] ppid=12211 vsize=28227396 memory=732370516745509861 CPUtime=0 cores=0-7
/proc/12213/task/12215/stat : 12215 (java) S 12211 12211 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475931033 28904853504 7229 33554432000 4194304 4196468 140733744212928 140291413760528 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12216] ppid=12211 vsize=28227396 memory=140378408056448 CPUtime=0 cores=0-7
/proc/12213/task/12216/stat : 12216 (java) S 12211 12211 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475931033 28904853504 7229 33554432000 4194304 4196468 140733744212928 140291412707984 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12217] ppid=12211 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12217/stat : 12217 (java) S 12211 12211 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475931033 28904853504 7229 33554432000 4194304 4196468 140733744212928 140291411654928 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12218] ppid=12211 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12218/stat : 12218 (java) S 12211 12211 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475931033 28904853504 7229 33554432000 4194304 4196468 140733744212928 140291410602384 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12219] ppid=12211 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12219/stat : 12219 (java) S 12211 12211 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475931033 28904853504 7229 33554432000 4194304 4196468 140733744212928 140291409550352 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12220] ppid=12211 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12213/task/12220/stat : 12220 (java) S 12211 12211 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475931033 28904853504 7229 33554432000 4194304 4196468 140733744212928 140291408497808 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12221] ppid=12211 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12221/stat : 12221 (java) S 12211 12211 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475931033 28904853504 7229 33554432000 4194304 4196468 140733744212928 140291407444752 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12222] ppid=12211 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12222/stat : 12222 (java) S 12211 12211 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475931033 28904853504 7229 33554432000 4194304 4196468 140733744212928 140291406392208 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12223] ppid=12211 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12223/stat : 12223 (java) S 12211 12211 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475931035 28904853504 7229 33554432000 4194304 4196468 140733744212928 140290461063408 140291862858370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12224] ppid=12211 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12224/stat : 12224 (java) S 12211 12211 11861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475931035 28904853504 7229 33554432000 4194304 4196468 140733744212928 140290460009632 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12225] ppid=12211 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12225/stat : 12225 (java) S 12211 12211 11861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475931035 28904853504 7229 33554432000 4194304 4196468 140733744212928 140290458956528 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12226] ppid=12211 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12226/stat : 12226 (java) S 12211 12211 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475931038 28904853504 7229 33554432000 4194304 4196468 140733744212928 140290457905104 140291862865819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12227] ppid=12211 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12227/stat : 12227 (java) S 12211 12211 11861 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 475931038 28904853504 7229 33554432000 4194304 4196468 140733744212928 140290456853232 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12228] ppid=12211 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12228/stat : 12228 (java) S 12211 12211 11861 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 475931038 28904853504 7229 33554432000 4194304 4196468 140733744212928 140290455800688 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12229] ppid=12211 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12229/stat : 12229 (java) S 12211 12211 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475931038 28904853504 7229 33554432000 4194304 4196468 140733744212928 140290454747632 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12230] ppid=12211 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12213/task/12230/stat : 12230 (java) S 12211 12211 11861 0 -1 1077944384 370 0 0 0 1 0 0 0 20 0 20 0 475931038 28904853504 7229 33554432000 4194304 4196468 140733744212928 140290453695088 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12231] ppid=12211 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12231/stat : 12231 (java) S 12211 12211 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475931038 28904853504 7229 33554432000 4194304 4196468 140733744212928 140290452642272 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12232] ppid=12211 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12213/task/12232/stat : 12232 (java) S 12211 12211 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475931038 28904853504 7229 33554432000 4194304 4196468 140733744212928 140290451589808 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30368 KiB

[startup+0.210015 s]*
/proc/loadavg: 8.06 8.19 8.18 2/211 12232
/proc/meminfo: memFree=16679952/32770624 swapFree=66988872/67108860
[pid=12211] ppid=12208 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12211/stat : 12211 (xcsp3-exec) S 12208 12211 11861 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475931032 115843072 363 33554432000 4194304 5098028 140723613280480 140723613278584 140166253519484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33697792 140723613287249 140723613287509 140723613287509 140723613290438 0
/proc/12211/statm: 28282 363 304 221 0 87 0
[pid=12213] ppid=12211 vsize=28227396 memory=41312 CPUtime=0.33 cores=0-7
/proc/12213/stat : 12213 (java) S 12211 12211 11861 0 -1 1077944320 9541 0 0 0 30 3 0 0 20 0 20 0 475931032 28904853504 10328 33554432000 4194304 4196468 140733744212928 140733744195472 140291862847223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
/proc/12213/statm: 7056849 10328 3313 1 0 7019032 0
[pid=12213/tid=12214] ppid=12211 vsize=28227396 memory=0 CPUtime=0.2 cores=0-7
/proc/12213/task/12214/stat : 12214 (java) R 12211 12211 11861 0 -1 4202560 6623 0 0 0 18 2 0 0 20 0 20 0 475931032 28904853504 10328 33554432000 4194304 4196468 140733744212928 140291867086896 140291862869149 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12215] ppid=12211 vsize=28227396 memory=732370516745509861 CPUtime=0 cores=0-7
/proc/12213/task/12215/stat : 12215 (java) S 12211 12211 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475931033 28904853504 10328 33554432000 4194304 4196468 140733744212928 140291413760528 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12216] ppid=12211 vsize=28227396 memory=140378408056448 CPUtime=0 cores=0-7
/proc/12213/task/12216/stat : 12216 (java) S 12211 12211 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475931033 28904853504 10328 33554432000 4194304 4196468 140733744212928 140291412707984 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12217] ppid=12211 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12217/stat : 12217 (java) S 12211 12211 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475931033 28904853504 10328 33554432000 4194304 4196468 140733744212928 140291411654928 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12218] ppid=12211 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12218/stat : 12218 (java) S 12211 12211 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475931033 28904853504 10328 33554432000 4194304 4196468 140733744212928 140291410602384 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12219] ppid=12211 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12219/stat : 12219 (java) S 12211 12211 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475931033 28904853504 10328 33554432000 4194304 4196468 140733744212928 140291409550352 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12220] ppid=12211 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12213/task/12220/stat : 12220 (java) S 12211 12211 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475931033 28904853504 10328 33554432000 4194304 4196468 140733744212928 140291408497808 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12221] ppid=12211 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12221/stat : 12221 (java) S 12211 12211 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475931033 28904853504 10328 33554432000 4194304 4196468 140733744212928 140291407444752 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12222] ppid=12211 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12222/stat : 12222 (java) S 12211 12211 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475931033 28904853504 10328 33554432000 4194304 4196468 140733744212928 140291406392208 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12223] ppid=12211 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12223/stat : 12223 (java) S 12211 12211 11861 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475931035 28904853504 10328 33554432000 4194304 4196468 140733744212928 140290461063408 140291862858370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12224] ppid=12211 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12224/stat : 12224 (java) S 12211 12211 11861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475931035 28904853504 10328 33554432000 4194304 4196468 140733744212928 140290460009632 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12225] ppid=12211 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12225/stat : 12225 (java) S 12211 12211 11861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475931035 28904853504 10328 33554432000 4194304 4196468 140733744212928 140290458956528 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12226] ppid=12211 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12226/stat : 12226 (java) S 12211 12211 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475931038 28904853504 10328 33554432000 4194304 4196468 140733744212928 140290457905104 140291862865819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12227] ppid=12211 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12213/task/12227/stat : 12227 (java) S 12211 12211 11861 0 -1 1077944384 337 0 0 0 1 0 0 0 20 0 20 0 475931038 28904853504 10328 33554432000 4194304 4196468 140733744212928 140290456853232 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12228] ppid=12211 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12213/task/12228/stat : 12228 (java) S 12211 12211 11861 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 20 0 475931038 28904853504 10328 33554432000 4194304 4196468 140733744212928 140290455800688 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12229] ppid=12211 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12213/task/12229/stat : 12229 (java) S 12211 12211 11861 0 -1 1077944384 288 0 0 0 1 0 0 0 20 0 20 0 475931038 28904853504 10328 33554432000 4194304 4196468 140733744212928 140290454747632 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12230] ppid=12211 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/12213/task/12230/stat : 12230 (java) S 12211 12211 11861 0 -1 1077944384 762 0 0 0 7 0 0 0 20 0 20 0 475931038 28904853504 10328 33554432000 4194304 4196468 140733744212928 140290453695088 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12231] ppid=12211 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12231/stat : 12231 (java) S 12211 12211 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475931038 28904853504 10328 33554432000 4194304 4196468 140733744212928 140290452642272 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12232] ppid=12211 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12213/task/12232/stat : 12232 (java) S 12211 12211 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475931038 28904853504 10328 33554432000 4194304 4196468 140733744212928 140290451589808 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42764 KiB

[startup+0.309468 s]*
/proc/loadavg: 8.06 8.19 8.18 3/211 12232
/proc/meminfo: memFree=16672092/32770624 swapFree=66988872/67108860
[pid=12211] ppid=12208 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12211/stat : 12211 (xcsp3-exec) S 12208 12211 11861 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475931032 115843072 363 33554432000 4194304 5098028 140723613280480 140723613278584 140166253519484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33697792 140723613287249 140723613287509 140723613287509 140723613290438 0
/proc/12211/statm: 28282 363 304 221 0 87 0
[pid=12213] ppid=12211 vsize=28231652 memory=49472 CPUtime=0.51 cores=0-7
/proc/12213/stat : 12213 (java) S 12211 12211 11861 0 -1 1077944320 10739 0 0 0 47 4 0 0 20 0 20 0 475931032 28909211648 12368 33554432000 4194304 4196468 140733744212928 140733744195472 140291862847223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
/proc/12213/statm: 7057913 12368 3346 1 0 7019032 0
[pid=12213/tid=12214] ppid=12211 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/12213/task/12214/stat : 12214 (java) R 12211 12211 11861 0 -1 4202560 7721 0 0 0 27 2 0 0 20 0 20 0 475931032 28909211648 12412 33554432000 4194304 4196468 140733744212928 140291867078336 140291862869149 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12215] ppid=12211 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12215/stat : 12215 (java) S 12211 12211 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475931033 28909211648 12412 33554432000 4194304 4196468 140733744212928 140291413760528 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12216] ppid=12211 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12216/stat : 12216 (java) S 12211 12211 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475931033 28909211648 12412 33554432000 4194304 4196468 140733744212928 140291412707984 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12217] ppid=12211 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12217/stat : 12217 (java) S 12211 12211 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475931033 28909211648 12412 33554432000 4194304 4196468 140733744212928 140291411654928 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12218] ppid=12211 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12218/stat : 12218 (java) S 12211 12211 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475931033 28909211648 12412 33554432000 4194304 4196468 140733744212928 140291410602384 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12219] ppid=12211 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12219/stat : 12219 (java) S 12211 12211 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475931033 28909211648 12412 33554432000 4194304 4196468 140733744212928 140291409550352 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12220] ppid=12211 vsize=28231652 memory=140378254699183 CPUtime=0 cores=0-7
/proc/12213/task/12220/stat : 12220 (java) S 12211 12211 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475931033 28909211648 12412 33554432000 4194304 4196468 140733744212928 140291408497808 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12221] ppid=12211 vsize=28231652 memory=140378254701488 CPUtime=0 cores=0-7
/proc/12213/task/12221/stat : 12221 (java) S 12211 12211 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475931033 28909211648 12412 33554432000 4194304 4196468 140733744212928 140291407444752 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12222] ppid=12211 vsize=28231652 memory=140378254703792 CPUtime=0 cores=0-7
/proc/12213/task/12222/stat : 12222 (java) S 12211 12211 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475931033 28909211648 12412 33554432000 4194304 4196468 140733744212928 140291406392208 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12223] ppid=12211 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12223/stat : 12223 (java) S 12211 12211 11861 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475931035 28909211648 12412 33554432000 4194304 4196468 140733744212928 140290461063408 140291862858370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12224] ppid=12211 vsize=28231652 memory=280756509421456 CPUtime=0 cores=0-7
/proc/12213/task/12224/stat : 12224 (java) S 12211 12211 11861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475931035 28909211648 12412 33554432000 4194304 4196468 140733744212928 140290460009632 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12225] ppid=12211 vsize=28231652 memory=280756509419152 CPUtime=0 cores=0-7
/proc/12213/task/12225/stat : 12225 (java) S 12211 12211 11861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475931035 28909211648 12412 33554432000 4194304 4196468 140733744212928 140290458956528 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12226] ppid=12211 vsize=28231652 memory=280756509426064 CPUtime=0 cores=0-7
/proc/12213/task/12226/stat : 12226 (java) S 12211 12211 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475931038 28909211648 12412 33554432000 4194304 4196468 140733744212928 140290457905104 140291862865819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12227] ppid=12211 vsize=28231652 memory=280756509367312 CPUtime=0.02 cores=0-7
/proc/12213/task/12227/stat : 12227 (java) S 12211 12211 11861 0 -1 1077944384 347 0 0 0 2 0 0 0 20 0 20 0 475931038 28909211648 12412 33554432000 4194304 4196468 140733744212928 140290456853232 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12228] ppid=12211 vsize=28231652 memory=280756509439888 CPUtime=0.02 cores=0-7
/proc/12213/task/12228/stat : 12228 (java) S 12211 12211 11861 0 -1 1077944384 221 0 0 0 2 0 0 0 20 0 20 0 475931038 28909211648 12412 33554432000 4194304 4196468 140733744212928 140290455800688 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12229] ppid=12211 vsize=28231652 memory=280756509446800 CPUtime=0.02 cores=0-7
/proc/12213/task/12229/stat : 12229 (java) S 12211 12211 11861 0 -1 1077944384 300 0 0 0 2 0 0 0 20 0 20 0 475931038 28909211648 12412 33554432000 4194304 4196468 140733744212928 140290454747632 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12230] ppid=12211 vsize=28231652 memory=280756509444496 CPUtime=0.12 cores=0-7
/proc/12213/task/12230/stat : 12230 (java) S 12211 12211 11861 0 -1 1077944384 837 0 0 0 12 0 0 0 20 0 20 0 475931038 28909211648 12412 33554432000 4194304 4196468 140733744212928 140290453695088 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12231] ppid=12211 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12231/stat : 12231 (java) S 12211 12211 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475931038 28909211648 12412 33554432000 4194304 4196468 140733744212928 140290452642272 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12232] ppid=12211 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/12213/task/12232/stat : 12232 (java) S 12211 12211 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475931038 28909211648 12412 33554432000 4194304 4196468 140733744212928 140290451589808 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50924 KiB

[startup+0.700866 s]
/proc/loadavg: 8.06 8.19 8.18 3/211 12232
/proc/meminfo: memFree=16661212/32770624 swapFree=66988872/67108860
[pid=12211] ppid=12208 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12211/stat : 12211 (xcsp3-exec) S 12208 12211 11861 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475931032 115843072 363 33554432000 4194304 5098028 140723613280480 140723613278584 140166253519484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33697792 140723613287249 140723613287509 140723613287509 140723613290438 0
/proc/12211/statm: 28282 363 304 221 0 87 0
[pid=12213] ppid=12211 vsize=28233776 memory=99476 CPUtime=1.76 cores=0-7
/proc/12213/stat : 12213 (java) S 12211 12211 11861 0 -1 1077944320 15525 0 0 0 168 8 0 0 20 0 20 0 475931032 28911386624 24869 33554432000 4194304 4196468 140733744212928 140733744195472 140291862847223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
/proc/12213/statm: 7058444 24869 3467 1 0 7019544 0
[pid=12213/tid=12214] ppid=12211 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/12213/task/12214/stat : 12214 (java) R 12211 12211 11861 0 -1 4202560 9138 0 0 0 64 4 0 0 20 0 20 0 475931032 28911386624 24869 33554432000 4194304 4196468 140733744212928 140291867082224 140291499959128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12215] ppid=12211 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12215/stat : 12215 (java) S 12211 12211 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475931033 28911386624 24869 33554432000 4194304 4196468 140733744212928 140291413760528 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12216] ppid=12211 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12216/stat : 12216 (java) S 12211 12211 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475931033 28911386624 24869 33554432000 4194304 4196468 140733744212928 140291412707984 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12217] ppid=12211 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12217/stat : 12217 (java) S 12211 12211 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475931033 28911386624 24869 33554432000 4194304 4196468 140733744212928 140291411654928 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0

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

[pid=12213/tid=12240] ppid=12211 vsize=28766288 memory=1452 CPUtime=2401.31 cores=0-7
/proc/12213/task/12240/stat : 12240 (java) R 12211 12211 11861 0 -1 4202560 22601 0 0 0 240095 36 0 0 20 0 28 0 475931471 29456678912 332062 33554432000 4194304 4196468 140733744212928 140290435002336 140291507709263 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
Current children cumulated CPU time: 19329.2 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1329700 KiB

[startup+2502.3 s]
/proc/loadavg: 7.81 7.98 8.09 9/220 12450
/proc/meminfo: memFree=15365616/32770624 swapFree=66988928/67108860
[pid=12211] ppid=12208 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12211/stat : 12211 (xcsp3-exec) S 12208 12211 11861 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475931032 115843072 363 33554432000 4194304 5098028 140723613280480 140723613278584 140166253519484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33697792 140723613287249 140723613287509 140723613287509 140723613290438 0
/proc/12211/statm: 28282 363 304 221 0 87 0
[pid=12213] ppid=12211 vsize=28766288 memory=1354608 CPUtime=19795.3 cores=0-7
/proc/12213/stat : 12213 (java) S 12211 12211 11861 0 -1 1077944320 855858 0 0 0 1977145 2383 0 0 20 0 28 0 475931032 29456678912 338652 33554432000 4194304 4196468 140733744212928 140733744195472 140291862847223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
/proc/12213/statm: 7191572 338652 3539 1 0 7152672 0
[pid=12213/tid=12214] ppid=12211 vsize=28766288 memory=1353548 CPUtime=2.08 cores=0-7
/proc/12213/task/12214/stat : 12214 (java) S 12211 12211 11861 0 -1 1077944384 9699 0 0 0 199 9 0 0 20 0 28 0 475931032 29456678912 338652 33554432000 4194304 4196468 140733744212928 140291867088000 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12215] ppid=12211 vsize=28766288 memory=1452 CPUtime=13.16 cores=0-7
/proc/12213/task/12215/stat : 12215 (java) S 12211 12211 11861 0 -1 1077944384 39614 0 0 0 1258 58 0 0 20 0 28 0 475931033 29456678912 338652 33554432000 4194304 4196468 140733744212928 140291413760528 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12216] ppid=12211 vsize=28766288 memory=1452 CPUtime=13.11 cores=0-7
/proc/12213/task/12216/stat : 12216 (java) S 12211 12211 11861 0 -1 1077944384 33580 0 0 0 1257 54 0 0 20 0 28 0 475931033 29456678912 338652 33554432000 4194304 4196468 140733744212928 140291412707984 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12217] ppid=12211 vsize=28766288 memory=1353552 CPUtime=13.23 cores=0-7
/proc/12213/task/12217/stat : 12217 (java) S 12211 12211 11861 0 -1 1077944384 37091 0 0 0 1273 50 0 0 20 0 28 0 475931033 29456678912 338652 33554432000 4194304 4196468 140733744212928 140291411654928 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12218] ppid=12211 vsize=28766288 memory=1452 CPUtime=13.16 cores=0-7
/proc/12213/task/12218/stat : 12218 (java) S 12211 12211 11861 0 -1 1077944384 35067 0 0 0 1265 51 0 0 20 0 28 0 475931033 29456678912 338652 33554432000 4194304 4196468 140733744212928 140291410602384 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12219] ppid=12211 vsize=28766288 memory=1452 CPUtime=13.23 cores=0-7
/proc/12213/task/12219/stat : 12219 (java) S 12211 12211 11861 0 -1 1077944384 43635 0 0 0 1268 55 0 0 20 0 28 0 475931033 29456678912 338652 33554432000 4194304 4196468 140733744212928 140291409550352 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12220] ppid=12211 vsize=28766288 memory=280756510505856 CPUtime=13.23 cores=0-7
/proc/12213/task/12220/stat : 12220 (java) S 12211 12211 11861 0 -1 1077944384 41584 0 0 0 1265 58 0 0 20 0 28 0 475931033 29456678912 338652 33554432000 4194304 4196468 140733744212928 140291408497808 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12221] ppid=12211 vsize=28766288 memory=29932609950 CPUtime=13.29 cores=0-7
/proc/12213/task/12221/stat : 12221 (java) S 12211 12211 11861 0 -1 1077944384 46356 0 0 0 1273 56 0 0 20 0 28 0 475931033 29456678912 338652 33554432000 4194304 4196468 140733744212928 140291407444752 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12222] ppid=12211 vsize=28766288 memory=780 CPUtime=13.26 cores=0-7
/proc/12213/task/12222/stat : 12222 (java) S 12211 12211 11861 0 -1 1077944384 51770 0 0 0 1272 54 0 0 20 0 28 0 475931033 29456678912 338652 33554432000 4194304 4196468 140733744212928 140291406392208 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12223] ppid=12211 vsize=28766288 memory=3620 CPUtime=22.08 cores=0-7
/proc/12213/task/12223/stat : 12223 (java) S 12211 12211 11861 0 -1 1077944384 40253 0 0 0 816 1392 0 0 20 0 28 0 475931035 29456678912 338652 33554432000 4194304 4196468 140733744212928 140290461063408 140291862858370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12224] ppid=12211 vsize=28766288 memory=1452 CPUtime=0 cores=0-7
/proc/12213/task/12224/stat : 12224 (java) S 12211 12211 11861 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 475931035 29456678912 338652 33554432000 4194304 4196468 140733744212928 140290460009696 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12225] ppid=12211 vsize=28766288 memory=1319704 CPUtime=0 cores=0-7
/proc/12213/task/12225/stat : 12225 (java) S 12211 12211 11861 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 475931035 29456678912 338652 33554432000 4194304 4196468 140733744212928 140290458956544 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12226] ppid=12211 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12226/stat : 12226 (java) S 12211 12211 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475931038 29456678912 338652 33554432000 4194304 4196468 140733744212928 140290457905104 140291862865819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12227] ppid=12211 vsize=28766288 memory=7522253148957982311 CPUtime=1.93 cores=0-7
/proc/12213/task/12227/stat : 12227 (java) S 12211 12211 11861 0 -1 1077944384 16653 0 0 0 190 3 0 0 20 0 28 0 475931038 29456678912 338652 33554432000 4194304 4196468 140733744212928 140290456853232 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12228] ppid=12211 vsize=28766288 memory=1452 CPUtime=2.42 cores=0-7
/proc/12213/task/12228/stat : 12228 (java) S 12211 12211 11861 0 -1 1077944384 17231 0 0 0 238 4 0 0 20 0 28 0 475931038 29456678912 338652 33554432000 4194304 4196468 140733744212928 140290455800688 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12229] ppid=12211 vsize=28766288 memory=1351344 CPUtime=2.47 cores=0-7
/proc/12213/task/12229/stat : 12229 (java) S 12211 12211 11861 0 -1 1077944384 22864 0 0 0 243 4 0 0 20 0 28 0 475931038 29456678912 338652 33554432000 4194304 4196468 140733744212928 140290454747632 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12230] ppid=12211 vsize=28766288 memory=1720 CPUtime=0.91 cores=0-7
/proc/12213/task/12230/stat : 12230 (java) S 12211 12211 11861 0 -1 1077944384 16781 0 0 0 87 4 0 0 20 0 28 0 475931038 29456678912 338652 33554432000 4194304 4196468 140733744212928 140290453695088 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12231] ppid=12211 vsize=28766288 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/12213/task/12231/stat : 12231 (java) S 12211 12211 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475931038 29456678912 338652 33554432000 4194304 4196468 140733744212928 140290452642272 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12232] ppid=12211 vsize=28766288 memory=-7003737579269690708 CPUtime=1.15 cores=0-7
/proc/12213/task/12232/stat : 12232 (java) S 12211 12211 11861 0 -1 1077944384 4014 0 0 0 0 115 0 0 20 0 28 0 475931038 29456678912 338652 33554432000 4194304 4196468 140733744212928 140290451589808 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12233] ppid=12211 vsize=28766288 memory=3620 CPUtime=2460.52 cores=0-7
/proc/12213/task/12233/stat : 12233 (java) R 12211 12211 11861 0 -1 4202560 20375 0 0 0 246029 23 0 0 20 0 28 0 475931471 29456678912 338652 33554432000 4194304 4196468 140733744212928 140290442369720 140291507832134 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12234] ppid=12211 vsize=28766288 memory=39224 CPUtime=2449.95 cores=0-7
/proc/12213/task/12234/stat : 12234 (java) R 12211 12211 11861 0 -1 4202560 27410 0 0 0 244968 27 0 0 20 0 28 0 475931471 29456678912 338652 33554432000 4194304 4196468 140733744212928 140290441318504 140291507708996 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12235] ppid=12211 vsize=28766288 memory=2004 CPUtime=2469.05 cores=0-7
/proc/12213/task/12235/stat : 12235 (java) R 12211 12211 11861 0 -1 4202560 63741 0 0 0 246753 152 0 0 20 0 28 0 475931471 29456678912 338652 33554432000 4194304 4196468 140733744212928 140290440266016 140291502663149 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12236] ppid=12211 vsize=28766288 memory=1452 CPUtime=2452.18 cores=0-7
/proc/12213/task/12236/stat : 12236 (java) R 12211 12211 11861 0 -1 4202560 196936 0 0 0 245016 202 0 0 20 0 28 0 475931471 29456678912 338652 33554432000 4194304 4196468 140733744212928 140290439216592 140291508140022 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12237] ppid=12211 vsize=28766288 memory=1348232 CPUtime=2459.22 cores=0-7
/proc/12213/task/12237/stat : 12237 (java) R 12211 12211 11861 0 -1 4202560 23951 0 0 0 245876 46 0 0 20 0 28 0 475931471 29456678912 338652 33554432000 4194304 4196468 140733744212928 140290438160568 140291507993968 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12238] ppid=12211 vsize=28766288 memory=1452 CPUtime=2457.85 cores=0-7
/proc/12213/task/12238/stat : 12238 (java) R 12211 12211 11861 0 -1 4202560 26989 0 0 0 245745 40 0 0 20 0 28 0 475931471 29456678912 338652 33554432000 4194304 4196468 140733744212928 140290437107952 140291507953714 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12239] ppid=12211 vsize=28766288 memory=1452 CPUtime=2448.68 cores=0-7
/proc/12213/task/12239/stat : 12239 (java) R 12211 12211 11861 0 -1 4202560 15177 0 0 0 244849 19 0 0 20 0 28 0 475931471 29456678912 338652 33554432000 4194304 4196468 140733744212928 140290436055024 140291507552559 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12240] ppid=12211 vsize=28766288 memory=1452 CPUtime=2458.9 cores=0-7
/proc/12213/task/12240/stat : 12240 (java) R 12211 12211 11861 0 -1 4202560 23760 0 0 0 245853 37 0 0 20 0 28 0 475931471 29456678912 338652 33554432000 4194304 4196468 140733744212928 140290435002336 140291507328648 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
Current children cumulated CPU time: 19795.3 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1356060 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 7.85 7.98 8.08 9/220 12451
/proc/meminfo: memFree=15375824/32770624 swapFree=66988928/67108860
[pid=12211] ppid=12208 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12211/stat : 12211 (xcsp3-exec) S 12208 12211 11861 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475931032 115843072 363 33554432000 4194304 5098028 140723613280480 140723613278584 140166253519484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33697792 140723613287249 140723613287509 140723613287509 140723613290438 0
/proc/12211/statm: 28282 363 304 221 0 87 0
[pid=12213] ppid=12211 vsize=28766288 memory=1341904 CPUtime=19932.7 cores=0-7
/proc/12213/stat : 12213 (java) S 12211 12211 11861 0 -1 1077944320 856421 0 0 0 1990838 2427 0 0 20 0 28 0 475931032 29456678912 335476 33554432000 4194304 4196468 140733744212928 140733744195472 140291862847223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
/proc/12213/statm: 7191572 335476 3539 1 0 7152672 0
[pid=12213/tid=12214] ppid=12211 vsize=28766288 memory=1398722017469774279 CPUtime=2.08 cores=0-7
/proc/12213/task/12214/stat : 12214 (java) S 12211 12211 11861 0 -1 1077944384 9699 0 0 0 199 9 0 0 20 0 28 0 475931032 29456678912 335476 33554432000 4194304 4196468 140733744212928 140291867088000 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12215] ppid=12211 vsize=28766288 memory=-7003737579269690708 CPUtime=13.26 cores=0-7
/proc/12213/task/12215/stat : 12215 (java) S 12211 12211 11861 0 -1 1077944384 39700 0 0 0 1267 59 0 0 20 0 28 0 475931033 29456678912 335476 33554432000 4194304 4196468 140733744212928 140291413760528 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12216] ppid=12211 vsize=28766288 memory=2120 CPUtime=13.22 cores=0-7
/proc/12213/task/12216/stat : 12216 (java) S 12211 12211 11861 0 -1 1077944384 33626 0 0 0 1268 54 0 0 20 0 28 0 475931033 29456678912 335476 33554432000 4194304 4196468 140733744212928 140291412707984 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12217] ppid=12211 vsize=28766288 memory=12028 CPUtime=13.35 cores=0-7
/proc/12213/task/12217/stat : 12217 (java) S 12211 12211 11861 0 -1 1077944384 37113 0 0 0 1285 50 0 0 20 0 28 0 475931033 29456678912 335476 33554432000 4194304 4196468 140733744212928 140291411654928 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12218] ppid=12211 vsize=28766288 memory=1572 CPUtime=13.27 cores=0-7
/proc/12213/task/12218/stat : 12218 (java) S 12211 12211 11861 0 -1 1077944384 35116 0 0 0 1275 52 0 0 20 0 28 0 475931033 29456678912 335476 33554432000 4194304 4196468 140733744212928 140291410602384 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12219] ppid=12211 vsize=28766288 memory=239059 CPUtime=13.34 cores=0-7
/proc/12213/task/12219/stat : 12219 (java) S 12211 12211 11861 0 -1 1077944384 43681 0 0 0 1279 55 0 0 20 0 28 0 475931033 29456678912 335476 33554432000 4194304 4196468 140733744212928 140291409550352 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12220] ppid=12211 vsize=28766288 memory=238136 CPUtime=13.35 cores=0-7
/proc/12213/task/12220/stat : 12220 (java) S 12211 12211 11861 0 -1 1077944384 41589 0 0 0 1277 58 0 0 20 0 28 0 475931033 29456678912 335476 33554432000 4194304 4196468 140733744212928 140291408497808 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12221] ppid=12211 vsize=28766288 memory=1344476 CPUtime=13.4 cores=0-7
/proc/12213/task/12221/stat : 12221 (java) S 12211 12211 11861 0 -1 1077944384 46357 0 0 0 1284 56 0 0 20 0 28 0 475931033 29456678912 335476 33554432000 4194304 4196468 140733744212928 140291407444752 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12222] ppid=12211 vsize=28766288 memory=6791534058613427641 CPUtime=13.36 cores=0-7
/proc/12213/task/12222/stat : 12222 (java) S 12211 12211 11861 0 -1 1077944384 51771 0 0 0 1282 54 0 0 20 0 28 0 475931033 29456678912 335476 33554432000 4194304 4196468 140733744212928 140291406392208 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12223] ppid=12211 vsize=28766288 memory=0 CPUtime=22.69 cores=0-7
/proc/12213/task/12223/stat : 12223 (java) S 12211 12211 11861 0 -1 1077944384 40255 0 0 0 836 1433 0 0 20 0 28 0 475931035 29456678912 335476 33554432000 4194304 4196468 140733744212928 140290461063408 140291862858370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12224] ppid=12211 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12213/task/12224/stat : 12224 (java) S 12211 12211 11861 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 475931035 29456678912 335476 33554432000 4194304 4196468 140733744212928 140290460009696 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12225] ppid=12211 vsize=28766288 memory=245753 CPUtime=0 cores=0-7
/proc/12213/task/12225/stat : 12225 (java) S 12211 12211 11861 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 475931035 29456678912 335476 33554432000 4194304 4196468 140733744212928 140290458956544 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12226] ppid=12211 vsize=28766288 memory=111632 CPUtime=0 cores=0-7
/proc/12213/task/12226/stat : 12226 (java) S 12211 12211 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475931038 29456678912 335476 33554432000 4194304 4196468 140733744212928 140290457905104 140291862865819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12227] ppid=12211 vsize=28766288 memory=804 CPUtime=1.93 cores=0-7
/proc/12213/task/12227/stat : 12227 (java) S 12211 12211 11861 0 -1 1077944384 16653 0 0 0 190 3 0 0 20 0 28 0 475931038 29456678912 335476 33554432000 4194304 4196468 140733744212928 140290456853232 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12228] ppid=12211 vsize=28766288 memory=4104 CPUtime=2.42 cores=0-7
/proc/12213/task/12228/stat : 12228 (java) S 12211 12211 11861 0 -1 1077944384 17231 0 0 0 238 4 0 0 20 0 28 0 475931038 29456678912 335476 33554432000 4194304 4196468 140733744212928 140290455800688 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12229] ppid=12211 vsize=28766288 memory=1808 CPUtime=2.47 cores=0-7
/proc/12213/task/12229/stat : 12229 (java) S 12211 12211 11861 0 -1 1077944384 22864 0 0 0 243 4 0 0 20 0 28 0 475931038 29456678912 335476 33554432000 4194304 4196468 140733744212928 140290454747632 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12230] ppid=12211 vsize=28766288 memory=924 CPUtime=0.91 cores=0-7
/proc/12213/task/12230/stat : 12230 (java) S 12211 12211 11861 0 -1 1077944384 16781 0 0 0 87 4 0 0 20 0 28 0 475931038 29456678912 335476 33554432000 4194304 4196468 140733744212928 140290453695088 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12231] ppid=12211 vsize=28766288 memory=4132 CPUtime=0 cores=0-7
/proc/12213/task/12231/stat : 12231 (java) S 12211 12211 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475931038 29456678912 335476 33554432000 4194304 4196468 140733744212928 140290452642272 140291862857429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12232] ppid=12211 vsize=28766288 memory=1412 CPUtime=1.16 cores=0-7
/proc/12213/task/12232/stat : 12232 (java) S 12211 12211 11861 0 -1 1077944384 4016 0 0 0 0 116 0 0 20 0 28 0 475931038 29456678912 335476 33554432000 4194304 4196468 140733744212928 140290451589808 140291862858370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12233] ppid=12211 vsize=28766288 memory=3792 CPUtime=2477.46 cores=0-7
/proc/12213/task/12233/stat : 12233 (java) R 12211 12211 11861 0 -1 4202560 20408 0 0 0 247723 23 0 0 20 0 28 0 475931471 29456678912 335476 33554432000 4194304 4196468 140733744212928 140290442369640 140291507492412 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12234] ppid=12211 vsize=28766288 memory=1452 CPUtime=2466.9 cores=0-7
/proc/12213/task/12234/stat : 12234 (java) R 12211 12211 11861 0 -1 4202560 27436 0 0 0 246663 27 0 0 20 0 28 0 475931471 29456678912 335476 33554432000 4194304 4196468 140733744212928 140290441318368 140291507953984 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12235] ppid=12211 vsize=28766288 memory=3620 CPUtime=2486.59 cores=0-7
/proc/12213/task/12235/stat : 12235 (java) R 12211 12211 11861 0 -1 4202560 63788 0 0 0 248507 152 0 0 20 0 28 0 475931471 29456678912 335476 33554432000 4194304 4196468 140733744212928 140290440265904 140291502663439 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12236] ppid=12211 vsize=28766288 memory=1576 CPUtime=2468.98 cores=0-7
/proc/12213/task/12236/stat : 12236 (java) R 12211 12211 11861 0 -1 4202560 196972 0 0 0 246696 202 0 0 20 0 28 0 475931471 29456678912 335476 33554432000 4194304 4196468 140733744212928 140290439216480 140291507738464 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12237] ppid=12211 vsize=28766288 memory=1028 CPUtime=2476.11 cores=0-7
/proc/12213/task/12237/stat : 12237 (java) R 12211 12211 11861 0 -1 4202560 24004 0 0 0 247565 46 0 0 20 0 28 0 475931471 29456678912 335476 33554432000 4194304 4196468 140733744212928 140290438160568 140291507994025 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12238] ppid=12211 vsize=28766288 memory=1060 CPUtime=2474.81 cores=0-7
/proc/12213/task/12238/stat : 12238 (java) R 12211 12211 11861 0 -1 4202560 27043 0 0 0 247441 40 0 0 20 0 28 0 475931471 29456678912 335476 33554432000 4194304 4196468 140733744212928 140290437108088 140291507994002 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12239] ppid=12211 vsize=28766288 memory=2828 CPUtime=2465.55 cores=0-7
/proc/12213/task/12239/stat : 12239 (java) R 12211 12211 11861 0 -1 4202560 15195 0 0 0 246536 19 0 0 20 0 28 0 475931471 29456678912 335476 33554432000 4194304 4196468 140733744212928 140290436054656 140291508289353 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
[pid=12213/tid=12240] ppid=12211 vsize=28766288 memory=756 CPUtime=2475.83 cores=0-7
/proc/12213/task/12240/stat : 12240 (java) R 12211 12211 11861 0 -1 4202560 23796 0 0 0 247546 37 0 0 20 0 28 0 475931471 29456678912 335476 33554432000 4194304 4196468 140733744212928 140290435002472 140291507994112 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 23642112 140733744219094 140733744219270 140733744219270 140733744222159 0
Current children cumulated CPU time: 19932.7 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1343356 KiB

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

[startup+2520.04 s]
# the end of solver process 12211 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002374 s, system=0 s

[startup+2520.1 s]
# the end of solver process 12213 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19909 s, system=24.2856 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 2520.1
CPU time (s): 19933.3
CPU user time (s): 19909
CPU system time (s): 24.2856
CPU usage (%): 790.972
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 2028376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19909
system time used= 24.2856
maximum resident set size= 2027124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 857617
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125593
involuntary context switches= 240860


# summary of solver processes directly reported to runsolver:
#   pid: 12211,12213
#   total CPU time (s): 19933.3
#   total CPU user time (s): 19909
#   total CPU system time (s): 24.2856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.696 second user time and 31.6852 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-20 18:24:02
IDJOB=4404496
IDBENCH=124057
IDSOLVER=2865
FILE ID=node121/4404496-1568996684
RUNJOBID= node121-1568994120-11888
PBS_JOBID= 21704715
Free space on /var/tmp= 13512 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/Bibd/Bibd-sum-open/Bibd-sum-40-052-13-10-03.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404496-1568996684/watcher-4404496-1568996684 -o /var/tmp/evaluation-result-4404496-1568996684/solver-4404496-1568996684 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1568994120-11888 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1202661036 HOME/instance-4404496-1568996684.xml

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

MD5SUM BENCH= 2a84a2defac446a2567920a0781991b9
RANDOM SEED=1202661036

node121.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.75
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.75
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.75
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.75
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:        16709424 kB
MemAvailable:   31856268 kB
Buffers:          120276 kB
Cached:         14977340 kB
SwapCached:         5528 kB
Active:          7522476 kB
Inactive:        7583880 kB
Active(anon):       4888 kB
Inactive(anon):    41460 kB
Active(file):    7517588 kB
Inactive(file):  7542420 kB
Unevictable:      111172 kB
Mlocked:          111172 kB
SwapTotal:      67108860 kB
SwapFree:       66988872 kB
Dirty:             26192 kB
Writeback:             0 kB
AnonPages:        116632 kB
Mapped:            47064 kB
Shmem:             29440 kB
Slab:             544920 kB
SReclaimable:     515296 kB
SUnreclaim:        29624 kB
KernelStack:        3600 kB
PageTables:         6000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13484 MiB
End job on node121 at 2019-09-20 19:06:02