Trace number 4393714

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 2019-06-14 parallel? (TO) 19937.1 2520.1

General information on the benchmark

NameXCSP19/hcp/
graph255.xml
MD5SUM0532ed0e06c51195f7ed7ca4343984ea
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark163.368
Satisfiable
(Un)Satisfiability was proved
Number of variables1584
Number of constraints1
Number of domains1584
Minimum domain size2
Maximum domain size217
Distribution of domain sizes[{"size":2,"count":530},{"size":3,"count":620},{"size":4,"count":46},{"size":5,"count":256},{"size":6,"count":130},{"size":217,"count":2}]
Minimum variable degree1
Maximum variable degree1
Distribution of variable degrees[{"degree":1,"count":1584}]
Minimum constraint arity1584
Maximum constraint arity1584
Distribution of constraint arities[{"arity":1584,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"circuit","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393714-1568449220.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4393714-1568449220.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.29	c parse instance...
2.60/0.93	c solve instance...
19936.40/2520.08	s UNKNOWN
19936.40/2520.08	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15257 MiB free)
  memory of node 1: 16384 MiB (15599 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393714-1568449220/watcher-4393714-1568449220 -o /tmp/evaluation-result-4393714-1568449220/solver-4393714-1568449220 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568438679-8579 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 90593672 HOME/instance-4393714-1568449220.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=12454, runsolver pid=12451

[startup+0.100112 s]*
/proc/loadavg: 2.49 1.63 3.40 3/215 12475
/proc/meminfo: memFree=31582392/32770624 swapFree=67009832/67108860
[pid=12454] ppid=12451 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12454/stat : 12454 (xcsp3-exec) S 12451 12454 8552 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420844721 115843072 364 33554432000 4194304 5098028 140737380681920 140737380680024 140214578516604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13029376 140737380684663 140737380684905 140737380684905 140737380687818 0
/proc/12454/statm: 28282 364 305 221 0 87 0
[pid=12456] ppid=12454 vsize=28227388 memory=29896 CPUtime=0.12 cores=0-7
/proc/12456/stat : 12456 (java) S 12454 12454 8552 0 -1 1077944320 5894 0 0 0 11 1 0 0 20 0 20 0 420844721 28904845312 7474 33554432000 4194304 4196468 140734759060624 140734759043168 140515359559415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
/proc/12456/statm: 7056847 7474 3158 1 0 7019032 0
[pid=12456/tid=12457] ppid=12454 vsize=28227388 memory=-7024592270288534718 CPUtime=0.09 cores=0-7
/proc/12456/task/12457/stat : 12457 (java) R 12454 12454 8552 0 -1 4202560 3788 0 0 0 8 1 0 0 20 0 20 0 420844721 28904845312 7474 33554432000 4194304 4196468 140734759060624 140515363792688 140515359571350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12458] ppid=12454 vsize=28227388 memory=6735269665564437106 CPUtime=0 cores=0-7
/proc/12456/task/12458/stat : 12458 (java) S 12454 12454 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420844722 28904845312 7474 33554432000 4194304 4196468 140734759060624 140515312180368 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12459] ppid=12454 vsize=28227388 memory=140366478894720 CPUtime=0 cores=0-7
/proc/12456/task/12459/stat : 12459 (java) S 12454 12454 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420844722 28904845312 7474 33554432000 4194304 4196468 140734759060624 140515311127568 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12460] ppid=12454 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12460/stat : 12460 (java) S 12454 12454 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420844722 28904845312 7474 33554432000 4194304 4196468 140734759060624 140515310074768 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12461] ppid=12454 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12461/stat : 12461 (java) S 12454 12454 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420844722 28904845312 7474 33554432000 4194304 4196468 140734759060624 140515309021968 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12462] ppid=12454 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12462/stat : 12462 (java) S 12454 12454 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420844722 28904845312 7474 33554432000 4194304 4196468 140734759060624 140515307969168 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12463] ppid=12454 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/12456/task/12463/stat : 12463 (java) S 12454 12454 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420844722 28904845312 7474 33554432000 4194304 4196468 140734759060624 140515306916368 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12464] ppid=12454 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12464/stat : 12464 (java) S 12454 12454 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420844722 28904845312 7474 33554432000 4194304 4196468 140734759060624 140515305863568 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12465] ppid=12454 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12465/stat : 12465 (java) S 12454 12454 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420844722 28904845312 7474 33554432000 4194304 4196468 140734759060624 140515304810768 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12466] ppid=12454 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12466/stat : 12466 (java) S 12454 12454 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420844724 28904845312 7474 33554432000 4194304 4196468 140734759060624 140513872141168 140515359570562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12467] ppid=12454 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12467/stat : 12467 (java) S 12454 12454 8552 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420844724 28904845312 7474 33554432000 4194304 4196468 140734759060624 140513871087136 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12468] ppid=12454 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12468/stat : 12468 (java) S 12454 12454 8552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420844724 28904845312 7474 33554432000 4194304 4196468 140734759060624 140513870034288 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12469] ppid=12454 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12469/stat : 12469 (java) S 12454 12454 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420844727 28904845312 7474 33554432000 4194304 4196468 140734759060624 140513868982608 140515359578011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12470] ppid=12454 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12470/stat : 12470 (java) S 12454 12454 8552 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 20 0 420844727 28904845312 7474 33554432000 4194304 4196468 140734759060624 140513867929968 140515359570562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12471] ppid=12454 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12471/stat : 12471 (java) S 12454 12454 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420844727 28904845312 7474 33554432000 4194304 4196468 140734759060624 140513866877168 140515359570562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12472] ppid=12454 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12472/stat : 12472 (java) S 12454 12454 8552 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 20 0 420844727 28904845312 7474 33554432000 4194304 4196468 140734759060624 140513865824368 140515359570562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12473] ppid=12454 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/12456/task/12473/stat : 12473 (java) S 12454 12454 8552 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 20 0 420844727 28904845312 7474 33554432000 4194304 4196468 140734759060624 140513864771568 140515359570562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12474] ppid=12454 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12474/stat : 12474 (java) S 12454 12454 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420844727 28904845312 7474 33554432000 4194304 4196468 140734759060624 140513863720032 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12475] ppid=12454 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/12456/task/12475/stat : 12475 (java) S 12454 12454 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420844727 28904845312 7474 33554432000 4194304 4196468 140734759060624 140513862667312 140515359570562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31352 KiB

