Trace number 4281693

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) 1328.53 254.12199

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s1/
ChessboardColoration-int-40-40.xml
MD5SUM2ccb4f0641fb73c42fbac15220770a0a
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 variables1600
Number of constraints608401
Number of domains1
Minimum domain size1600
Maximum domain size1600
Distribution of domain sizes[{"size":1600,"count":1600}]
Minimum variable degree1523
Maximum variable degree1523
Distribution of variable degrees[{"degree":1523,"count":1600}]
Minimum constraint arity4
Maximum constraint arity1600
Distribution of constraint arities[{"arity":4,"count":608400},{"arity":1600,"count":1}]
Number of extensional constraints0
Number of intensional constraints608400
Distribution of constraint types[{"type":"intension","count":608400},{"type":"lex","count":1}]
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-4281693-1503188840.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4281693-1503188840.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...

Verifier Data 

One s line expected

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281693-1503188840/watcher-4281693-1503188840 -o /tmp/evaluation-result-4281693-1503188840/solver-4281693-1503188840 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503180405-3599 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1599848688 HOME/instance-4281693-1503188840.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=11443, runsolver pid=11440

[startup+0.100144 s]*
/proc/loadavg: 7.32 6.47 6.64 2/200 11464
/proc/meminfo: memFree=26134676/32770624 swapFree=67108860/67108860
[pid=11443] ppid=11440 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11443/stat : 11443 (xcsp3-exec) S 11440 11443 3572 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151971633 9740288 346 33554432000 4194304 5098028 140734816560192 140734816558296 140343626445436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39763968 140734816564330 140734816564540 140734816564540 140734816567275 0
/proc/11443/statm: 2378 346 289 221 0 87 0
[pid=11445] ppid=11443 vsize=25999808 memory=27356 CPUtime=0.11 cores=0-7
/proc/11445/stat : 11445 (java) S 11443 11443 3572 0 -1 1077944320 5261 0 0 0 10 1 0 0 20 0 20 0 151971633 26623803392 6839 33554432000 4194304 4196468 140731139077600 140731139060144 139801221201655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
/proc/11445/statm: 6499952 6839 2844 1 0 6488269 0
[pid=11445/tid=11446] ppid=11443 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/11445/task/11446/stat : 11446 (java) R 11443 11443 3572 0 -1 4202560 3271 0 0 0 8 1 0 0 20 0 20 0 151971634 26623803392 6839 33554432000 4194304 4196468 140731139077600 139801225434928 139801205245285 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11447] ppid=11443 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/11445/task/11447/stat : 11447 (java) S 11443 11443 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151971634 26623803392 6839 33554432000 4194304 4196468 140731139077600 139800778951184 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11448] ppid=11443 vsize=25999808 memory=140690778625664 CPUtime=0 cores=0-7
/proc/11445/task/11448/stat : 11448 (java) S 11443 11443 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151971634 26623803392 6839 33554432000 4194304 4196468 140731139077600 139800777898640 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11449] ppid=11443 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11449/stat : 11449 (java) S 11443 11443 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151971634 26623803392 6839 33554432000 4194304 4196468 140731139077600 139800776845584 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11450] ppid=11443 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11450/stat : 11450 (java) S 11443 11443 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151971634 26623803392 6839 33554432000 4194304 4196468 140731139077600 139800775793040 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11451] ppid=11443 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11451/stat : 11451 (java) S 11443 11443 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151971635 26623803392 6839 33554432000 4194304 4196468 140731139077600 139800774741008 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11452] ppid=11443 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/11445/task/11452/stat : 11452 (java) S 11443 11443 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151971635 26623803392 6839 33554432000 4194304 4196468 140731139077600 139800773688464 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11453] ppid=11443 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11453/stat : 11453 (java) S 11443 11443 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151971635 26623803392 6839 33554432000 4194304 4196468 140731139077600 139800772635408 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11454] ppid=11443 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11454/stat : 11454 (java) S 11443 11443 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151971635 26623803392 6839 33554432000 4194304 4196468 140731139077600 139800771582864 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11455] ppid=11443 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11455/stat : 11455 (java) S 11443 11443 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151971636 26623803392 6839 33554432000 4194304 4196468 140731139077600 139800616925424 139801221212802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11456] ppid=11443 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11456/stat : 11456 (java) S 11443 11443 3572 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151971636 26623803392 6839 33554432000 4194304 4196468 140731139077600 139800615871648 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11457] ppid=11443 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11457/stat : 11457 (java) S 11443 11443 3572 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151971637 26623803392 6839 33554432000 4194304 4196468 140731139077600 139800614818544 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11458] ppid=11443 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11458/stat : 11458 (java) S 11443 11443 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151971639 26623803392 6839 33554432000 4194304 4196468 140731139077600 139800613767120 139801221220251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11459] ppid=11443 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11459/stat : 11459 (java) S 11443 11443 3572 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 151971639 26623803392 6839 33554432000 4194304 4196468 140731139077600 139800612715248 139801221212802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11460] ppid=11443 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11460/stat : 11460 (java) S 11443 11443 3572 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 151971639 26623803392 6839 33554432000 4194304 4196468 140731139077600 139800611662704 139801221212802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11461] ppid=11443 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11461/stat : 11461 (java) S 11443 11443 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151971639 26623803392 6839 33554432000 4194304 4196468 140731139077600 139800610609648 139801221212802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11462] ppid=11443 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/11445/task/11462/stat : 11462 (java) R 11443 11443 3572 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 20 0 151971639 26623803392 6839 33554432000 4194304 4196468 140731139077600 139800609557104 139801199857736 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11463] ppid=11443 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11463/stat : 11463 (java) S 11443 11443 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151971639 26623803392 6839 33554432000 4194304 4196468 140731139077600 139800608504288 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11464] ppid=11443 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/11445/task/11464/stat : 11464 (java) S 11443 11443 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151971640 26623803392 6839 33554432000 4194304 4196468 140731139077600 139800607451824 139801221212802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28740 KiB

