Trace number 4270756

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) 20042.6 2520.1001

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-030-20-8.xml
MD5SUM754bcb27478aff360ffbb606538dde42
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 variables630
Number of constraints650
Number of domains1
Minimum domain size2113
Maximum domain size2113
Distribution of domain sizes[{"size":2113,"count":630}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":30},{"degree":3,"count":600}]
Minimum constraint arity1
Maximum constraint arity30
Distribution of constraint arities[{"arity":1,"count":30},{"arity":2,"count":600},{"arity":30,"count":20}]
Number of extensional constraints0
Number of intensional constraints630
Distribution of constraint types[{"type":"intension","count":630},{"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-4270756-1502659132.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4270756-1502659132.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
3.12/1.03	c solve instance...
20041.90/2520.09	s UNKNOWN
20041.90/2520.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 (13461 MiB free)
  memory of node 1: 16384 MiB (14607 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270756-1502659132/watcher-4270756-1502659132 -o /tmp/evaluation-result-4270756-1502659132/solver-4270756-1502659132 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502653230-19111 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 513480413 HOME/instance-4270756-1502659132.xml 

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

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

solver pid=19432, runsolver pid=19429

[startup+0.100149 s]*
/proc/loadavg: 8.26 8.22 8.19 2/200 19453
/proc/meminfo: memFree=28727468/32770624 swapFree=67108860/67108860
[pid=19432] ppid=19429 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19432/stat : 19432 (xcsp3-exec) S 19429 19432 19084 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 98994096 9740288 346 33554432000 4194304 5098028 140737046562576 140737046560680 140415614947964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33538048 140737046565989 140737046566199 140737046566199 140737046568939 0
/proc/19432/statm: 2378 346 289 221 0 87 0
[pid=19434] ppid=19432 vsize=25999808 memory=25660 CPUtime=0.12 cores=0-7
/proc/19434/stat : 19434 (java) S 19432 19432 19084 0 -1 1077944320 5320 0 0 0 11 1 0 0 20 0 20 0 98994096 26623803392 6415 33554432000 4194304 4196468 140725856685040 140725856667584 140029924581111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
/proc/19434/statm: 6499952 6415 2857 1 0 6488269 0
[pid=19434/tid=19435] ppid=19432 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/19434/task/19435/stat : 19435 (java) R 19432 19432 19084 0 -1 4202560 3300 0 0 0 9 0 0 0 20 0 20 0 98994096 26623803392 6415 33554432000 4194304 4196468 140725856685040 140029928814464 140029924593046 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19436] ppid=19432 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19434/task/19436/stat : 19436 (java) S 19432 19432 19084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98994097 26623803392 6415 33554432000 4194304 4196468 140725856685040 140029894294416 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19437] ppid=19432 vsize=25999808 memory=140473016170112 CPUtime=0 cores=0-7
/proc/19434/task/19437/stat : 19437 (java) S 19432 19432 19084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98994097 26623803392 6415 33554432000 4194304 4196468 140725856685040 140029481528080 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19438] ppid=19432 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19438/stat : 19438 (java) S 19432 19432 19084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98994097 26623803392 6415 33554432000 4194304 4196468 140725856685040 140029480475792 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19439] ppid=19432 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19439/stat : 19439 (java) S 19432 19432 19084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98994097 26623803392 6415 33554432000 4194304 4196468 140725856685040 140029479422992 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19440] ppid=19432 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19440/stat : 19440 (java) S 19432 19432 19084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98994097 26623803392 6415 33554432000 4194304 4196468 140725856685040 140029478369680 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19441] ppid=19432 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/19434/task/19441/stat : 19441 (java) S 19432 19432 19084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98994097 26623803392 6415 33554432000 4194304 4196468 140725856685040 140029477316880 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19442] ppid=19432 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19442/stat : 19442 (java) S 19432 19432 19084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98994097 26623803392 6415 33554432000 4194304 4196468 140725856685040 140029476264592 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19443] ppid=19432 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19443/stat : 19443 (java) S 19432 19432 19084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98994097 26623803392 6415 33554432000 4194304 4196468 140725856685040 140029475211792 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19444] ppid=19432 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19444/stat : 19444 (java) S 19432 19432 19084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98994098 26623803392 6415 33554432000 4194304 4196468 140725856685040 140028377991792 140029924592258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19445] ppid=19432 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19445/stat : 19445 (java) S 19432 19432 19084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 98994099 26623803392 6415 33554432000 4194304 4196468 140725856685040 140028376937760 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19446] ppid=19432 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19446/stat : 19446 (java) S 19432 19432 19084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 98994099 26623803392 6415 33554432000 4194304 4196468 140725856685040 140028375885424 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19447] ppid=19432 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19447/stat : 19447 (java) S 19432 19432 19084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98994101 26623803392 6415 33554432000 4194304 4196468 140725856685040 140028374833744 140029924599707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19448] ppid=19432 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19448/stat : 19448 (java) S 19432 19432 19084 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 98994101 26623803392 6415 33554432000 4194304 4196468 140725856685040 140028373780592 140029924592258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19449] ppid=19432 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19449/stat : 19449 (java) R 19432 19432 19084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98994101 26623803392 6415 33554432000 4194304 4196468 140725856685040 140028372727792 140029924592258 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19450] ppid=19432 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19450/stat : 19450 (java) S 19432 19432 19084 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 98994101 26623803392 6415 33554432000 4194304 4196468 140725856685040 140028371675504 140029924592258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19451] ppid=19432 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/19434/task/19451/stat : 19451 (java) R 19432 19432 19084 0 -1 4202560 292 0 0 0 1 0 0 0 20 0 20 0 98994101 26623803392 6415 33554432000 4194304 4196468 140725856685040 140028370622704 140029904295900 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19452] ppid=19432 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19452/stat : 19452 (java) S 19432 19432 19084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98994102 26623803392 6415 33554432000 4194304 4196468 140725856685040 140028369570656 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19453] ppid=19432 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/19434/task/19453/stat : 19453 (java) S 19432 19432 19084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98994102 26623803392 6415 33554432000 4194304 4196468 140725856685040 140028368517936 140029924592258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27044 KiB