[startup+0.210694 s]*
/proc/loadavg: 2.49 1.63 3.40 2/215 12475
/proc/meminfo: memFree=31570648/32770624 swapFree=67009832/67108860
[pid=12454] ppid=12451 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12454/stat : 12454 (xcsp3-exec) S 12451 12454 8552 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420844721 115843072 364 33554432000 4194304 5098028 140737380681920 140737380680024 140214578516604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13029376 140737380684663 140737380684905 140737380684905 140737380687818 0
/proc/12454/statm: 28282 364 305 221 0 87 0
[pid=12456] ppid=12454 vsize=28227388 memory=41164 CPUtime=0.34 cores=0-7
/proc/12456/stat : 12456 (java) S 12454 12454 8552 0 -1 1077944320 9511 0 0 0 31 3 0 0 20 0 20 0 420844721 28904845312 10291 33554432000 4194304 4196468 140734759060624 140734759043168 140515359559415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
/proc/12456/statm: 7056847 10291 3288 1 0 7019032 0
[pid=12456/tid=12457] ppid=12454 vsize=28227388 memory=8390339637985935414 CPUtime=0.2 cores=0-7
/proc/12456/task/12457/stat : 12457 (java) R 12454 12454 8552 0 -1 4202560 6657 0 0 0 18 2 0 0 20 0 20 0 420844721 28904845312 10291 33554432000 4194304 4196468 140734759060624 140515363793360 140515359571350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12458] ppid=12454 vsize=28227388 memory=288230613314710904 CPUtime=0 cores=0-7
/proc/12456/task/12458/stat : 12458 (java) S 12454 12454 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420844722 28904845312 10291 33554432000 4194304 4196468 140734759060624 140515312180368 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12459] ppid=12454 vsize=28227388 memory=288370742630606464 CPUtime=0 cores=0-7
/proc/12456/task/12459/stat : 12459 (java) S 12454 12454 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420844722 28904845312 10291 33554432000 4194304 4196468 140734759060624 140515311127568 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12460] ppid=12454 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/12456/task/12460/stat : 12460 (java) S 12454 12454 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420844722 28904845312 10291 33554432000 4194304 4196468 140734759060624 140515310074768 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12461] ppid=12454 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12461/stat : 12461 (java) S 12454 12454 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420844722 28904845312 10291 33554432000 4194304 4196468 140734759060624 140515309021968 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12462] ppid=12454 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12462/stat : 12462 (java) S 12454 12454 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420844722 28904845312 10291 33554432000 4194304 4196468 140734759060624 140515307969168 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12463] ppid=12454 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/12456/task/12463/stat : 12463 (java) S 12454 12454 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420844722 28904845312 10291 33554432000 4194304 4196468 140734759060624 140515306916368 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12464] ppid=12454 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12464/stat : 12464 (java) S 12454 12454 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420844722 28904845312 10291 33554432000 4194304 4196468 140734759060624 140515305863568 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12465] ppid=12454 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12465/stat : 12465 (java) S 12454 12454 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420844722 28904845312 10291 33554432000 4194304 4196468 140734759060624 140515304810768 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12466] ppid=12454 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12466/stat : 12466 (java) S 12454 12454 8552 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420844724 28904845312 10291 33554432000 4194304 4196468 140734759060624 140513872141168 140515359570562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12467] ppid=12454 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12467/stat : 12467 (java) S 12454 12454 8552 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420844724 28904845312 10291 33554432000 4194304 4196468 140734759060624 140513871087136 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12468] ppid=12454 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12468/stat : 12468 (java) S 12454 12454 8552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420844724 28904845312 10291 33554432000 4194304 4196468 140734759060624 140513870034288 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12469] ppid=12454 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12469/stat : 12469 (java) S 12454 12454 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420844727 28904845312 10291 33554432000 4194304 4196468 140734759060624 140513868982608 140515359578011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12470] ppid=12454 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12470/stat : 12470 (java) S 12454 12454 8552 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 20 0 420844727 28904845312 10291 33554432000 4194304 4196468 140734759060624 140513867929968 140515359570562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12471] ppid=12454 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/12456/task/12471/stat : 12471 (java) S 12454 12454 8552 0 -1 1077944384 230 0 0 0 2 0 0 0 20 0 20 0 420844727 28904845312 10291 33554432000 4194304 4196468 140734759060624 140513866877168 140515359570562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12472] ppid=12454 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/12456/task/12472/stat : 12472 (java) R 12454 12454 8552 0 -1 1077944384 412 0 0 0 2 0 0 0 20 0 20 0 420844727 28904845312 10291 33554432000 4194304 4196468 140734759060624 140513865824368 140515359570562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12473] ppid=12454 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7
/proc/12456/task/12473/stat : 12473 (java) R 12454 12454 8552 0 -1 4202560 750 0 0 0 7 0 0 0 20 0 20 0 420844727 28904845312 10291 33554432000 4194304 4196468 140734759060624 140513864771568 140515351796542 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12474] ppid=12454 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12474/stat : 12474 (java) S 12454 12454 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420844727 28904845312 10291 33554432000 4194304 4196468 140734759060624 140513863720032 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12475] ppid=12454 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/12456/task/12475/stat : 12475 (java) S 12454 12454 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420844727 28904845312 10291 33554432000 4194304 4196468 140734759060624 140513862667312 140515359570562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42620 KiB