[startup+0.210407 s]*
/proc/loadavg: 7.32 6.47 6.64 2/200 11464
/proc/meminfo: memFree=26126808/32770624 swapFree=67108860/67108860
[pid=11443] ppid=11440 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11443/stat : 11443 (xcsp3-exec) S 11440 11443 3572 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151971633 9740288 346 33554432000 4194304 5098028 140734816560192 140734816558296 140343626445436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39763968 140734816564330 140734816564540 140734816564540 140734816567275 0
/proc/11443/statm: 2378 346 289 221 0 87 0
[pid=11445] ppid=11443 vsize=26004064 memory=39252 CPUtime=0.33 cores=0-7
/proc/11445/stat : 11445 (java) S 11443 11443 3572 0 -1 1077944320 7862 0 0 0 30 3 0 0 20 0 20 0 151971633 26628161536 9813 33554432000 4194304 4196468 140731139077600 140731139060144 139801221201655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
/proc/11445/statm: 6501016 9813 3067 1 0 6488269 0
[pid=11445/tid=11446] ppid=11443 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/11445/task/11446/stat : 11446 (java) R 11443 11443 3572 0 -1 4202560 4985 0 0 0 18 1 0 0 20 0 20 0 151971634 26628161536 9813 33554432000 4194304 4196468 140731139077600 139801225422648 139801205282142 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11447] ppid=11443 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/11445/task/11447/stat : 11447 (java) S 11443 11443 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151971634 26628161536 9813 33554432000 4194304 4196468 140731139077600 139800778951184 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11448] ppid=11443 vsize=26004064 memory=288371066930337408 CPUtime=0 cores=0-7
/proc/11445/task/11448/stat : 11448 (java) S 11443 11443 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151971634 26628161536 9813 33554432000 4194304 4196468 140731139077600 139800777898640 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11449] ppid=11443 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11445/task/11449/stat : 11449 (java) S 11443 11443 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151971634 26628161536 9813 33554432000 4194304 4196468 140731139077600 139800776845584 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11450] ppid=11443 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11450/stat : 11450 (java) S 11443 11443 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151971634 26628161536 9813 33554432000 4194304 4196468 140731139077600 139800775793040 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11451] ppid=11443 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11451/stat : 11451 (java) S 11443 11443 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151971635 26628161536 9813 33554432000 4194304 4196468 140731139077600 139800774741008 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11452] ppid=11443 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11445/task/11452/stat : 11452 (java) S 11443 11443 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151971635 26628161536 9813 33554432000 4194304 4196468 140731139077600 139800773688464 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11453] ppid=11443 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11453/stat : 11453 (java) S 11443 11443 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151971635 26628161536 9813 33554432000 4194304 4196468 140731139077600 139800772635408 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11454] ppid=11443 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11454/stat : 11454 (java) S 11443 11443 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151971635 26628161536 9813 33554432000 4194304 4196468 140731139077600 139800771582864 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11455] ppid=11443 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11455/stat : 11455 (java) S 11443 11443 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151971636 26628161536 9813 33554432000 4194304 4196468 140731139077600 139800616925424 139801221212802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11456] ppid=11443 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11456/stat : 11456 (java) S 11443 11443 3572 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151971636 26628161536 9813 33554432000 4194304 4196468 140731139077600 139800615871648 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11457] ppid=11443 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11457/stat : 11457 (java) S 11443 11443 3572 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151971637 26628161536 9813 33554432000 4194304 4196468 140731139077600 139800614818544 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11458] ppid=11443 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11458/stat : 11458 (java) S 11443 11443 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151971639 26628161536 9813 33554432000 4194304 4196468 140731139077600 139800613767120 139801221220251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11459] ppid=11443 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/11445/task/11459/stat : 11459 (java) S 11443 11443 3572 0 -1 1077944384 398 0 0 0 1 0 0 0 20 0 20 0 151971639 26628161536 9813 33554432000 4194304 4196468 140731139077600 139800612715248 139801221212802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11460] ppid=11443 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/11445/task/11460/stat : 11460 (java) S 11443 11443 3572 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 20 0 151971639 26628161536 9813 33554432000 4194304 4196468 140731139077600 139800611662704 139801221212802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11461] ppid=11443 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/11445/task/11461/stat : 11461 (java) S 11443 11443 3572 0 -1 1077944384 166 0 0 0 2 0 0 0 20 0 20 0 151971639 26628161536 9813 33554432000 4194304 4196468 140731139077600 139800610609648 139801221212802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11462] ppid=11443 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/11445/task/11462/stat : 11462 (java) R 11443 11443 3572 0 -1 4202560 704 0 0 0 7 0 0 0 20 0 20 0 151971639 26628161536 9813 33554432000 4194304 4196468 140731139077600 139800609557104 139801206367294 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11463] ppid=11443 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11463/stat : 11463 (java) S 11443 11443 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151971639 26628161536 9813 33554432000 4194304 4196468 140731139077600 139800608504288 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11464] ppid=11443 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11445/task/11464/stat : 11464 (java) S 11443 11443 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151971640 26628161536 9813 33554432000 4194304 4196468 140731139077600 139800607451824 139801221212802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40636 KiB