[startup+0.210186 s]*
/proc/loadavg: 8.26 8.22 8.19 2/200 19453
/proc/meminfo: memFree=28716180/32770624 swapFree=67108860/67108860
[pid=19432] ppid=19429 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19432/stat : 19432 (xcsp3-exec) S 19429 19432 19084 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 98994096 9740288 346 33554432000 4194304 5098028 140737046562576 140737046560680 140415614947964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33538048 140737046565989 140737046566199 140737046566199 140737046568939 0
/proc/19432/statm: 2378 346 289 221 0 87 0
[pid=19434] ppid=19432 vsize=26004064 memory=37880 CPUtime=0.33 cores=0-7
/proc/19434/stat : 19434 (java) S 19432 19432 19084 0 -1 1077944320 8087 0 0 0 31 2 0 0 20 0 20 0 98994096 26628161536 9470 33554432000 4194304 4196468 140725856685040 140725856667584 140029924581111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
/proc/19434/statm: 6501016 9470 2997 1 0 6488269 0
[pid=19434/tid=19435] ppid=19432 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/19434/task/19435/stat : 19435 (java) R 19432 19432 19084 0 -1 4202560 5026 0 0 0 19 1 0 0 20 0 20 0 98994096 26628161536 9470 33554432000 4194304 4196468 140725856685040 140029928802096 140029924603037 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19436] ppid=19432 vsize=26004064 memory=340 CPUtime=0 cores=0-7
/proc/19434/task/19436/stat : 19436 (java) S 19432 19432 19084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98994097 26628161536 9470 33554432000 4194304 4196468 140725856685040 140029894294416 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19437] ppid=19432 vsize=26004064 memory=3905387213403109024 CPUtime=0 cores=0-7
/proc/19434/task/19437/stat : 19437 (java) S 19432 19432 19084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98994097 26628161536 9470 33554432000 4194304 4196468 140725856685040 140029481528080 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19438] ppid=19432 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19434/task/19438/stat : 19438 (java) S 19432 19432 19084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98994097 26628161536 9470 33554432000 4194304 4196468 140725856685040 140029480475792 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19439] ppid=19432 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19439/stat : 19439 (java) S 19432 19432 19084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98994097 26628161536 9470 33554432000 4194304 4196468 140725856685040 140029479422992 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19440] ppid=19432 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19440/stat : 19440 (java) S 19432 19432 19084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98994097 26628161536 9470 33554432000 4194304 4196468 140725856685040 140029478369680 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19441] ppid=19432 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19434/task/19441/stat : 19441 (java) S 19432 19432 19084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98994097 26628161536 9470 33554432000 4194304 4196468 140725856685040 140029477316880 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19442] ppid=19432 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19442/stat : 19442 (java) S 19432 19432 19084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98994097 26628161536 9470 33554432000 4194304 4196468 140725856685040 140029476264592 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19443] ppid=19432 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19443/stat : 19443 (java) S 19432 19432 19084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98994097 26628161536 9470 33554432000 4194304 4196468 140725856685040 140029475211792 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19444] ppid=19432 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19444/stat : 19444 (java) S 19432 19432 19084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98994098 26628161536 9470 33554432000 4194304 4196468 140725856685040 140028377991792 140029924592258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19445] ppid=19432 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19445/stat : 19445 (java) S 19432 19432 19084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 98994099 26628161536 9470 33554432000 4194304 4196468 140725856685040 140028376937760 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19446] ppid=19432 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19446/stat : 19446 (java) S 19432 19432 19084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 98994099 26628161536 9470 33554432000 4194304 4196468 140725856685040 140028375885424 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19447] ppid=19432 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19447/stat : 19447 (java) S 19432 19432 19084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98994101 26628161536 9470 33554432000 4194304 4196468 140725856685040 140028374833744 140029924599707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19448] ppid=19432 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/19434/task/19448/stat : 19448 (java) S 19432 19432 19084 0 -1 1077944384 514 0 0 0 2 0 0 0 20 0 20 0 98994101 26628161536 9470 33554432000 4194304 4196468 140725856685040 140028373780592 140029924592258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19449] ppid=19432 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/19434/task/19449/stat : 19449 (java) S 19432 19432 19084 0 -1 1077944384 248 0 0 0 2 0 0 0 20 0 20 0 98994101 26628161536 9470 33554432000 4194304 4196468 140725856685040 140028372727792 140029924592258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19450] ppid=19432 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19434/task/19450/stat : 19450 (java) S 19432 19432 19084 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 20 0 98994101 26628161536 9470 33554432000 4194304 4196468 140725856685040 140028371675504 140029924592258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19451] ppid=19432 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/19434/task/19451/stat : 19451 (java) R 19432 19432 19084 0 -1 4202560 860 0 0 0 7 0 0 0 20 0 20 0 98994101 26628161536 9470 33554432000 4194304 4196468 140725856685040 140028370622704 140029917677947 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19452] ppid=19432 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19452/stat : 19452 (java) S 19432 19432 19084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98994102 26628161536 9470 33554432000 4194304 4196468 140725856685040 140028369570656 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19453] ppid=19432 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19434/task/19453/stat : 19453 (java) S 19432 19432 19084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98994102 26628161536 9470 33554432000 4194304 4196468 140725856685040 140028368517936 140029924592258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39264 KiB

