Trace number 4281550

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-18)? (TO) 1996.55 252.118

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-020-20-2.xml
MD5SUM5792b685e17c6bfa87a9d80140b648f0
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1603
Best CPU time to get the best result obtained on this benchmark252.02299
Satisfiable
(Un)Satisfiability was proved
Number of variables420
Number of constraints440
Number of domains1
Minimum domain size1674
Maximum domain size1674
Distribution of domain sizes[{"size":1674,"count":420}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":20},{"degree":3,"count":400}]
Minimum constraint arity1
Maximum constraint arity20
Distribution of constraint arities[{"arity":1,"count":20},{"arity":2,"count":400},{"arity":20,"count":20}]
Number of extensional constraints0
Number of intensional constraints420
Distribution of constraint types[{"type":"intension","count":420},{"type":"noOverlap","count":20}]
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-4281550-1503175475.xml"  -tl '2016s' -p 8 -x 0
0.12/0.15	c [HOME/instance-4281550-1503175475.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
2.56/0.93	c solve instance...
1995.74/252.09	s UNKNOWN
1995.74/252.09	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 (12783 MiB free)
  memory of node 1: 16384 MiB (12126 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281550-1503175475/watcher-4281550-1503175475 -o /tmp/evaluation-result-4281550-1503175475/solver-4281550-1503175475 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503164239-4277 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 474119835 HOME/instance-4281550-1503175475.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=6423, runsolver pid=6420

[startup+0.100121 s]*
/proc/loadavg: 8.35 8.21 8.20 3/200 6444
/proc/meminfo: memFree=25491888/32770624 swapFree=67108860/67108860
[pid=6423] ppid=6420 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6423/stat : 6423 (xcsp3-exec) S 6420 6423 4250 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150628396 9740288 346 33554432000 4194304 5098028 140735766931232 140735766929336 140288289612412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39555072 140735766938731 140735766938940 140735766938940 140735766941675 0
/proc/6423/statm: 2378 346 289 221 0 87 0
[pid=6425] ppid=6423 vsize=25999808 memory=27112 CPUtime=0.12 cores=0-7
/proc/6425/stat : 6425 (java) S 6423 6423 4250 0 -1 1077944320 5699 0 0 0 10 2 0 0 20 0 20 0 150628396 26623803392 6778 33554432000 4194304 4196468 140734388994320 140734388976864 140159385747191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
/proc/6425/statm: 6499952 6778 2845 1 0 6488269 0
[pid=6425/tid=6426] ppid=6423 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/6425/task/6426/stat : 6426 (java) R 6423 6423 4250 0 -1 4202560 3719 0 0 0 7 1 0 0 20 0 20 0 150628396 26623803392 6778 33554432000 4194304 4196468 140734388994320 140159389973728 140159369790821 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6427] ppid=6423 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/6425/task/6427/stat : 6427 (java) S 6423 6423 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150628397 26623803392 6778 33554432000 4194304 4196468 140734388994320 140159346707472 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6428] ppid=6423 vsize=25999808 memory=140428648478336 CPUtime=0 cores=0-7
/proc/6425/task/6428/stat : 6428 (java) S 6423 6423 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150628397 26623803392 6778 33554432000 4194304 4196468 140734388994320 140158943280272 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6429] ppid=6423 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6429/stat : 6429 (java) S 6423 6423 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150628397 26623803392 6778 33554432000 4194304 4196468 140734388994320 140158942227216 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6430] ppid=6423 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6430/stat : 6430 (java) S 6423 6423 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150628397 26623803392 6778 33554432000 4194304 4196468 140734388994320 140158941174672 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6431] ppid=6423 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6431/stat : 6431 (java) S 6423 6423 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150628397 26623803392 6778 33554432000 4194304 4196468 140734388994320 140158940121616 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6432] ppid=6423 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/6425/task/6432/stat : 6432 (java) S 6423 6423 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150628397 26623803392 6778 33554432000 4194304 4196468 140734388994320 140158939069072 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6433] ppid=6423 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6433/stat : 6433 (java) S 6423 6423 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150628397 26623803392 6778 33554432000 4194304 4196468 140734388994320 140158938016016 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6434] ppid=6423 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6434/stat : 6434 (java) S 6423 6423 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150628397 26623803392 6778 33554432000 4194304 4196468 140734388994320 140158936963472 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6435] ppid=6423 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6435/stat : 6435 (java) S 6423 6423 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150628399 26623803392 6778 33554432000 4194304 4196468 140734388994320 140157992782576 140159385758338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6436] ppid=6423 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6436/stat : 6436 (java) S 6423 6423 4250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150628399 26623803392 6778 33554432000 4194304 4196468 140734388994320 140157991728800 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6437] ppid=6423 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6437/stat : 6437 (java) S 6423 6423 4250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150628399 26623803392 6778 33554432000 4194304 4196468 140734388994320 140157990675696 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6438] ppid=6423 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6438/stat : 6438 (java) S 6423 6423 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150628402 26623803392 6778 33554432000 4194304 4196468 140734388994320 140157989624272 140159385765787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6439] ppid=6423 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6439/stat : 6439 (java) S 6423 6423 4250 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 150628402 26623803392 6778 33554432000 4194304 4196468 140734388994320 140157988571376 140159385758338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6440] ppid=6423 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6440/stat : 6440 (java) S 6423 6423 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150628402 26623803392 6778 33554432000 4194304 4196468 140734388994320 140157987518832 140159385758338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6441] ppid=6423 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6441/stat : 6441 (java) S 6423 6423 4250 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 150628402 26623803392 6778 33554432000 4194304 4196468 140734388994320 140157986465776 140159385758338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6442] ppid=6423 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/6425/task/6442/stat : 6442 (java) R 6423 6423 4250 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 20 0 150628402 26623803392 6778 33554432000 4194304 4196468 140734388994320 140157985413232 140159364589464 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6443] ppid=6423 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6443/stat : 6443 (java) S 6423 6423 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150628402 26623803392 6778 33554432000 4194304 4196468 140734388994320 140157984361440 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6444] ppid=6423 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/6425/task/6444/stat : 6444 (java) S 6423 6423 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150628402 26623803392 6778 33554432000 4194304 4196468 140734388994320 140157983308976 140159385758338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28496 KiB