[startup+0.310178 s]*
/proc/loadavg: 7.32 6.47 6.64 4/200 11464
/proc/meminfo: memFree=26127008/32770624 swapFree=67108860/67108860
[pid=11443] ppid=11440 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11443/stat : 11443 (xcsp3-exec) S 11440 11443 3572 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151971633 9740288 346 33554432000 4194304 5098028 140734816560192 140734816558296 140343626445436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39763968 140734816564330 140734816564540 140734816564540 140734816567275 0
/proc/11443/statm: 2378 346 289 221 0 87 0
[pid=11445] ppid=11443 vsize=26004064 memory=44172 CPUtime=0.5 cores=0-7
/proc/11445/stat : 11445 (java) S 11443 11443 3572 0 -1 1077944320 8730 0 0 0 47 3 0 0 20 0 20 0 151971633 26628161536 11043 33554432000 4194304 4196468 140731139077600 140731139060144 139801221201655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
/proc/11445/statm: 6501016 11043 3100 1 0 6488269 0
[pid=11445/tid=11446] ppid=11443 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11445/task/11446/stat : 11446 (java) R 11443 11443 3572 0 -1 4202560 5659 0 0 0 27 2 0 0 20 0 20 0 151971634 26628161536 11043 33554432000 4194304 4196468 140731139077600 139801225439344 139801221223581 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11447] ppid=11443 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11447/stat : 11447 (java) S 11443 11443 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151971634 26628161536 11043 33554432000 4194304 4196468 140731139077600 139800778951184 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11448] ppid=11443 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11448/stat : 11448 (java) S 11443 11443 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151971634 26628161536 11043 33554432000 4194304 4196468 140731139077600 139800777898640 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11449] ppid=11443 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11449/stat : 11449 (java) S 11443 11443 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151971634 26628161536 11043 33554432000 4194304 4196468 140731139077600 139800776845584 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11450] ppid=11443 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11450/stat : 11450 (java) S 11443 11443 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151971634 26628161536 11043 33554432000 4194304 4196468 140731139077600 139800775793040 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11451] ppid=11443 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/11445/task/11451/stat : 11451 (java) S 11443 11443 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151971635 26628161536 11043 33554432000 4194304 4196468 140731139077600 139800774741008 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11452] ppid=11443 vsize=26004064 memory=140690646463407 CPUtime=0 cores=0-7
/proc/11445/task/11452/stat : 11452 (java) S 11443 11443 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151971635 26628161536 11043 33554432000 4194304 4196468 140731139077600 139800773688464 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11453] ppid=11443 vsize=26004064 memory=140690646465712 CPUtime=0 cores=0-7
/proc/11445/task/11453/stat : 11453 (java) S 11443 11443 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151971635 26628161536 11043 33554432000 4194304 4196468 140731139077600 139800772635408 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11454] ppid=11443 vsize=26004064 memory=140690646468016 CPUtime=0 cores=0-7
/proc/11445/task/11454/stat : 11454 (java) S 11443 11443 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151971635 26628161536 11043 33554432000 4194304 4196468 140731139077600 139800771582864 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11455] ppid=11443 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11455/stat : 11455 (java) S 11443 11443 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151971636 26628161536 11043 33554432000 4194304 4196468 140731139077600 139800616925424 139801221212802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11456] ppid=11443 vsize=26004064 memory=281381292942992 CPUtime=0 cores=0-7
/proc/11445/task/11456/stat : 11456 (java) S 11443 11443 3572 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151971636 26628161536 11043 33554432000 4194304 4196468 140731139077600 139800615871648 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11457] ppid=11443 vsize=26004064 memory=281381292949904 CPUtime=0 cores=0-7
/proc/11445/task/11457/stat : 11457 (java) S 11443 11443 3572 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151971637 26628161536 11043 33554432000 4194304 4196468 140731139077600 139800614818544 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11458] ppid=11443 vsize=26004064 memory=281381292891184 CPUtime=0 cores=0-7
/proc/11445/task/11458/stat : 11458 (java) S 11443 11443 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151971639 26628161536 11043 33554432000 4194304 4196468 140731139077600 139800613767120 139801221220251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11459] ppid=11443 vsize=26004064 memory=281381292963728 CPUtime=0.01 cores=0-7
/proc/11445/task/11459/stat : 11459 (java) S 11443 11443 3572 0 -1 1077944384 400 0 0 0 1 0 0 0 20 0 20 0 151971639 26628161536 11043 33554432000 4194304 4196468 140731139077600 139800612715248 139801221212802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11460] ppid=11443 vsize=26004064 memory=281381292970640 CPUtime=0.02 cores=0-7
/proc/11445/task/11460/stat : 11460 (java) S 11443 11443 3572 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 20 0 151971639 26628161536 11043 33554432000 4194304 4196468 140731139077600 139800611662704 139801221212802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11461] ppid=11443 vsize=26004064 memory=281381292968336 CPUtime=0.02 cores=0-7
/proc/11445/task/11461/stat : 11461 (java) S 11443 11443 3572 0 -1 1077944384 172 0 0 0 2 0 0 0 20 0 20 0 151971639 26628161536 11043 33554432000 4194304 4196468 140731139077600 139800610601104 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11462] ppid=11443 vsize=26004064 memory=281381292984496 CPUtime=0.12 cores=0-7
/proc/11445/task/11462/stat : 11462 (java) R 11443 11443 3572 0 -1 4202560 810 0 0 0 12 0 0 0 20 0 20 0 151971639 26628161536 11043 33554432000 4194304 4196468 140731139077600 139800609557104 139800857989230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11463] ppid=11443 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11445/task/11463/stat : 11463 (java) S 11443 11443 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151971639 26628161536 11043 33554432000 4194304 4196468 140731139077600 139800608504288 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11464] ppid=11443 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11445/task/11464/stat : 11464 (java) S 11443 11443 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151971640 26628161536 11043 33554432000 4194304 4196468 140731139077600 139800607451824 139801221212802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45556 KiB

