Trace number 4406776

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) 19902.7 2520.12

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-023.xml
MD5SUMf753def11f9f341c6e9dbf54b2480dee
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 benchmark88.5458
Satisfiable
(Un)Satisfiability was proved
Number of variables48
Number of constraints51
Number of domains1
Minimum domain size186
Maximum domain size186
Distribution of domain sizes[{"size":186,"count":48}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":46},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity48
Distribution of constraint arities[{"arity":1,"count":49},{"arity":2,"count":1},{"arity":48,"count":1}]
Number of extensional constraints0
Number of intensional constraints50
Distribution of constraint types[{"type":"intension","count":50},{"type":"noOverlap","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-4406776-1569351256.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4406776-1569351256.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.27/0.68	c solve instance...
19902.05/2520.07	s UNKNOWN
19902.05/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 (12719 MiB free)
  memory of node 1: 16384 MiB (10061 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406776-1569351256/watcher-4406776-1569351256 -o /tmp/evaluation-result-4406776-1569351256/solver-4406776-1569351256 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569351215-14889 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2034889321 HOME/instance-4406776-1569351256.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=14906, runsolver pid=14903

[startup+0.100111 s]*
/proc/loadavg: 7.39 8.03 8.16 2/212 14927
/proc/meminfo: memFree=23311708/32770624 swapFree=66956504/67108860
[pid=14906] ppid=14903 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14906/stat : 14906 (xcsp3-exec) S 14903 14906 14862 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511396893 115843072 364 33554432000 4194304 5098028 140733900514752 140733900512856 140375733260924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28626944 140733900518261 140733900518505 140733900518505 140733900521418 0
/proc/14906/statm: 28282 364 305 221 0 87 0
[pid=14908] ppid=14906 vsize=28227396 memory=30232 CPUtime=0.13 cores=0-7
/proc/14908/stat : 14908 (java) S 14906 14906 14862 0 -1 1077944320 5976 0 0 0 11 2 0 0 20 0 20 0 511396893 28904853504 7558 33554432000 4194304 4196468 140724639143072 140724639125616 140415310376695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
/proc/14908/statm: 7056849 7558 3159 1 0 7019032 0
[pid=14908/tid=14909] ppid=14906 vsize=28227396 memory=8329577318937698711 CPUtime=0.09 cores=0-7
/proc/14908/task/14909/stat : 14909 (java) R 14906 14906 14862 0 -1 4202560 3886 0 0 0 8 1 0 0 20 0 20 0 511396893 28904853504 7558 33554432000 4194304 4196468 140724639143072 140415314613120 140415310398621 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14910] ppid=14906 vsize=28227396 memory=732370707083459557 CPUtime=0 cores=0-7
/proc/14908/task/14910/stat : 14910 (java) S 14906 14906 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511396894 28904853504 7558 33554432000 4194304 4196468 140724639143072 140415262997136 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14911] ppid=14906 vsize=28227396 memory=140568746006144 CPUtime=0 cores=0-7
/proc/14908/task/14911/stat : 14911 (java) S 14906 14906 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511396894 28904853504 7558 33554432000 4194304 4196468 140724639143072 140415261944336 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14912] ppid=14906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14912/stat : 14912 (java) S 14906 14906 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511396894 28904853504 7558 33554432000 4194304 4196468 140724639143072 140415260891536 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14913] ppid=14906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14913/stat : 14913 (java) S 14906 14906 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511396894 28904853504 7558 33554432000 4194304 4196468 140724639143072 140415259838736 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14914] ppid=14906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14914/stat : 14914 (java) S 14906 14906 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511396894 28904853504 7558 33554432000 4194304 4196468 140724639143072 140415258786960 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14915] ppid=14906 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14908/task/14915/stat : 14915 (java) S 14906 14906 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511396894 28904853504 7558 33554432000 4194304 4196468 140724639143072 140415257734160 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14916] ppid=14906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14916/stat : 14916 (java) S 14906 14906 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511396894 28904853504 7558 33554432000 4194304 4196468 140724639143072 140415256681360 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14917] ppid=14906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14917/stat : 14917 (java) S 14906 14906 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511396894 28904853504 7558 33554432000 4194304 4196468 140724639143072 140415255628560 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14918] ppid=14906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14918/stat : 14918 (java) S 14906 14906 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511396895 28904853504 7558 33554432000 4194304 4196468 140724639143072 140414627604848 140415310387842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14919] ppid=14906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14919/stat : 14919 (java) S 14906 14906 14862 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511396896 28904853504 7558 33554432000 4194304 4196468 140724639143072 140414626550816 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14920] ppid=14906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14920/stat : 14920 (java) S 14906 14906 14862 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511396896 28904853504 7558 33554432000 4194304 4196468 140724639143072 140414625497968 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14921] ppid=14906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14921/stat : 14921 (java) S 14906 14906 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511396899 28904853504 7558 33554432000 4194304 4196468 140724639143072 140414624446288 140415310395291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14922] ppid=14906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14922/stat : 14922 (java) S 14906 14906 14862 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 20 0 511396899 28904853504 7558 33554432000 4194304 4196468 140724639143072 140414623394672 140415310387842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14923] ppid=14906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14923/stat : 14923 (java) S 14906 14906 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511396899 28904853504 7558 33554432000 4194304 4196468 140724639143072 140414622341872 140415310387842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14924] ppid=14906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14924/stat : 14924 (java) R 14906 14906 14862 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 20 0 511396899 28904853504 7558 33554432000 4194304 4196468 140724639143072 140414621289072 140415310387842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14925] ppid=14906 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14908/task/14925/stat : 14925 (java) R 14906 14906 14862 0 -1 4202560 355 0 0 0 1 0 0 0 20 0 20 0 511396899 28904853504 7558 33554432000 4194304 4196468 140724639143072 140414620236272 140415294560128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14926] ppid=14906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14926/stat : 14926 (java) S 14906 14906 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511396899 28904853504 7558 33554432000 4194304 4196468 140724639143072 140414619183712 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14927] ppid=14906 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14908/task/14927/stat : 14927 (java) S 14906 14906 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511396899 28904853504 7558 33554432000 4194304 4196468 140724639143072 140414618130992 140415310387842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31688 KiB