[startup+0.210233 s]*
/proc/loadavg: 8.35 8.21 8.20 2/200 6444
/proc/meminfo: memFree=25482532/32770624 swapFree=67108860/67108860
[pid=6423] ppid=6420 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6423/stat : 6423 (xcsp3-exec) S 6420 6423 4250 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150628396 9740288 346 33554432000 4194304 5098028 140735766931232 140735766929336 140288289612412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39555072 140735766938731 140735766938940 140735766938940 140735766941675 0
/proc/6423/statm: 2378 346 289 221 0 87 0
[pid=6425] ppid=6423 vsize=26004064 memory=38876 CPUtime=0.33 cores=0-7
/proc/6425/stat : 6425 (java) S 6423 6423 4250 0 -1 1077944320 8254 0 0 0 30 3 0 0 20 0 20 0 150628396 26628161536 9719 33554432000 4194304 4196468 140734388994320 140734388976864 140159385747191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
/proc/6425/statm: 6501016 9719 3061 1 0 6488269 0
[pid=6425/tid=6426] ppid=6423 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/6425/task/6426/stat : 6426 (java) R 6423 6423 4250 0 -1 4202560 5462 0 0 0 17 2 0 0 20 0 20 0 150628396 26628161536 9719 33554432000 4194304 4196468 140734388994320 140159389969136 140159369827678 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6427] ppid=6423 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/6425/task/6427/stat : 6427 (java) S 6423 6423 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150628397 26628161536 9719 33554432000 4194304 4196468 140734388994320 140159346707472 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6428] ppid=6423 vsize=26004064 memory=288370804800190080 CPUtime=0 cores=0-7
/proc/6425/task/6428/stat : 6428 (java) S 6423 6423 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150628397 26628161536 9719 33554432000 4194304 4196468 140734388994320 140158943280272 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6429] ppid=6423 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6425/task/6429/stat : 6429 (java) S 6423 6423 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150628397 26628161536 9719 33554432000 4194304 4196468 140734388994320 140158942227216 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6430] ppid=6423 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6430/stat : 6430 (java) S 6423 6423 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150628397 26628161536 9719 33554432000 4194304 4196468 140734388994320 140158941174672 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6431] ppid=6423 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6431/stat : 6431 (java) S 6423 6423 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150628397 26628161536 9719 33554432000 4194304 4196468 140734388994320 140158940121616 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6432] ppid=6423 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6425/task/6432/stat : 6432 (java) S 6423 6423 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150628397 26628161536 9719 33554432000 4194304 4196468 140734388994320 140158939069072 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6433] ppid=6423 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6433/stat : 6433 (java) S 6423 6423 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150628397 26628161536 9719 33554432000 4194304 4196468 140734388994320 140158938016016 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6434] ppid=6423 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6434/stat : 6434 (java) S 6423 6423 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150628397 26628161536 9719 33554432000 4194304 4196468 140734388994320 140158936963472 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6435] ppid=6423 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6435/stat : 6435 (java) S 6423 6423 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150628399 26628161536 9719 33554432000 4194304 4196468 140734388994320 140157992782576 140159385758338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6436] ppid=6423 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6436/stat : 6436 (java) S 6423 6423 4250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150628399 26628161536 9719 33554432000 4194304 4196468 140734388994320 140157991728800 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6437] ppid=6423 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6437/stat : 6437 (java) S 6423 6423 4250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150628399 26628161536 9719 33554432000 4194304 4196468 140734388994320 140157990675696 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6438] ppid=6423 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6438/stat : 6438 (java) S 6423 6423 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150628402 26628161536 9719 33554432000 4194304 4196468 140734388994320 140157989624272 140159385765787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6439] ppid=6423 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/6425/task/6439/stat : 6439 (java) S 6423 6423 4250 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 20 0 150628402 26628161536 9719 33554432000 4194304 4196468 140734388994320 140157988571376 140159385758338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6440] ppid=6423 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/6425/task/6440/stat : 6440 (java) S 6423 6423 4250 0 -1 1077944384 138 0 0 0 1 0 0 0 20 0 20 0 150628402 26628161536 9719 33554432000 4194304 4196468 140734388994320 140157987518832 140159385758338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6441] ppid=6423 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/6425/task/6441/stat : 6441 (java) S 6423 6423 4250 0 -1 1077944384 169 0 0 0 1 0 0 0 20 0 20 0 150628402 26628161536 9719 33554432000 4194304 4196468 140734388994320 140157986465776 140159385758338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6442] ppid=6423 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/6425/task/6442/stat : 6442 (java) S 6423 6423 4250 0 -1 1077944384 712 0 0 0 7 0 0 0 20 0 20 0 150628402 26628161536 9719 33554432000 4194304 4196468 140734388994320 140157985413232 140159385758338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6443] ppid=6423 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6443/stat : 6443 (java) S 6423 6423 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150628402 26628161536 9719 33554432000 4194304 4196468 140734388994320 140157984361440 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6444] ppid=6423 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6425/task/6444/stat : 6444 (java) S 6423 6423 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150628402 26628161536 9719 33554432000 4194304 4196468 140734388994320 140157983308976 140159385758338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40260 KiB