[startup+0.701803 s]
/proc/loadavg: 7.32 6.47 6.64 2/200 11464
/proc/meminfo: memFree=26060876/32770624 swapFree=67108860/67108860
[pid=11443] ppid=11440 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11443/stat : 11443 (xcsp3-exec) S 11440 11443 3572 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151971633 9740288 346 33554432000 4194304 5098028 140734816560192 140734816558296 140343626445436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39763968 140734816564330 140734816564540 140734816564540 140734816567275 0
/proc/11443/statm: 2378 346 289 221 0 87 0
[pid=11445] ppid=11443 vsize=26004064 memory=265300 CPUtime=1.8 cores=0-7
/proc/11445/stat : 11445 (java) S 11443 11443 3572 0 -1 1077944320 11618 0 0 0 150 30 0 0 20 0 20 0 151971633 26628161536 66325 33554432000 4194304 4196468 140731139077600 140731139060144 139801221201655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
/proc/11445/statm: 6501016 66325 3149 1 0 6488269 0
[pid=11445/tid=11446] ppid=11443 vsize=26004064 memory=281381293342384 CPUtime=0.6 cores=0-7
/proc/11445/task/11446/stat : 11446 (java) S 11443 11443 3572 0 -1 1077944384 5724 0 0 0 56 4 0 0 20 0 20 0 151971634 26628161536 66837 33554432000 4194304 4196468 140731139077600 139801225440752 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11447] ppid=11443 vsize=26004064 memory=140690646672240 CPUtime=0.06 cores=0-7
/proc/11445/task/11447/stat : 11447 (java) R 11443 11443 3572 0 -1 4202560 37 0 0 0 3 3 0 0 20 0 20 0 151971634 26628161536 66837 33554432000 4194304 4196468 140731139077600 139800778951184 139801206229538 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11448] ppid=11443 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/11445/task/11448/stat : 11448 (java) R 11443 11443 3572 0 -1 4202560 47 0 0 0 4 3 0 0 20 0 20 0 151971634 26628161536 66837 33554432000 4194304 4196468 140731139077600 139800777898640 139801214301355 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11449] ppid=11443 vsize=26004064 memory=1004 CPUtime=0.06 cores=0-7
/proc/11445/task/11449/stat : 11449 (java) R 11443 11443 3572 0 -1 4202560 52 0 0 0 4 2 0 0 20 0 20 0 151971634 26628161536 66837 33554432000 4194304 4196468 140731139077600 139800776845784 139801206229538 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0

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

# cumulated CPU time of all completed processes:  user=0.001337 s, system=0.001062 s

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

Solver just ended.
Dumping a history of the last processes samples