[startup+0.310375 s]*
/proc/loadavg: 2.49 1.63 3.40 5/215 12475
/proc/meminfo: memFree=31562604/32770624 swapFree=67009832/67108860
[pid=12454] ppid=12451 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12454/stat : 12454 (xcsp3-exec) S 12451 12454 8552 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420844721 115843072 364 33554432000 4194304 5098028 140737380681920 140737380680024 140214578516604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13029376 140737380684663 140737380684905 140737380684905 140737380687818 0
/proc/12454/statm: 28282 364 305 221 0 87 0
[pid=12456] ppid=12454 vsize=28231644 memory=49836 CPUtime=0.52 cores=0-7
/proc/12456/stat : 12456 (java) S 12454 12454 8552 0 -1 1077944320 10890 0 0 0 48 4 0 0 20 0 20 0 420844721 28909203456 12459 33554432000 4194304 4196468 140734759060624 140734759043168 140515359559415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
/proc/12456/statm: 7057911 12459 3333 1 0 7019032 0
[pid=12456/tid=12457] ppid=12454 vsize=28231644 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/12456/task/12457/stat : 12457 (java) R 12454 12454 8552 0 -1 4202560 7778 0 0 0 27 2 0 0 20 0 20 0 420844721 28909203456 12459 33554432000 4194304 4196468 140734759060624 140515363790528 140515343639932 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12458] ppid=12454 vsize=28231644 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12456/task/12458/stat : 12458 (java) S 12454 12454 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420844722 28909203456 12459 33554432000 4194304 4196468 140734759060624 140515312180368 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12459] ppid=12454 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12459/stat : 12459 (java) S 12454 12454 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420844722 28909203456 12459 33554432000 4194304 4196468 140734759060624 140515311127568 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12460] ppid=12454 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12460/stat : 12460 (java) S 12454 12454 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420844722 28909203456 12459 33554432000 4194304 4196468 140734759060624 140515310074768 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12461] ppid=12454 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12461/stat : 12461 (java) S 12454 12454 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420844722 28909203456 12459 33554432000 4194304 4196468 140734759060624 140515309021968 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12462] ppid=12454 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12462/stat : 12462 (java) S 12454 12454 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420844722 28909203456 12459 33554432000 4194304 4196468 140734759060624 140515307969168 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12463] ppid=12454 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12463/stat : 12463 (java) S 12454 12454 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420844722 28909203456 12459 33554432000 4194304 4196468 140734759060624 140515306916368 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12464] ppid=12454 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/12456/task/12464/stat : 12464 (java) S 12454 12454 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420844722 28909203456 12459 33554432000 4194304 4196468 140734759060624 140515305863568 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12465] ppid=12454 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/12456/task/12465/stat : 12465 (java) S 12454 12454 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420844722 28909203456 12459 33554432000 4194304 4196468 140734759060624 140515304810768 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12466] ppid=12454 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12466/stat : 12466 (java) S 12454 12454 8552 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420844724 28909203456 12459 33554432000 4194304 4196468 140734759060624 140513872141168 140515359570562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12467] ppid=12454 vsize=28231644 memory=140366376427983 CPUtime=0 cores=0-7
/proc/12456/task/12467/stat : 12467 (java) S 12454 12454 8552 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420844724 28909203456 12488 33554432000 4194304 4196468 140734759060624 140513871087136 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12468] ppid=12454 vsize=28231644 memory=280732752883600 CPUtime=0 cores=0-7
/proc/12456/task/12468/stat : 12468 (java) S 12454 12454 8552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420844724 28909203456 12488 33554432000 4194304 4196468 140734759060624 140513870034288 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12469] ppid=12454 vsize=28231644 memory=280732752881296 CPUtime=0 cores=0-7
/proc/12456/task/12469/stat : 12469 (java) S 12454 12454 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420844727 28909203456 12488 33554432000 4194304 4196468 140734759060624 140513868982608 140515359578011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12470] ppid=12454 vsize=28231644 memory=280732752888208 CPUtime=0 cores=0-7
/proc/12456/task/12470/stat : 12470 (java) S 12454 12454 8552 0 -1 1077944384 181 0 0 0 0 0 0 0 20 0 20 0 420844727 28909203456 12488 33554432000 4194304 4196468 140734759060624 140513867929968 140515359570562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12471] ppid=12454 vsize=28231644 memory=280732752829488 CPUtime=0.03 cores=0-7
/proc/12456/task/12471/stat : 12471 (java) S 12454 12454 8552 0 -1 1077944384 244 0 0 0 3 0 0 0 20 0 20 0 420844727 28909203456 12488 33554432000 4194304 4196468 140734759060624 140513866877168 140515359570562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12472] ppid=12454 vsize=28231644 memory=280732752902032 CPUtime=0.04 cores=0-7
/proc/12456/task/12472/stat : 12472 (java) R 12454 12454 8552 0 -1 4202560 536 0 0 0 4 0 0 0 20 0 20 0 420844727 28909203456 12488 33554432000 4194304 4196468 140734759060624 140513865814752 140515341103591 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12473] ppid=12454 vsize=28231644 memory=280732752908912 CPUtime=0.12 cores=0-7
/proc/12456/task/12473/stat : 12473 (java) S 12454 12454 8552 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 20 0 420844727 28909203456 12488 33554432000 4194304 4196468 140734759060624 140513864771568 140515359570562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12474] ppid=12454 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12474/stat : 12474 (java) S 12454 12454 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420844727 28909203456 12488 33554432000 4194304 4196468 140734759060624 140513863720032 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12475] ppid=12454 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/12456/task/12475/stat : 12475 (java) S 12454 12454 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420844727 28909203456 12488 33554432000 4194304 4196468 140734759060624 140513862667312 140515359570562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51292 KiB