[startup+0.309536 s]*
/proc/loadavg: 8.35 8.21 8.20 3/200 6444
/proc/meminfo: memFree=25476032/32770624 swapFree=67108860/67108860
[pid=6423] ppid=6420 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6423/stat : 6423 (xcsp3-exec) S 6420 6423 4250 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150628396 9740288 346 33554432000 4194304 5098028 140735766931232 140735766929336 140288289612412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39555072 140735766938731 140735766938940 140735766938940 140735766941675 0
/proc/6423/statm: 2378 346 289 221 0 87 0
[pid=6425] ppid=6423 vsize=26004064 memory=43788 CPUtime=0.49 cores=0-7
/proc/6425/stat : 6425 (java) S 6423 6423 4250 0 -1 1077944320 9151 0 0 0 45 4 0 0 20 0 20 0 150628396 26628161536 10947 33554432000 4194304 4196468 140734388994320 140734388976864 140159385747191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
/proc/6425/statm: 6501016 10947 3084 1 0 6488269 0
[pid=6425/tid=6426] ppid=6423 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/6425/task/6426/stat : 6426 (java) R 6423 6423 4250 0 -1 4202560 6141 0 0 0 26 3 0 0 20 0 20 0 150628396 26628161536 10947 33554432000 4194304 4196468 140734388994320 140159389986528 140159022412111 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6427] ppid=6423 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6427/stat : 6427 (java) S 6423 6423 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150628397 26628161536 10947 33554432000 4194304 4196468 140734388994320 140159346707472 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6428] ppid=6423 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6428/stat : 6428 (java) S 6423 6423 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150628397 26628161536 10947 33554432000 4194304 4196468 140734388994320 140158943280272 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6429] ppid=6423 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6429/stat : 6429 (java) S 6423 6423 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150628397 26628161536 10947 33554432000 4194304 4196468 140734388994320 140158942227216 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6430] ppid=6423 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6430/stat : 6430 (java) S 6423 6423 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150628397 26628161536 10947 33554432000 4194304 4196468 140734388994320 140158941174672 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6431] ppid=6423 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/6425/task/6431/stat : 6431 (java) S 6423 6423 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150628397 26628161536 10947 33554432000 4194304 4196468 140734388994320 140158940121616 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6432] ppid=6423 vsize=26004064 memory=140428519240623 CPUtime=0 cores=0-7
/proc/6425/task/6432/stat : 6432 (java) S 6423 6423 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150628397 26628161536 10947 33554432000 4194304 4196468 140734388994320 140158939069072 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6433] ppid=6423 vsize=26004064 memory=140428519242928 CPUtime=0 cores=0-7
/proc/6425/task/6433/stat : 6433 (java) S 6423 6423 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150628397 26628161536 10947 33554432000 4194304 4196468 140734388994320 140158938016016 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6434] ppid=6423 vsize=26004064 memory=140428519245232 CPUtime=0 cores=0-7
/proc/6425/task/6434/stat : 6434 (java) S 6423 6423 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150628397 26628161536 10947 33554432000 4194304 4196468 140734388994320 140158936963472 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6435] ppid=6423 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6435/stat : 6435 (java) S 6423 6423 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150628399 26628161536 10947 33554432000 4194304 4196468 140734388994320 140157992782576 140159385758338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6436] ppid=6423 vsize=26004064 memory=280857038497424 CPUtime=0 cores=0-7
/proc/6425/task/6436/stat : 6436 (java) S 6423 6423 4250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150628399 26628161536 10947 33554432000 4194304 4196468 140734388994320 140157991728800 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6437] ppid=6423 vsize=26004064 memory=280857038504336 CPUtime=0 cores=0-7
/proc/6425/task/6437/stat : 6437 (java) S 6423 6423 4250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150628399 26628161536 10947 33554432000 4194304 4196468 140734388994320 140157990675696 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6438] ppid=6423 vsize=26004064 memory=280857038445616 CPUtime=0 cores=0-7
/proc/6425/task/6438/stat : 6438 (java) S 6423 6423 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150628402 26628161536 10947 33554432000 4194304 4196468 140734388994320 140157989624272 140159385765787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6439] ppid=6423 vsize=26004064 memory=280857038518160 CPUtime=0.01 cores=0-7
/proc/6425/task/6439/stat : 6439 (java) S 6423 6423 4250 0 -1 1077944384 476 0 0 0 1 0 0 0 20 0 20 0 150628402 26628161536 10947 33554432000 4194304 4196468 140734388994320 140157988571376 140159385758338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6440] ppid=6423 vsize=26004064 memory=280857038525072 CPUtime=0.03 cores=0-7
/proc/6425/task/6440/stat : 6440 (java) S 6423 6423 4250 0 -1 1077944384 223 0 0 0 3 0 0 0 20 0 20 0 150628402 26628161536 10947 33554432000 4194304 4196468 140734388994320 140157987518832 140159385758338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6441] ppid=6423 vsize=26004064 memory=280857038522768 CPUtime=0.02 cores=0-7
/proc/6425/task/6441/stat : 6441 (java) R 6423 6423 4250 0 -1 4202560 169 0 0 0 2 0 0 0 20 0 20 0 150628402 26628161536 10947 33554432000 4194304 4196468 140734388994320 140157986465776 140159378732233 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6442] ppid=6423 vsize=26004064 memory=280857038538928 CPUtime=0.12 cores=0-7
/proc/6425/task/6442/stat : 6442 (java) R 6423 6423 4250 0 -1 4202560 833 0 0 0 12 0 0 0 20 0 20 0 150628402 26628161536 10947 33554432000 4194304 4196468 140734388994320 140157985409184 140159365715872 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6443] ppid=6423 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6443/stat : 6443 (java) S 6423 6423 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150628402 26628161536 10947 33554432000 4194304 4196468 140734388994320 140157984361440 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6444] ppid=6423 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6425/task/6444/stat : 6444 (java) S 6423 6423 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150628402 26628161536 10947 33554432000 4194304 4196468 140734388994320 140157983308976 140159385758338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45172 KiB

