Trace number 4271726

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)? (TO) 2004.26 252.118

General information on the benchmark

NameScheduling/Scheduling-fs-taillard/
Taillard-fs-100-05-1.xml
MD5SUM9d29287bef1009a71b89b3cc337f2ee8
Bench CategoryCOP (optimization 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 variables600
Number of constraints605
Number of domains1
Minimum domain size5368
Maximum domain size5368
Distribution of domain sizes[{"size":5368,"count":600}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":500}]
Minimum constraint arity1
Maximum constraint arity100
Distribution of constraint arities[{"arity":1,"count":100},{"arity":2,"count":500},{"arity":100,"count":5}]
Number of extensional constraints0
Number of intensional constraints600
Distribution of constraint types[{"type":"intension","count":600},{"type":"noOverlap","count":5}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271726-1502638037.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4271726-1502638037.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.19	c 8 solvers in parallel
0.34/0.26	c parse instance...
2.58/0.94	c solve instance...
2003.51/252.08	s UNKNOWN
2003.51/252.08	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 (15286 MiB free)
  memory of node 1: 16384 MiB (15683 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271726-1502638037/watcher-4271726-1502638037 -o /tmp/evaluation-result-4271726-1502638037/solver-4271726-1502638037 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502636672-7612 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1500325494 HOME/instance-4271726-1502638037.xml 

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

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

solver pid=8189, runsolver pid=8186

[startup+0.100158 s]*
/proc/loadavg: 5.94 5.67 3.84 2/200 8210
/proc/meminfo: memFree=31698208/32770624 swapFree=67108860/67108860
[pid=8189] ppid=8186 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8189/stat : 8189 (xcsp3-exec) S 8186 8189 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96891547 9740288 346 33554432000 4194304 5098028 140729202672288 140729202670392 140589448098428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28921856 140729202676842 140729202677052 140729202677052 140729202679787 0
/proc/8189/statm: 2378 346 289 221 0 87 0
[pid=8191] ppid=8189 vsize=25999808 memory=26232 CPUtime=0.11 cores=0-7
/proc/8191/stat : 8191 (java) S 8189 8189 7585 0 -1 1077944320 5509 0 0 0 10 1 0 0 20 0 20 0 96891547 26623803392 6558 33554432000 4194304 4196468 140730190363264 140730190345808 140106147553015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
/proc/8191/statm: 6499952 6558 2844 1 0 6488269 0
[pid=8191/tid=8192] ppid=8189 vsize=25999808 memory=4786091045164315544 CPUtime=0.09 cores=0-7
/proc/8191/task/8192/stat : 8192 (java) R 8189 8189 7585 0 -1 4202560 3503 0 0 0 8 1 0 0 20 0 20 0 96891547 26623803392 6558 33554432000 4194304 4196468 140730190363264 140106151785264 140106147564950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8193] ppid=8189 vsize=25999808 memory=732370793386257381 CPUtime=0 cores=0-7
/proc/8191/task/8193/stat : 8193 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891548 26623803392 6558 33554432000 4194304 4196468 140730190363264 140106070133008 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8194] ppid=8189 vsize=25999808 memory=140655048803968 CPUtime=0 cores=0-7
/proc/8191/task/8194/stat : 8194 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891548 26623803392 6558 33554432000 4194304 4196468 140730190363264 140106069080464 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8195] ppid=8189 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8195/stat : 8195 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891548 26623803392 6558 33554432000 4194304 4196468 140730190363264 140106068027920 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8196] ppid=8189 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8196/stat : 8196 (java) S 8189 8189 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96891548 26623803392 6558 33554432000 4194304 4196468 140730190363264 140106066975376 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8197] ppid=8189 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8197/stat : 8197 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891548 26623803392 6558 33554432000 4194304 4196468 140730190363264 140106065922832 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8198] ppid=8189 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/8191/task/8198/stat : 8198 (java) S 8189 8189 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96891548 26623803392 6558 33554432000 4194304 4196468 140730190363264 140106064870288 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8199] ppid=8189 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8199/stat : 8199 (java) S 8189 8189 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96891548 26623803392 6558 33554432000 4194304 4196468 140730190363264 140106063817744 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8200] ppid=8189 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8200/stat : 8200 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891548 26623803392 6558 33554432000 4194304 4196468 140730190363264 140106062765200 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8201] ppid=8189 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8201/stat : 8201 (java) S 8189 8189 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96891550 26623803392 6558 33554432000 4194304 4196468 140730190363264 140104822458352 140106147564162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8202] ppid=8189 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8202/stat : 8202 (java) S 8189 8189 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 96891550 26623803392 6558 33554432000 4194304 4196468 140730190363264 140104821404576 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8203] ppid=8189 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8203/stat : 8203 (java) S 8189 8189 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 96891550 26623803392 6558 33554432000 4194304 4196468 140730190363264 140104820351984 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8204] ppid=8189 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8204/stat : 8204 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891553 26623803392 6558 33554432000 4194304 4196468 140730190363264 140104819300560 140106147571611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8205] ppid=8189 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8205/stat : 8205 (java) S 8189 8189 7585 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 96891553 26623803392 6558 33554432000 4194304 4196468 140730190363264 140104818248176 140106147564162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8206] ppid=8189 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8206/stat : 8206 (java) S 8189 8189 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96891553 26623803392 6558 33554432000 4194304 4196468 140730190363264 140104817195632 140106147564162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8207] ppid=8189 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8207/stat : 8207 (java) R 8189 8189 7585 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 96891553 26623803392 6558 33554432000 4194304 4196468 140730190363264 140104816143088 140106147564162 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8208] ppid=8189 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/8191/task/8208/stat : 8208 (java) S 8189 8189 7585 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 20 0 96891553 26623803392 6558 33554432000 4194304 4196468 140730190363264 140104815090544 140106147564162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8209] ppid=8189 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8209/stat : 8209 (java) S 8189 8189 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96891553 26623803392 6558 33554432000 4194304 4196468 140730190363264 140104814037216 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8210] ppid=8189 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/8191/task/8210/stat : 8210 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891553 26623803392 6558 33554432000 4194304 4196468 140730190363264 140104812984752 140106147564162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27616 KiB