[startup+0.309595 s]*
/proc/loadavg: 8.26 8.22 8.19 3/200 19453
/proc/meminfo: memFree=28711668/32770624 swapFree=67108860/67108860
[pid=19432] ppid=19429 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19432/stat : 19432 (xcsp3-exec) S 19429 19432 19084 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 98994096 9740288 346 33554432000 4194304 5098028 140737046562576 140737046560680 140415614947964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33538048 140737046565989 140737046566199 140737046566199 140737046568939 0
/proc/19432/statm: 2378 346 289 221 0 87 0
[pid=19434] ppid=19432 vsize=26004064 memory=43304 CPUtime=0.5 cores=0-7
/proc/19434/stat : 19434 (java) S 19432 19432 19084 0 -1 1077944320 9017 0 0 0 47 3 0 0 20 0 20 0 98994096 26628161536 10826 33554432000 4194304 4196468 140725856685040 140725856667584 140029924581111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
/proc/19434/statm: 6501016 10826 3108 1 0 6488269 0
[pid=19434/tid=19435] ppid=19432 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/19434/task/19435/stat : 19435 (java) R 19432 19432 19084 0 -1 4202560 5693 0 0 0 28 1 0 0 20 0 20 0 98994096 26628161536 10826 33554432000 4194304 4196468 140725856685040 140029928819888 140029560697360 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19436] ppid=19432 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19436/stat : 19436 (java) S 19432 19432 19084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98994097 26628161536 10826 33554432000 4194304 4196468 140725856685040 140029894294416 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19437] ppid=19432 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19437/stat : 19437 (java) S 19432 19432 19084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98994097 26628161536 10826 33554432000 4194304 4196468 140725856685040 140029481528080 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19438] ppid=19432 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19438/stat : 19438 (java) S 19432 19432 19084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98994097 26628161536 10826 33554432000 4194304 4196468 140725856685040 140029480475792 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19439] ppid=19432 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19439/stat : 19439 (java) S 19432 19432 19084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98994097 26628161536 10826 33554432000 4194304 4196468 140725856685040 140029479422992 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19440] ppid=19432 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/19434/task/19440/stat : 19440 (java) S 19432 19432 19084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98994097 26628161536 10826 33554432000 4194304 4196468 140725856685040 140029478369680 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19441] ppid=19432 vsize=26004064 memory=140472878199727 CPUtime=0 cores=0-7
/proc/19434/task/19441/stat : 19441 (java) S 19432 19432 19084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98994097 26628161536 10826 33554432000 4194304 4196468 140725856685040 140029477316880 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19442] ppid=19432 vsize=26004064 memory=140472878202032 CPUtime=0 cores=0-7
/proc/19434/task/19442/stat : 19442 (java) S 19432 19432 19084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98994097 26628161536 10826 33554432000 4194304 4196468 140725856685040 140029476264592 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19443] ppid=19432 vsize=26004064 memory=140472878204336 CPUtime=0 cores=0-7
/proc/19434/task/19443/stat : 19443 (java) S 19432 19432 19084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98994097 26628161536 10826 33554432000 4194304 4196468 140725856685040 140029475211792 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19444] ppid=19432 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19444/stat : 19444 (java) S 19432 19432 19084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98994098 26628161536 10826 33554432000 4194304 4196468 140725856685040 140028377991792 140029924592258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19445] ppid=19432 vsize=26004064 memory=280945756415632 CPUtime=0 cores=0-7
/proc/19434/task/19445/stat : 19445 (java) S 19432 19432 19084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 98994099 26628161536 10826 33554432000 4194304 4196468 140725856685040 140028376937760 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19446] ppid=19432 vsize=26004064 memory=280945756422544 CPUtime=0 cores=0-7
/proc/19434/task/19446/stat : 19446 (java) S 19432 19432 19084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 98994099 26628161536 10826 33554432000 4194304 4196468 140725856685040 140028375885424 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19447] ppid=19432 vsize=26004064 memory=280945756363824 CPUtime=0 cores=0-7
/proc/19434/task/19447/stat : 19447 (java) S 19432 19432 19084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98994101 26628161536 10826 33554432000 4194304 4196468 140725856685040 140028374833744 140029924599707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19448] ppid=19432 vsize=26004064 memory=280945756436368 CPUtime=0.03 cores=0-7
/proc/19434/task/19448/stat : 19448 (java) S 19432 19432 19084 0 -1 1077944384 600 0 0 0 3 0 0 0 20 0 20 0 98994101 26628161536 10826 33554432000 4194304 4196468 140725856685040 140028373780592 140029924592258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19449] ppid=19432 vsize=26004064 memory=280945756443280 CPUtime=0.02 cores=0-7
/proc/19434/task/19449/stat : 19449 (java) S 19432 19432 19084 0 -1 1077944384 248 0 0 0 2 0 0 0 20 0 20 0 98994101 26628161536 10826 33554432000 4194304 4196468 140725856685040 140028372727792 140029924592258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19450] ppid=19432 vsize=26004064 memory=280945756440976 CPUtime=0.01 cores=0-7
/proc/19434/task/19450/stat : 19450 (java) S 19432 19432 19084 0 -1 1077944384 136 0 0 0 1 0 0 0 20 0 20 0 98994101 26628161536 10826 33554432000 4194304 4196468 140725856685040 140028371675504 140029924592258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19451] ppid=19432 vsize=26004064 memory=280945756457136 CPUtime=0.12 cores=0-7
/proc/19434/task/19451/stat : 19451 (java) R 19432 19432 19084 0 -1 4202560 1029 0 0 0 12 0 0 0 20 0 20 0 98994101 26628161536 10826 33554432000 4194304 4196468 140725856685040 140028370619072 140029908661598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19452] ppid=19432 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19452/stat : 19452 (java) S 19432 19432 19084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98994102 26628161536 10826 33554432000 4194304 4196468 140725856685040 140028369570656 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19453] ppid=19432 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19434/task/19453/stat : 19453 (java) S 19432 19432 19084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98994102 26628161536 10826 33554432000 4194304 4196468 140725856685040 140028368517936 140029924592258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44688 KiB