[startup+0.210243 s]*
/proc/loadavg: 7.39 8.03 8.16 2/212 14927
/proc/meminfo: memFree=23299184/32770624 swapFree=66956504/67108860
[pid=14906] ppid=14903 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14906/stat : 14906 (xcsp3-exec) S 14903 14906 14862 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511396893 115843072 364 33554432000 4194304 5098028 140733900514752 140733900512856 140375733260924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28626944 140733900518261 140733900518505 140733900518505 140733900521418 0
/proc/14906/statm: 28282 364 305 221 0 87 0
[pid=14908] ppid=14906 vsize=28227396 memory=40360 CPUtime=0.33 cores=0-7
/proc/14908/stat : 14908 (java) S 14906 14906 14862 0 -1 1077944320 9389 0 0 0 30 3 0 0 20 0 20 0 511396893 28904853504 10090 33554432000 4194304 4196468 140724639143072 140724639125616 140415310376695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
/proc/14908/statm: 7056849 10090 3265 1 0 7019032 0
[pid=14908/tid=14909] ppid=14906 vsize=28227396 memory=0 CPUtime=0.19 cores=0-7
/proc/14908/task/14909/stat : 14909 (java) R 14906 14906 14862 0 -1 4202560 6649 0 0 0 17 2 0 0 20 0 20 0 511396893 28904853504 10090 33554432000 4194304 4196468 140724639143072 140415314609424 140414912931952 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14910] ppid=14906 vsize=28227396 memory=732370707083459557 CPUtime=0 cores=0-7
/proc/14908/task/14910/stat : 14910 (java) S 14906 14906 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511396894 28904853504 10090 33554432000 4194304 4196468 140724639143072 140415262997136 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14911] ppid=14906 vsize=28227396 memory=140568746006144 CPUtime=0 cores=0-7
/proc/14908/task/14911/stat : 14911 (java) S 14906 14906 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511396894 28904853504 10090 33554432000 4194304 4196468 140724639143072 140415261944336 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14912] ppid=14906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14912/stat : 14912 (java) S 14906 14906 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511396894 28904853504 10090 33554432000 4194304 4196468 140724639143072 140415260891536 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14913] ppid=14906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14913/stat : 14913 (java) S 14906 14906 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511396894 28904853504 10090 33554432000 4194304 4196468 140724639143072 140415259838736 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14914] ppid=14906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14914/stat : 14914 (java) S 14906 14906 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511396894 28904853504 10090 33554432000 4194304 4196468 140724639143072 140415258786960 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14915] ppid=14906 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14908/task/14915/stat : 14915 (java) S 14906 14906 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511396894 28904853504 10090 33554432000 4194304 4196468 140724639143072 140415257734160 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14916] ppid=14906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14916/stat : 14916 (java) S 14906 14906 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511396894 28904853504 10090 33554432000 4194304 4196468 140724639143072 140415256681360 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14917] ppid=14906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14917/stat : 14917 (java) S 14906 14906 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511396894 28904853504 10090 33554432000 4194304 4196468 140724639143072 140415255628560 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14918] ppid=14906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14918/stat : 14918 (java) S 14906 14906 14862 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511396895 28904853504 10090 33554432000 4194304 4196468 140724639143072 140414627604848 140415310387842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14919] ppid=14906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14919/stat : 14919 (java) S 14906 14906 14862 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511396896 28904853504 10090 33554432000 4194304 4196468 140724639143072 140414626550816 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14920] ppid=14906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14920/stat : 14920 (java) S 14906 14906 14862 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511396896 28904853504 10090 33554432000 4194304 4196468 140724639143072 140414625497968 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14921] ppid=14906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14921/stat : 14921 (java) S 14906 14906 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511396899 28904853504 10090 33554432000 4194304 4196468 140724639143072 140414624446288 140415310395291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14922] ppid=14906 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14908/task/14922/stat : 14922 (java) S 14906 14906 14862 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 20 0 511396899 28904853504 10090 33554432000 4194304 4196468 140724639143072 140414623394672 140415310387842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14923] ppid=14906 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/14908/task/14923/stat : 14923 (java) S 14906 14906 14862 0 -1 1077944384 174 0 0 0 2 0 0 0 20 0 20 0 511396899 28904853504 10090 33554432000 4194304 4196468 140724639143072 140414622341872 140415310387842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14924] ppid=14906 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14908/task/14924/stat : 14924 (java) S 14906 14906 14862 0 -1 1077944384 308 0 0 0 1 0 0 0 20 0 20 0 511396899 28904853504 10090 33554432000 4194304 4196468 140724639143072 140414621289072 140415310387842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14925] ppid=14906 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/14908/task/14925/stat : 14925 (java) R 14906 14906 14862 0 -1 4202560 772 0 0 0 7 0 0 0 20 0 20 0 511396899 28904853504 10090 33554432000 4194304 4196468 140724639143072 140414620236272 140415310388630 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14926] ppid=14906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14926/stat : 14926 (java) S 14906 14906 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511396899 28904853504 10090 33554432000 4194304 4196468 140724639143072 140414619183712 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14927] ppid=14906 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14908/task/14927/stat : 14927 (java) S 14906 14906 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511396899 28904853504 10090 33554432000 4194304 4196468 140724639143072 140414618130992 140415310387842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41816 KiB