[startup+0.700968 s]
/proc/loadavg: 2.49 1.63 3.40 6/216 12477
/proc/meminfo: memFree=31541836/32770624 swapFree=67009832/67108860
[pid=12454] ppid=12451 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12454/stat : 12454 (xcsp3-exec) S 12451 12454 8552 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420844721 115843072 364 33554432000 4194304 5098028 140737380681920 140737380680024 140214578516604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13029376 140737380684663 140737380684905 140737380684905 140737380687818 0
/proc/12454/statm: 28282 364 305 221 0 87 0
[pid=12456] ppid=12454 vsize=28233768 memory=98936 CPUtime=1.79 cores=0-7
/proc/12456/stat : 12456 (java) S 12454 12454 8552 0 -1 1077944320 15385 0 0 0 172 7 0 0 20 0 20 0 420844721 28911378432 24734 33554432000 4194304 4196468 140734759060624 140734759043168 140515359559415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
/proc/12456/statm: 7058442 24734 3464 1 0 7019544 0
[pid=12456/tid=12457] ppid=12454 vsize=28233768 memory=2244 CPUtime=0.67 cores=0-7
/proc/12456/task/12457/stat : 12457 (java) R 12454 12454 8552 0 -1 4202560 9186 0 0 0 63 4 0 0 20 0 20 0 420844721 28911378432 24734 33554432000 4194304 4196468 140734759060624 140515363796400 140514972266247 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12458] ppid=12454 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12458/stat : 12458 (java) S 12454 12454 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420844722 28911378432 24734 33554432000 4194304 4196468 140734759060624 140515312180368 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12459] ppid=12454 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/12456/task/12459/stat : 12459 (java) S 12454 12454 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420844722 28911378432 24734 33554432000 4194304 4196468 140734759060624 140515311127568 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12460] ppid=12454 vsize=28233768 memory=14008 CPUtime=0 cores=0-7
/proc/12456/task/12460/stat : 12460 (java) S 12454 12454 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420844722 28911378432 24734 33554432000 4194304 4196468 140734759060624 140515310074768 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0

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

[pid=12456/tid=12485] ppid=12454 vsize=28768328 memory=3484 CPUtime=2402.52 cores=0-7
/proc/12456/task/12485/stat : 12485 (java) R 12454 12454 8552 0 -1 4202560 23446 0 0 0 240218 34 0 0 20 0 28 0 420844823 29458767872 94982 33554432000 4194304 4196468 140734759060624 140513846325672 140514978841269 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
Current children cumulated CPU time: 19322.9 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 381384 KiB

