Trace number 4406910

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-09-24 parallel? (TO) 20059.5 2520.1

General information on the benchmark

NameLangford/Langford-m2-s1/
LangfordBin-25.xml
MD5SUMff4f1513315dd8e08dcc4cf2bbbe3209
Bench CategoryCSP (decision 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 variables100
Number of constraints75
Number of domains2
Minimum domain size25
Maximum domain size50
Distribution of domain sizes[{"size":25,"count":50},{"size":50,"count":50}]
Minimum variable degree2
Maximum variable degree50
Distribution of variable degrees[{"degree":2,"count":50},{"degree":50,"count":50}]
Minimum constraint arity2
Maximum constraint arity51
Distribution of constraint arities[{"arity":2,"count":25},{"arity":51,"count":50}]
Number of extensional constraints0
Number of intensional constraints25
Distribution of constraint types[{"type":"intension","count":25},{"type":"element","count":50}]
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-4406910-1569347607.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4406910-1569347607.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
1.35/0.67	c solve instance...
20058.95/2520.07	s UNKNOWN
20058.95/2520.07	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 (10977 MiB free)
  memory of node 1: 16384 MiB (12789 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406910-1569347607/watcher-4406910-1569347607 -o /var/tmp/evaluation-result-4406910-1569347607/solver-4406910-1569347607 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1569335938-16664 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 499944816 HOME/instance-4406910-1569347607.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
solver pid=19572, runsolver pid=19569
Current StackSize limit: 8192 KiB


[startup+0.100203 s]*
/proc/loadavg: 7.87 8.32 8.14 2/217 19593
/proc/meminfo: memFree=24319460/32770624 swapFree=67002964/67108860
[pid=19572] ppid=19569 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19572/stat : 19572 (xcsp3-exec) S 19569 19572 16637 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511000221 115843072 363 33554432000 4194304 5098028 140725942118320 140725942116424 139657327985276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15462400 140725942121298 140725942121557 140725942121557 140725942124486 0
/proc/19572/statm: 28282 363 304 221 0 87 0
[pid=19574] ppid=19572 vsize=28227396 memory=29452 CPUtime=0.12 cores=0-7
/proc/19574/stat : 19574 (java) S 19572 19572 16637 0 -1 1077944320 5844 0 0 0 10 2 0 0 20 0 20 0 511000222 28904853504 7363 33554432000 4194304 4196468 140727154983520 140727154966064 140570462433015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
/proc/19574/statm: 7056849 7363 3122 1 0 7019032 0
[pid=19574/tid=19575] ppid=19572 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/19574/task/19575/stat : 19575 (java) R 19572 19572 16637 0 -1 4202560 3748 0 0 0 8 1 0 0 20 0 20 0 511000222 28904853504 7363 33554432000 4194304 4196468 140727154983520 140570466666288 140570462454941 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19576] ppid=19572 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19574/task/19576/stat : 19576 (java) S 19572 19572 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511000223 28904853504 7363 33554432000 4194304 4196468 140727154983520 140570415053200 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19577] ppid=19572 vsize=28227396 memory=139855650698880 CPUtime=0 cores=0-7
/proc/19574/task/19577/stat : 19577 (java) S 19572 19572 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511000223 28904853504 7363 33554432000 4194304 4196468 140727154983520 140570414000400 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19578] ppid=19572 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19578/stat : 19578 (java) S 19572 19572 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511000223 28904853504 7363 33554432000 4194304 4196468 140727154983520 140570412948112 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19579] ppid=19572 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19579/stat : 19579 (java) S 19572 19572 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511000223 28904853504 7363 33554432000 4194304 4196468 140727154983520 140570411895312 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19580] ppid=19572 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19580/stat : 19580 (java) S 19572 19572 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511000223 28904853504 7363 33554432000 4194304 4196468 140727154983520 140570410843024 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19581] ppid=19572 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19574/task/19581/stat : 19581 (java) S 19572 19572 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511000223 28904853504 7363 33554432000 4194304 4196468 140727154983520 140570409790224 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19582] ppid=19572 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19582/stat : 19582 (java) S 19572 19572 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511000223 28904853504 7363 33554432000 4194304 4196468 140727154983520 140570408737936 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19583] ppid=19572 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19583/stat : 19583 (java) S 19572 19572 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511000223 28904853504 7363 33554432000 4194304 4196468 140727154983520 140570407685136 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19584] ppid=19572 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19584/stat : 19584 (java) S 19572 19572 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511000224 28904853504 7363 33554432000 4194304 4196468 140727154983520 140569059899504 140570462444162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19585] ppid=19572 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19585/stat : 19585 (java) S 19572 19572 16637 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511000225 28904853504 7363 33554432000 4194304 4196468 140727154983520 140569058845472 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19586] ppid=19572 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19586/stat : 19586 (java) S 19572 19572 16637 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511000225 28904853504 7363 33554432000 4194304 4196468 140727154983520 140569057793136 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19587] ppid=19572 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19587/stat : 19587 (java) S 19572 19572 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511000227 28904853504 7363 33554432000 4194304 4196468 140727154983520 140569056741456 140570462451611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19588] ppid=19572 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19588/stat : 19588 (java) S 19572 19572 16637 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 511000227 28904853504 7363 33554432000 4194304 4196468 140727154983520 140569055689328 140570462444162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19589] ppid=19572 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19589/stat : 19589 (java) S 19572 19572 16637 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511000227 28904853504 7363 33554432000 4194304 4196468 140727154983520 140569054636528 140570462444162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19590] ppid=19572 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19590/stat : 19590 (java) S 19572 19572 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511000227 28904853504 7363 33554432000 4194304 4196468 140727154983520 140569053584240 140570462444162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19591] ppid=19572 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/19574/task/19591/stat : 19591 (java) R 19572 19572 16637 0 -1 4202560 362 0 0 0 1 0 0 0 20 0 20 0 511000227 28904853504 7363 33554432000 4194304 4196468 140727154983520 140569052531440 140570462454362 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19592] ppid=19572 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19592/stat : 19592 (java) S 19572 19572 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511000227 28904853504 7363 33554432000 4194304 4196468 140727154983520 140569051478368 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19593] ppid=19572 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19574/task/19593/stat : 19593 (java) S 19572 19572 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511000228 28904853504 7363 33554432000 4194304 4196468 140727154983520 140569050425648 140570462444162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30904 KiB