[startup+0.309529 s]*
/proc/loadavg: 7.39 8.03 8.16 4/212 14927
/proc/meminfo: memFree=23292048/32770624 swapFree=66956504/67108860
[pid=14906] ppid=14903 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14906/stat : 14906 (xcsp3-exec) S 14903 14906 14862 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511396893 115843072 364 33554432000 4194304 5098028 140733900514752 140733900512856 140375733260924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28626944 140733900518261 140733900518505 140733900518505 140733900521418 0
/proc/14906/statm: 28282 364 305 221 0 87 0
[pid=14908] ppid=14906 vsize=28231652 memory=49560 CPUtime=0.52 cores=0-7
/proc/14908/stat : 14908 (java) S 14906 14906 14862 0 -1 1077944320 10774 0 0 0 48 4 0 0 20 0 20 0 511396893 28909211648 12390 33554432000 4194304 4196468 140724639143072 140724639125616 140415310376695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
/proc/14908/statm: 7057913 12390 3347 1 0 7019032 0
[pid=14908/tid=14909] ppid=14906 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/14908/task/14909/stat : 14909 (java) R 14906 14906 14862 0 -1 4202560 7735 0 0 0 27 2 0 0 20 0 20 0 511396893 28909211648 12390 33554432000 4194304 4196468 140724639143072 140415314610480 140415310398621 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14910] ppid=14906 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14910/stat : 14910 (java) S 14906 14906 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511396894 28909211648 12390 33554432000 4194304 4196468 140724639143072 140415262997136 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14911] ppid=14906 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14911/stat : 14911 (java) S 14906 14906 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511396894 28909211648 12390 33554432000 4194304 4196468 140724639143072 140415261944336 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14912] ppid=14906 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14912/stat : 14912 (java) S 14906 14906 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511396894 28909211648 12390 33554432000 4194304 4196468 140724639143072 140415260891536 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14913] ppid=14906 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14913/stat : 14913 (java) S 14906 14906 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511396894 28909211648 12390 33554432000 4194304 4196468 140724639143072 140415259838736 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14914] ppid=14906 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/14908/task/14914/stat : 14914 (java) S 14906 14906 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511396894 28909211648 12390 33554432000 4194304 4196468 140724639143072 140415258786960 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14915] ppid=14906 vsize=28231652 memory=140568642548655 CPUtime=0 cores=0-7
/proc/14908/task/14915/stat : 14915 (java) S 14906 14906 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511396894 28909211648 12390 33554432000 4194304 4196468 140724639143072 140415257734160 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14916] ppid=14906 vsize=28231652 memory=140568642550960 CPUtime=0 cores=0-7
/proc/14908/task/14916/stat : 14916 (java) S 14906 14906 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511396894 28909211648 12390 33554432000 4194304 4196468 140724639143072 140415256681360 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14917] ppid=14906 vsize=28231652 memory=140568642553264 CPUtime=0 cores=0-7
/proc/14908/task/14917/stat : 14917 (java) S 14906 14906 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511396894 28909211648 12390 33554432000 4194304 4196468 140724639143072 140415255628560 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14918] ppid=14906 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14918/stat : 14918 (java) S 14906 14906 14862 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511396895 28909211648 12390 33554432000 4194304 4196468 140724639143072 140414627604848 140415310387842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14919] ppid=14906 vsize=28231652 memory=281137285113488 CPUtime=0 cores=0-7
/proc/14908/task/14919/stat : 14919 (java) S 14906 14906 14862 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511396896 28909211648 12390 33554432000 4194304 4196468 140724639143072 140414626550816 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14920] ppid=14906 vsize=28231652 memory=281137285120400 CPUtime=0 cores=0-7
/proc/14908/task/14920/stat : 14920 (java) S 14906 14906 14862 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511396896 28909211648 12390 33554432000 4194304 4196468 140724639143072 140414625497968 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14921] ppid=14906 vsize=28231652 memory=281137285061680 CPUtime=0 cores=0-7
/proc/14908/task/14921/stat : 14921 (java) S 14906 14906 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511396899 28909211648 12390 33554432000 4194304 4196468 140724639143072 140414624446288 140415310395291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14922] ppid=14906 vsize=28231652 memory=281137285134224 CPUtime=0.01 cores=0-7
/proc/14908/task/14922/stat : 14922 (java) S 14906 14906 14862 0 -1 1077944384 191 0 0 0 1 0 0 0 20 0 20 0 511396899 28909211648 12390 33554432000 4194304 4196468 140724639143072 140414623394672 140415310387842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14923] ppid=14906 vsize=28231652 memory=281137285141136 CPUtime=0.04 cores=0-7
/proc/14908/task/14923/stat : 14923 (java) R 14906 14906 14862 0 -1 4202560 254 0 0 0 4 0 0 0 20 0 20 0 511396899 28909211648 12390 33554432000 4194304 4196468 140724639143072 140414622332256 140415291562562 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14924] ppid=14906 vsize=28231652 memory=281137285138832 CPUtime=0.02 cores=0-7
/proc/14908/task/14924/stat : 14924 (java) S 14906 14906 14862 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 20 0 511396899 28909211648 12390 33554432000 4194304 4196468 140724639143072 140414621289072 140415310387842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14925] ppid=14906 vsize=28231652 memory=281137285154992 CPUtime=0.12 cores=0-7
/proc/14908/task/14925/stat : 14925 (java) S 14906 14906 14862 0 -1 1077944384 935 0 0 0 12 0 0 0 20 0 20 0 511396899 28909211648 12390 33554432000 4194304 4196468 140724639143072 140414620236272 140415310387842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14926] ppid=14906 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14926/stat : 14926 (java) S 14906 14906 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511396899 28909211648 12390 33554432000 4194304 4196468 140724639143072 140414619183712 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14927] ppid=14906 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/14908/task/14927/stat : 14927 (java) S 14906 14906 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511396899 28909211648 12390 33554432000 4194304 4196468 140724639143072 140414618130992 140415310387842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51016 KiB