[startup+0.700939 s]
/proc/loadavg: 8.26 8.22 8.19 6/200 19453
/proc/meminfo: memFree=28690932/32770624 swapFree=67108860/67108860
[pid=19432] ppid=19429 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19432/stat : 19432 (xcsp3-exec) S 19429 19432 19084 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 98994096 9740288 346 33554432000 4194304 5098028 140737046562576 140737046560680 140415614947964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33538048 140737046565989 140737046566199 140737046566199 140737046568939 0
/proc/19432/statm: 2378 346 289 221 0 87 0
[pid=19434] ppid=19432 vsize=26006188 memory=90360 CPUtime=1.82 cores=0-7
/proc/19434/stat : 19434 (java) S 19432 19432 19084 0 -1 1077944320 13185 0 0 0 177 5 0 0 20 0 20 0 98994096 26630336512 22590 33554432000 4194304 4196468 140725856685040 140725856667584 140029924581111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
/proc/19434/statm: 6501547 22590 3206 1 0 6488781 0
[pid=19434/tid=19435] ppid=19432 vsize=26006188 memory=280945756815024 CPUtime=0.67 cores=0-7
/proc/19434/task/19435/stat : 19435 (java) R 19432 19432 19084 0 -1 4202560 6517 0 0 0 65 2 0 0 20 0 20 0 98994096 26630336512 22590 33554432000 4194304 4196468 140725856685040 140029928817888 140029560703095 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19436] ppid=19432 vsize=26006188 memory=140472878408560 CPUtime=0 cores=0-7
/proc/19434/task/19436/stat : 19436 (java) S 19432 19432 19084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98994097 26630336512 22590 33554432000 4194304 4196468 140725856685040 140029894294416 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19437] ppid=19432 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19437/stat : 19437 (java) S 19432 19432 19084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98994097 26630336512 22590 33554432000 4194304 4196468 140725856685040 140029481528080 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19438] ppid=19432 vsize=26006188 memory=1200 CPUtime=0 cores=0-7
/proc/19434/task/19438/stat : 19438 (java) S 19432 19432 19084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98994097 26630336512 22590 33554432000 4194304 4196468 140725856685040 140029480475792 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0

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

[pid=19434/tid=19461] ppid=19432 vsize=26538700 memory=792 CPUtime=2425.54 cores=0-7
/proc/19434/task/19461/stat : 19461 (java) R 19432 19432 19084 0 -1 4202560 11742 0 0 0 242542 12 0 0 20 0 28 0 98994201 27175628800 99621 33554432000 4194304 4196468 140725856685040 140028353138160 140029570546679 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
Current children cumulated CPU time: 19423.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 399868 KiB