[startup+0.210848 s]*
/proc/loadavg: 7.87 8.32 8.14 1/217 19593
/proc/meminfo: memFree=24307712/32770624 swapFree=67002964/67108860
[pid=19572] ppid=19569 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19572/stat : 19572 (xcsp3-exec) S 19569 19572 16637 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511000221 115843072 363 33554432000 4194304 5098028 140725942118320 140725942116424 139657327985276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15462400 140725942121298 140725942121557 140725942121557 140725942124486 0
/proc/19572/statm: 28282 363 304 221 0 87 0
[pid=19574] ppid=19572 vsize=28227396 memory=41016 CPUtime=0.34 cores=0-7
/proc/19574/stat : 19574 (java) S 19572 19572 16637 0 -1 1077944320 9521 0 0 0 30 4 0 0 20 0 20 0 511000222 28904853504 10254 33554432000 4194304 4196468 140727154983520 140727154966064 140570462433015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
/proc/19574/statm: 7056849 10254 3293 1 0 7019032 0
[pid=19574/tid=19575] ppid=19572 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/19574/task/19575/stat : 19575 (java) R 19572 19572 16637 0 -1 4202560 6629 0 0 0 17 3 0 0 20 0 20 0 511000222 28904853504 10254 33554432000 4194304 4196468 140727154983520 140570466666944 140570462444950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19576] ppid=19572 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/19574/task/19576/stat : 19576 (java) S 19572 19572 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511000223 28904853504 10254 33554432000 4194304 4196468 140727154983520 140570415053200 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19577] ppid=19572 vsize=28227396 memory=139855653809597 CPUtime=0 cores=0-7
/proc/19574/task/19577/stat : 19577 (java) S 19572 19572 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511000223 28904853504 10254 33554432000 4194304 4196468 140727154983520 140570414000400 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19578] ppid=19572 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19574/task/19578/stat : 19578 (java) S 19572 19572 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511000223 28904853504 10254 33554432000 4194304 4196468 140727154983520 140570412948112 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19579] ppid=19572 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19579/stat : 19579 (java) S 19572 19572 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511000223 28904853504 10254 33554432000 4194304 4196468 140727154983520 140570411895312 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19580] ppid=19572 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19580/stat : 19580 (java) S 19572 19572 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511000223 28904853504 10254 33554432000 4194304 4196468 140727154983520 140570410843024 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19581] ppid=19572 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19574/task/19581/stat : 19581 (java) S 19572 19572 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511000223 28904853504 10254 33554432000 4194304 4196468 140727154983520 140570409790224 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19582] ppid=19572 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19582/stat : 19582 (java) S 19572 19572 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511000223 28904853504 10254 33554432000 4194304 4196468 140727154983520 140570408737936 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19583] ppid=19572 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19583/stat : 19583 (java) S 19572 19572 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511000223 28904853504 10254 33554432000 4194304 4196468 140727154983520 140570407685136 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19584] ppid=19572 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19584/stat : 19584 (java) S 19572 19572 16637 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511000224 28904853504 10254 33554432000 4194304 4196468 140727154983520 140569059899504 140570462444162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19585] ppid=19572 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19585/stat : 19585 (java) S 19572 19572 16637 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511000225 28904853504 10254 33554432000 4194304 4196468 140727154983520 140569058845472 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19586] ppid=19572 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19586/stat : 19586 (java) S 19572 19572 16637 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511000225 28904853504 10254 33554432000 4194304 4196468 140727154983520 140569057793136 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19587] ppid=19572 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19587/stat : 19587 (java) S 19572 19572 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511000227 28904853504 10254 33554432000 4194304 4196468 140727154983520 140569056741456 140570462451611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19588] ppid=19572 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/19574/task/19588/stat : 19588 (java) S 19572 19572 16637 0 -1 1077944384 606 0 0 0 2 0 0 0 20 0 20 0 511000227 28904853504 10254 33554432000 4194304 4196468 140727154983520 140569055689328 140570462444162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19589] ppid=19572 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/19574/task/19589/stat : 19589 (java) S 19572 19572 16637 0 -1 1077944384 154 0 0 0 1 0 0 0 20 0 20 0 511000227 28904853504 10254 33554432000 4194304 4196468 140727154983520 140569054636528 140570462444162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19590] ppid=19572 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/19574/task/19590/stat : 19590 (java) S 19572 19572 16637 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 20 0 511000227 28904853504 10254 33554432000 4194304 4196468 140727154983520 140569053584240 140570462444162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19591] ppid=19572 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/19574/task/19591/stat : 19591 (java) R 19572 19572 16637 0 -1 4202560 722 0 0 0 7 0 0 0 20 0 20 0 511000227 28904853504 10254 33554432000 4194304 4196468 140727154983520 140569052531440 140570446513502 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19592] ppid=19572 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19592/stat : 19592 (java) S 19572 19572 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511000227 28904853504 10254 33554432000 4194304 4196468 140727154983520 140569051478368 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19593] ppid=19572 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19574/task/19593/stat : 19593 (java) S 19572 19572 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511000228 28904853504 10254 33554432000 4194304 4196468 140727154983520 140569050425648 140570462444162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42468 KiB