[startup+0.701648 s]
/proc/loadavg: 7.39 8.03 8.16 5/212 14927
/proc/meminfo: memFree=23278288/32770624 swapFree=66956504/67108860
[pid=14906] ppid=14903 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14906/stat : 14906 (xcsp3-exec) S 14903 14906 14862 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511396893 115843072 364 33554432000 4194304 5098028 140733900514752 140733900512856 140375733260924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28626944 140733900518261 140733900518505 140733900518505 140733900521418 0
/proc/14906/statm: 28282 364 305 221 0 87 0
[pid=14908] ppid=14906 vsize=28766288 memory=98868 CPUtime=1.53 cores=0-7
/proc/14908/stat : 14908 (java) S 14906 14906 14862 0 -1 1077944320 15076 0 0 0 147 6 0 0 20 0 28 0 511396893 29456678912 24717 33554432000 4194304 4196468 140724639143072 140724639125616 140415310376695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
/proc/14908/statm: 7191572 24717 3453 1 0 7152672 0
[pid=14908/tid=14909] ppid=14906 vsize=28766288 memory=281137285449920 CPUtime=0.66 cores=0-7
/proc/14908/task/14909/stat : 14909 (java) S 14906 14906 14862 0 -1 1077944384 9469 0 0 0 63 3 0 0 20 0 28 0 511396893 29456678912 24717 33554432000 4194304 4196468 140724639143072 140415314617472 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14910] ppid=14906 vsize=28766288 memory=5076651345044 CPUtime=0 cores=0-7
/proc/14908/task/14910/stat : 14910 (java) S 14906 14906 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511396894 29456678912 24717 33554432000 4194304 4196468 140724639143072 140415262997136 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14911] ppid=14906 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14911/stat : 14911 (java) S 14906 14906 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511396894 29456678912 24717 33554432000 4194304 4196468 140724639143072 140415261944336 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14912] ppid=14906 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/14908/task/14912/stat : 14912 (java) S 14906 14906 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511396894 29456678912 24717 33554432000 4194304 4196468 140724639143072 140415260891536 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0

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

[pid=14908/tid=14935] ppid=14906 vsize=28768336 memory=1456 CPUtime=2391.13 cores=0-7
/proc/14908/task/14935/stat : 14935 (java) R 14906 14906 14862 0 -1 4202560 471352 0 0 0 238916 197 0 0 20 0 28 0 511396962 29458776064 487066 33554432000 4194304 4196468 140724639143072 140414601783968 140414922206336 0 4 0 16800975 0 0 0 -1 3 0 0 27 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
Current children cumulated CPU time: 19285.6 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1949720 KiB