[startup+0.700846 s]
/proc/loadavg: 8.35 8.21 8.20 2/200 6444
/proc/meminfo: memFree=25460040/32770624 swapFree=67108860/67108860
[pid=6423] ppid=6420 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6423/stat : 6423 (xcsp3-exec) S 6420 6423 4250 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150628396 9740288 346 33554432000 4194304 5098028 140735766931232 140735766929336 140288289612412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39555072 140735766938731 140735766938940 140735766938940 140735766941675 0
/proc/6423/statm: 2378 346 289 221 0 87 0
[pid=6425] ppid=6423 vsize=26006188 memory=91324 CPUtime=1.69 cores=0-7
/proc/6425/stat : 6425 (java) S 6423 6423 4250 0 -1 1077944320 14011 0 0 0 162 7 0 0 20 0 20 0 150628396 26630336512 22831 33554432000 4194304 4196468 140734388994320 140734388976864 140159385747191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
/proc/6425/statm: 6501547 22831 3205 1 0 6488781 0
[pid=6425/tid=6426] ppid=6423 vsize=26006188 memory=280857038896816 CPUtime=0.66 cores=0-7
/proc/6425/task/6426/stat : 6426 (java) R 6423 6423 4250 0 -1 4202560 6902 0 0 0 63 3 0 0 20 0 20 0 150628396 26630336512 22831 33554432000 4194304 4196468 140734388994320 140159389982472 140159385769117 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6427] ppid=6423 vsize=26006188 memory=140428519449456 CPUtime=0 cores=0-7
/proc/6425/task/6427/stat : 6427 (java) S 6423 6423 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150628397 26630336512 22831 33554432000 4194304 4196468 140734388994320 140159346707472 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6428] ppid=6423 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/6425/task/6428/stat : 6428 (java) S 6423 6423 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150628397 26630336512 22831 33554432000 4194304 4196468 140734388994320 140158943280272 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6429] ppid=6423 vsize=26006188 memory=1204 CPUtime=0 cores=0-7
/proc/6425/task/6429/stat : 6429 (java) S 6423 6423 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150628397 26630336512 22831 33554432000 4194304 4196468 140734388994320 140158942227216 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0

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

[pid=6425/tid=6452] ppid=6423 vsize=26538700 memory=42312 CPUtime=158.76 cores=0-7
/proc/6425/task/6452/stat : 6452 (java) R 6423 6423 4250 0 -1 4202560 3782 0 0 0 15875 1 0 0 20 0 28 0 150628492 27175628800 53986 33554432000 4194304 4196468 140734388994320 140157968425240 140159030745125 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
Current children cumulated CPU time: 1284 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 217328 KiB