[startup+0.310758 s]*
/proc/loadavg: 7.87 8.32 8.14 3/217 19593
/proc/meminfo: memFree=24300192/32770624 swapFree=67002964/67108860
[pid=19572] ppid=19569 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19572/stat : 19572 (xcsp3-exec) S 19569 19572 16637 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511000221 115843072 363 33554432000 4194304 5098028 140725942118320 140725942116424 139657327985276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15462400 140725942121298 140725942121557 140725942121557 140725942124486 0
/proc/19572/statm: 28282 363 304 221 0 87 0
[pid=19574] ppid=19572 vsize=28231652 memory=49848 CPUtime=0.52 cores=0-7
/proc/19574/stat : 19574 (java) S 19572 19572 16637 0 -1 1077944320 10838 0 0 0 47 5 0 0 20 0 20 0 511000222 28909211648 12462 33554432000 4194304 4196468 140727154983520 140727154966064 140570462433015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
/proc/19574/statm: 7057913 12462 3336 1 0 7019032 0
[pid=19574/tid=19575] ppid=19572 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/19574/task/19575/stat : 19575 (java) R 19572 19572 16637 0 -1 4202560 7781 0 0 0 26 3 0 0 20 0 20 0 511000222 28909211648 12462 33554432000 4194304 4196468 140727154983520 140570466664128 140570446513502 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19576] ppid=19572 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19576/stat : 19576 (java) S 19572 19572 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511000223 28909211648 12462 33554432000 4194304 4196468 140727154983520 140570415053200 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19577] ppid=19572 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19577/stat : 19577 (java) S 19572 19572 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511000223 28909211648 12462 33554432000 4194304 4196468 140727154983520 140570414000400 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19578] ppid=19572 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19578/stat : 19578 (java) S 19572 19572 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511000223 28909211648 12462 33554432000 4194304 4196468 140727154983520 140570412948112 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19579] ppid=19572 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19579/stat : 19579 (java) S 19572 19572 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511000223 28909211648 12462 33554432000 4194304 4196468 140727154983520 140570411895312 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19580] ppid=19572 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/19574/task/19580/stat : 19580 (java) S 19572 19572 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511000223 28909211648 12462 33554432000 4194304 4196468 140727154983520 140570410843024 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19581] ppid=19572 vsize=28231652 memory=139855543759791 CPUtime=0 cores=0-7
/proc/19574/task/19581/stat : 19581 (java) S 19572 19572 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511000223 28909211648 12462 33554432000 4194304 4196468 140727154983520 140570409790224 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19582] ppid=19572 vsize=28231652 memory=139855543762096 CPUtime=0 cores=0-7
/proc/19574/task/19582/stat : 19582 (java) S 19572 19572 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511000223 28909211648 12462 33554432000 4194304 4196468 140727154983520 140570408737936 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19583] ppid=19572 vsize=28231652 memory=139855543764400 CPUtime=0 cores=0-7
/proc/19574/task/19583/stat : 19583 (java) S 19572 19572 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511000223 28909211648 12462 33554432000 4194304 4196468 140727154983520 140570407685136 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19584] ppid=19572 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19584/stat : 19584 (java) S 19572 19572 16637 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511000224 28909211648 12462 33554432000 4194304 4196468 140727154983520 140569059899504 140570462444162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19585] ppid=19572 vsize=28231652 memory=279711087535760 CPUtime=0 cores=0-7
/proc/19574/task/19585/stat : 19585 (java) S 19572 19572 16637 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511000225 28909211648 12462 33554432000 4194304 4196468 140727154983520 140569058845472 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19586] ppid=19572 vsize=28231652 memory=279711087542672 CPUtime=0 cores=0-7
/proc/19574/task/19586/stat : 19586 (java) S 19572 19572 16637 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511000225 28909211648 12462 33554432000 4194304 4196468 140727154983520 140569057793136 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19587] ppid=19572 vsize=28231652 memory=279711087483952 CPUtime=0 cores=0-7
/proc/19574/task/19587/stat : 19587 (java) S 19572 19572 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511000227 28909211648 12462 33554432000 4194304 4196468 140727154983520 140569056741456 140570462451611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19588] ppid=19572 vsize=28231652 memory=279711087556496 CPUtime=0.04 cores=0-7
/proc/19574/task/19588/stat : 19588 (java) R 19572 19572 16637 0 -1 4202560 687 0 0 0 4 0 0 0 20 0 20 0 511000227 28909211648 12462 33554432000 4194304 4196468 140727154983520 140569055689328 140570447548049 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19589] ppid=19572 vsize=28231652 memory=279711087563408 CPUtime=0.02 cores=0-7
/proc/19574/task/19589/stat : 19589 (java) S 19572 19572 16637 0 -1 1077944384 171 0 0 0 2 0 0 0 20 0 20 0 511000227 28909211648 12462 33554432000 4194304 4196468 140727154983520 140569054636528 140570462444162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19590] ppid=19572 vsize=28231652 memory=279711087561104 CPUtime=0.02 cores=0-7
/proc/19574/task/19590/stat : 19590 (java) S 19572 19572 16637 0 -1 1077944384 97 0 0 0 2 0 0 0 20 0 20 0 511000227 28909211648 12462 33554432000 4194304 4196468 140727154983520 140569053584240 140570462444162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19591] ppid=19572 vsize=28231652 memory=279711087577264 CPUtime=0.12 cores=0-7
/proc/19574/task/19591/stat : 19591 (java) S 19572 19572 16637 0 -1 1077944384 790 0 0 0 12 0 0 0 20 0 20 0 511000227 28909211648 12462 33554432000 4194304 4196468 140727154983520 140569052531440 140570462444162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19592] ppid=19572 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19592/stat : 19592 (java) S 19572 19572 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511000227 28909211648 12462 33554432000 4194304 4196468 140727154983520 140569051478368 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19593] ppid=19572 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/19574/task/19593/stat : 19593 (java) S 19572 19572 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511000228 28909211648 12462 33554432000 4194304 4196468 140727154983520 140569050425648 140570462444162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51300 KiB