[startup+252.801 s]
/proc/loadavg: 5.38 5.41 6.13 9/198 11464
/proc/meminfo: memFree=3218152/32770624 swapFree=67108860/67108860
[pid=11445] ppid=11440 vsize=26006188 memory=22917980 CPUtime=1319.05 cores=0-7
/proc/11445/stat : 11445 (java) S 11440 11443 3572 0 -1 1077944320 689790 0 0 0 127185 4720 0 0 20 0 20 0 151971633 26630336512 5729495 33554432000 4194304 4196468 140731139077600 140731139060144 139801221201655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
/proc/11445/statm: 6501547 5729495 3286 1 0 6488781 0
[pid=11445/tid=11446] ppid=11440 vsize=26006188 memory=42384 CPUtime=81.8 cores=0-7
/proc/11445/task/11446/stat : 11446 (java) S 11440 11443 3572 0 -1 1077944384 49722 0 0 0 8124 56 0 0 20 0 20 0 151971634 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139801225440656 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11447] ppid=11440 vsize=26006188 memory=1384 CPUtime=151.57 cores=0-7
/proc/11445/task/11447/stat : 11447 (java) R 11440 11443 3572 0 -1 4202560 47528 0 0 0 14564 593 0 0 20 0 20 0 151971634 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800778950992 139801213829863 0 4 0 16800975 0 0 0 -1 6 0 0 27 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11448] ppid=11440 vsize=26006188 memory=22917980 CPUtime=151.39 cores=0-7
/proc/11445/task/11448/stat : 11448 (java) R 11440 11443 3572 0 -1 4202560 48125 0 0 0 14588 551 0 0 20 0 20 0 151971634 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800777898448 139801213829863 0 4 0 16800975 0 0 0 -1 4 0 0 30 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11449] ppid=11440 vsize=26006188 memory=796 CPUtime=151.55 cores=0-7
/proc/11445/task/11449/stat : 11449 (java) R 11440 11443 3572 0 -1 4202560 66690 0 0 0 14592 563 0 0 20 0 20 0 151971634 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800776845392 139801213829863 0 4 0 16800975 0 0 0 -1 2 0 0 28 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11450] ppid=11440 vsize=26006188 memory=10088 CPUtime=151.48 cores=0-7
/proc/11445/task/11450/stat : 11450 (java) R 11440 11443 3572 0 -1 4202560 74883 0 0 0 14576 572 0 0 20 0 20 0 151971634 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800775793160 139801213829863 0 4 0 16800975 0 0 0 -1 7 0 0 34 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11451] ppid=11440 vsize=26006188 memory=1728 CPUtime=152.16 cores=0-7
/proc/11445/task/11451/stat : 11451 (java) R 11440 11443 3572 0 -1 4202560 84636 0 0 0 14620 596 0 0 20 0 20 0 151971635 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800774741208 139801205659107 0 4 0 16800975 0 0 0 -1 3 0 0 26 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11452] ppid=11440 vsize=26006188 memory=5788 CPUtime=150.72 cores=0-7
/proc/11445/task/11452/stat : 11452 (java) R 11440 11443 3572 0 -1 4202560 53895 0 0 0 14491 581 0 0 20 0 20 0 151971635 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800773688272 139801213829863 0 4 0 16800975 0 0 0 -1 1 0 0 36 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11453] ppid=11440 vsize=26006188 memory=1228 CPUtime=151.2 cores=0-7
/proc/11445/task/11453/stat : 11453 (java) R 11440 11443 3572 0 -1 4202560 48844 0 0 0 14535 585 0 0 20 0 20 0 151971635 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800772635216 139801213829863 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11454] ppid=11440 vsize=26006188 memory=1384 CPUtime=151.79 cores=0-7
/proc/11445/task/11454/stat : 11454 (java) R 11440 11443 3572 0 -1 4202560 77733 0 0 0 14593 586 0 0 20 0 20 0 151971635 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800771582672 139801213829863 0 4 0 16800975 0 0 0 -1 0 0 0 32 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11455] ppid=11440 vsize=26006188 memory=22917980 CPUtime=17.16 cores=0-7
/proc/11445/task/11455/stat : 11455 (java) S 11440 11443 3572 0 -1 1077944384 89042 0 0 0 1698 18 0 0 20 0 20 0 151971636 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800616923968 139801221211861 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11456] ppid=11440 vsize=26006188 memory=42384 CPUtime=0 cores=0-7
/proc/11445/task/11456/stat : 11456 (java) S 11440 11443 3572 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 20 0 151971636 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800615871712 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11457] ppid=11440 vsize=26006188 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/11445/task/11457/stat : 11457 (java) S 11440 11443 3572 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 151971637 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800614818560 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11458] ppid=11440 vsize=26006188 memory=15876 CPUtime=0 cores=0-7
/proc/11445/task/11458/stat : 11458 (java) S 11440 11443 3572 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 151971639 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800613766768 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11459] ppid=11440 vsize=26006188 memory=4040 CPUtime=2.34 cores=0-7
/proc/11445/task/11459/stat : 11459 (java) S 11440 11443 3572 0 -1 1077944384 14128 0 0 0 231 3 0 0 20 0 20 0 151971639 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800612715296 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11460] ppid=11440 vsize=26006188 memory=1384 CPUtime=2.47 cores=0-7
/proc/11445/task/11460/stat : 11460 (java) S 11440 11443 3572 0 -1 1077944384 12903 0 0 0 244 3 0 0 20 0 20 0 151971639 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800611662752 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11461] ppid=11440 vsize=26006188 memory=56 CPUtime=2.57 cores=0-7
/proc/11445/task/11461/stat : 11461 (java) S 11440 11443 3572 0 -1 1077944384 13801 0 0 0 256 1 0 0 20 0 20 0 151971639 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800610609408 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11462] ppid=11440 vsize=26006188 memory=6944656592455097440 CPUtime=0.59 cores=0-7
/proc/11445/task/11462/stat : 11462 (java) S 11440 11443 3572 0 -1 1077944384 5634 0 0 0 58 1 0 0 20 0 20 0 151971639 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800609557152 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11463] ppid=11440 vsize=26006188 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/11445/task/11463/stat : 11463 (java) S 11440 11443 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151971639 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800608504288 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11464] ppid=11440 vsize=26006188 memory=6655300316396806240 CPUtime=0.1 cores=0-7
/proc/11445/task/11464/stat : 11464 (java) S 11440 11443 3572 0 -1 1077944384 702 0 0 0 6 4 0 0 20 0 20 0 151971640 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800607451824 139801221212802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
Current cumulated CPU time of completed processes: 0.002399 s
Current children cumulated CPU time: 1319.05 s
Current children cumulated vsize: 26006188 KiB
Current children cumulated memory: 22917980 KiB