[startup+0.210384 s]*
/proc/loadavg: 5.94 5.67 3.84 2/200 8210
/proc/meminfo: memFree=31687188/32770624 swapFree=67108860/67108860
[pid=8189] ppid=8186 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8189/stat : 8189 (xcsp3-exec) S 8186 8189 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96891547 9740288 346 33554432000 4194304 5098028 140729202672288 140729202670392 140589448098428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28921856 140729202676842 140729202677052 140729202677052 140729202679787 0
/proc/8189/statm: 2378 346 289 221 0 87 0
[pid=8191] ppid=8189 vsize=26004096 memory=38824 CPUtime=0.34 cores=0-7
/proc/8191/stat : 8191 (java) S 8189 8189 7585 0 -1 1077944320 8242 0 0 0 31 3 0 0 20 0 20 0 96891547 26628194304 9706 33554432000 4194304 4196468 140730190363264 140730190345808 140106147553015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
/proc/8191/statm: 6501024 9706 3064 1 0 6488277 0
[pid=8191/tid=8192] ppid=8189 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/8191/task/8192/stat : 8192 (java) R 8189 8189 7585 0 -1 4202560 5428 0 0 0 18 1 0 0 20 0 20 0 96891547 26628161536 9726 33554432000 4194304 4196468 140730190363264 140106151755056 140106140270119 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8193] ppid=8189 vsize=26004064 memory=281309993256696 CPUtime=0 cores=0-7
/proc/8191/task/8193/stat : 8193 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891548 26628161536 9726 33554432000 4194304 4196468 140730190363264 140106070133008 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8194] ppid=8189 vsize=26004064 memory=140655048803968 CPUtime=0 cores=0-7
/proc/8191/task/8194/stat : 8194 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891548 26628161536 9726 33554432000 4194304 4196468 140730190363264 140106069080464 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8195] ppid=8189 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8195/stat : 8195 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891548 26628161536 9726 33554432000 4194304 4196468 140730190363264 140106068027920 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8196] ppid=8189 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8196/stat : 8196 (java) S 8189 8189 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96891548 26628161536 9726 33554432000 4194304 4196468 140730190363264 140106066975376 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8197] ppid=8189 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8197/stat : 8197 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891548 26628161536 9726 33554432000 4194304 4196468 140730190363264 140106065922832 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8198] ppid=8189 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8191/task/8198/stat : 8198 (java) S 8189 8189 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96891548 26628161536 9726 33554432000 4194304 4196468 140730190363264 140106064870288 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8199] ppid=8189 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8199/stat : 8199 (java) S 8189 8189 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96891548 26628161536 9726 33554432000 4194304 4196468 140730190363264 140106063817744 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8200] ppid=8189 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8200/stat : 8200 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891548 26628161536 9726 33554432000 4194304 4196468 140730190363264 140106062765200 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8201] ppid=8189 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8201/stat : 8201 (java) S 8189 8189 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96891550 26628161536 9726 33554432000 4194304 4196468 140730190363264 140104822458352 140106147564162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8202] ppid=8189 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8202/stat : 8202 (java) S 8189 8189 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 96891550 26628194304 9726 33554432000 4194304 4196468 140730190363264 140104821404576 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8203] ppid=8189 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8203/stat : 8203 (java) S 8189 8189 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 96891550 26628194304 9726 33554432000 4194304 4196468 140730190363264 140104820351984 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8204] ppid=8189 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8204/stat : 8204 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891553 26628194304 9726 33554432000 4194304 4196468 140730190363264 140104819300560 140106147571611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8205] ppid=8189 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/8191/task/8205/stat : 8205 (java) S 8189 8189 7585 0 -1 1077944384 421 0 0 0 1 0 0 0 20 0 20 0 96891553 26628161536 9726 33554432000 4194304 4196468 140730190363264 140104818248176 140106147564162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8206] ppid=8189 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8206/stat : 8206 (java) S 8189 8189 7585 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 20 0 96891553 26628161536 9726 33554432000 4194304 4196468 140730190363264 140104817195632 140106147564162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8207] ppid=8189 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/8191/task/8207/stat : 8207 (java) S 8189 8189 7585 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 20 0 96891553 26628161536 9726 33554432000 4194304 4196468 140730190363264 140104816143088 140106147564162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8208] ppid=8189 vsize=26004064 memory=0 CPUtime=0.08 cores=0-7
/proc/8191/task/8208/stat : 8208 (java) R 8189 8189 7585 0 -1 4202560 730 0 0 0 8 0 0 0 20 0 20 0 96891553 26628161536 9726 33554432000 4194304 4196468 140730190363264 140104815090544 140106140270167 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8209] ppid=8189 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8209/stat : 8209 (java) S 8189 8189 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96891553 26628161536 9726 33554432000 4194304 4196468 140730190363264 140104814037216 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8210] ppid=8189 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8191/task/8210/stat : 8210 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891553 26628161536 9726 33554432000 4194304 4196468 140730190363264 140104812984752 140106147564162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013608 KiB
Current children cumulated memory: 40208 KiB