[startup+0.703045 s]
/proc/loadavg: 7.87 8.32 8.14 4/217 19593
/proc/meminfo: memFree=24282668/32770624 swapFree=67002964/67108860
[pid=19572] ppid=19569 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19572/stat : 19572 (xcsp3-exec) S 19569 19572 16637 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511000221 115843072 363 33554432000 4194304 5098028 140725942118320 140725942116424 139657327985276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15462400 140725942121298 140725942121557 140725942121557 140725942124486 0
/proc/19572/statm: 28282 363 304 221 0 87 0
[pid=19574] ppid=19572 vsize=28766288 memory=102560 CPUtime=1.71 cores=0-7
/proc/19574/stat : 19574 (java) S 19572 19572 16637 0 -1 1077944320 15369 0 0 0 163 8 0 0 20 0 28 0 511000222 29456678912 25640 33554432000 4194304 4196468 140727154983520 140727154966064 140570462433015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
/proc/19574/statm: 7191572 25640 3458 1 0 7152672 0
[pid=19574/tid=19575] ppid=19572 vsize=28766288 memory=279711087935152 CPUtime=0.65 cores=0-7
/proc/19574/task/19575/stat : 19575 (java) S 19572 19572 16637 0 -1 1077944384 9167 0 0 0 61 4 0 0 20 0 28 0 511000222 29456678912 25640 33554432000 4194304 4196468 140727154983520 140570466673792 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19576] ppid=19572 vsize=28766288 memory=139855543968624 CPUtime=0 cores=0-7
/proc/19574/task/19576/stat : 19576 (java) S 19572 19572 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511000223 29456678912 25640 33554432000 4194304 4196468 140727154983520 140570415053200 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19577] ppid=19572 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/19574/task/19577/stat : 19577 (java) S 19572 19572 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511000223 29456678912 25640 33554432000 4194304 4196468 140727154983520 140570414000400 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19578] ppid=19572 vsize=28766288 memory=2832 CPUtime=0 cores=0-7
/proc/19574/task/19578/stat : 19578 (java) S 19572 19572 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511000223 29456678912 25640 33554432000 4194304 4196468 140727154983520 140570412948112 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0

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

[pid=19574/tid=19601] ppid=19572 vsize=28766288 memory=1440 CPUtime=2409.13 cores=0-7
/proc/19574/task/19601/stat : 19601 (java) R 19572 19572 16637 0 -1 4202560 94858 0 0 0 240725 188 0 0 20 0 28 0 511000290 29456678912 682322 33554432000 4194304 4196468 140727154983520 140568832110472 140570075090727 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
Current children cumulated CPU time: 19440.3 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2730740 KiB