[startup+2502.3 s]
/proc/loadavg: 8.53 8.34 8.00 9/225 12726
/proc/meminfo: memFree=31227424/32770624 swapFree=67009860/67108860
[pid=12454] ppid=12451 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12454/stat : 12454 (xcsp3-exec) S 12451 12454 8552 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420844721 115843072 364 33554432000 4194304 5098028 140737380681920 140737380680024 140214578516604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13029376 140737380684663 140737380684905 140737380684905 140737380687818 0
/proc/12454/statm: 28282 364 305 221 0 87 0
[pid=12456] ppid=12454 vsize=28768328 memory=380408 CPUtime=19796.2 cores=0-7
/proc/12456/stat : 12456 (java) S 12454 12454 8552 0 -1 1077944320 774947 0 0 0 1978644 973 0 0 20 0 28 0 420844721 29458767872 95102 33554432000 4194304 4196468 140734759060624 140734759043168 140515359559415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
/proc/12456/statm: 7192082 95102 3553 1 0 7153184 0
[pid=12456/tid=12457] ppid=12454 vsize=28768328 memory=380408 CPUtime=0.95 cores=0-7
/proc/12456/task/12457/stat : 12457 (java) S 12454 12454 8552 0 -1 1077944384 9387 0 0 0 89 6 0 0 20 0 28 0 420844721 29458767872 95102 33554432000 4194304 4196468 140734759060624 140515363800192 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12458] ppid=12454 vsize=28768328 memory=1456 CPUtime=11.37 cores=0-7
/proc/12456/task/12458/stat : 12458 (java) S 12454 12454 8552 0 -1 1077944384 34046 0 0 0 1077 60 0 0 20 0 28 0 420844722 29458767872 95102 33554432000 4194304 4196468 140734759060624 140515312180368 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12459] ppid=12454 vsize=28768328 memory=385540 CPUtime=11.19 cores=0-7
/proc/12456/task/12459/stat : 12459 (java) S 12454 12454 8552 0 -1 1077944384 35699 0 0 0 1065 54 0 0 20 0 28 0 420844722 29458767872 95102 33554432000 4194304 4196468 140734759060624 140515311127568 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12460] ppid=12454 vsize=28768328 memory=1456 CPUtime=11.35 cores=0-7
/proc/12456/task/12460/stat : 12460 (java) S 12454 12454 8552 0 -1 1077944384 34658 0 0 0 1078 57 0 0 20 0 28 0 420844722 29458767872 95102 33554432000 4194304 4196468 140734759060624 140515310074768 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12461] ppid=12454 vsize=28768328 memory=380920 CPUtime=11.3 cores=0-7
/proc/12456/task/12461/stat : 12461 (java) S 12454 12454 8552 0 -1 1077944384 35287 0 0 0 1070 60 0 0 20 0 28 0 420844722 29458767872 95102 33554432000 4194304 4196468 140734759060624 140515309021968 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12462] ppid=12454 vsize=28768328 memory=380408 CPUtime=11.31 cores=0-7
/proc/12456/task/12462/stat : 12462 (java) S 12454 12454 8552 0 -1 1077944384 31419 0 0 0 1072 59 0 0 20 0 28 0 420844722 29458767872 95102 33554432000 4194304 4196468 140734759060624 140515307969168 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12463] ppid=12454 vsize=28768328 memory=1456 CPUtime=11.27 cores=0-7
/proc/12456/task/12463/stat : 12463 (java) S 12454 12454 8552 0 -1 1077944384 32670 0 0 0 1071 56 0 0 20 0 28 0 420844722 29458767872 95102 33554432000 4194304 4196468 140734759060624 140515306916368 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12464] ppid=12454 vsize=28768328 memory=1456 CPUtime=11.36 cores=0-7
/proc/12456/task/12464/stat : 12464 (java) S 12454 12454 8552 0 -1 1077944384 33161 0 0 0 1080 56 0 0 20 0 28 0 420844722 29458767872 95102 33554432000 4194304 4196468 140734759060624 140515305863568 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12465] ppid=12454 vsize=28768328 memory=1456 CPUtime=11.31 cores=0-7
/proc/12456/task/12465/stat : 12465 (java) S 12454 12454 8552 0 -1 1077944384 36316 0 0 0 1075 56 0 0 20 0 28 0 420844722 29458767872 95102 33554432000 4194304 4196468 140734759060624 140515304810768 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12466] ppid=12454 vsize=28768328 memory=1456 CPUtime=7.64 cores=0-7
/proc/12456/task/12466/stat : 12466 (java) S 12454 12454 8552 0 -1 1077944384 85276 0 0 0 641 123 0 0 20 0 28 0 420844724 29458767872 95102 33554432000 4194304 4196468 140734759060624 140513872141168 140515359570562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12467] ppid=12454 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/12456/task/12467/stat : 12467 (java) S 12454 12454 8552 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 420844724 29458767872 95102 33554432000 4194304 4196468 140734759060624 140513871087200 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12468] ppid=12454 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/12456/task/12468/stat : 12468 (java) S 12454 12454 8552 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 28 0 420844724 29458767872 95102 33554432000 4194304 4196468 140734759060624 140513870034304 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12469] ppid=12454 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/12456/task/12469/stat : 12469 (java) S 12454 12454 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420844727 29458767872 95102 33554432000 4194304 4196468 140734759060624 140513868982608 140515359578011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12470] ppid=12454 vsize=28768328 memory=226469 CPUtime=4.09 cores=0-7
/proc/12456/task/12470/stat : 12470 (java) S 12454 12454 8552 0 -1 1077944384 34202 0 0 0 403 6 0 0 20 0 28 0 420844727 29458767872 95102 33554432000 4194304 4196468 140734759060624 140513867929968 140515359570562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12471] ppid=12454 vsize=28768328 memory=226655 CPUtime=4.44 cores=0-7
/proc/12456/task/12471/stat : 12471 (java) S 12454 12454 8552 0 -1 1077944384 36074 0 0 0 438 6 0 0 20 0 28 0 420844727 29458767872 95102 33554432000 4194304 4196468 140734759060624 140513866877168 140515359570562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12472] ppid=12454 vsize=28768328 memory=3484 CPUtime=4.07 cores=0-7
/proc/12456/task/12472/stat : 12472 (java) S 12454 12454 8552 0 -1 1077944384 35059 0 0 0 400 7 0 0 20 0 28 0 420844727 29458767872 95102 33554432000 4194304 4196468 140734759060624 140513865824368 140515359570562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12473] ppid=12454 vsize=28768328 memory=18392 CPUtime=1.12 cores=0-7
/proc/12456/task/12473/stat : 12473 (java) S 12454 12454 8552 0 -1 1077944384 25652 0 0 0 107 5 0 0 20 0 28 0 420844727 29458767872 95102 33554432000 4194304 4196468 140734759060624 140513864771568 140515359570562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12474] ppid=12454 vsize=28768328 memory=280732753725168 CPUtime=0 cores=0-7
/proc/12456/task/12474/stat : 12474 (java) S 12454 12454 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420844727 29458767872 95102 33554432000 4194304 4196468 140734759060624 140513863720032 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12475] ppid=12454 vsize=28768328 memory=280732754144272 CPUtime=1.17 cores=0-7
/proc/12456/task/12475/stat : 12475 (java) S 12454 12454 8552 0 -1 1077944384 6078 0 0 0 38 79 0 0 20 0 28 0 420844727 29458767872 95102 33554432000 4194304 4196468 140734759060624 140513862667312 140515359570562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12478] ppid=12454 vsize=28768328 memory=1456 CPUtime=2461.96 cores=0-7
/proc/12456/task/12478/stat : 12478 (java) R 12454 12454 8552 0 -1 4202560 19693 0 0 0 246156 40 0 0 20 0 28 0 420844818 29458767872 95102 33554432000 4194304 4196468 140734759060624 140513853692744 140514978835721 0 4 0 16800975 0 0 0 -1 7 0 0 17 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12479] ppid=12454 vsize=28768328 memory=380920 CPUtime=2460.77 cores=0-7
/proc/12456/task/12479/stat : 12479 (java) R 12454 12454 8552 0 -1 4202560 20440 0 0 0 246027 50 0 0 20 0 28 0 420844822 29458767872 95102 33554432000 4194304 4196468 140734759060624 140513852644624 140514982393706 0 4 0 16800975 0 0 0 -1 3 0 0 20 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12480] ppid=12454 vsize=28768328 memory=382972 CPUtime=2452.3 cores=0-7
/proc/12456/task/12480/stat : 12480 (java) R 12454 12454 8552 0 -1 4202560 99468 0 0 0 245138 92 0 0 20 0 28 0 420844823 29458767872 95102 33554432000 4194304 4196468 140734759060624 140513851590448 140514979644963 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12481] ppid=12454 vsize=28768328 memory=380408 CPUtime=2462.36 cores=0-7
/proc/12456/task/12481/stat : 12481 (java) R 12454 12454 8552 0 -1 4202560 26516 0 0 0 246192 44 0 0 20 0 28 0 420844823 29458767872 95102 33554432000 4194304 4196468 140734759060624 140513850535696 140514978835988 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12482] ppid=12454 vsize=28768328 memory=3484 CPUtime=2460.71 cores=0-7
/proc/12456/task/12482/stat : 12482 (java) R 12454 12454 8552 0 -1 4202560 22469 0 0 0 246034 37 0 0 20 0 28 0 420844823 29458767872 95102 33554432000 4194304 4196468 140734759060624 140513849483032 140514977493516 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12483] ppid=12454 vsize=28768328 memory=1456 CPUtime=2463.19 cores=0-7
/proc/12456/task/12483/stat : 12483 (java) R 12454 12454 8552 0 -1 4202560 33356 0 0 0 246277 42 0 0 20 0 28 0 420844823 29458767872 95102 33554432000 4194304 4196468 140734759060624 140513848429744 140514979536518 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12484] ppid=12454 vsize=28768328 memory=384132 CPUtime=2459.16 cores=0-7
/proc/12456/task/12484/stat : 12484 (java) R 12454 12454 8552 0 -1 4202560 22029 0 0 0 245870 46 0 0 20 0 28 0 420844823 29458767872 95102 33554432000 4194304 4196468 140734759060624 140513847378336 140514978641568 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12485] ppid=12454 vsize=28768328 memory=6791534058613427641 CPUtime=2461.55 cores=0-7
/proc/12456/task/12485/stat : 12485 (java) R 12454 12454 8552 0 -1 4202560 24551 0 0 0 246119 36 0 0 20 0 28 0 420844823 29458767872 95102 33554432000 4194304 4196468 140734759060624 140513846328312 140514978641670 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
Current children cumulated CPU time: 19796.2 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 381864 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.84 8.41 8.03 9/225 12726
/proc/meminfo: memFree=31209888/32770624 swapFree=67009860/67108860
[pid=12454] ppid=12451 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12454/stat : 12454 (xcsp3-exec) S 12451 12454 8552 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420844721 115843072 364 33554432000 4194304 5098028 140737380681920 140737380680024 140214578516604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13029376 140737380684663 140737380684905 140737380684905 140737380687818 0
/proc/12454/statm: 28282 364 305 221 0 87 0
[pid=12456] ppid=12454 vsize=28768328 memory=399124 CPUtime=19936.4 cores=0-7
/proc/12456/stat : 12456 (java) S 12454 12454 8552 0 -1 1077944320 778137 0 0 0 1992663 977 0 0 20 0 28 0 420844721 29458767872 99781 33554432000 4194304 4196468 140734759060624 140734759043168 140515359559415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
/proc/12456/statm: 7192082 99781 3553 1 0 7153184 0
[pid=12456/tid=12457] ppid=12454 vsize=28768328 memory=1398722017469774279 CPUtime=0.95 cores=0-7
/proc/12456/task/12457/stat : 12457 (java) S 12454 12454 8552 0 -1 1077944384 9387 0 0 0 89 6 0 0 20 0 28 0 420844721 29458767872 99781 33554432000 4194304 4196468 140734759060624 140515363800192 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12458] ppid=12454 vsize=28768328 memory=4872558044660077418 CPUtime=11.49 cores=0-7
/proc/12456/task/12458/stat : 12458 (java) S 12454 12454 8552 0 -1 1077944384 34129 0 0 0 1089 60 0 0 20 0 28 0 420844722 29458767872 99781 33554432000 4194304 4196468 140734759060624 140515312180368 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12459] ppid=12454 vsize=28768328 memory=776 CPUtime=11.31 cores=0-7
/proc/12456/task/12459/stat : 12459 (java) S 12454 12454 8552 0 -1 1077944384 35849 0 0 0 1077 54 0 0 20 0 28 0 420844722 29458767872 99781 33554432000 4194304 4196468 140734759060624 140515311127568 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12460] ppid=12454 vsize=28768328 memory=4004 CPUtime=11.47 cores=0-7
/proc/12456/task/12460/stat : 12460 (java) S 12454 12454 8552 0 -1 1077944384 34778 0 0 0 1090 57 0 0 20 0 28 0 420844722 29458767872 99781 33554432000 4194304 4196468 140734759060624 140515310074768 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12461] ppid=12454 vsize=28768328 memory=2832 CPUtime=11.41 cores=0-7
/proc/12456/task/12461/stat : 12461 (java) S 12454 12454 8552 0 -1 1077944384 35391 0 0 0 1081 60 0 0 20 0 28 0 420844722 29458767872 99781 33554432000 4194304 4196468 140734759060624 140515309021968 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12462] ppid=12454 vsize=28768328 memory=8500 CPUtime=11.42 cores=0-7
/proc/12456/task/12462/stat : 12462 (java) S 12454 12454 8552 0 -1 1077944384 31591 0 0 0 1083 59 0 0 20 0 28 0 420844722 29458767872 99781 33554432000 4194304 4196468 140734759060624 140515307969168 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12463] ppid=12454 vsize=28768328 memory=1696 CPUtime=11.38 cores=0-7
/proc/12456/task/12463/stat : 12463 (java) S 12454 12454 8552 0 -1 1077944384 32742 0 0 0 1082 56 0 0 20 0 28 0 420844722 29458767872 99781 33554432000 4194304 4196468 140734759060624 140515306916368 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12464] ppid=12454 vsize=28768328 memory=1188 CPUtime=11.49 cores=0-7
/proc/12456/task/12464/stat : 12464 (java) S 12454 12454 8552 0 -1 1077944384 33207 0 0 0 1092 57 0 0 20 0 28 0 420844722 29458767872 99781 33554432000 4194304 4196468 140734759060624 140515305863568 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12465] ppid=12454 vsize=28768328 memory=1060 CPUtime=11.43 cores=0-7
/proc/12456/task/12465/stat : 12465 (java) S 12454 12454 8552 0 -1 1077944384 36383 0 0 0 1086 57 0 0 20 0 28 0 420844722 29458767872 99781 33554432000 4194304 4196468 140734759060624 140515304810768 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12466] ppid=12454 vsize=28768328 memory=7996 CPUtime=7.7 cores=0-7
/proc/12456/task/12466/stat : 12466 (java) S 12454 12454 8552 0 -1 1077944384 86412 0 0 0 646 124 0 0 20 0 28 0 420844724 29458767872 99781 33554432000 4194304 4196468 140734759060624 140513872141168 140515359570562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12467] ppid=12454 vsize=28768328 memory=1584 CPUtime=0 cores=0-7
/proc/12456/task/12467/stat : 12467 (java) S 12454 12454 8552 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 420844724 29458767872 99781 33554432000 4194304 4196468 140734759060624 140513871087200 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12468] ppid=12454 vsize=28768328 memory=14008 CPUtime=0 cores=0-7
/proc/12456/task/12468/stat : 12468 (java) S 12454 12454 8552 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 28 0 420844724 29458767872 99781 33554432000 4194304 4196468 140734759060624 140513870034304 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12469] ppid=12454 vsize=28768328 memory=6432 CPUtime=0 cores=0-7
/proc/12456/task/12469/stat : 12469 (java) S 12454 12454 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420844727 29458767872 99781 33554432000 4194304 4196468 140734759060624 140513868982608 140515359578011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12470] ppid=12454 vsize=28768328 memory=13948 CPUtime=4.09 cores=0-7
/proc/12456/task/12470/stat : 12470 (java) S 12454 12454 8552 0 -1 1077944384 34204 0 0 0 403 6 0 0 20 0 28 0 420844727 29458767872 99781 33554432000 4194304 4196468 140734759060624 140513867929968 140515359570562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12471] ppid=12454 vsize=28768328 memory=2120 CPUtime=4.44 cores=0-7
/proc/12456/task/12471/stat : 12471 (java) S 12454 12454 8552 0 -1 1077944384 36076 0 0 0 438 6 0 0 20 0 28 0 420844727 29458767872 99781 33554432000 4194304 4196468 140734759060624 140513866877168 140515359570562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12472] ppid=12454 vsize=28768328 memory=520 CPUtime=4.07 cores=0-7
/proc/12456/task/12472/stat : 12472 (java) S 12454 12454 8552 0 -1 1077944384 35061 0 0 0 400 7 0 0 20 0 28 0 420844727 29458767872 99781 33554432000 4194304 4196468 140734759060624 140513865824368 140515359570562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12473] ppid=12454 vsize=28768328 memory=1560 CPUtime=1.12 cores=0-7
/proc/12456/task/12473/stat : 12473 (java) S 12454 12454 8552 0 -1 1077944384 25654 0 0 0 107 5 0 0 20 0 28 0 420844727 29458767872 99781 33554432000 4194304 4196468 140734759060624 140513864771568 140515359570562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12474] ppid=12454 vsize=28768328 memory=928 CPUtime=0 cores=0-7
/proc/12456/task/12474/stat : 12474 (java) S 12454 12454 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420844727 29458767872 99781 33554432000 4194304 4196468 140734759060624 140513863720032 140515359569621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12475] ppid=12454 vsize=28768328 memory=1616 CPUtime=1.17 cores=0-7
/proc/12456/task/12475/stat : 12475 (java) S 12454 12454 8552 0 -1 1077944384 6089 0 0 0 38 79 0 0 20 0 28 0 420844727 29458767872 99781 33554432000 4194304 4196468 140734759060624 140513862667312 140515359570562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12478] ppid=12454 vsize=28768328 memory=6791534058613427641 CPUtime=2479.36 cores=0-7
/proc/12456/task/12478/stat : 12478 (java) R 12454 12454 8552 0 -1 4202560 19810 0 0 0 247896 40 0 0 20 0 28 0 420844818 29458767872 99781 33554432000 4194304 4196468 140734759060624 140513853695840 140514979983393 0 4 0 16800975 0 0 0 -1 7 0 0 17 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12479] ppid=12454 vsize=28768328 memory=1436 CPUtime=2478.18 cores=0-7
/proc/12456/task/12479/stat : 12479 (java) R 12454 12454 8552 0 -1 4202560 20555 0 0 0 247768 50 0 0 20 0 28 0 420844822 29458767872 99781 33554432000 4194304 4196468 140734759060624 140513852641296 140514977824427 0 4 0 16800975 0 0 0 -1 1 0 0 20 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12480] ppid=12454 vsize=28768328 memory=1980 CPUtime=2469.69 cores=0-7
/proc/12456/task/12480/stat : 12480 (java) R 12454 12454 8552 0 -1 4202560 99834 0 0 0 246876 93 0 0 20 0 28 0 420844823 29458767872 99781 33554432000 4194304 4196468 140734759060624 140513851588368 140514979607490 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12481] ppid=12454 vsize=28768328 memory=2452 CPUtime=2479.81 cores=0-7
/proc/12456/task/12481/stat : 12481 (java) R 12454 12454 8552 0 -1 4202560 26673 0 0 0 247937 44 0 0 20 0 28 0 420844823 29458767872 99781 33554432000 4194304 4196468 140734759060624 140513850535696 140514977825060 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12482] ppid=12454 vsize=28768328 memory=1764 CPUtime=2478.14 cores=0-7
/proc/12456/task/12482/stat : 12482 (java) R 12454 12454 8552 0 -1 4202560 22525 0 0 0 247776 38 0 0 20 0 28 0 420844823 29458767872 99781 33554432000 4194304 4196468 140734759060624 140513849482944 140514978834797 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12483] ppid=12454 vsize=28768328 memory=111632 CPUtime=2480.58 cores=0-7
/proc/12456/task/12483/stat : 12483 (java) R 12454 12454 8552 0 -1 4202560 33507 0 0 0 248016 42 0 0 20 0 28 0 420844823 29458767872 99781 33554432000 4194304 4196468 140734759060624 140513848430296 140514977824882 0 4 0 16800975 0 0 0 -1 3 0 0 18 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12484] ppid=12454 vsize=28768328 memory=1804 CPUtime=2476.47 cores=0-7
/proc/12456/task/12484/stat : 12484 (java) R 12454 12454 8552 0 -1 4202560 22152 0 0 0 247601 46 0 0 20 0 28 0 420844823 29458767872 99781 33554432000 4194304 4196468 140734759060624 140513847378472 140514978835554 0 4 0 16800975 0 0 0 -1 4 0 0 18 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
[pid=12456/tid=12485] ppid=12454 vsize=28768328 memory=920 CPUtime=2479.03 cores=0-7
/proc/12456/task/12485/stat : 12485 (java) R 12454 12454 8552 0 -1 4202560 24684 0 0 0 247867 36 0 0 20 0 28 0 420844823 29458767872 99781 33554432000 4194304 4196468 140734759060624 140513846325536 140514977824427 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 34988032 140734759068650 140734759068822 140734759068822 140734759071695 0
Current children cumulated CPU time: 19936.4 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 400580 KiB

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