[startup+222.301 s]
/proc/loadavg: 8.07 8.17 8.19 9/208 6452
/proc/meminfo: memFree=25283264/32770624 swapFree=67108860/67108860
[pid=6423] ppid=6420 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6423/stat : 6423 (xcsp3-exec) S 6420 6423 4250 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150628396 9740288 346 33554432000 4194304 5098028 140735766931232 140735766929336 140288289612412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39555072 140735766938731 140735766938940 140735766938940 140735766941675 0
/proc/6423/statm: 2378 346 289 221 0 87 0
[pid=6425] ppid=6423 vsize=26538700 memory=239172 CPUtime=1759.92 cores=0-7
/proc/6425/stat : 6425 (java) S 6423 6423 4250 0 -1 1077944320 173167 0 0 0 175894 98 0 0 20 0 28 0 150628396 27175628800 59793 33554432000 4194304 4196468 140734388994320 140734388976864 140159385747191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
/proc/6425/statm: 6634675 59793 3288 1 0 6621909 0
[pid=6425/tid=6426] ppid=6423 vsize=26538700 memory=237120 CPUtime=0.92 cores=0-7
/proc/6425/task/6426/stat : 6426 (java) S 6423 6423 4250 0 -1 1077944384 7064 0 0 0 88 4 0 0 20 0 28 0 150628396 27175628800 59793 33554432000 4194304 4196468 140734388994320 140159389987968 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6427] ppid=6423 vsize=26538700 memory=235068 CPUtime=0.4 cores=0-7
/proc/6425/task/6427/stat : 6427 (java) S 6423 6423 4250 0 -1 1077944384 4155 0 0 0 37 3 0 0 20 0 28 0 150628397 27175628800 59793 33554432000 4194304 4196468 140734388994320 140159346707472 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6428] ppid=6423 vsize=26538700 memory=235068 CPUtime=0.41 cores=0-7
/proc/6425/task/6428/stat : 6428 (java) S 6423 6423 4250 0 -1 1077944384 5607 0 0 0 36 5 0 0 20 0 28 0 150628397 27175628800 59793 33554432000 4194304 4196468 140734388994320 140158943280272 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6429] ppid=6423 vsize=26538700 memory=237120 CPUtime=0.39 cores=0-7
/proc/6425/task/6429/stat : 6429 (java) S 6423 6423 4250 0 -1 1077944384 3324 0 0 0 35 4 0 0 20 0 28 0 150628397 27175628800 59793 33554432000 4194304 4196468 140734388994320 140158942227216 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6430] ppid=6423 vsize=26538700 memory=1384 CPUtime=0.37 cores=0-7
/proc/6425/task/6430/stat : 6430 (java) S 6423 6423 4250 0 -1 1077944384 4519 0 0 0 35 2 0 0 20 0 28 0 150628397 27175628800 59793 33554432000 4194304 4196468 140734388994320 140158941174672 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6431] ppid=6423 vsize=26538700 memory=237120 CPUtime=0.41 cores=0-7
/proc/6425/task/6431/stat : 6431 (java) S 6423 6423 4250 0 -1 1077944384 3319 0 0 0 36 5 0 0 20 0 28 0 150628397 27175628800 59793 33554432000 4194304 4196468 140734388994320 140158940121616 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6432] ppid=6423 vsize=26538700 memory=1384 CPUtime=0.42 cores=0-7
/proc/6425/task/6432/stat : 6432 (java) S 6423 6423 4250 0 -1 1077944384 3823 0 0 0 37 5 0 0 20 0 28 0 150628397 27175628800 59793 33554432000 4194304 4196468 140734388994320 140158939069072 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6433] ppid=6423 vsize=26538700 memory=237120 CPUtime=0.41 cores=0-7
/proc/6425/task/6433/stat : 6433 (java) S 6423 6423 4250 0 -1 1077944384 3047 0 0 0 37 4 0 0 20 0 28 0 150628397 27175628800 59793 33554432000 4194304 4196468 140734388994320 140158938016016 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6434] ppid=6423 vsize=26538700 memory=8112282956445269571 CPUtime=0.37 cores=0-7
/proc/6425/task/6434/stat : 6434 (java) S 6423 6423 4250 0 -1 1077944384 2723 0 0 0 34 3 0 0 20 0 28 0 150628397 27175628800 59793 33554432000 4194304 4196468 140734388994320 140158936963472 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6435] ppid=6423 vsize=26538700 memory=636 CPUtime=0.59 cores=0-7
/proc/6425/task/6435/stat : 6435 (java) S 6423 6423 4250 0 -1 1077944384 10716 0 0 0 34 25 0 0 20 0 28 0 150628399 27175628800 59793 33554432000 4194304 4196468 140734388994320 140157992782576 140159385758338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6436] ppid=6423 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/6425/task/6436/stat : 6436 (java) S 6423 6423 4250 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 150628399 27175628800 59793 33554432000 4194304 4196468 140734388994320 140157991728864 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6437] ppid=6423 vsize=26538700 memory=4096 CPUtime=0 cores=0-7
/proc/6425/task/6437/stat : 6437 (java) S 6423 6423 4250 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 150628399 27175628800 59793 33554432000 4194304 4196468 140734388994320 140157990675712 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6438] ppid=6423 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/6425/task/6438/stat : 6438 (java) S 6423 6423 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150628402 27175628800 59793 33554432000 4194304 4196468 140734388994320 140157989624272 140159385765787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6439] ppid=6423 vsize=26538700 memory=223172 CPUtime=3.35 cores=0-7
/proc/6425/task/6439/stat : 6439 (java) S 6423 6423 4250 0 -1 1077944384 21697 0 0 0 330 5 0 0 20 0 28 0 150628402 27175628800 59793 33554432000 4194304 4196468 140734388994320 140157988571376 140159385758338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6440] ppid=6423 vsize=26538700 memory=216988 CPUtime=3.1 cores=0-7
/proc/6425/task/6440/stat : 6440 (java) S 6423 6423 4250 0 -1 1077944384 23618 0 0 0 305 5 0 0 20 0 28 0 150628402 27175628800 59793 33554432000 4194304 4196468 140734388994320 140157987518832 140159385758338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6441] ppid=6423 vsize=26538700 memory=1384 CPUtime=3.09 cores=0-7
/proc/6425/task/6441/stat : 6441 (java) S 6423 6423 4250 0 -1 1077944384 21284 0 0 0 305 4 0 0 20 0 28 0 150628402 27175628800 59793 33554432000 4194304 4196468 140734388994320 140157986465776 140159385758338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6442] ppid=6423 vsize=26538700 memory=4044 CPUtime=0.93 cores=0-7
/proc/6425/task/6442/stat : 6442 (java) S 6423 6423 4250 0 -1 1077944384 14895 0 0 0 90 3 0 0 20 0 28 0 150628402 27175628800 59793 33554432000 4194304 4196468 140734388994320 140157985413232 140159385758338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6443] ppid=6423 vsize=26538700 memory=1792 CPUtime=0 cores=0-7
/proc/6425/task/6443/stat : 6443 (java) S 6423 6423 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150628402 27175628800 59793 33554432000 4194304 4196468 140734388994320 140157984361440 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6444] ppid=6423 vsize=26538700 memory=4096 CPUtime=0.04 cores=0-7
/proc/6425/task/6444/stat : 6444 (java) S 6423 6423 4250 0 -1 1077944384 1858 0 0 0 1 3 0 0 20 0 28 0 150628402 27175628800 59793 33554432000 4194304 4196468 140734388994320 140157983308976 140159385758338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6445] ppid=6423 vsize=26538700 memory=42312 CPUtime=217.41 cores=0-7
/proc/6425/task/6445/stat : 6445 (java) R 6423 6423 4250 0 -1 4202560 4186 0 0 0 21739 2 0 0 20 0 28 0 150628491 27175628800 59793 33554432000 4194304 4196468 140734388994320 140157975792352 140159031826368 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6446] ppid=6423 vsize=26538700 memory=1384 CPUtime=218.37 cores=0-7
/proc/6425/task/6446/stat : 6446 (java) R 6423 6423 4250 0 -1 4202560 4260 0 0 0 21835 2 0 0 20 0 28 0 150628491 27175628800 59793 33554432000 4194304 4196468 140734388994320 140157974741216 140159031525096 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6447] ppid=6423 vsize=26538700 memory=216988 CPUtime=217.9 cores=0-7
/proc/6425/task/6447/stat : 6447 (java) R 6423 6423 4250 0 -1 4202560 3628 0 0 0 21789 1 0 0 20 0 28 0 150628491 27175628800 59793 33554432000 4194304 4196468 140734388994320 140157973688160 140159030744847 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6448] ppid=6423 vsize=26538700 memory=4096 CPUtime=217.38 cores=0-7
/proc/6425/task/6448/stat : 6448 (java) R 6423 6423 4250 0 -1 4202560 9442 0 0 0 21734 4 0 0 20 0 28 0 150628491 27175628800 59793 33554432000 4194304 4196468 140734388994320 140157972637920 140159033463291 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6449] ppid=6423 vsize=26538700 memory=42312 CPUtime=218.87 cores=0-7
/proc/6425/task/6449/stat : 6449 (java) R 6423 6423 4250 0 -1 1077944384 6613 0 0 0 21885 2 0 0 20 0 28 0 150628491 27175628800 59793 33554432000 4194304 4196468 140734388994320 140157971582016 140159385757397 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6450] ppid=6423 vsize=26538700 memory=1384 CPUtime=217.8 cores=0-7
/proc/6425/task/6450/stat : 6450 (java) R 6423 6423 4250 0 -1 4202560 2847 0 0 0 21779 1 0 0 20 0 28 0 150628491 27175628800 59793 33554432000 4194304 4196468 140734388994320 140157970529728 140159030745319 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6451] ppid=6423 vsize=26538700 memory=1384 CPUtime=218.68 cores=0-7
/proc/6425/task/6451/stat : 6451 (java) R 6423 6423 4250 0 -1 4202560 4259 0 0 0 21866 2 0 0 20 0 28 0 150628492 27175628800 59793 33554432000 4194304 4196468 140734388994320 140157969477840 140159031825000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6452] ppid=6423 vsize=26538700 memory=2428 CPUtime=218.09 cores=0-7
/proc/6425/task/6452/stat : 6452 (java) R 6423 6423 4250 0 -1 4202560 4926 0 0 0 21807 2 0 0 20 0 28 0 150628492 27175628800 59793 33554432000 4194304 4196468 140734388994320 140157968425104 140159030745063 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
Current children cumulated CPU time: 1759.92 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 240556 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.05 8.15 8.19 9/208 6452
/proc/meminfo: memFree=25269284/32770624 swapFree=67108860/67108860
[pid=6423] ppid=6420 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6423/stat : 6423 (xcsp3-exec) S 6420 6423 4250 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150628396 9740288 346 33554432000 4194304 5098028 140735766931232 140735766929336 140288289612412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39555072 140735766938731 140735766938940 140735766938940 140735766941675 0
/proc/6423/statm: 2378 346 289 221 0 87 0
[pid=6425] ppid=6423 vsize=26538700 memory=248804 CPUtime=1995.74 cores=0-7
/proc/6425/stat : 6425 (java) S 6423 6423 4250 0 -1 1077944320 179731 0 0 0 199467 107 0 0 20 0 28 0 150628396 27175628800 62201 33554432000 4194304 4196468 140734388994320 140734388976864 140159385747191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
/proc/6425/statm: 6634675 62201 3288 1 0 6621909 0
[pid=6425/tid=6426] ppid=6423 vsize=26538700 memory=8112282956445269571 CPUtime=0.92 cores=0-7
/proc/6425/task/6426/stat : 6426 (java) S 6423 6423 4250 0 -1 1077944384 7064 0 0 0 88 4 0 0 20 0 28 0 150628396 27175628800 62201 33554432000 4194304 4196468 140734388994320 140159389987968 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6427] ppid=6423 vsize=26538700 memory=4126316290023845779 CPUtime=0.45 cores=0-7
/proc/6425/task/6427/stat : 6427 (java) S 6423 6423 4250 0 -1 1077944384 4435 0 0 0 42 3 0 0 20 0 28 0 150628397 27175628800 62201 33554432000 4194304 4196468 140734388994320 140159346707472 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6428] ppid=6423 vsize=26538700 memory=1204 CPUtime=0.46 cores=0-7
/proc/6425/task/6428/stat : 6428 (java) S 6423 6423 4250 0 -1 1077944384 5943 0 0 0 41 5 0 0 20 0 28 0 150628397 27175628800 62201 33554432000 4194304 4196468 140734388994320 140158943280272 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6429] ppid=6423 vsize=26538700 memory=1728 CPUtime=0.44 cores=0-7
/proc/6425/task/6429/stat : 6429 (java) S 6423 6423 4250 0 -1 1077944384 3570 0 0 0 40 4 0 0 20 0 28 0 150628397 27175628800 62201 33554432000 4194304 4196468 140734388994320 140158942227216 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6430] ppid=6423 vsize=26538700 memory=1384 CPUtime=0.43 cores=0-7
/proc/6425/task/6430/stat : 6430 (java) S 6423 6423 4250 0 -1 1077944384 4853 0 0 0 40 3 0 0 20 0 28 0 150628397 27175628800 62201 33554432000 4194304 4196468 140734388994320 140158941174672 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6431] ppid=6423 vsize=26538700 memory=246952 CPUtime=0.46 cores=0-7
/proc/6425/task/6431/stat : 6431 (java) S 6423 6423 4250 0 -1 1077944384 3413 0 0 0 41 5 0 0 20 0 28 0 150628397 27175628800 62201 33554432000 4194304 4196468 140734388994320 140158940121616 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6432] ppid=6423 vsize=26538700 memory=1584 CPUtime=0.47 cores=0-7
/proc/6425/task/6432/stat : 6432 (java) S 6423 6423 4250 0 -1 1077944384 3901 0 0 0 42 5 0 0 20 0 28 0 150628397 27175628800 62201 33554432000 4194304 4196468 140734388994320 140158939069072 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6433] ppid=6423 vsize=26538700 memory=8112282956445269571 CPUtime=0.47 cores=0-7
/proc/6425/task/6433/stat : 6433 (java) S 6423 6423 4250 0 -1 1077944384 3253 0 0 0 42 5 0 0 20 0 28 0 150628397 27175628800 62201 33554432000 4194304 4196468 140734388994320 140158938016016 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6434] ppid=6423 vsize=26538700 memory=288230583166042425 CPUtime=0.42 cores=0-7
/proc/6425/task/6434/stat : 6434 (java) S 6423 6423 4250 0 -1 1077944384 3027 0 0 0 39 3 0 0 20 0 28 0 150628397 27175628800 62201 33554432000 4194304 4196468 140734388994320 140158936963472 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6435] ppid=6423 vsize=26538700 memory=16101468159609422 CPUtime=0.72 cores=0-7
/proc/6425/task/6435/stat : 6435 (java) S 6423 6423 4250 0 -1 1077944384 11319 0 0 0 41 31 0 0 20 0 28 0 150628399 27175628800 62201 33554432000 4194304 4196468 140734388994320 140157992782576 140159385758338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6436] ppid=6423 vsize=26538700 memory=2196 CPUtime=0 cores=0-7
/proc/6425/task/6436/stat : 6436 (java) S 6423 6423 4250 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 150628399 27175628800 62201 33554432000 4194304 4196468 140734388994320 140157991728864 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6437] ppid=6423 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/6425/task/6437/stat : 6437 (java) S 6423 6423 4250 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 150628399 27175628800 62201 33554432000 4194304 4196468 140734388994320 140157990675712 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6438] ppid=6423 vsize=26538700 memory=12136 CPUtime=0 cores=0-7
/proc/6425/task/6438/stat : 6438 (java) S 6423 6423 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150628402 27175628800 62201 33554432000 4194304 4196468 140734388994320 140157989624272 140159385765787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6439] ppid=6423 vsize=26538700 memory=1004 CPUtime=3.37 cores=0-7
/proc/6425/task/6439/stat : 6439 (java) S 6423 6423 4250 0 -1 1077944384 22742 0 0 0 332 5 0 0 20 0 28 0 150628402 27175628800 62201 33554432000 4194304 4196468 140734388994320 140157988571376 140159385758338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6440] ppid=6423 vsize=26538700 memory=1228 CPUtime=3.1 cores=0-7
/proc/6425/task/6440/stat : 6440 (java) S 6423 6423 4250 0 -1 1077944384 23622 0 0 0 305 5 0 0 20 0 28 0 150628402 27175628800 62201 33554432000 4194304 4196468 140734388994320 140157987518832 140159385758338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6441] ppid=6423 vsize=26538700 memory=1952 CPUtime=3.1 cores=0-7
/proc/6425/task/6441/stat : 6441 (java) S 6423 6423 4250 0 -1 1077944384 22135 0 0 0 306 4 0 0 20 0 28 0 150628402 27175628800 62201 33554432000 4194304 4196468 140734388994320 140157986465776 140159385758338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6442] ppid=6423 vsize=26538700 memory=5796 CPUtime=0.93 cores=0-7
/proc/6425/task/6442/stat : 6442 (java) S 6423 6423 4250 0 -1 1077944384 14899 0 0 0 90 3 0 0 20 0 28 0 150628402 27175628800 62201 33554432000 4194304 4196468 140734388994320 140157985413232 140159385758338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6443] ppid=6423 vsize=26538700 memory=4616 CPUtime=0 cores=0-7
/proc/6425/task/6443/stat : 6443 (java) S 6423 6423 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150628402 27175628800 62201 33554432000 4194304 4196468 140734388994320 140157984361440 140159385757397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6444] ppid=6423 vsize=26538700 memory=8620 CPUtime=0.06 cores=0-7
/proc/6425/task/6444/stat : 6444 (java) S 6423 6423 4250 0 -1 1077944384 2051 0 0 0 2 4 0 0 20 0 28 0 150628402 27175628800 62201 33554432000 4194304 4196468 140734388994320 140157983308976 140159385758338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6445] ppid=6423 vsize=26538700 memory=792 CPUtime=246.68 cores=0-7
/proc/6425/task/6445/stat : 6445 (java) R 6423 6423 4250 0 -1 4202560 4467 0 0 0 24666 2 0 0 20 0 28 0 150628491 27175628800 62201 33554432000 4194304 4196468 140734388994320 140157975792888 140159030745046 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6446] ppid=6423 vsize=26538700 memory=1204 CPUtime=247.82 cores=0-7
/proc/6425/task/6446/stat : 6446 (java) R 6423 6423 4250 0 -1 4202560 4509 0 0 0 24780 2 0 0 20 0 28 0 150628491 27175628800 62201 33554432000 4194304 4196468 140734388994320 140157974741056 140159030454750 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6447] ppid=6423 vsize=26538700 memory=1728 CPUtime=247.21 cores=0-7
/proc/6425/task/6447/stat : 6447 (java) R 6423 6423 4250 0 -1 4202560 3796 0 0 0 24720 1 0 0 20 0 28 0 150628491 27175628800 62201 33554432000 4194304 4196468 140734388994320 140157973688000 140159031826004 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6448] ppid=6423 vsize=26538700 memory=1440 CPUtime=246.86 cores=0-7
/proc/6425/task/6448/stat : 6448 (java) R 6423 6423 4250 0 -1 4202560 9821 0 0 0 24682 4 0 0 20 0 28 0 150628491 27175628800 62201 33554432000 4194304 4196468 140734388994320 140157972635344 140159031528134 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6449] ppid=6423 vsize=26538700 memory=15880 CPUtime=248.36 cores=0-7
/proc/6425/task/6449/stat : 6449 (java) R 6423 6423 4250 0 -1 4202560 6979 0 0 0 24833 3 0 0 20 0 28 0 150628491 27175628800 62201 33554432000 4194304 4196468 140734388994320 140157971582304 140159033463288 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6450] ppid=6423 vsize=26538700 memory=16432 CPUtime=247.24 cores=0-7
/proc/6425/task/6450/stat : 6450 (java) R 6423 6423 4250 0 -1 4202560 2984 0 0 0 24723 1 0 0 20 0 28 0 150628491 27175628800 62201 33554432000 4194304 4196468 140734388994320 140157970529872 140159030745063 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6451] ppid=6423 vsize=26538700 memory=24092 CPUtime=248.13 cores=0-7
/proc/6425/task/6451/stat : 6451 (java) R 6423 6423 4250 0 -1 4202560 4489 0 0 0 24811 2 0 0 20 0 28 0 150628492 27175628800 62201 33554432000 4194304 4196468 140734388994320 140157969478496 140159030745025 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
[pid=6425/tid=6452] ppid=6423 vsize=26538700 memory=4044 CPUtime=247.4 cores=0-7
/proc/6425/task/6452/stat : 6452 (java) R 6423 6423 4250 0 -1 4202560 5102 0 0 0 24738 2 0 0 20 0 28 0 150628492 27175628800 62201 33554432000 4194304 4196468 140734388994320 140157968427968 140159031825778 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 29036544 140734389003416 140734389003592 140734389003592 140734389006287 0
Current children cumulated CPU time: 1995.74 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 250188 KiB

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

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