[startup+2502.3 s]
/proc/loadavg: 8.17 8.48 8.40 9/225 19826
/proc/meminfo: memFree=21613908/32770624 swapFree=67002968/67108860
[pid=19572] ppid=19569 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19572/stat : 19572 (xcsp3-exec) S 19569 19572 16637 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511000221 115843072 363 33554432000 4194304 5098028 140725942118320 140725942116424 139657327985276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15462400 140725942121298 140725942121557 140725942121557 140725942124486 0
/proc/19572/statm: 28282 363 304 221 0 87 0
[pid=19574] ppid=19572 vsize=28766288 memory=2729084 CPUtime=19918 cores=0-7
/proc/19574/stat : 19574 (java) S 19572 19572 16637 0 -1 1077944320 1268516 0 0 0 1989009 2787 0 0 20 0 28 0 511000222 29456678912 682271 33554432000 4194304 4196468 140727154983520 140727154966064 140570462433015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
/proc/19574/statm: 7191572 682271 3527 1 0 7152672 0
[pid=19574/tid=19575] ppid=19572 vsize=28766288 memory=1452 CPUtime=0.65 cores=0-7
/proc/19574/task/19575/stat : 19575 (java) S 19572 19572 16637 0 -1 1077944384 9167 0 0 0 61 4 0 0 20 0 28 0 511000222 29456678912 682271 33554432000 4194304 4196468 140727154983520 140570466673792 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19576] ppid=19572 vsize=28766288 memory=2729084 CPUtime=19.36 cores=0-7
/proc/19574/task/19576/stat : 19576 (java) S 19572 19572 16637 0 -1 1077944384 41124 0 0 0 1777 159 0 0 20 0 28 0 511000223 29456678912 682271 33554432000 4194304 4196468 140727154983520 140570415053200 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19577] ppid=19572 vsize=28766288 memory=3034832 CPUtime=19.26 cores=0-7
/proc/19574/task/19577/stat : 19577 (java) S 19572 19572 16637 0 -1 1077944384 39501 0 0 0 1774 152 0 0 20 0 28 0 511000223 29456678912 682271 33554432000 4194304 4196468 140727154983520 140570414000400 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19578] ppid=19572 vsize=28766288 memory=2965064 CPUtime=19.24 cores=0-7
/proc/19574/task/19578/stat : 19578 (java) S 19572 19572 16637 0 -1 1077944384 41790 0 0 0 1773 151 0 0 20 0 28 0 511000223 29456678912 682271 33554432000 4194304 4196468 140727154983520 140570412948112 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19579] ppid=19572 vsize=28766288 memory=2733188 CPUtime=19.36 cores=0-7
/proc/19574/task/19579/stat : 19579 (java) S 19572 19572 16637 0 -1 1077944384 39795 0 0 0 1782 154 0 0 20 0 28 0 511000223 29456678912 682271 33554432000 4194304 4196468 140727154983520 140570411895312 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19580] ppid=19572 vsize=28766288 memory=2729084 CPUtime=19.23 cores=0-7
/proc/19574/task/19580/stat : 19580 (java) S 19572 19572 16637 0 -1 1077944384 38238 0 0 0 1771 152 0 0 20 0 28 0 511000223 29456678912 682271 33554432000 4194304 4196468 140727154983520 140570410843024 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19581] ppid=19572 vsize=28766288 memory=2729084 CPUtime=19.26 cores=0-7
/proc/19574/task/19581/stat : 19581 (java) S 19572 19572 16637 0 -1 1077944384 50366 0 0 0 1771 155 0 0 20 0 28 0 511000223 29456678912 682271 33554432000 4194304 4196468 140727154983520 140570409790224 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19582] ppid=19572 vsize=28766288 memory=2729084 CPUtime=19.25 cores=0-7
/proc/19574/task/19582/stat : 19582 (java) S 19572 19572 16637 0 -1 1077944384 33964 0 0 0 1773 152 0 0 20 0 28 0 511000223 29456678912 682271 33554432000 4194304 4196468 140727154983520 140570408737936 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19583] ppid=19572 vsize=28766288 memory=1452 CPUtime=19.3 cores=0-7
/proc/19574/task/19583/stat : 19583 (java) S 19572 19572 16637 0 -1 1077944384 41547 0 0 0 1777 153 0 0 20 0 28 0 511000223 29456678912 682271 33554432000 4194304 4196468 140727154983520 140570407685136 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19584] ppid=19572 vsize=28766288 memory=2729084 CPUtime=5.07 cores=0-7
/proc/19574/task/19584/stat : 19584 (java) S 19572 19572 16637 0 -1 1077944384 116400 0 0 0 246 261 0 0 20 0 28 0 511000224 29456678912 682271 33554432000 4194304 4196468 140727154983520 140569059899504 140570462444162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19585] ppid=19572 vsize=28766288 memory=2729084 CPUtime=0 cores=0-7
/proc/19574/task/19585/stat : 19585 (java) S 19572 19572 16637 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 511000225 29456678912 682271 33554432000 4194304 4196468 140727154983520 140569058845536 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19586] ppid=19572 vsize=28766288 memory=1540 CPUtime=0 cores=0-7
/proc/19574/task/19586/stat : 19586 (java) S 19572 19572 16637 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 511000225 29456678912 682271 33554432000 4194304 4196468 140727154983520 140569057793152 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19587] ppid=19572 vsize=28766288 memory=728 CPUtime=0 cores=0-7
/proc/19574/task/19587/stat : 19587 (java) S 19572 19572 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511000227 29456678912 682271 33554432000 4194304 4196468 140727154983520 140569056741456 140570462451611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19588] ppid=19572 vsize=28766288 memory=1452 CPUtime=0.99 cores=0-7
/proc/19574/task/19588/stat : 19588 (java) S 19572 19572 16637 0 -1 1077944384 7986 0 0 0 98 1 0 0 20 0 28 0 511000227 29456678912 682271 33554432000 4194304 4196468 140727154983520 140569055689328 140570462444162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19589] ppid=19572 vsize=28766288 memory=2729084 CPUtime=0.8 cores=0-7
/proc/19574/task/19589/stat : 19589 (java) S 19572 19572 16637 0 -1 1077944384 3371 0 0 0 80 0 0 0 20 0 28 0 511000227 29456678912 682271 33554432000 4194304 4196468 140727154983520 140569054636528 140570462444162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19590] ppid=19572 vsize=28766288 memory=164 CPUtime=0.9 cores=0-7
/proc/19574/task/19590/stat : 19590 (java) S 19572 19572 16637 0 -1 1077944384 6796 0 0 0 89 1 0 0 20 0 28 0 511000227 29456678912 682271 33554432000 4194304 4196468 140727154983520 140569053584240 140570462444162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19591] ppid=19572 vsize=28766288 memory=6944652177228980320 CPUtime=0.61 cores=0-7
/proc/19574/task/19591/stat : 19591 (java) S 19572 19572 16637 0 -1 1077944384 5579 0 0 0 60 1 0 0 20 0 28 0 511000227 29456678912 682271 33554432000 4194304 4196468 140727154983520 140569052531440 140570462444162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19592] ppid=19572 vsize=28766288 memory=1452 CPUtime=0 cores=0-7
/proc/19574/task/19592/stat : 19592 (java) S 19572 19572 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511000227 29456678912 682271 33554432000 4194304 4196468 140727154983520 140569051478368 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19593] ppid=19572 vsize=28766288 memory=279711088133024 CPUtime=0.8 cores=0-7
/proc/19574/task/19593/stat : 19593 (java) S 19572 19572 16637 0 -1 1077944384 6509 0 0 0 16 64 0 0 20 0 28 0 511000228 29456678912 682271 33554432000 4194304 4196468 140727154983520 140569050425648 140570462444162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19594] ppid=19572 vsize=28766288 memory=2729084 CPUtime=2469.33 cores=0-7
/proc/19574/task/19594/stat : 19594 (java) R 19572 19572 16637 0 -1 4202560 34804 0 0 0 246907 26 0 0 20 0 28 0 511000289 29456678912 682271 33554432000 4194304 4196468 140727154983520 140568839480912 140570073948414 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19595] ppid=19572 vsize=28766288 memory=1452 CPUtime=2469.76 cores=0-7
/proc/19574/task/19595/stat : 19595 (java) R 19572 19572 16637 0 -1 4202560 28697 0 0 0 246946 30 0 0 20 0 28 0 511000290 29456678912 682271 33554432000 4194304 4196468 140727154983520 140568838426344 140570073947033 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19596] ppid=19572 vsize=28766288 memory=2729084 CPUtime=2470.29 cores=0-7
/proc/19574/task/19596/stat : 19596 (java) R 19572 19572 16637 0 -1 4202560 87811 0 0 0 246910 119 0 0 20 0 28 0 511000290 29456678912 682271 33554432000 4194304 4196468 140727154983520 140568837374056 140570074692891 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19597] ppid=19572 vsize=28766288 memory=1452 CPUtime=2466.1 cores=0-7
/proc/19574/task/19597/stat : 19597 (java) R 19572 19572 16637 0 -1 4202560 301381 0 0 0 246141 469 0 0 20 0 28 0 511000290 29456678912 682271 33554432000 4194304 4196468 140727154983520 140568836321768 140570074482786 0 4 0 16800975 0 0 0 -1 7 0 0 14 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19598] ppid=19572 vsize=28766288 memory=1452 CPUtime=2471.06 cores=0-7
/proc/19574/task/19598/stat : 19598 (java) R 19572 19572 16637 0 -1 4202560 105928 0 0 0 246915 191 0 0 20 0 28 0 511000290 29456678912 682271 33554432000 4194304 4196468 140727154983520 140568835269480 140570074482462 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19599] ppid=19572 vsize=28766288 memory=2729084 CPUtime=2473.11 cores=0-7
/proc/19574/task/19599/stat : 19599 (java) R 19572 19572 16637 0 -1 4202560 103652 0 0 0 247081 230 0 0 20 0 28 0 511000290 29456678912 682271 33554432000 4194304 4196468 140727154983520 140568834216336 140570075090932 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19600] ppid=19572 vsize=28766288 memory=2729084 CPUtime=2465.52 cores=0-7
/proc/19574/task/19600/stat : 19600 (java) R 19572 19572 16637 0 -1 4202560 26846 0 0 0 246515 37 0 0 20 0 28 0 511000290 29456678912 682271 33554432000 4194304 4196468 140727154983520 140568833163368 140570073947246 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19601] ppid=19572 vsize=28766288 memory=1452 CPUtime=2468.47 cores=0-7
/proc/19574/task/19601/stat : 19601 (java) R 19572 19572 16637 0 -1 4202560 95922 0 0 0 246657 190 0 0 20 0 28 0 511000290 29456678912 682271 33554432000 4194304 4196468 140727154983520 140568832110472 140570075090481 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
Current children cumulated CPU time: 19918 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2730536 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.13 8.46 8.39 10/225 19826
/proc/meminfo: memFree=21525660/32770624 swapFree=67002968/67108860
[pid=19572] ppid=19569 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19572/stat : 19572 (xcsp3-exec) S 19569 19572 16637 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511000221 115843072 363 33554432000 4194304 5098028 140725942118320 140725942116424 139657327985276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15462400 140725942121298 140725942121557 140725942121557 140725942124486 0
/proc/19572/statm: 28282 363 304 221 0 87 0
[pid=19574] ppid=19572 vsize=28766288 memory=2818148 CPUtime=20058.9 cores=0-7
/proc/19574/stat : 19574 (java) S 19572 19572 16637 0 -1 1077944320 1277018 0 0 0 2003089 2806 0 0 20 0 28 0 511000222 29456678912 704537 33554432000 4194304 4196468 140727154983520 140727154966064 140570462433015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
/proc/19574/statm: 7191572 704537 3527 1 0 7152672 0
[pid=19574/tid=19575] ppid=19572 vsize=28766288 memory=1398720917958146503 CPUtime=0.65 cores=0-7
/proc/19574/task/19575/stat : 19575 (java) S 19572 19572 16637 0 -1 1077944384 9167 0 0 0 61 4 0 0 20 0 28 0 511000222 29456678912 704537 33554432000 4194304 4196468 140727154983520 140570466673792 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19576] ppid=19572 vsize=28766288 memory=4872558044660077418 CPUtime=19.62 cores=0-7
/proc/19574/task/19576/stat : 19576 (java) S 19572 19572 16637 0 -1 1077944384 41478 0 0 0 1800 162 0 0 20 0 28 0 511000223 29456678912 704537 33554432000 4194304 4196468 140727154983520 140570415053200 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19577] ppid=19572 vsize=28766288 memory=6944652177228980320 CPUtime=19.52 cores=0-7
/proc/19574/task/19577/stat : 19577 (java) S 19572 19572 16637 0 -1 1077944384 40098 0 0 0 1799 153 0 0 20 0 28 0 511000223 29456678912 704537 33554432000 4194304 4196468 140727154983520 140570414000400 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19578] ppid=19572 vsize=28766288 memory=6944656592455360604 CPUtime=19.5 cores=0-7
/proc/19574/task/19578/stat : 19578 (java) S 19572 19572 16637 0 -1 1077944384 42001 0 0 0 1798 152 0 0 20 0 28 0 511000223 29456678912 704537 33554432000 4194304 4196468 140727154983520 140570412948112 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19579] ppid=19572 vsize=28766288 memory=6944656575208382560 CPUtime=19.62 cores=0-7
/proc/19574/task/19579/stat : 19579 (java) S 19572 19572 16637 0 -1 1077944384 39968 0 0 0 1807 155 0 0 20 0 28 0 511000223 29456678912 704537 33554432000 4194304 4196468 140727154983520 140570411895312 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19580] ppid=19572 vsize=28766288 memory=6944656592455359580 CPUtime=19.49 cores=0-7
/proc/19574/task/19580/stat : 19580 (java) S 19572 19572 16637 0 -1 1077944384 38350 0 0 0 1796 153 0 0 20 0 28 0 511000223 29456678912 704537 33554432000 4194304 4196468 140727154983520 140570410843024 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19581] ppid=19572 vsize=28766288 memory=8128038100524242582 CPUtime=19.53 cores=0-7
/proc/19574/task/19581/stat : 19581 (java) S 19572 19572 16637 0 -1 1077944384 50656 0 0 0 1796 157 0 0 20 0 28 0 511000223 29456678912 704537 33554432000 4194304 4196468 140727154983520 140570409790224 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19582] ppid=19572 vsize=28766288 memory=-7595718148000617580 CPUtime=19.49 cores=0-7
/proc/19574/task/19582/stat : 19582 (java) S 19572 19572 16637 0 -1 1077944384 34065 0 0 0 1797 152 0 0 20 0 28 0 511000223 29456678912 704537 33554432000 4194304 4196468 140727154983520 140570408737936 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19583] ppid=19572 vsize=28766288 memory=-7606742959547834223 CPUtime=19.55 cores=0-7
/proc/19574/task/19583/stat : 19583 (java) S 19572 19572 16637 0 -1 1077944384 41641 0 0 0 1801 154 0 0 20 0 28 0 511000223 29456678912 704537 33554432000 4194304 4196468 140727154983520 140570407685136 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19584] ppid=19572 vsize=28766288 memory=7680491646476186387 CPUtime=5.11 cores=0-7
/proc/19574/task/19584/stat : 19584 (java) S 19572 19572 16637 0 -1 1077944384 118585 0 0 0 248 263 0 0 20 0 28 0 511000224 29456678912 704537 33554432000 4194304 4196468 140727154983520 140569059899504 140570462444162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19585] ppid=19572 vsize=28766288 memory=-7606742959547834223 CPUtime=0 cores=0-7
/proc/19574/task/19585/stat : 19585 (java) S 19572 19572 16637 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 511000225 29456678912 704537 33554432000 4194304 4196468 140727154983520 140569058845536 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19586] ppid=19572 vsize=28766288 memory=6153725110762696037 CPUtime=0 cores=0-7
/proc/19574/task/19586/stat : 19586 (java) S 19572 19572 16637 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 511000225 29456678912 704537 33554432000 4194304 4196468 140727154983520 140569057793152 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19587] ppid=19572 vsize=28766288 memory=7809919505830073703 CPUtime=0 cores=0-7
/proc/19574/task/19587/stat : 19587 (java) S 19572 19572 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511000227 29456678912 704537 33554432000 4194304 4196468 140727154983520 140569056741456 140570462451611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19588] ppid=19572 vsize=28766288 memory=1452 CPUtime=0.99 cores=0-7
/proc/19574/task/19588/stat : 19588 (java) S 19572 19572 16637 0 -1 1077944384 7992 0 0 0 98 1 0 0 20 0 28 0 511000227 29456678912 704537 33554432000 4194304 4196468 140727154983520 140569055689328 140570462444162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19589] ppid=19572 vsize=28766288 memory=2818148 CPUtime=0.8 cores=0-7
/proc/19574/task/19589/stat : 19589 (java) S 19572 19572 16637 0 -1 1077944384 3373 0 0 0 80 0 0 0 20 0 28 0 511000227 29456678912 704537 33554432000 4194304 4196468 140727154983520 140569054636528 140570462444162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19590] ppid=19572 vsize=28766288 memory=13568180484311317 CPUtime=0.9 cores=0-7
/proc/19574/task/19590/stat : 19590 (java) S 19572 19572 16637 0 -1 1077944384 6798 0 0 0 89 1 0 0 20 0 28 0 511000227 29456678912 704537 33554432000 4194304 4196468 140727154983520 140569053584240 140570462444162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19591] ppid=19572 vsize=28766288 memory=1768 CPUtime=0.61 cores=0-7
/proc/19574/task/19591/stat : 19591 (java) S 19572 19572 16637 0 -1 1077944384 5581 0 0 0 60 1 0 0 20 0 28 0 511000227 29456678912 704537 33554432000 4194304 4196468 140727154983520 140569052531440 140570462444162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19592] ppid=19572 vsize=28766288 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/19574/task/19592/stat : 19592 (java) S 19572 19572 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511000227 29456678912 704537 33554432000 4194304 4196468 140727154983520 140569051478368 140570462443221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19593] ppid=19572 vsize=28766288 memory=288230596050944315 CPUtime=0.81 cores=0-7
/proc/19574/task/19593/stat : 19593 (java) S 19572 19572 16637 0 -1 1077944384 6587 0 0 0 16 65 0 0 20 0 28 0 511000228 29456678912 704537 33554432000 4194304 4196468 140727154983520 140569050425648 140570462444162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19594] ppid=19572 vsize=28766288 memory=13568180484311317 CPUtime=2486.45 cores=0-7
/proc/19574/task/19594/stat : 19594 (java) R 19572 19572 16637 0 -1 4202560 35070 0 0 0 248618 27 0 0 20 0 28 0 511000289 29456678912 704537 33554432000 4194304 4196468 140727154983520 140568839478536 140570069561461 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19595] ppid=19572 vsize=28766288 memory=6791534058613427641 CPUtime=2487.17 cores=0-7
/proc/19574/task/19595/stat : 19595 (java) R 19572 19572 16637 0 -1 4202560 28891 0 0 0 248687 30 0 0 20 0 28 0 511000290 29456678912 704537 33554432000 4194304 4196468 140727154983520 140568838426856 140570073946921 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19596] ppid=19572 vsize=28766288 memory=920 CPUtime=2487.7 cores=0-7
/proc/19574/task/19596/stat : 19596 (java) R 19572 19572 16637 0 -1 4202560 88316 0 0 0 248649 121 0 0 20 0 28 0 511000290 29456678912 704537 33554432000 4194304 4196468 140727154983520 140568837374568 140570073779165 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19597] ppid=19572 vsize=28766288 memory=2731676 CPUtime=2483.43 cores=0-7
/proc/19574/task/19597/stat : 19597 (java) R 19572 19572 16637 0 -1 4202560 302196 0 0 0 247872 471 0 0 20 0 28 0 511000290 29456678912 704537 33554432000 4194304 4196468 140727154983520 140568836321768 140570073779018 0 4 0 16800975 0 0 0 -1 1 0 0 14 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19598] ppid=19572 vsize=28766288 memory=1452 CPUtime=2488.48 cores=0-7
/proc/19574/task/19598/stat : 19598 (java) R 19572 19572 16637 0 -1 4202560 106404 0 0 0 248655 193 0 0 20 0 28 0 511000290 29456678912 704537 33554432000 4194304 4196468 140727154983520 140568835272176 140570075090865 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19599] ppid=19572 vsize=28766288 memory=6791534058613427641 CPUtime=2490.51 cores=0-7
/proc/19574/task/19599/stat : 19599 (java) R 19572 19572 16637 0 -1 4202560 105121 0 0 0 248820 231 0 0 20 0 28 0 511000290 29456678912 704537 33554432000 4194304 4196468 140727154983520 140568834216680 140570074649493 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19600] ppid=19572 vsize=28766288 memory=288230596050944315 CPUtime=2482.92 cores=0-7
/proc/19574/task/19600/stat : 19600 (java) R 19572 19572 16637 0 -1 4202560 27027 0 0 0 248255 37 0 0 20 0 28 0 511000290 29456678912 704537 33554432000 4194304 4196468 140727154983520 140568833163368 140570074052891 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
[pid=19574/tid=19601] ppid=19572 vsize=28766288 memory=13568180484311317 CPUtime=2485.89 cores=0-7
/proc/19574/task/19601/stat : 19601 (java) R 19572 19572 16637 0 -1 4202560 96311 0 0 0 248398 191 0 0 20 0 28 0 511000290 29456678912 704537 33554432000 4194304 4196468 140727154983520 140568832109520 140570075090788 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 20664320 140727154987990 140727154988166 140727154988166 140727154991055 0
Current children cumulated CPU time: 20059 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2819600 KiB

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

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