[startup+0.31034 s]*
/proc/loadavg: 5.94 5.67 3.84 4/200 8210
/proc/meminfo: memFree=31683804/32770624 swapFree=67108860/67108860
[pid=8189] ppid=8186 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8189/stat : 8189 (xcsp3-exec) S 8186 8189 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96891547 9740288 346 33554432000 4194304 5098028 140729202672288 140729202670392 140589448098428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28921856 140729202676842 140729202677052 140729202677052 140729202679787 0
/proc/8189/statm: 2378 346 289 221 0 87 0
[pid=8191] ppid=8189 vsize=26004064 memory=45516 CPUtime=0.51 cores=0-7
/proc/8191/stat : 8191 (java) S 8189 8189 7585 0 -1 1077944320 9130 0 0 0 48 3 0 0 20 0 20 0 96891547 26628161536 11379 33554432000 4194304 4196468 140730190363264 140730190345808 140106147553015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
/proc/8191/statm: 6501016 11379 3086 1 0 6488269 0
[pid=8191/tid=8192] ppid=8189 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/8191/task/8192/stat : 8192 (java) R 8189 8189 7585 0 -1 4202560 6069 0 0 0 27 2 0 0 20 0 20 0 96891547 26628161536 11379 33554432000 4194304 4196468 140730190363264 140106151791808 140106131633502 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8193] ppid=8189 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8193/stat : 8193 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891548 26628161536 11379 33554432000 4194304 4196468 140730190363264 140106070133008 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8194] ppid=8189 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8194/stat : 8194 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891548 26628161536 11379 33554432000 4194304 4196468 140730190363264 140106069080464 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8195] ppid=8189 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8195/stat : 8195 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891548 26628161536 11379 33554432000 4194304 4196468 140730190363264 140106068027920 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8196] ppid=8189 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8196/stat : 8196 (java) S 8189 8189 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96891548 26628161536 11379 33554432000 4194304 4196468 140730190363264 140106066975376 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8197] ppid=8189 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/8191/task/8197/stat : 8197 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891548 26628161536 11379 33554432000 4194304 4196468 140730190363264 140106065922832 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8198] ppid=8189 vsize=26004064 memory=140654944547759 CPUtime=0 cores=0-7
/proc/8191/task/8198/stat : 8198 (java) S 8189 8189 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96891548 26628161536 11379 33554432000 4194304 4196468 140730190363264 140106064870288 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8199] ppid=8189 vsize=26004064 memory=140654944550064 CPUtime=0 cores=0-7
/proc/8191/task/8199/stat : 8199 (java) S 8189 8189 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96891548 26628161536 11379 33554432000 4194304 4196468 140730190363264 140106063817744 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8200] ppid=8189 vsize=26004064 memory=140654944552368 CPUtime=0 cores=0-7
/proc/8191/task/8200/stat : 8200 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891548 26628161536 11379 33554432000 4194304 4196468 140730190363264 140106062765200 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8201] ppid=8189 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8201/stat : 8201 (java) S 8189 8189 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96891550 26628161536 11379 33554432000 4194304 4196468 140730190363264 140104822458352 140106147564162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8202] ppid=8189 vsize=26004064 memory=281309889111696 CPUtime=0 cores=0-7
/proc/8191/task/8202/stat : 8202 (java) S 8189 8189 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 96891550 26628161536 11379 33554432000 4194304 4196468 140730190363264 140104821404576 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8203] ppid=8189 vsize=26004064 memory=281309889118608 CPUtime=0 cores=0-7
/proc/8191/task/8203/stat : 8203 (java) S 8189 8189 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 96891550 26628161536 11379 33554432000 4194304 4196468 140730190363264 140104820351984 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8204] ppid=8189 vsize=26004064 memory=281309889059888 CPUtime=0 cores=0-7
/proc/8191/task/8204/stat : 8204 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891553 26628161536 11379 33554432000 4194304 4196468 140730190363264 140104819300560 140106147571611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8205] ppid=8189 vsize=26004064 memory=281309889132432 CPUtime=0.02 cores=0-7
/proc/8191/task/8205/stat : 8205 (java) S 8189 8189 7585 0 -1 1077944384 434 0 0 0 2 0 0 0 20 0 20 0 96891553 26628161536 11379 33554432000 4194304 4196468 140730190363264 140104818248176 140106147564162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8206] ppid=8189 vsize=26004064 memory=281309889139344 CPUtime=0.01 cores=0-7
/proc/8191/task/8206/stat : 8206 (java) R 8189 8189 7585 0 -1 4202560 242 0 0 0 1 0 0 0 20 0 20 0 96891553 26628161536 11379 33554432000 4194304 4196468 140730190363264 140104817185552 140106128253312 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8207] ppid=8189 vsize=26004064 memory=281309889137040 CPUtime=0.02 cores=0-7
/proc/8191/task/8207/stat : 8207 (java) S 8189 8189 7585 0 -1 1077944384 252 0 0 0 2 0 0 0 20 0 20 0 96891553 26628161536 11379 33554432000 4194304 4196468 140730190363264 140104816143088 140106147564162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8208] ppid=8189 vsize=26004064 memory=281309889153200 CPUtime=0.13 cores=0-7
/proc/8191/task/8208/stat : 8208 (java) R 8189 8189 7585 0 -1 4202560 848 0 0 0 13 0 0 0 20 0 20 0 96891553 26628161536 11379 33554432000 4194304 4196468 140730190363264 140104815086912 140106147574362 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8209] ppid=8189 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8209/stat : 8209 (java) S 8189 8189 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96891553 26628161536 11379 33554432000 4194304 4196468 140730190363264 140104814037216 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8210] ppid=8189 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8191/task/8210/stat : 8210 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891553 26628161536 11379 33554432000 4194304 4196468 140730190363264 140104812984752 140106147564162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46900 KiB