[startup+253.601 s]
/proc/loadavg: 5.59 5.45 6.14 9/198 11464
/proc/meminfo: memFree=3218068/32770624 swapFree=67108860/67108860
[pid=11445] ppid=11440 vsize=26006188 memory=22917980 CPUtime=1325.23 cores=0-7
/proc/11445/stat : 11445 (java) S 11440 11443 3572 0 -1 1077944320 690192 0 0 0 127801 4722 0 0 20 0 20 0 151971633 26630336512 5729495 33554432000 4194304 4196468 140731139077600 140731139060144 139801221201655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
/proc/11445/statm: 6501547 5729495 3286 1 0 6488781 0
[pid=11445/tid=11446] ppid=11440 vsize=26006188 memory=22917980 CPUtime=81.8 cores=0-7
/proc/11445/task/11446/stat : 11446 (java) S 11440 11443 3572 0 -1 1077944384 49722 0 0 0 8124 56 0 0 20 0 20 0 151971634 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139801225440656 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11447] ppid=11440 vsize=26006188 memory=22917980 CPUtime=152.35 cores=0-7
/proc/11445/task/11447/stat : 11447 (java) R 11440 11443 3572 0 -1 4202560 47528 0 0 0 14641 594 0 0 20 0 20 0 151971634 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800778950992 139801213829863 0 4 0 16800975 0 0 0 -1 6 0 0 27 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11448] ppid=11440 vsize=26006188 memory=648 CPUtime=152.15 cores=0-7
/proc/11445/task/11448/stat : 11448 (java) R 11440 11443 3572 0 -1 4202560 48125 0 0 0 14664 551 0 0 20 0 20 0 151971634 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800777898760 139801213829863 0 4 0 16800975 0 0 0 -1 7 0 0 30 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11449] ppid=11440 vsize=26006188 memory=4872558044660077418 CPUtime=152.33 cores=0-7
/proc/11445/task/11449/stat : 11449 (java) R 11440 11443 3572 0 -1 4202560 66690 0 0 0 14669 564 0 0 20 0 20 0 151971634 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800776845392 139801213829863 0 4 0 16800975 0 0 0 -1 2 0 0 28 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11450] ppid=11440 vsize=26006188 memory=2332 CPUtime=152.24 cores=0-7
/proc/11445/task/11450/stat : 11450 (java) R 11440 11443 3572 0 -1 4202560 74883 0 0 0 14652 572 0 0 20 0 20 0 151971634 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800775792848 139801213829863 0 4 0 16800975 0 0 0 -1 4 0 0 34 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11451] ppid=11440 vsize=26006188 memory=1292 CPUtime=152.95 cores=0-7
/proc/11445/task/11451/stat : 11451 (java) R 11440 11443 3572 0 -1 4202560 85038 0 0 0 14699 596 0 0 20 0 20 0 151971635 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800774741208 139801206191193 0 4 0 16800975 0 0 0 -1 3 0 0 26 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11452] ppid=11440 vsize=26006188 memory=1728 CPUtime=151.5 cores=0-7
/proc/11445/task/11452/stat : 11452 (java) R 11440 11443 3572 0 -1 4202560 53895 0 0 0 14568 582 0 0 20 0 20 0 151971635 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800773688272 139801213829863 0 4 0 16800975 0 0 0 -1 1 0 0 36 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11453] ppid=11440 vsize=26006188 memory=5788 CPUtime=151.97 cores=0-7
/proc/11445/task/11453/stat : 11453 (java) R 11440 11443 3572 0 -1 4202560 48844 0 0 0 14612 585 0 0 20 0 20 0 151971635 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800772635216 139801213829863 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11454] ppid=11440 vsize=26006188 memory=2424 CPUtime=152.56 cores=0-7
/proc/11445/task/11454/stat : 11454 (java) R 11440 11443 3572 0 -1 4202560 77733 0 0 0 14670 586 0 0 20 0 20 0 151971635 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800771582672 139801213829863 0 4 0 16800975 0 0 0 -1 0 0 0 32 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11455] ppid=11440 vsize=26006188 memory=2236 CPUtime=17.16 cores=0-7
/proc/11445/task/11455/stat : 11455 (java) S 11440 11443 3572 0 -1 1077944384 89042 0 0 0 1698 18 0 0 20 0 20 0 151971636 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800616923968 139801221211861 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11456] ppid=11440 vsize=26006188 memory=4084 CPUtime=0 cores=0-7
/proc/11445/task/11456/stat : 11456 (java) S 11440 11443 3572 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 20 0 151971636 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800615871712 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11457] ppid=11440 vsize=26006188 memory=932 CPUtime=0 cores=0-7
/proc/11445/task/11457/stat : 11457 (java) S 11440 11443 3572 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 151971637 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800614818560 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11458] ppid=11440 vsize=26006188 memory=1572 CPUtime=0 cores=0-7
/proc/11445/task/11458/stat : 11458 (java) S 11440 11443 3572 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 151971639 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800613766768 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11459] ppid=11440 vsize=26006188 memory=2200 CPUtime=2.34 cores=0-7
/proc/11445/task/11459/stat : 11459 (java) S 11440 11443 3572 0 -1 1077944384 14128 0 0 0 231 3 0 0 20 0 20 0 151971639 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800612715296 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11460] ppid=11440 vsize=26006188 memory=1720 CPUtime=2.47 cores=0-7
/proc/11445/task/11460/stat : 11460 (java) S 11440 11443 3572 0 -1 1077944384 12903 0 0 0 244 3 0 0 20 0 20 0 151971639 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800611662752 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11461] ppid=11440 vsize=26006188 memory=1004 CPUtime=2.57 cores=0-7
/proc/11445/task/11461/stat : 11461 (java) S 11440 11443 3572 0 -1 1077944384 13801 0 0 0 256 1 0 0 20 0 20 0 151971639 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800610609408 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11462] ppid=11440 vsize=26006188 memory=1436 CPUtime=0.59 cores=0-7
/proc/11445/task/11462/stat : 11462 (java) S 11440 11443 3572 0 -1 1077944384 5634 0 0 0 58 1 0 0 20 0 20 0 151971639 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800609557152 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11463] ppid=11440 vsize=26006188 memory=1200 CPUtime=0 cores=0-7
/proc/11445/task/11463/stat : 11463 (java) S 11440 11443 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151971639 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800608504288 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11464] ppid=11440 vsize=26006188 memory=15876 CPUtime=0.1 cores=0-7
/proc/11445/task/11464/stat : 11464 (java) S 11440 11443 3572 0 -1 1077944384 702 0 0 0 6 4 0 0 20 0 20 0 151971640 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800607451824 139801221212802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
Current cumulated CPU time of completed processes: 0.002399 s
Current children cumulated CPU time: 1325.23 s
Current children cumulated vsize: 26006188 KiB
Current children cumulated memory: 22917980 KiB