[startup+2502.3 s]
/proc/loadavg: 8.06 8.17 8.20 9/207 19494
/proc/meminfo: memFree=28353424/32770624 swapFree=67108860/67108860
[pid=19432] ppid=19429 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19432/stat : 19432 (xcsp3-exec) S 19429 19432 19084 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 98994096 9740288 346 33554432000 4194304 5098028 140737046562576 140737046560680 140415614947964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33538048 140737046565989 140737046566199 140737046566199 140737046568939 0
/proc/19432/statm: 2378 346 289 221 0 87 0
[pid=19434] ppid=19432 vsize=26538700 memory=404628 CPUtime=19901.3 cores=0-7
/proc/19434/stat : 19434 (java) S 19432 19432 19084 0 -1 1077944320 300487 0 0 0 1989453 677 0 0 20 0 28 0 98994096 27175628800 101157 33554432000 4194304 4196468 140725856685040 140725856667584 140029924581111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
/proc/19434/statm: 6634675 101157 3275 1 0 6621909 0
[pid=19434/tid=19435] ppid=19432 vsize=26538700 memory=1384 CPUtime=1 cores=0-7
/proc/19434/task/19435/stat : 19435 (java) S 19432 19432 19084 0 -1 1077944384 6694 0 0 0 96 4 0 0 20 0 28 0 98994096 27175628800 101157 33554432000 4194304 4196468 140725856685040 140029928821888 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19436] ppid=19432 vsize=26538700 memory=404628 CPUtime=1.45 cores=0-7
/proc/19434/task/19436/stat : 19436 (java) S 19432 19432 19084 0 -1 1077944384 10233 0 0 0 131 14 0 0 20 0 28 0 98994097 27175628800 101157 33554432000 4194304 4196468 140725856685040 140029894294416 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19437] ppid=19432 vsize=26538700 memory=4144 CPUtime=1.49 cores=0-7
/proc/19434/task/19437/stat : 19437 (java) S 19432 19432 19084 0 -1 1077944384 10136 0 0 0 136 13 0 0 20 0 28 0 98994097 27175628800 101157 33554432000 4194304 4196468 140725856685040 140029481528080 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19438] ppid=19432 vsize=26538700 memory=28712 CPUtime=1.45 cores=0-7
/proc/19434/task/19438/stat : 19438 (java) S 19432 19432 19084 0 -1 1077944384 8978 0 0 0 132 13 0 0 20 0 28 0 98994097 27175628800 101157 33554432000 4194304 4196468 140725856685040 140029480475792 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19439] ppid=19432 vsize=26538700 memory=280945756405760 CPUtime=1.48 cores=0-7
/proc/19434/task/19439/stat : 19439 (java) S 19432 19432 19084 0 -1 1077944384 11623 0 0 0 134 14 0 0 20 0 28 0 98994097 27175628800 101157 33554432000 4194304 4196468 140725856685040 140029479422992 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19440] ppid=19432 vsize=26538700 memory=7666373860432237928 CPUtime=1.5 cores=0-7
/proc/19434/task/19440/stat : 19440 (java) S 19432 19432 19084 0 -1 1077944384 8254 0 0 0 137 13 0 0 20 0 28 0 98994097 27175628800 101157 33554432000 4194304 4196468 140725856685040 140029478369680 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19441] ppid=19432 vsize=26538700 memory=4132 CPUtime=1.48 cores=0-7
/proc/19434/task/19441/stat : 19441 (java) S 19432 19432 19084 0 -1 1077944384 9101 0 0 0 135 13 0 0 20 0 28 0 98994097 27175628800 101157 33554432000 4194304 4196468 140725856685040 140029477316880 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19442] ppid=19432 vsize=26538700 memory=280945756371520 CPUtime=1.5 cores=0-7
/proc/19434/task/19442/stat : 19442 (java) S 19432 19432 19084 0 -1 1077944384 8441 0 0 0 135 15 0 0 20 0 28 0 98994097 27175628800 101157 33554432000 4194304 4196468 140725856685040 140029476264592 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19443] ppid=19432 vsize=26538700 memory=24006 CPUtime=1.5 cores=0-7
/proc/19434/task/19443/stat : 19443 (java) S 19432 19432 19084 0 -1 1077944384 11397 0 0 0 135 15 0 0 20 0 28 0 98994097 27175628800 101157 33554432000 4194304 4196468 140725856685040 140029475211792 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19444] ppid=19432 vsize=26538700 memory=0 CPUtime=7.89 cores=0-7
/proc/19434/task/19444/stat : 19444 (java) S 19432 19432 19084 0 -1 1077944384 24728 0 0 0 336 453 0 0 20 0 28 0 98994098 27175628800 101157 33554432000 4194304 4196468 140725856685040 140028377991792 140029924592258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19445] ppid=19432 vsize=26538700 memory=4144 CPUtime=0 cores=0-7
/proc/19434/task/19445/stat : 19445 (java) S 19432 19432 19084 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 98994099 27175628800 101157 33554432000 4194304 4196468 140725856685040 140028376937824 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19446] ppid=19432 vsize=26538700 memory=28712 CPUtime=0 cores=0-7
/proc/19434/task/19446/stat : 19446 (java) S 19432 19432 19084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 98994099 27175628800 101157 33554432000 4194304 4196468 140725856685040 140028375885440 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19447] ppid=19432 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/19434/task/19447/stat : 19447 (java) S 19432 19432 19084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 98994101 27175628800 101157 33554432000 4194304 4196468 140725856685040 140028374833744 140029924599707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19448] ppid=19432 vsize=26538700 memory=1728 CPUtime=3.08 cores=0-7
/proc/19434/task/19448/stat : 19448 (java) S 19432 19432 19084 0 -1 1077944384 21383 0 0 0 306 2 0 0 20 0 28 0 98994101 27175628800 101157 33554432000 4194304 4196468 140725856685040 140028373780592 140029924592258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19449] ppid=19432 vsize=26538700 memory=2204 CPUtime=2.52 cores=0-7
/proc/19434/task/19449/stat : 19449 (java) S 19432 19432 19084 0 -1 1077944384 18353 0 0 0 249 3 0 0 20 0 28 0 98994101 27175628800 101157 33554432000 4194304 4196468 140725856685040 140028372727792 140029924592258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19450] ppid=19432 vsize=26538700 memory=7280 CPUtime=2.58 cores=0-7
/proc/19434/task/19450/stat : 19450 (java) S 19432 19432 19084 0 -1 1077944384 19340 0 0 0 255 3 0 0 20 0 28 0 98994101 27175628800 101157 33554432000 4194304 4196468 140725856685040 140028371675504 140029924592258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19451] ppid=19432 vsize=26538700 memory=9992 CPUtime=0.88 cores=0-7
/proc/19434/task/19451/stat : 19451 (java) S 19432 19432 19084 0 -1 1077944384 16111 0 0 0 86 2 0 0 20 0 28 0 98994101 27175628800 101157 33554432000 4194304 4196468 140725856685040 140028370622704 140029924592258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19452] ppid=19432 vsize=26538700 memory=1224 CPUtime=0 cores=0-7
/proc/19434/task/19452/stat : 19452 (java) S 19432 19432 19084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 98994102 27175628800 101157 33554432000 4194304 4196468 140725856685040 140028369570656 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19453] ppid=19432 vsize=26538700 memory=402580 CPUtime=0.57 cores=0-7
/proc/19434/task/19453/stat : 19453 (java) S 19432 19432 19084 0 -1 1077944384 3359 0 0 0 31 26 0 0 20 0 28 0 98994102 27175628800 101157 33554432000 4194304 4196468 140725856685040 140028368517936 140029924592258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19454] ppid=19432 vsize=26538700 memory=4144 CPUtime=2479.19 cores=0-7
/proc/19434/task/19454/stat : 19454 (java) R 19432 19432 19084 0 -1 4202560 12302 0 0 0 247905 14 0 0 20 0 28 0 98994201 27175628800 101157 33554432000 4194304 4196468 140725856685040 140028360506496 140029570546491 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19455] ppid=19432 vsize=26538700 memory=1384 CPUtime=2482.41 cores=0-7
/proc/19434/task/19455/stat : 19455 (java) R 19432 19432 19084 0 -1 4202560 11661 0 0 0 248228 13 0 0 20 0 28 0 98994201 27175628800 101157 33554432000 4194304 4196468 140725856685040 140028359454704 140029570546676 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19456] ppid=19432 vsize=26538700 memory=1384 CPUtime=2480.58 cores=0-7
/proc/19434/task/19456/stat : 19456 (java) R 19432 19432 19084 0 -1 4202560 14281 0 0 0 248044 14 0 0 20 0 28 0 98994201 27175628800 101157 33554432000 4194304 4196468 140725856685040 140028358401528 140029570546535 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19457] ppid=19432 vsize=26538700 memory=1384 CPUtime=2482.8 cores=0-7
/proc/19434/task/19457/stat : 19457 (java) R 19432 19432 19084 0 -1 4202560 17138 0 0 0 248265 15 0 0 20 0 28 0 98994201 27175628800 101157 33554432000 4194304 4196468 140725856685040 140028357348728 140029570546807 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19458] ppid=19432 vsize=26538700 memory=402580 CPUtime=2489.21 cores=0-7
/proc/19434/task/19458/stat : 19458 (java) R 19432 19432 19084 0 -1 4202560 22595 0 0 0 248900 21 0 0 20 0 28 0 98994201 27175628800 101157 33554432000 4194304 4196468 140725856685040 140028356296336 140029563288720 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19459] ppid=19432 vsize=26538700 memory=402580 CPUtime=2482.97 cores=0-7
/proc/19434/task/19459/stat : 19459 (java) R 19432 19432 19084 0 -1 4202560 9410 0 0 0 248285 12 0 0 20 0 28 0 98994201 27175628800 101157 33554432000 4194304 4196468 140725856685040 140028355246712 140029570546553 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19460] ppid=19432 vsize=26538700 memory=4144 CPUtime=2488.29 cores=0-7
/proc/19434/task/19460/stat : 19460 (java) R 19432 19432 19084 0 -1 4202560 11759 0 0 0 248822 7 0 0 20 0 28 0 98994201 27175628800 101157 33554432000 4194304 4196468 140725856685040 140028354194816 140029570545754 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19461] ppid=19432 vsize=26538700 memory=1384 CPUtime=2485.25 cores=0-7
/proc/19434/task/19461/stat : 19461 (java) R 19432 19432 19084 0 -1 4202560 11877 0 0 0 248513 12 0 0 20 0 28 0 98994201 27175628800 101157 33554432000 4194304 4196468 140725856685040 140028353138408 140029570546670 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
Current children cumulated CPU time: 19901.3 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 406012 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.05 8.16 8.19 9/207 19494
/proc/meminfo: memFree=28351612/32770624 swapFree=67108860/67108860
[pid=19432] ppid=19429 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19432/stat : 19432 (xcsp3-exec) S 19429 19432 19084 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 98994096 9740288 346 33554432000 4194304 5098028 140737046562576 140737046560680 140415614947964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33538048 140737046565989 140737046566199 140737046566199 140737046568939 0
/proc/19432/statm: 2378 346 289 221 0 87 0
[pid=19434] ppid=19432 vsize=26538700 memory=406676 CPUtime=20041.9 cores=0-7
/proc/19434/stat : 19434 (java) S 19432 19432 19084 0 -1 1077944320 300582 0 0 0 2003506 684 0 0 20 0 28 0 98994096 27175628800 101669 33554432000 4194304 4196468 140725856685040 140725856667584 140029924581111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
/proc/19434/statm: 6634675 101669 3275 1 0 6621909 0
[pid=19434/tid=19435] ppid=19432 vsize=26538700 memory=1424 CPUtime=1 cores=0-7
/proc/19434/task/19435/stat : 19435 (java) S 19432 19432 19084 0 -1 1077944384 6694 0 0 0 96 4 0 0 20 0 28 0 98994096 27175628800 101669 33554432000 4194304 4196468 140725856685040 140029928821888 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19436] ppid=19432 vsize=26538700 memory=8552 CPUtime=1.46 cores=0-7
/proc/19434/task/19436/stat : 19436 (java) S 19432 19432 19084 0 -1 1077944384 10235 0 0 0 132 14 0 0 20 0 28 0 98994097 27175628800 101669 33554432000 4194304 4196468 140725856685040 140029894294416 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19437] ppid=19432 vsize=26538700 memory=4872558044660077418 CPUtime=1.51 cores=0-7
/proc/19434/task/19437/stat : 19437 (java) S 19432 19432 19084 0 -1 1077944384 10139 0 0 0 138 13 0 0 20 0 28 0 98994097 27175628800 101669 33554432000 4194304 4196468 140725856685040 140029481528080 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19438] ppid=19432 vsize=26538700 memory=0 CPUtime=1.47 cores=0-7
/proc/19434/task/19438/stat : 19438 (java) S 19432 19432 19084 0 -1 1077944384 8979 0 0 0 134 13 0 0 20 0 28 0 98994097 27175628800 101669 33554432000 4194304 4196468 140725856685040 140029480475792 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19439] ppid=19432 vsize=26538700 memory=0 CPUtime=1.5 cores=0-7
/proc/19434/task/19439/stat : 19439 (java) S 19432 19432 19084 0 -1 1077944384 11646 0 0 0 136 14 0 0 20 0 28 0 98994097 27175628800 101669 33554432000 4194304 4196468 140725856685040 140029479422992 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19440] ppid=19432 vsize=26538700 memory=0 CPUtime=1.51 cores=0-7
/proc/19434/task/19440/stat : 19440 (java) S 19432 19432 19084 0 -1 1077944384 8257 0 0 0 138 13 0 0 20 0 28 0 98994097 27175628800 101669 33554432000 4194304 4196468 140725856685040 140029478369680 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19441] ppid=19432 vsize=26538700 memory=0 CPUtime=1.49 cores=0-7
/proc/19434/task/19441/stat : 19441 (java) S 19432 19432 19084 0 -1 1077944384 9144 0 0 0 136 13 0 0 20 0 28 0 98994097 27175628800 101669 33554432000 4194304 4196468 140725856685040 140029477316880 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19442] ppid=19432 vsize=26538700 memory=0 CPUtime=1.51 cores=0-7
/proc/19434/task/19442/stat : 19442 (java) S 19432 19432 19084 0 -1 1077944384 8442 0 0 0 136 15 0 0 20 0 28 0 98994097 27175628800 101669 33554432000 4194304 4196468 140725856685040 140029476264592 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19443] ppid=19432 vsize=26538700 memory=0 CPUtime=1.51 cores=0-7
/proc/19434/task/19443/stat : 19443 (java) S 19432 19432 19084 0 -1 1077944384 11400 0 0 0 136 15 0 0 20 0 28 0 98994097 27175628800 101669 33554432000 4194304 4196468 140725856685040 140029475211792 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19444] ppid=19432 vsize=26538700 memory=0 CPUtime=7.98 cores=0-7
/proc/19434/task/19444/stat : 19444 (java) S 19432 19432 19084 0 -1 1077944384 24731 0 0 0 339 459 0 0 20 0 28 0 98994098 27175628800 101669 33554432000 4194304 4196468 140725856685040 140028377991792 140029924592258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19445] ppid=19432 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19445/stat : 19445 (java) S 19432 19432 19084 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 98994099 27175628800 101669 33554432000 4194304 4196468 140725856685040 140028376937824 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19446] ppid=19432 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19434/task/19446/stat : 19446 (java) S 19432 19432 19084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 98994099 27175628800 101669 33554432000 4194304 4196468 140725856685040 140028375885440 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19447] ppid=19432 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/19434/task/19447/stat : 19447 (java) S 19432 19432 19084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 98994101 27175628800 101669 33554432000 4194304 4196468 140725856685040 140028374833744 140029924599707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19448] ppid=19432 vsize=26538700 memory=8552 CPUtime=3.08 cores=0-7
/proc/19434/task/19448/stat : 19448 (java) S 19432 19432 19084 0 -1 1077944384 21383 0 0 0 306 2 0 0 20 0 28 0 98994101 27175628800 101669 33554432000 4194304 4196468 140725856685040 140028373780592 140029924592258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19449] ppid=19432 vsize=26538700 memory=15872 CPUtime=2.52 cores=0-7
/proc/19434/task/19449/stat : 19449 (java) S 19432 19432 19084 0 -1 1077944384 18353 0 0 0 249 3 0 0 20 0 28 0 98994101 27175628800 101669 33554432000 4194304 4196468 140725856685040 140028372727792 140029924592258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19450] ppid=19432 vsize=26538700 memory=4052 CPUtime=2.58 cores=0-7
/proc/19434/task/19450/stat : 19450 (java) S 19432 19432 19084 0 -1 1077944384 19340 0 0 0 255 3 0 0 20 0 28 0 98994101 27175628800 101669 33554432000 4194304 4196468 140725856685040 140028371675504 140029924592258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19451] ppid=19432 vsize=26538700 memory=17028 CPUtime=0.88 cores=0-7
/proc/19434/task/19451/stat : 19451 (java) S 19432 19432 19084 0 -1 1077944384 16111 0 0 0 86 2 0 0 20 0 28 0 98994101 27175628800 101669 33554432000 4194304 4196468 140725856685040 140028370622704 140029924592258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19452] ppid=19432 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/19434/task/19452/stat : 19452 (java) S 19432 19432 19084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 98994102 27175628800 101669 33554432000 4194304 4196468 140725856685040 140028369570656 140029924591317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19453] ppid=19432 vsize=26538700 memory=7280 CPUtime=0.58 cores=0-7
/proc/19434/task/19453/stat : 19453 (java) S 19432 19432 19084 0 -1 1077944384 3361 0 0 0 31 27 0 0 20 0 28 0 98994102 27175628800 101669 33554432000 4194304 4196468 140725856685040 140028368517936 140029924592258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19454] ppid=19432 vsize=26538700 memory=844 CPUtime=2496.78 cores=0-7
/proc/19434/task/19454/stat : 19454 (java) R 19432 19432 19084 0 -1 4202560 12303 0 0 0 249664 14 0 0 20 0 28 0 98994201 27175628800 101669 33554432000 4194304 4196468 140725856685040 140028360506632 140029570546529 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19455] ppid=19432 vsize=26538700 memory=1692 CPUtime=2499.86 cores=0-7
/proc/19434/task/19455/stat : 19455 (java) R 19432 19432 19084 0 -1 4202560 11662 0 0 0 249973 13 0 0 20 0 28 0 98994201 27175628800 101669 33554432000 4194304 4196468 140725856685040 140028359454840 140029570546667 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19456] ppid=19432 vsize=26538700 memory=916 CPUtime=2498.06 cores=0-7
/proc/19434/task/19456/stat : 19456 (java) R 19432 19432 19084 0 -1 4202560 14284 0 0 0 249792 14 0 0 20 0 28 0 98994201 27175628800 101669 33554432000 4194304 4196468 140725856685040 140028358401928 140029570546679 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19457] ppid=19432 vsize=26538700 memory=4116 CPUtime=2500.39 cores=0-7
/proc/19434/task/19457/stat : 19457 (java) R 19432 19432 19084 0 -1 4202560 17139 0 0 0 250024 15 0 0 20 0 28 0 98994201 27175628800 101669 33554432000 4194304 4196468 140725856685040 140028357352240 140029570546483 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19458] ppid=19432 vsize=26538700 memory=1152 CPUtime=2506.89 cores=0-7
/proc/19434/task/19458/stat : 19458 (java) R 19432 19432 19084 0 -1 4202560 22596 0 0 0 250668 21 0 0 20 0 28 0 98994201 27175628800 101669 33554432000 4194304 4196468 140725856685040 140028356296448 140029563289091 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19459] ppid=19432 vsize=26538700 memory=3820 CPUtime=2500.5 cores=0-7
/proc/19434/task/19459/stat : 19459 (java) R 19432 19432 19084 0 -1 4202560 9411 0 0 0 250038 12 0 0 20 0 28 0 98994201 27175628800 101669 33554432000 4194304 4196468 140725856685040 140028355246712 140029570546529 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19460] ppid=19432 vsize=26538700 memory=1708 CPUtime=2505.89 cores=0-7
/proc/19434/task/19460/stat : 19460 (java) R 19432 19432 19084 0 -1 4202560 11760 0 0 0 250582 7 0 0 20 0 28 0 98994201 27175628800 101669 33554432000 4194304 4196468 140725856685040 140028354191064 140029570546674 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
[pid=19434/tid=19461] ppid=19432 vsize=26538700 memory=4612 CPUtime=2502.76 cores=0-7
/proc/19434/task/19461/stat : 19461 (java) R 19432 19432 19084 0 -1 4202560 11879 0 0 0 250264 12 0 0 20 0 28 0 98994201 27175628800 101669 33554432000 4194304 4196468 140725856685040 140028353138304 140029570546165 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 28262400 140725856687250 140725856687427 140725856687427 140725856690127 0
Current children cumulated CPU time: 20041.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 408060 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.1
CPU time (s): 20042.6
CPU user time (s): 20035.7
CPU system time (s): 6.85298
CPU usage (%): 795.308
Max. virtual memory (cumulated for all children) (KiB): 26549936
Max. memory (cumulated for all children) (KiB): 446276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20035.7
system time used= 6.85298
maximum resident set size= 446948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301331
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121746
involuntary context switches= 202002