[startup+2520.1 s]
# the end of solver process 19574 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20031.4 s, system=28.0914 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): 20059.5
CPU user time (s): 20031.4
CPU system time (s): 28.0914
CPU usage (%): 795.981
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 3610460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20031.4
system time used= 28.0914
maximum resident set size= 3619248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1278062
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 101759
involuntary context switches= 244852


# summary of solver processes directly reported to runsolver:
#   pid: 19572,19574
#   total CPU time (s): 20059.5
#   total CPU user time (s): 20031.4
#   total CPU system time (s): 28.0914

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.1269 second user time and 31.2584 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-24 19:52:46
IDJOB=4406910
IDBENCH=124376
IDSOLVER=2871
FILE ID=node133/4406910-1569347607
RUNJOBID= node133-1569335938-16664
PBS_JOBID= 21705057
Free space on /var/tmp= 13488 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/Langford/Langford-m2-s1/LangfordBin-25.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 /var/tmp/evaluation-result-4406910-1569347607/watcher-4406910-1569347607 -o /var/tmp/evaluation-result-4406910-1569347607/solver-4406910-1569347607 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1569335938-16664 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 499944816 HOME/instance-4406910-1569347607.xml

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

MD5SUM BENCH= ff4f1513315dd8e08dcc4cf2bbbe3209
RANDOM SEED=499944816

node133.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.18
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.18
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.18
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.18
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:        24336860 kB
MemAvailable:   31840324 kB
Buffers:          142368 kB
Cached:          7416164 kB
SwapCached:         5160 kB
Active:          3734592 kB
Inactive:        3831876 kB
Active(anon):       5304 kB
Inactive(anon):    58064 kB
Active(file):    3729288 kB
Inactive(file):  3773812 kB
Unevictable:      110648 kB
Mlocked:          110648 kB
SwapTotal:      67108860 kB
SwapFree:       67002964 kB
Dirty:             26144 kB
Writeback:             0 kB
AnonPages:        115092 kB
Mapped:            57000 kB
Shmem:             46816 kB
Slab:             457296 kB
SReclaimable:     428824 kB
SUnreclaim:        28472 kB
KernelStack:        3536 kB
PageTables:         5956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13464 MiB
End job on node133 at 2019-09-24 20:34:47