[startup+2502.3 s]
/proc/loadavg: 8.25 8.30 8.28 9/219 15148
/proc/meminfo: memFree=21467768/32770624 swapFree=66956504/67108860
[pid=14906] ppid=14903 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14906/stat : 14906 (xcsp3-exec) S 14903 14906 14862 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511396893 115843072 364 33554432000 4194304 5098028 140733900514752 140733900512856 140375733260924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28626944 140733900518261 140733900518505 140733900518505 140733900521418 0
/proc/14906/statm: 28282 364 305 221 0 87 0
[pid=14908] ppid=14906 vsize=28768336 memory=1867136 CPUtime=19761.1 cores=0-7
/proc/14908/stat : 14908 (java) S 14906 14906 14862 0 -1 1077944320 2011087 0 0 0 1973417 2693 0 0 20 0 28 0 511396893 29458776064 466784 33554432000 4194304 4196468 140724639143072 140724639125616 140415310376695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
/proc/14908/statm: 7192084 466784 3545 1 0 7153184 0
[pid=14908/tid=14909] ppid=14906 vsize=28768336 memory=1867136 CPUtime=0.66 cores=0-7
/proc/14908/task/14909/stat : 14909 (java) S 14906 14906 14862 0 -1 1077944384 9469 0 0 0 63 3 0 0 20 0 28 0 511396893 29458776064 466784 33554432000 4194304 4196468 140724639143072 140415314617472 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14910] ppid=14906 vsize=28768336 memory=1867136 CPUtime=13.67 cores=0-7
/proc/14908/task/14910/stat : 14910 (java) S 14906 14906 14862 0 -1 1077944384 50510 0 0 0 1287 80 0 0 20 0 28 0 511396894 29458776064 466784 33554432000 4194304 4196468 140724639143072 140415262997136 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14911] ppid=14906 vsize=28768336 memory=1867136 CPUtime=13.69 cores=0-7
/proc/14908/task/14911/stat : 14911 (java) S 14906 14906 14862 0 -1 1077944384 46666 0 0 0 1289 80 0 0 20 0 28 0 511396894 29458776064 466784 33554432000 4194304 4196468 140724639143072 140415261944336 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14912] ppid=14906 vsize=28768336 memory=1917424 CPUtime=13.65 cores=0-7
/proc/14908/task/14912/stat : 14912 (java) S 14906 14906 14862 0 -1 1077944384 45401 0 0 0 1285 80 0 0 20 0 28 0 511396894 29458776064 466784 33554432000 4194304 4196468 140724639143072 140415260891536 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14913] ppid=14906 vsize=28768336 memory=1867652 CPUtime=13.66 cores=0-7
/proc/14908/task/14913/stat : 14913 (java) S 14906 14906 14862 0 -1 1077944384 47903 0 0 0 1290 76 0 0 20 0 28 0 511396894 29458776064 466784 33554432000 4194304 4196468 140724639143072 140415259838736 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14914] ppid=14906 vsize=28768336 memory=1456 CPUtime=13.68 cores=0-7
/proc/14908/task/14914/stat : 14914 (java) S 14906 14906 14862 0 -1 1077944384 44572 0 0 0 1285 83 0 0 20 0 28 0 511396894 29458776064 466784 33554432000 4194304 4196468 140724639143072 140415258786960 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14915] ppid=14906 vsize=28768336 memory=2407 CPUtime=13.66 cores=0-7
/proc/14908/task/14915/stat : 14915 (java) S 14906 14906 14862 0 -1 1077944384 44116 0 0 0 1287 79 0 0 20 0 28 0 511396894 29458776064 466784 33554432000 4194304 4196468 140724639143072 140415257734160 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14916] ppid=14906 vsize=28768336 memory=18456 CPUtime=13.63 cores=0-7
/proc/14908/task/14916/stat : 14916 (java) S 14906 14906 14862 0 -1 1077944384 49332 0 0 0 1288 75 0 0 20 0 28 0 511396894 29458776064 466784 33554432000 4194304 4196468 140724639143072 140415256681360 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14917] ppid=14906 vsize=28768336 memory=0 CPUtime=13.71 cores=0-7
/proc/14908/task/14917/stat : 14917 (java) S 14906 14906 14862 0 -1 1077944384 50043 0 0 0 1295 76 0 0 20 0 28 0 511396894 29458776064 466784 33554432000 4194304 4196468 140724639143072 140415255628560 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14918] ppid=14906 vsize=28768336 memory=7449630418815046510 CPUtime=24.73 cores=0-7
/proc/14908/task/14918/stat : 14918 (java) S 14906 14906 14862 0 -1 1077944384 107953 0 0 0 1036 1437 0 0 20 0 28 0 511396895 29458776064 466784 33554432000 4194304 4196468 140724639143072 140414627604848 140415310387842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14919] ppid=14906 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/14908/task/14919/stat : 14919 (java) S 14906 14906 14862 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 511396896 29458776064 466784 33554432000 4194304 4196468 140724639143072 140414626550880 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14920] ppid=14906 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/14908/task/14920/stat : 14920 (java) S 14906 14906 14862 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 511396896 29458776064 466784 33554432000 4194304 4196468 140724639143072 140414625497984 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14921] ppid=14906 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/14908/task/14921/stat : 14921 (java) S 14906 14906 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511396899 29458776064 466784 33554432000 4194304 4196468 140724639143072 140414624446288 140415310395291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14922] ppid=14906 vsize=28768336 memory=1456 CPUtime=2.94 cores=0-7
/proc/14908/task/14922/stat : 14922 (java) S 14906 14906 14862 0 -1 1077944384 17626 0 0 0 290 4 0 0 20 0 28 0 511396899 29458776064 466784 33554432000 4194304 4196468 140724639143072 140414623394672 140415310387842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14923] ppid=14906 vsize=28768336 memory=6172 CPUtime=3.52 cores=0-7
/proc/14908/task/14923/stat : 14923 (java) S 14906 14906 14862 0 -1 1077944384 19900 0 0 0 348 4 0 0 20 0 28 0 511396899 29458776064 466784 33554432000 4194304 4196468 140724639143072 140414622341872 140415310387842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14924] ppid=14906 vsize=28768336 memory=1124 CPUtime=3.57 cores=0-7
/proc/14908/task/14924/stat : 14924 (java) S 14906 14906 14862 0 -1 1077944384 13543 0 0 0 355 2 0 0 20 0 28 0 511396899 29458776064 466784 33554432000 4194304 4196468 140724639143072 140414621289072 140415310387842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14925] ppid=14906 vsize=28768336 memory=1456 CPUtime=0.8 cores=0-7
/proc/14908/task/14925/stat : 14925 (java) S 14906 14906 14862 0 -1 1077944384 10495 0 0 0 77 3 0 0 20 0 28 0 511396899 29458776064 466784 33554432000 4194304 4196468 140724639143072 140414620236272 140415310387842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 35 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14926] ppid=14906 vsize=28768336 memory=3620 CPUtime=0 cores=0-7
/proc/14908/task/14926/stat : 14926 (java) S 14906 14906 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511396899 29458776064 466784 33554432000 4194304 4196468 140724639143072 140414619183712 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14927] ppid=14906 vsize=28768336 memory=1867136 CPUtime=0.75 cores=0-7
/proc/14908/task/14927/stat : 14927 (java) S 14906 14906 14862 0 -1 1077944384 4948 0 0 0 35 40 0 0 20 0 28 0 511396899 29458776064 466784 33554432000 4194304 4196468 140724639143072 140414618130992 140415310387842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14928] ppid=14906 vsize=28768336 memory=3620 CPUtime=2450.02 cores=0-7
/proc/14908/task/14928/stat : 14928 (java) R 14906 14906 14862 0 -1 4202560 89910 0 0 0 244950 52 0 0 20 0 28 0 511396962 29458776064 466784 33554432000 4194304 4196468 140724639143072 140414609148728 140414922206016 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14929] ppid=14906 vsize=28768336 memory=52216 CPUtime=2448.98 cores=0-7
/proc/14908/task/14929/stat : 14929 (java) R 14906 14906 14862 0 -1 4202560 97463 0 0 0 244846 52 0 0 20 0 28 0 511396962 29458776064 466784 33554432000 4194304 4196468 140724639143072 140414608097160 140414919643062 0 4 0 16800975 0 0 0 -1 6 0 0 30 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14930] ppid=14906 vsize=28768336 memory=1456 CPUtime=2451.57 cores=0-7
/proc/14908/task/14930/stat : 14930 (java) R 14906 14906 14862 0 -1 4202560 171191 0 0 0 245086 71 0 0 20 0 28 0 511396962 29458776064 466784 33554432000 4194304 4196468 140724639143072 140414607044424 140414918867624 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14931] ppid=14906 vsize=28768336 memory=1867652 CPUtime=2459.58 cores=0-7
/proc/14908/task/14931/stat : 14931 (java) R 14906 14906 14862 0 -1 4202560 68280 0 0 0 245917 41 0 0 20 0 28 0 511396962 29458776064 466784 33554432000 4194304 4196468 140724639143072 140414605992256 140414921436682 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14932] ppid=14906 vsize=28768336 memory=1869704 CPUtime=2452.07 cores=0-7
/proc/14908/task/14932/stat : 14932 (java) R 14906 14906 14862 0 -1 4202560 266334 0 0 0 245106 101 0 0 20 0 28 0 511396962 29458776064 466784 33554432000 4194304 4196468 140724639143072 140414604939032 140414914562186 0 4 0 16800975 0 0 0 -1 2 0 0 27 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14933] ppid=14906 vsize=28768336 memory=1456 CPUtime=2447.03 cores=0-7
/proc/14908/task/14933/stat : 14933 (java) R 14906 14906 14862 0 -1 4202560 218675 0 0 0 244605 98 0 0 20 0 28 0 511396962 29458776064 466784 33554432000 4194304 4196468 140724639143072 140414603886872 140414921258273 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14934] ppid=14906 vsize=28768336 memory=1456 CPUtime=2455.19 cores=0-7
/proc/14908/task/14934/stat : 14934 (java) R 14906 14906 14862 0 -1 4202560 63804 0 0 0 245483 36 0 0 20 0 28 0 511396962 29458776064 466784 33554432000 4194304 4196468 140724639143072 140414602836880 140414919642935 0 4 0 16800975 0 0 0 -1 0 0 0 23 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14935] ppid=14906 vsize=28768336 memory=1867652 CPUtime=2450.15 cores=0-7
/proc/14908/task/14935/stat : 14935 (java) R 14906 14906 14862 0 -1 4202560 471561 0 0 0 244817 198 0 0 20 0 28 0 511396962 29458776064 466784 33554432000 4194304 4196468 140724639143072 140414601780632 140414922204946 0 4 0 16800975 0 0 0 -1 3 0 0 27 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
Current children cumulated CPU time: 19761.1 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1868592 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.18 8.28 8.27 9/219 15148
/proc/meminfo: memFree=21482788/32770624 swapFree=66956504/67108860
[pid=14906] ppid=14903 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14906/stat : 14906 (xcsp3-exec) S 14903 14906 14862 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511396893 115843072 364 33554432000 4194304 5098028 140733900514752 140733900512856 140375733260924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28626944 140733900518261 140733900518505 140733900518505 140733900521418 0
/proc/14906/statm: 28282 364 305 221 0 87 0
[pid=14908] ppid=14906 vsize=28768336 memory=1851236 CPUtime=19902.1 cores=0-7
/proc/14908/stat : 14908 (java) S 14906 14906 14862 0 -1 1077944320 2012091 0 0 0 1987509 2696 0 0 20 0 28 0 511396893 29458776064 462809 33554432000 4194304 4196468 140724639143072 140724639125616 140415310376695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
/proc/14908/statm: 7192084 462809 3545 1 0 7153184 0
[pid=14908/tid=14909] ppid=14906 vsize=28768336 memory=1398720917958146503 CPUtime=0.66 cores=0-7
/proc/14908/task/14909/stat : 14909 (java) S 14906 14906 14862 0 -1 1077944384 9469 0 0 0 63 3 0 0 20 0 28 0 511396893 29458776064 462809 33554432000 4194304 4196468 140724639143072 140415314617472 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14910] ppid=14906 vsize=28768336 memory=-7003737579269690708 CPUtime=13.71 cores=0-7
/proc/14908/task/14910/stat : 14910 (java) S 14906 14906 14862 0 -1 1077944384 50527 0 0 0 1291 80 0 0 20 0 28 0 511396894 29458776064 462809 33554432000 4194304 4196468 140724639143072 140415262997136 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14911] ppid=14906 vsize=28768336 memory=504 CPUtime=13.7 cores=0-7
/proc/14908/task/14911/stat : 14911 (java) S 14906 14906 14862 0 -1 1077944384 46717 0 0 0 1290 80 0 0 20 0 28 0 511396894 29458776064 462809 33554432000 4194304 4196468 140724639143072 140415261944336 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14912] ppid=14906 vsize=28768336 memory=1564 CPUtime=13.68 cores=0-7
/proc/14908/task/14912/stat : 14912 (java) S 14906 14906 14862 0 -1 1077944384 45441 0 0 0 1288 80 0 0 20 0 28 0 511396894 29458776064 462809 33554432000 4194304 4196468 140724639143072 140415260891536 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14913] ppid=14906 vsize=28768336 memory=924 CPUtime=13.68 cores=0-7
/proc/14908/task/14913/stat : 14913 (java) S 14906 14906 14862 0 -1 1077944384 47988 0 0 0 1292 76 0 0 20 0 28 0 511396894 29458776064 462809 33554432000 4194304 4196468 140724639143072 140415259838736 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14914] ppid=14906 vsize=28768336 memory=1420 CPUtime=13.71 cores=0-7
/proc/14908/task/14914/stat : 14914 (java) S 14906 14906 14862 0 -1 1077944384 44622 0 0 0 1288 83 0 0 20 0 28 0 511396894 29458776064 462809 33554432000 4194304 4196468 140724639143072 140415258786960 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14915] ppid=14906 vsize=28768336 memory=1984 CPUtime=13.68 cores=0-7
/proc/14908/task/14915/stat : 14915 (java) S 14906 14906 14862 0 -1 1077944384 44157 0 0 0 1289 79 0 0 20 0 28 0 511396894 29458776064 462809 33554432000 4194304 4196468 140724639143072 140415257734160 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14916] ppid=14906 vsize=28768336 memory=2532 CPUtime=13.66 cores=0-7
/proc/14908/task/14916/stat : 14916 (java) S 14906 14906 14862 0 -1 1077944384 49360 0 0 0 1291 75 0 0 20 0 28 0 511396894 29458776064 462809 33554432000 4194304 4196468 140724639143072 140415256681360 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14917] ppid=14906 vsize=28768336 memory=6791534058613427641 CPUtime=13.75 cores=0-7
/proc/14908/task/14917/stat : 14917 (java) S 14906 14906 14862 0 -1 1077944384 50068 0 0 0 1299 76 0 0 20 0 28 0 511396894 29458776064 462809 33554432000 4194304 4196468 140724639143072 140415255628560 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14918] ppid=14906 vsize=28768336 memory=1808 CPUtime=24.77 cores=0-7
/proc/14908/task/14918/stat : 14918 (java) S 14906 14906 14862 0 -1 1077944384 108096 0 0 0 1037 1440 0 0 20 0 28 0 511396895 29458776064 462809 33554432000 4194304 4196468 140724639143072 140414627604848 140415310387842 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14919] ppid=14906 vsize=28768336 memory=920 CPUtime=0 cores=0-7
/proc/14908/task/14919/stat : 14919 (java) S 14906 14906 14862 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 511396896 29458776064 462809 33554432000 4194304 4196468 140724639143072 140414626550880 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14920] ppid=14906 vsize=28768336 memory=3912 CPUtime=0 cores=0-7
/proc/14908/task/14920/stat : 14920 (java) S 14906 14906 14862 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 511396896 29458776064 462809 33554432000 4194304 4196468 140724639143072 140414625497984 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14921] ppid=14906 vsize=28768336 memory=1412 CPUtime=0 cores=0-7
/proc/14908/task/14921/stat : 14921 (java) S 14906 14906 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511396899 29458776064 462809 33554432000 4194304 4196468 140724639143072 140414624446288 140415310395291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14922] ppid=14906 vsize=28768336 memory=3804 CPUtime=2.94 cores=0-7
/proc/14908/task/14922/stat : 14922 (java) S 14906 14906 14862 0 -1 1077944384 17628 0 0 0 290 4 0 0 20 0 28 0 511396899 29458776064 462809 33554432000 4194304 4196468 140724639143072 140414623394672 140415310387842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14923] ppid=14906 vsize=28768336 memory=1456 CPUtime=3.52 cores=0-7
/proc/14908/task/14923/stat : 14923 (java) S 14906 14906 14862 0 -1 1077944384 19902 0 0 0 348 4 0 0 20 0 28 0 511396899 29458776064 462809 33554432000 4194304 4196468 140724639143072 140414622341872 140415310387842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14924] ppid=14906 vsize=28768336 memory=1851236 CPUtime=3.57 cores=0-7
/proc/14908/task/14924/stat : 14924 (java) S 14906 14906 14862 0 -1 1077944384 13545 0 0 0 355 2 0 0 20 0 28 0 511396899 29458776064 462809 33554432000 4194304 4196468 140724639143072 140414621289072 140415310387842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14925] ppid=14906 vsize=28768336 memory=4100 CPUtime=0.8 cores=0-7
/proc/14908/task/14925/stat : 14925 (java) S 14906 14906 14862 0 -1 1077944384 10497 0 0 0 77 3 0 0 20 0 28 0 511396899 29458776064 462809 33554432000 4194304 4196468 140724639143072 140414620236272 140415310387842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 35 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14926] ppid=14906 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/14908/task/14926/stat : 14926 (java) S 14906 14906 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511396899 29458776064 462809 33554432000 4194304 4196468 140724639143072 140414619183712 140415310386901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14927] ppid=14906 vsize=28768336 memory=1808 CPUtime=0.75 cores=0-7
/proc/14908/task/14927/stat : 14927 (java) S 14906 14906 14862 0 -1 1077944384 4959 0 0 0 35 40 0 0 20 0 28 0 511396899 29458776064 462809 33554432000 4194304 4196468 140724639143072 140414618130992 140415310387842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14928] ppid=14906 vsize=28768336 memory=920 CPUtime=2467.49 cores=0-7
/proc/14908/task/14928/stat : 14928 (java) R 14906 14906 14862 0 -1 4202560 89973 0 0 0 246697 52 0 0 20 0 28 0 511396962 29458776064 462809 33554432000 4194304 4196468 140724639143072 140414609149160 140414919613218 0 4 0 16800975 0 0 0 -1 7 0 0 25 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14929] ppid=14906 vsize=28768336 memory=14323715934760 CPUtime=2466.6 cores=0-7
/proc/14908/task/14929/stat : 14929 (java) R 14906 14906 14862 0 -1 4202560 97536 0 0 0 246608 52 0 0 20 0 28 0 511396962 29458776064 462809 33554432000 4194304 4196468 140724639143072 140414608097896 140414920295154 0 4 0 16800975 0 0 0 -1 0 0 0 30 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14930] ppid=14906 vsize=28768336 memory=1456 CPUtime=2469.18 cores=0-7
/proc/14908/task/14930/stat : 14930 (java) R 14906 14906 14862 0 -1 4202560 171265 0 0 0 246847 71 0 0 20 0 28 0 511396962 29458776064 462809 33554432000 4194304 4196468 140724639143072 140414607045704 140414914562032 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14931] ppid=14906 vsize=28768336 memory=1851236 CPUtime=2477.06 cores=0-7
/proc/14908/task/14931/stat : 14931 (java) R 14906 14906 14862 0 -1 4202560 68300 0 0 0 247665 41 0 0 20 0 28 0 511396962 29458776064 462809 33554432000 4194304 4196468 140724639143072 140414605995296 140414921436706 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14932] ppid=14906 vsize=28768336 memory=7812737571160943187 CPUtime=2469.7 cores=0-7
/proc/14908/task/14932/stat : 14932 (java) R 14906 14906 14862 0 -1 4202560 266421 0 0 0 246869 101 0 0 20 0 28 0 511396962 29458776064 462809 33554432000 4194304 4196468 140724639143072 140414604939032 140414921057783 0 4 0 16800975 0 0 0 -1 4 0 0 27 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14933] ppid=14906 vsize=28768336 memory=7812737571160943187 CPUtime=2464.65 cores=0-7
/proc/14908/task/14933/stat : 14933 (java) R 14906 14906 14862 0 -1 4202560 218726 0 0 0 246367 98 0 0 20 0 28 0 511396962 29458776064 462809 33554432000 4194304 4196468 140724639143072 140414603887048 140414923082761 0 4 0 16800975 0 0 0 -1 2 0 0 29 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14934] ppid=14906 vsize=28768336 memory=7812458256569881454 CPUtime=2472.82 cores=0-7
/proc/14908/task/14934/stat : 14934 (java) R 14906 14906 14862 0 -1 4202560 63875 0 0 0 247246 36 0 0 20 0 28 0 511396962 29458776064 462809 33554432000 4194304 4196468 140724639143072 140414602833936 140414913869180 0 4 0 16800975 0 0 0 -1 6 0 0 23 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
[pid=14908/tid=14935] ppid=14906 vsize=28768336 memory=7812737571160943187 CPUtime=2467.78 cores=0-7
/proc/14908/task/14935/stat : 14935 (java) R 14906 14906 14862 0 -1 4202560 471627 0 0 0 246580 198 0 0 20 0 28 0 511396962 29458776064 462809 33554432000 4194304 4196468 140724639143072 140414601781448 140414920693742 0 4 0 16800975 0 0 0 -1 1 0 0 27 0 0 6293624 6294260 27291648 140724639146986 140724639147158 140724639147158 140724639150031 0
Current children cumulated CPU time: 19902.1 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1852692 KiB

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

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