# summary of solver processes directly reported to runsolver:
#   pid: 19432,19434
#   total CPU time (s): 20042.6
#   total CPU user time (s): 20035.7
#   total CPU system time (s): 6.85298

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.2854 second user time and 23.6381 second system time

The end

Launcher Data

Begin job on node151 at 2017-08-13 23:04:33
IDJOB=4270756
IDBENCH=115780
IDSOLVER=2662
FILE ID=node151/4270756-1502659132
RUNJOBID= node151-1502653230-19111
PBS_JOBID= 20628949
Free space on /tmp= 61756 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-030-20-8.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-4270756-1502659132/watcher-4270756-1502659132 -o /tmp/evaluation-result-4270756-1502659132/solver-4270756-1502659132 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502653230-19111 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 513480413 HOME/instance-4270756-1502659132.xml

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

MD5SUM BENCH= 754bcb27478aff360ffbb606538dde42
RANDOM SEED=513480413

node151.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	: 5332.95
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	: 5332.95
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	: 5332.95
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	: 5332.95
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:        28742648 kB
MemAvailable:   31989336 kB
Buffers:          253960 kB
Cached:          3283440 kB
SwapCached:            0 kB
Active:           957048 kB
Inactive:        2632336 kB
Active(anon):      54832 kB
Inactive(anon):    25044 kB
Active(file):     902216 kB
Inactive(file):  2607292 kB
Unevictable:        7024 kB
Mlocked:            7024 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7772 kB
Writeback:             0 kB
AnonPages:         59240 kB
Mapped:            43956 kB
Shmem:             25224 kB
Slab:             132240 kB
SReclaimable:     106028 kB
SUnreclaim:        26212 kB
KernelStack:        3152 kB
PageTables:         4616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323924 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:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61748 MiB
End job on node151 at 2017-08-13 23:46:34