[startup+0.701047 s]
/proc/loadavg: 5.94 5.67 3.84 4/200 8210
/proc/meminfo: memFree=31663484/32770624 swapFree=67108860/67108860
[pid=8189] ppid=8186 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8189/stat : 8189 (xcsp3-exec) S 8186 8189 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96891547 9740288 346 33554432000 4194304 5098028 140729202672288 140729202670392 140589448098428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28921856 140729202676842 140729202677052 140729202677052 140729202679787 0
/proc/8189/statm: 2378 346 289 221 0 87 0
[pid=8191] ppid=8189 vsize=26006188 memory=92480 CPUtime=1.76 cores=0-7
/proc/8191/stat : 8191 (java) S 8189 8189 7585 0 -1 1077944320 12706 0 0 0 171 5 0 0 20 0 20 0 96891547 26630336512 23120 33554432000 4194304 4196468 140730190363264 140730190345808 140106147553015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
/proc/8191/statm: 6501547 23120 3205 1 0 6488781 0
[pid=8191/tid=8192] ppid=8189 vsize=26006188 memory=281309889448064 CPUtime=0.67 cores=0-7
/proc/8191/task/8192/stat : 8192 (java) R 8189 8189 7585 0 -1 4202560 6856 0 0 0 64 3 0 0 20 0 20 0 96891547 26630336512 23120 33554432000 4194304 4196468 140730190363264 140106151788128 140105742424608 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8193] ppid=8189 vsize=26006188 memory=5123895985313 CPUtime=0 cores=0-7
/proc/8191/task/8193/stat : 8193 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891548 26630336512 23120 33554432000 4194304 4196468 140730190363264 140106070133008 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8194] ppid=8189 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8194/stat : 8194 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891548 26630336512 23120 33554432000 4194304 4196468 140730190363264 140106069080464 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8195] ppid=8189 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/8191/task/8195/stat : 8195 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96891548 26630336512 23120 33554432000 4194304 4196468 140730190363264 140106068027920 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0

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

[pid=8191/tid=8218] ppid=8189 vsize=26538700 memory=1384 CPUtime=159.06 cores=0-7
/proc/8191/task/8218/stat : 8218 (java) R 8189 8189 7585 0 -1 4202560 1093 0 0 0 15905 1 0 0 20 0 28 0 96891646 27175628800 311710 33554432000 4194304 4196468 140730190363264 140104797604856 140105753270093 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
Current children cumulated CPU time: 1287.76 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1248224 KiB