[startup+254.001 s]*
/proc/loadavg: 5.59 5.45 6.14 9/198 11464
/proc/meminfo: memFree=3218068/32770624 swapFree=67108860/67108860
[pid=11445] ppid=11440 vsize=26006188 memory=22917980 CPUtime=1328.37 cores=0-7
/proc/11445/stat : 11445 (java) S 11440 11443 3572 0 -1 1077944320 690316 0 0 0 128115 4722 0 0 20 0 20 0 151971633 26630336512 5729495 33554432000 4194304 4196468 140731139077600 140731139060144 139801221201655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
/proc/11445/statm: 6501547 5729495 3286 1 0 6488781 0
[pid=11445/tid=11446] ppid=11440 vsize=26006188 memory=4872558044660077418 CPUtime=81.8 cores=0-7
/proc/11445/task/11446/stat : 11446 (java) S 11440 11443 3572 0 -1 1077944384 49722 0 0 0 8124 56 0 0 20 0 20 0 151971634 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139801225440656 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11447] ppid=11440 vsize=26006188 memory=4872558044660077418 CPUtime=152.74 cores=0-7
/proc/11445/task/11447/stat : 11447 (java) R 11440 11443 3572 0 -1 4202560 47528 0 0 0 14680 594 0 0 20 0 20 0 151971634 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800778950992 139801213829863 0 4 0 16800975 0 0 0 -1 6 0 0 27 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11448] ppid=11440 vsize=26006188 memory=1292 CPUtime=152.54 cores=0-7
/proc/11445/task/11448/stat : 11448 (java) R 11440 11443 3572 0 -1 4202560 48125 0 0 0 14703 551 0 0 20 0 20 0 151971634 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800777898760 139801213829863 0 4 0 16800975 0 0 0 -1 5 0 0 30 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11449] ppid=11440 vsize=26006188 memory=1728 CPUtime=152.72 cores=0-7
/proc/11445/task/11449/stat : 11449 (java) R 11440 11443 3572 0 -1 4202560 66690 0 0 0 14708 564 0 0 20 0 20 0 151971634 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800776845704 139801213829863 0 4 0 16800975 0 0 0 -1 2 0 0 28 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11450] ppid=11440 vsize=26006188 memory=5788 CPUtime=152.63 cores=0-7
/proc/11445/task/11450/stat : 11450 (java) R 11440 11443 3572 0 -1 4202560 74883 0 0 0 14691 572 0 0 20 0 20 0 151971634 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800775792848 139801213829863 0 4 0 16800975 0 0 0 -1 4 0 0 34 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11451] ppid=11440 vsize=26006188 memory=4872558044660077418 CPUtime=153.36 cores=0-7
/proc/11445/task/11451/stat : 11451 (java) R 11440 11443 3572 0 -1 4202560 85162 0 0 0 14740 596 0 0 20 0 20 0 151971635 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800774741208 139801205901574 0 4 0 16800975 0 0 0 -1 3 0 0 26 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11452] ppid=11440 vsize=26006188 memory=960 CPUtime=151.89 cores=0-7
/proc/11445/task/11452/stat : 11452 (java) R 11440 11443 3572 0 -1 4202560 53895 0 0 0 14607 582 0 0 20 0 20 0 151971635 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800773688272 139801213829863 0 4 0 16800975 0 0 0 -1 1 0 0 36 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11453] ppid=11440 vsize=26006188 memory=2424 CPUtime=152.36 cores=0-7
/proc/11445/task/11453/stat : 11453 (java) R 11440 11443 3572 0 -1 4202560 48844 0 0 0 14651 585 0 0 20 0 20 0 151971635 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800772635528 139801213829863 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11454] ppid=11440 vsize=26006188 memory=2236 CPUtime=152.95 cores=0-7
/proc/11445/task/11454/stat : 11454 (java) R 11440 11443 3572 0 -1 4202560 77733 0 0 0 14709 586 0 0 20 0 20 0 151971635 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800771582672 139801213829863 0 4 0 16800975 0 0 0 -1 0 0 0 32 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11455] ppid=11440 vsize=26006188 memory=4084 CPUtime=17.16 cores=0-7
/proc/11445/task/11455/stat : 11455 (java) S 11440 11443 3572 0 -1 1077944384 89042 0 0 0 1698 18 0 0 20 0 20 0 151971636 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800616923968 139801221211861 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11456] ppid=11440 vsize=26006188 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/11445/task/11456/stat : 11456 (java) S 11440 11443 3572 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 20 0 151971636 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800615871712 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11457] ppid=11440 vsize=26006188 memory=1572 CPUtime=0 cores=0-7
/proc/11445/task/11457/stat : 11457 (java) S 11440 11443 3572 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 151971637 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800614818560 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11458] ppid=11440 vsize=26006188 memory=2200 CPUtime=0 cores=0-7
/proc/11445/task/11458/stat : 11458 (java) S 11440 11443 3572 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 151971639 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800613766768 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11459] ppid=11440 vsize=26006188 memory=8048 CPUtime=2.34 cores=0-7
/proc/11445/task/11459/stat : 11459 (java) S 11440 11443 3572 0 -1 1077944384 14128 0 0 0 231 3 0 0 20 0 20 0 151971639 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800612715296 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11460] ppid=11440 vsize=26006188 memory=836 CPUtime=2.47 cores=0-7
/proc/11445/task/11460/stat : 11460 (java) S 11440 11443 3572 0 -1 1077944384 12903 0 0 0 244 3 0 0 20 0 20 0 151971639 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800611662752 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11461] ppid=11440 vsize=26006188 memory=1696 CPUtime=2.57 cores=0-7
/proc/11445/task/11461/stat : 11461 (java) S 11440 11443 3572 0 -1 1077944384 13801 0 0 0 256 1 0 0 20 0 20 0 151971639 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800610609408 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11462] ppid=11440 vsize=26006188 memory=920 CPUtime=0.59 cores=0-7
/proc/11445/task/11462/stat : 11462 (java) S 11440 11443 3572 0 -1 1077944384 5634 0 0 0 58 1 0 0 20 0 20 0 151971639 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800609557152 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11463] ppid=11440 vsize=26006188 memory=5272 CPUtime=0 cores=0-7
/proc/11445/task/11463/stat : 11463 (java) S 11440 11443 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151971639 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800608504288 139801221211861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
[pid=11445/tid=11464] ppid=11440 vsize=26006188 memory=4096 CPUtime=0.1 cores=0-7
/proc/11445/task/11464/stat : 11464 (java) S 11440 11443 3572 0 -1 1077944384 702 0 0 0 6 4 0 0 20 0 20 0 151971640 26630336512 5729495 33554432000 4194304 4196468 140731139077600 139800607451824 139801221212802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17170432 140731139085464 140731139085640 140731139085640 140731139088335 0
Current cumulated CPU time of completed processes: 0.002399 s
Current children cumulated CPU time: 1328.37 s
Current children cumulated vsize: 26006188 KiB
Current children cumulated memory: 22917980 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 254.122
CPU time (s): 1328.53
CPU user time (s): 1281.2
CPU system time (s): 47.3363
CPU usage (%): 522.795
Max. virtual memory (cumulated for all children) (KiB): 26015700
Max. memory (cumulated for all children) (KiB): 22919364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1281.2
system time used= 47.3363
maximum resident set size= 22918696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 690841
page faults= 0
swaps= 0
block input operations= 0
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31102
involuntary context switches= 18294