[startup+2520.03 s]
# the end of solver process 12454 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001165 s, system=0.001165 s

[startup+2520.1 s]
# the end of solver process 12456 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19927.3 s, system=9.79342 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): 19937.1
CPU user time (s): 19927.3
CPU system time (s): 9.79342
CPU usage (%): 791.123
Max. virtual memory (cumulated for all children) (KiB): 28883432
Max. memory (cumulated for all children) (KiB): 1501976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19927.3
system time used= 9.79342
maximum resident set size= 1520080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 778824
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 598623
involuntary context switches= 268268


# summary of solver processes directly reported to runsolver:
#   pid: 12454,12456
#   total CPU time (s): 19937.1
#   total CPU user time (s): 19927.3
#   total CPU system time (s): 9.79342

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.1363 second user time and 32.7393 second system time

The end

Launcher Data 

Begin job on node132 at 2019-09-14 10:19:30
IDJOB=4393714
IDBENCH=141701
IDSOLVER=2841
FILE ID=node132/4393714-1568449220
RUNJOBID= node132-1568438679-8579
PBS_JOBID= 21702326
Free space on /tmp= 61624 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP19/hcp/graph255.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393714-1568449220/watcher-4393714-1568449220 -o /tmp/evaluation-result-4393714-1568449220/solver-4393714-1568449220 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568438679-8579 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 90593672 HOME/instance-4393714-1568449220.xml

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

MD5SUM BENCH= 0532ed0e06c51195f7ed7ca4343984ea
RANDOM SEED=90593672

node132.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.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	: 5333.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	: 5333.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	: 5333.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:        31598548 kB
MemAvailable:   31909284 kB
Buffers:           84224 kB
Cached:           502364 kB
SwapCached:         6280 kB
Active:           418332 kB
Inactive:         177352 kB
Active(anon):       5368 kB
Inactive(anon):    31736 kB
Active(file):     412964 kB
Inactive(file):   145616 kB
Unevictable:      109404 kB
Mlocked:          109404 kB
SwapTotal:      67108860 kB
SwapFree:       67009832 kB
Dirty:             26168 kB
Writeback:             0 kB
AnonPages:        113532 kB
Mapped:            32764 kB
Shmem:             19680 kB
Slab:             165540 kB
SReclaimable:     135984 kB
SUnreclaim:        29556 kB
KernelStack:        3808 kB
PageTables:         4944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     476724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61596 MiB
End job on node132 at 2019-09-14 11:01:31