[startup+222.301 s]
/proc/loadavg: 8.61 7.14 4.82 9/207 8218
/proc/meminfo: memFree=30416288/32770624 swapFree=67108860/67108860
[pid=8189] ppid=8186 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8189/stat : 8189 (xcsp3-exec) S 8186 8189 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96891547 9740288 346 33554432000 4194304 5098028 140729202672288 140729202670392 140589448098428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28921856 140729202676842 140729202677052 140729202677052 140729202679787 0
/proc/8189/statm: 2378 346 289 221 0 87 0
[pid=8191] ppid=8189 vsize=26538700 memory=1312156 CPUtime=1766.44 cores=0-7
/proc/8191/stat : 8191 (java) S 8189 8189 7585 0 -1 1077944320 152207 0 0 0 176472 172 0 0 20 0 28 0 96891547 27175628800 328039 33554432000 4194304 4196468 140730190363264 140730190345808 140106147553015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
/proc/8191/statm: 6634675 328039 3293 1 0 6621909 0
[pid=8191/tid=8192] ppid=8189 vsize=26538700 memory=1312156 CPUtime=0.93 cores=0-7
/proc/8191/task/8192/stat : 8192 (java) S 8189 8189 7585 0 -1 1077944384 7030 0 0 0 88 5 0 0 20 0 28 0 96891547 27175628800 328039 33554432000 4194304 4196468 140730190363264 140106151793792 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8193] ppid=8189 vsize=26538700 memory=1319816 CPUtime=0.47 cores=0-7
/proc/8191/task/8193/stat : 8193 (java) S 8189 8189 7585 0 -1 1077944384 1915 0 0 0 37 10 0 0 20 0 28 0 96891548 27175628800 328039 33554432000 4194304 4196468 140730190363264 140106070133008 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8194] ppid=8189 vsize=26538700 memory=1319816 CPUtime=0.46 cores=0-7
/proc/8191/task/8194/stat : 8194 (java) S 8189 8189 7585 0 -1 1077944384 1464 0 0 0 37 9 0 0 20 0 28 0 96891548 27175628800 328039 33554432000 4194304 4196468 140730190363264 140106069080464 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8195] ppid=8189 vsize=26538700 memory=1319816 CPUtime=0.48 cores=0-7
/proc/8191/task/8195/stat : 8195 (java) S 8189 8189 7585 0 -1 1077944384 1937 0 0 0 37 11 0 0 20 0 28 0 96891548 27175628800 328039 33554432000 4194304 4196468 140730190363264 140106068027920 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8196] ppid=8189 vsize=26538700 memory=1312156 CPUtime=0.47 cores=0-7
/proc/8191/task/8196/stat : 8196 (java) S 8189 8189 7585 0 -1 1077944384 3514 0 0 0 37 10 0 0 20 0 28 0 96891548 27175628800 328039 33554432000 4194304 4196468 140730190363264 140106066975376 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8197] ppid=8189 vsize=26538700 memory=1384 CPUtime=0.47 cores=0-7
/proc/8191/task/8197/stat : 8197 (java) S 8189 8189 7585 0 -1 1077944384 605 0 0 0 37 10 0 0 20 0 28 0 96891548 27175628800 328039 33554432000 4194304 4196468 140730190363264 140106065922832 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8198] ppid=8189 vsize=26538700 memory=1312156 CPUtime=0.46 cores=0-7
/proc/8191/task/8198/stat : 8198 (java) S 8189 8189 7585 0 -1 1077944384 1345 0 0 0 37 9 0 0 20 0 28 0 96891548 27175628800 328039 33554432000 4194304 4196468 140730190363264 140106064870288 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8199] ppid=8189 vsize=26538700 memory=140654944603073 CPUtime=0.46 cores=0-7
/proc/8191/task/8199/stat : 8199 (java) S 8189 8189 7585 0 -1 1077944384 2367 0 0 0 36 10 0 0 20 0 28 0 96891548 27175628800 328039 33554432000 4194304 4196468 140730190363264 140106063817744 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8200] ppid=8189 vsize=26538700 memory=28224 CPUtime=0.48 cores=0-7
/proc/8191/task/8200/stat : 8200 (java) S 8189 8189 7585 0 -1 1077944384 1280 0 0 0 39 9 0 0 20 0 28 0 96891548 27175628800 328039 33554432000 4194304 4196468 140730190363264 140106062765200 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8201] ppid=8189 vsize=26538700 memory=1312156 CPUtime=0.23 cores=0-7
/proc/8191/task/8201/stat : 8201 (java) S 8189 8189 7585 0 -1 1077944384 9909 0 0 0 19 4 0 0 20 0 28 0 96891550 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104822458352 140106147564162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8202] ppid=8189 vsize=26538700 memory=960 CPUtime=0 cores=0-7
/proc/8191/task/8202/stat : 8202 (java) S 8189 8189 7585 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 96891550 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104821404640 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8203] ppid=8189 vsize=26538700 memory=2340 CPUtime=0 cores=0-7
/proc/8191/task/8203/stat : 8203 (java) S 8189 8189 7585 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 96891550 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104820352000 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8204] ppid=8189 vsize=26538700 memory=374 CPUtime=0 cores=0-7
/proc/8191/task/8204/stat : 8204 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 96891553 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104819300560 140106147571611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8205] ppid=8189 vsize=26538700 memory=96 CPUtime=3.76 cores=0-7
/proc/8191/task/8205/stat : 8205 (java) S 8189 8189 7585 0 -1 1077944384 25060 0 0 0 371 5 0 0 20 0 28 0 96891553 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104818248176 140106147564162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8206] ppid=8189 vsize=26538700 memory=4132 CPUtime=3.67 cores=0-7
/proc/8191/task/8206/stat : 8206 (java) S 8189 8189 7585 0 -1 1077944384 25480 0 0 0 360 7 0 0 20 0 28 0 96891553 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104817195632 140106147564162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8207] ppid=8189 vsize=26538700 memory=28224 CPUtime=3.74 cores=0-7
/proc/8191/task/8207/stat : 8207 (java) S 8189 8189 7585 0 -1 1077944384 23835 0 0 0 368 6 0 0 20 0 28 0 96891553 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104816143088 140106147564162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8208] ppid=8189 vsize=26538700 memory=1228 CPUtime=0.96 cores=0-7
/proc/8191/task/8208/stat : 8208 (java) S 8189 8189 7585 0 -1 1077944384 13996 0 0 0 92 4 0 0 20 0 28 0 96891553 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104815090544 140106147564162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8209] ppid=8189 vsize=26538700 memory=796 CPUtime=0 cores=0-7
/proc/8191/task/8209/stat : 8209 (java) S 8189 8189 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 96891553 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104814037216 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8210] ppid=8189 vsize=26538700 memory=1948 CPUtime=0.04 cores=0-7
/proc/8191/task/8210/stat : 8210 (java) S 8189 8189 7585 0 -1 1077944384 2277 0 0 0 1 3 0 0 20 0 28 0 96891553 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104812984752 140106147564162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8211] ppid=8189 vsize=26538700 memory=8536 CPUtime=219.17 cores=0-7
/proc/8191/task/8211/stat : 8211 (java) R 8189 8189 7585 0 -1 4202560 2076 0 0 0 21914 3 0 0 20 0 28 0 96891643 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104804973400 140105749754177 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8212] ppid=8189 vsize=26538700 memory=140654945084305 CPUtime=219.36 cores=0-7
/proc/8191/task/8212/stat : 8212 (java) R 8189 8189 7585 0 -1 4202560 1354 0 0 0 21935 1 0 0 20 0 28 0 96891646 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104803921304 140105749498647 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8213] ppid=8189 vsize=26538700 memory=18292 CPUtime=218.75 cores=0-7
/proc/8191/task/8213/stat : 8213 (java) R 8189 8189 7585 0 -1 4202560 2975 0 0 0 21872 3 0 0 20 0 28 0 96891646 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104802868912 140105749754024 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8214] ppid=8189 vsize=26538700 memory=281309890802736 CPUtime=218.88 cores=0-7
/proc/8191/task/8214/stat : 8214 (java) R 8189 8189 7585 0 -1 4202560 4728 0 0 0 21875 13 0 0 20 0 28 0 96891646 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104801816200 140105753546157 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8215] ppid=8189 vsize=26538700 memory=7957689449132282197 CPUtime=218.14 cores=0-7
/proc/8191/task/8215/stat : 8215 (java) R 8189 8189 7585 0 -1 4202560 11365 0 0 0 21786 28 0 0 20 0 28 0 96891646 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104800763800 140105749754024 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8216] ppid=8189 vsize=26538700 memory=18292 CPUtime=217.42 cores=0-7
/proc/8191/task/8216/stat : 8216 (java) R 8189 8189 7585 0 -1 4202560 2932 0 0 0 21740 2 0 0 20 0 28 0 96891646 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104799714112 140105753545067 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8217] ppid=8189 vsize=26538700 memory=1792 CPUtime=218.39 cores=0-7
/proc/8191/task/8217/stat : 8217 (java) R 8189 8189 7585 0 -1 4202560 2198 0 0 0 21837 2 0 0 20 0 28 0 96891646 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104798658296 140105753270691 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8218] ppid=8189 vsize=26538700 memory=4132 CPUtime=219.02 cores=0-7
/proc/8191/task/8218/stat : 8218 (java) R 8189 8189 7585 0 -1 4202560 1245 0 0 0 21901 1 0 0 20 0 28 0 96891646 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104797604936 140105749498686 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
Current children cumulated CPU time: 1766.44 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1313540 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.59 7.27 4.93 9/207 8218
/proc/meminfo: memFree=30416700/32770624 swapFree=67108860/67108860
[pid=8189] ppid=8186 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8189/stat : 8189 (xcsp3-exec) S 8186 8189 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96891547 9740288 346 33554432000 4194304 5098028 140729202672288 140729202670392 140589448098428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28921856 140729202676842 140729202677052 140729202677052 140729202679787 0
/proc/8189/statm: 2378 346 289 221 0 87 0
[pid=8191] ppid=8189 vsize=26538700 memory=1312156 CPUtime=2003.51 cores=0-7
/proc/8191/stat : 8191 (java) S 8189 8189 7585 0 -1 1077944320 152248 0 0 0 200179 172 0 0 20 0 28 0 96891547 27175628800 328039 33554432000 4194304 4196468 140730190363264 140730190345808 140106147553015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
/proc/8191/statm: 6634675 328039 3293 1 0 6621909 0
[pid=8191/tid=8192] ppid=8189 vsize=26538700 memory=33 CPUtime=0.93 cores=0-7
/proc/8191/task/8192/stat : 8192 (java) S 8189 8189 7585 0 -1 1077944384 7030 0 0 0 88 5 0 0 20 0 28 0 96891547 27175628800 328039 33554432000 4194304 4196468 140730190363264 140106151793792 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8193] ppid=8189 vsize=26538700 memory=-7003737579269690708 CPUtime=0.47 cores=0-7
/proc/8191/task/8193/stat : 8193 (java) S 8189 8189 7585 0 -1 1077944384 1915 0 0 0 37 10 0 0 20 0 28 0 96891548 27175628800 328039 33554432000 4194304 4196468 140730190363264 140106070133008 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8194] ppid=8189 vsize=26538700 memory=920 CPUtime=0.46 cores=0-7
/proc/8191/task/8194/stat : 8194 (java) S 8189 8189 7585 0 -1 1077944384 1464 0 0 0 37 9 0 0 20 0 28 0 96891548 27175628800 328039 33554432000 4194304 4196468 140730190363264 140106069080464 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8195] ppid=8189 vsize=26538700 memory=1384 CPUtime=0.48 cores=0-7
/proc/8191/task/8195/stat : 8195 (java) S 8189 8189 7585 0 -1 1077944384 1937 0 0 0 37 11 0 0 20 0 28 0 96891548 27175628800 328039 33554432000 4194304 4196468 140730190363264 140106068027920 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8196] ppid=8189 vsize=26538700 memory=1312156 CPUtime=0.47 cores=0-7
/proc/8191/task/8196/stat : 8196 (java) S 8189 8189 7585 0 -1 1077944384 3514 0 0 0 37 10 0 0 20 0 28 0 96891548 27175628800 328039 33554432000 4194304 4196468 140730190363264 140106066975376 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8197] ppid=8189 vsize=26538700 memory=3516 CPUtime=0.47 cores=0-7
/proc/8191/task/8197/stat : 8197 (java) S 8189 8189 7585 0 -1 1077944384 605 0 0 0 37 10 0 0 20 0 28 0 96891548 27175628800 328039 33554432000 4194304 4196468 140730190363264 140106065922832 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8198] ppid=8189 vsize=26538700 memory=1384 CPUtime=0.46 cores=0-7
/proc/8191/task/8198/stat : 8198 (java) S 8189 8189 7585 0 -1 1077944384 1345 0 0 0 37 9 0 0 20 0 28 0 96891548 27175628800 328039 33554432000 4194304 4196468 140730190363264 140106064870288 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8199] ppid=8189 vsize=26538700 memory=1312156 CPUtime=0.46 cores=0-7
/proc/8191/task/8199/stat : 8199 (java) S 8189 8189 7585 0 -1 1077944384 2367 0 0 0 36 10 0 0 20 0 28 0 96891548 27175628800 328039 33554432000 4194304 4196468 140730190363264 140106063817744 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8200] ppid=8189 vsize=26538700 memory=932 CPUtime=0.48 cores=0-7
/proc/8191/task/8200/stat : 8200 (java) S 8189 8189 7585 0 -1 1077944384 1280 0 0 0 39 9 0 0 20 0 28 0 96891548 27175628800 328039 33554432000 4194304 4196468 140730190363264 140106062765200 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8201] ppid=8189 vsize=26538700 memory=1572 CPUtime=0.23 cores=0-7
/proc/8191/task/8201/stat : 8201 (java) S 8189 8189 7585 0 -1 1077944384 9909 0 0 0 19 4 0 0 20 0 28 0 96891550 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104822458352 140106147564162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8202] ppid=8189 vsize=26538700 memory=2200 CPUtime=0 cores=0-7
/proc/8191/task/8202/stat : 8202 (java) S 8189 8189 7585 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 96891550 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104821404640 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8203] ppid=8189 vsize=26538700 memory=6504 CPUtime=0 cores=0-7
/proc/8191/task/8203/stat : 8203 (java) S 8189 8189 7585 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 96891550 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104820352000 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8204] ppid=8189 vsize=26538700 memory=836 CPUtime=0 cores=0-7
/proc/8191/task/8204/stat : 8204 (java) S 8189 8189 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 96891553 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104819300560 140106147571611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8205] ppid=8189 vsize=26538700 memory=4104 CPUtime=3.76 cores=0-7
/proc/8191/task/8205/stat : 8205 (java) S 8189 8189 7585 0 -1 1077944384 25060 0 0 0 371 5 0 0 20 0 28 0 96891553 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104818248176 140106147564162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8206] ppid=8189 vsize=26538700 memory=1696 CPUtime=3.67 cores=0-7
/proc/8191/task/8206/stat : 8206 (java) S 8189 8189 7585 0 -1 1077944384 25480 0 0 0 360 7 0 0 20 0 28 0 96891553 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104817195632 140106147564162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8207] ppid=8189 vsize=26538700 memory=8112282956445269571 CPUtime=3.74 cores=0-7
/proc/8191/task/8207/stat : 8207 (java) S 8189 8189 7585 0 -1 1077944384 23835 0 0 0 368 6 0 0 20 0 28 0 96891553 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104816143088 140106147564162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8208] ppid=8189 vsize=26538700 memory=1436 CPUtime=0.96 cores=0-7
/proc/8191/task/8208/stat : 8208 (java) S 8189 8189 7585 0 -1 1077944384 13996 0 0 0 92 4 0 0 20 0 28 0 96891553 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104815090544 140106147564162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8209] ppid=8189 vsize=26538700 memory=1200 CPUtime=0 cores=0-7
/proc/8191/task/8209/stat : 8209 (java) S 8189 8189 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 96891553 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104814037216 140106147563221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8210] ppid=8189 vsize=26538700 memory=15872 CPUtime=0.04 cores=0-7
/proc/8191/task/8210/stat : 8210 (java) S 8189 8189 7585 0 -1 1077944384 2279 0 0 0 1 3 0 0 20 0 28 0 96891553 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104812984752 140106147564162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8211] ppid=8189 vsize=26538700 memory=4040 CPUtime=248.88 cores=0-7
/proc/8191/task/8211/stat : 8211 (java) R 8189 8189 7585 0 -1 4202560 2081 0 0 0 24885 3 0 0 20 0 28 0 96891643 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104804973400 140105749753988 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8212] ppid=8189 vsize=26538700 memory=16676 CPUtime=249.06 cores=0-7
/proc/8191/task/8212/stat : 8212 (java) R 8189 8189 7585 0 -1 4202560 1360 0 0 0 24905 1 0 0 20 0 28 0 96891646 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104803921304 140105748622018 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8213] ppid=8189 vsize=26538700 memory=18292 CPUtime=248.45 cores=0-7
/proc/8191/task/8213/stat : 8213 (java) R 8189 8189 7585 0 -1 4202560 2982 0 0 0 24842 3 0 0 20 0 28 0 96891646 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104802868912 140105749753985 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8214] ppid=8189 vsize=26538700 memory=1792 CPUtime=248.59 cores=0-7
/proc/8191/task/8214/stat : 8214 (java) R 8189 8189 7585 0 -1 4202560 4730 0 0 0 24846 13 0 0 20 0 28 0 96891646 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104801816200 140105750186673 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8215] ppid=8189 vsize=26538700 memory=648 CPUtime=247.85 cores=0-7
/proc/8191/task/8215/stat : 8215 (java) R 8189 8189 7585 0 -1 4202560 11378 0 0 0 24757 28 0 0 20 0 28 0 96891646 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104800763800 140105750162686 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8216] ppid=8189 vsize=26538700 memory=1236 CPUtime=246.54 cores=0-7
/proc/8191/task/8216/stat : 8216 (java) R 8189 8189 7585 0 -1 4202560 2935 0 0 0 24652 2 0 0 20 0 28 0 96891646 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104799714112 140105750012480 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8217] ppid=8189 vsize=26538700 memory=960 CPUtime=248.1 cores=0-7
/proc/8191/task/8217/stat : 8217 (java) R 8189 8189 7585 0 -1 4202560 2200 0 0 0 24808 2 0 0 20 0 28 0 96891646 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104798658296 140105750186641 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
[pid=8191/tid=8218] ppid=8189 vsize=26538700 memory=1384 CPUtime=248.73 cores=0-7
/proc/8191/task/8218/stat : 8218 (java) R 8189 8189 7585 0 -1 4202560 1246 0 0 0 24872 1 0 0 20 0 28 0 96891646 27175628800 328039 33554432000 4194304 4196468 140730190363264 140104797604936 140105753270667 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 13680640 140730190369944 140730190370120 140730190370120 140730190372815 0
Current children cumulated CPU time: 2003.51 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1313540 KiB

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

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