# summary of solver processes directly reported to runsolver:
#   pid: 11443,11445
#   total CPU time (s): 1328.53
#   total CPU user time (s): 1281.2
#   total CPU system time (s): 47.3363

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.74591 second user time and 2.67939 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-20 02:13:00
IDJOB=4281693
IDBENCH=139739
IDSOLVER=2676
FILE ID=node112/4281693-1503188840
RUNJOBID= node112-1503180405-3599
PBS_JOBID= 20630850
Free space on /tmp= 61820 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s1/ChessboardColoration-int-40-40.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-4281693-1503188840/watcher-4281693-1503188840 -o /tmp/evaluation-result-4281693-1503188840/solver-4281693-1503188840 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503180405-3599 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1599848688 HOME/instance-4281693-1503188840.xml

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

MD5SUM BENCH= 2ccb4f0641fb73c42fbac15220770a0a
RANDOM SEED=1599848688

node112.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26141984 kB
MemAvailable:   31952780 kB
Buffers:          253268 kB
Cached:          5847484 kB
SwapCached:            0 kB
Active:          1139112 kB
Inactive:        5014376 kB
Active(anon):       4496 kB
Inactive(anon):    84388 kB
Active(file):    1134616 kB
Inactive(file):  4929988 kB
Unevictable:        7840 kB
Mlocked:            7840 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7784 kB
Writeback:         32984 kB
AnonPages:         60332 kB
Mapped:            51352 kB
Shmem:             33416 kB
Slab:             169308 kB
SReclaimable:     124052 kB
SUnreclaim:        45256 kB
KernelStack:        3152 kB
PageTables:         4688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     334596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61812 MiB
End job on node112 at 2017-08-20 02:17:14