[startup+252.118 s]
# the end of solver process 6425 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1995.46 s, system=1.08543 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): 1996.55
CPU user time (s): 1995.46
CPU system time (s): 1.08543
CPU usage (%): 791.908
Max. virtual memory (cumulated for all children) (KiB): 26550000
Max. memory (cumulated for all children) (KiB): 313748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1995.46
system time used= 1.08543
maximum resident set size= 312372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180814
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= 34782
involuntary context switches= 22975


# summary of solver processes directly reported to runsolver:
#   pid: 6423,6425
#   total CPU time (s): 1996.55
#   total CPU user time (s): 1995.46
#   total CPU system time (s): 1.08543

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.92412 second user time and 2.14534 second system time

The end

Launcher Data 

Begin job on node148 at 2017-08-19 22:30:15
IDJOB=4281550
IDBENCH=115756
IDSOLVER=2676
FILE ID=node148/4281550-1503175475
RUNJOBID= node148-1503164239-4277
PBS_JOBID= 20630830
Free space on /tmp= 61948 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-020-20-2.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-4281550-1503175475/watcher-4281550-1503175475 -o /tmp/evaluation-result-4281550-1503175475/solver-4281550-1503175475 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503164239-4277 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 474119835 HOME/instance-4281550-1503175475.xml

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

MD5SUM BENCH= 5792b685e17c6bfa87a9d80140b648f0
RANDOM SEED=474119835

node148.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.19
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.19
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.19
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.19
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:        25509448 kB
MemAvailable:   31977896 kB
Buffers:          294708 kB
Cached:          6467480 kB
SwapCached:            0 kB
Active:          1165876 kB
Inactive:        5648732 kB
Active(anon):       3788 kB
Inactive(anon):    84704 kB
Active(file):    1162088 kB
Inactive(file):  5564028 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7848 kB
Writeback:             0 kB
AnonPages:         60108 kB
Mapped:            51480 kB
Shmem:             33416 kB
Slab:             142968 kB
SReclaimable:     116332 kB
SUnreclaim:        26636 kB
KernelStack:        3152 kB
PageTables:         4712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61940 MiB
End job on node148 at 2017-08-19 22:34:27