[startup+252.118 s]
# the end of solver process 8191 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2002.52 s, system=1.74065 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): 252.118
CPU time (s): 2004.26
CPU user time (s): 2002.52
CPU system time (s): 1.74065
CPU usage (%): 794.971
Max. virtual memory (cumulated for all children) (KiB): 26550004
Max. memory (cumulated for all children) (KiB): 1321200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2002.52
system time used= 1.74065
maximum resident set size= 1320940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153340
page faults= 0
swaps= 0
block input operations= 0
block output operations= 496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13153
involuntary context switches= 21915


# summary of solver processes directly reported to runsolver:
#   pid: 8189,8191
#   total CPU time (s): 2004.26
#   total CPU user time (s): 2002.52
#   total CPU system time (s): 1.74065

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.54274 second user time and 2.52763 second system time

The end

Launcher Data

Begin job on node112 at 2017-08-13 17:12:59
IDJOB=4271726
IDBENCH=115596
IDSOLVER=2663
FILE ID=node112/4271726-1502638037
RUNJOBID= node112-1502636672-7612
PBS_JOBID= 20628326
Free space on /tmp= 61788 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-100-05-1.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271726-1502638037/watcher-4271726-1502638037 -o /tmp/evaluation-result-4271726-1502638037/solver-4271726-1502638037 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502636672-7612 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1500325494 HOME/instance-4271726-1502638037.xml

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

MD5SUM BENCH= 9d29287bef1009a71b89b3cc337f2ee8
RANDOM SEED=1500325494

node112.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.24
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.24
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.24
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.24
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:        31714188 kB
MemAvailable:   31980680 kB
Buffers:          125408 kB
Cached:           421796 kB
SwapCached:            0 kB
Active:           403572 kB
Inactive:         196140 kB
Active(anon):       3948 kB
Inactive(anon):    76476 kB
Active(file):     399624 kB
Inactive(file):   119664 kB
Unevictable:        6276 kB
Mlocked:            6276 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7960 kB
Writeback:             0 kB
AnonPages:         68724 kB
Mapped:            43496 kB
Shmem:             25224 kB
Slab:             152324 kB
SReclaimable:     126076 kB
SUnreclaim:        26248 kB
KernelStack:        3536 kB
PageTables:         5120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61780 MiB
End job on node112 at 2017-08-13 17:17:11