[startup+2520.12 s]
# the end of solver process 14908 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19875.7 s, system=26.9915 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.12
CPU time (s): 19902.7
CPU user time (s): 19875.7
CPU system time (s): 26.9915
CPU usage (%): 789.755
Max. virtual memory (cumulated for all children) (KiB): 28885692
Max. memory (cumulated for all children) (KiB): 2062660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19875.7
system time used= 26.9915
maximum resident set size= 2062692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2012921
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 270647
involuntary context switches= 250269


# summary of solver processes directly reported to runsolver:
#   pid: 14906,14908
#   total CPU time (s): 19902.7
#   total CPU user time (s): 19875.7
#   total CPU system time (s): 26.9915

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.7738 second user time and 27.4025 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-24 20:53:35
IDJOB=4406776
IDBENCH=127917
IDSOLVER=2871
FILE ID=node151/4406776-1569351256
RUNJOBID= node151-1569351215-14889
PBS_JOBID= 21705099
Free space on /tmp= 12412 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-023.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-4406776-1569351256/watcher-4406776-1569351256 -o /tmp/evaluation-result-4406776-1569351256/solver-4406776-1569351256 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569351215-14889 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2034889321 HOME/instance-4406776-1569351256.xml

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

MD5SUM BENCH= f753def11f9f341c6e9dbf54b2480dee
RANDOM SEED=2034889321

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23328172 kB
MemAvailable:   31796160 kB
Buffers:           99112 kB
Cached:          8529372 kB
SwapCached:        50736 kB
Active:          2763484 kB
Inactive:        5919188 kB
Active(anon):       3768 kB
Inactive(anon):   105220 kB
Active(file):    2759716 kB
Inactive(file):  5813968 kB
Unevictable:      108536 kB
Mlocked:          108536 kB
SwapTotal:      67108860 kB
SwapFree:       66956504 kB
Dirty:             26132 kB
Writeback:             0 kB
AnonPages:        112328 kB
Mapped:            54088 kB
Shmem:             45968 kB
Slab:             351592 kB
SReclaimable:     322764 kB
SUnreclaim:        28828 kB
KernelStack:        3344 kB
PageTables:         5020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514196 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:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 12388 MiB
End job on node151 at 2019-09-24 21:35:35