Trace number 4297706

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 4.0.7b par (e747e1e)? (TO) 19909.6 2520.15

General information on the benchmark

NameEternity/
Eternity-14-14_c18.xml
MD5SUM66051f32d3df5832063947322816fa6d
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 variables616
Number of constraints253
Number of domains2
Minimum domain size21
Maximum domain size196
Distribution of domain sizes[{"size":21,"count":420},{"size":196,"count":196}]
Minimum variable degree1
Maximum variable degree15
Distribution of variable degrees[{"degree":1,"count":13},{"degree":2,"count":602},{"degree":15,"count":1}]
Minimum constraint arity1
Maximum constraint arity196
Distribution of constraint arities[{"arity":1,"count":56},{"arity":5,"count":196},{"arity":196,"count":1}]
Number of extensional constraints196
Number of intensional constraints56
Distribution of constraint types[{"type":"extension","count":196},{"type":"intension","count":56},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297706-1532735950.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297706-1532735950.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
8.01/3.87	c solve instance...
19908.65/2520.10	s UNKNOWN
19908.65/2520.10	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 (8473 MiB free)
  memory of node 1: 16384 MiB (11529 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297706-1532735950/watcher-4297706-1532735950 -o /tmp/evaluation-result-4297706-1532735950/solver-4297706-1532735950 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532728371-6105 --watchdog 2580 HOME/xcsp3-exec -seed 213256022 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297706-1532735950.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=7145, runsolver pid=7142
Current StackSize limit: 8192 KiB


[startup+0.100131 s]*
/proc/loadavg: 7.96 8.21 8.22 2/199 7166
/proc/meminfo: memFree=20468416/32770624 swapFree=67108860/67108860
[pid=7145] ppid=7142 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/7145/stat : 7145 (xcsp3-exec) S 7142 7145 6078 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 91158226 115843072 364 33554432000 4194304 5098028 140735577688096 140735577686200 140299826934396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17330176 140735577695286 140735577695488 140735577695488 140735577698250 0
/proc/7145/statm: 28282 364 306 221 0 87 0
[pid=7147] ppid=7145 vsize=26104152 memory=27044 CPUtime=0.11 cores=0-7
/proc/7147/stat : 7147 (java) S 7145 7145 6078 0 -1 1077944320 5688 0 0 0 10 1 0 0 20 0 20 0 91158226 26730651648 6761 33554432000 4194304 4196468 140731511554464 140731511537008 140655815368439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
/proc/7147/statm: 6526038 6761 2994 1 0 6488315 0
[pid=7147/tid=7148] ppid=7145 vsize=26104152 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/7147/task/7148/stat : 7148 (java) R 7145 7145 6078 0 -1 4202560 3704 0 0 0 8 0 0 0 20 0 20 0 91158226 26730651648 6761 33554432000 4194304 4196468 140731511554464 140655819594784 140655815380374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7149] ppid=7145 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/7147/task/7149/stat : 7149 (java) S 7145 7145 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91158227 26730651648 6761 33554432000 4194304 4196468 140731511554464 140655767989008 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7150] ppid=7145 vsize=26104152 memory=140275981100672 CPUtime=0 cores=0-7
/proc/7147/task/7150/stat : 7150 (java) S 7145 7145 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91158227 26730651648 6761 33554432000 4194304 4196468 140731511554464 140655766936464 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7151] ppid=7145 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7151/stat : 7151 (java) S 7145 7145 6078 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91158227 26730651648 6761 33554432000 4194304 4196468 140731511554464 140655765883920 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7152] ppid=7145 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7152/stat : 7152 (java) S 7145 7145 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91158227 26730651648 6761 33554432000 4194304 4196468 140731511554464 140655764831376 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7153] ppid=7145 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7153/stat : 7153 (java) S 7145 7145 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91158227 26730651648 6761 33554432000 4194304 4196468 140731511554464 140655763777808 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7154] ppid=7145 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/7147/task/7154/stat : 7154 (java) S 7145 7145 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91158227 26730651648 6761 33554432000 4194304 4196468 140731511554464 140655762725264 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7155] ppid=7145 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7155/stat : 7155 (java) S 7145 7145 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91158227 26730651648 6761 33554432000 4194304 4196468 140731511554464 140655761672720 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7156] ppid=7145 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7156/stat : 7156 (java) S 7145 7145 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91158227 26730651648 6761 33554432000 4194304 4196468 140731511554464 140655760620176 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7157] ppid=7145 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7157/stat : 7157 (java) S 7145 7145 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91158229 26730651648 6761 33554432000 4194304 4196468 140731511554464 140654355151344 140655815379586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7158] ppid=7145 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7158/stat : 7158 (java) S 7145 7145 6078 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 91158229 26730651648 6761 33554432000 4194304 4196468 140731511554464 140654354097568 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7159] ppid=7145 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7159/stat : 7159 (java) S 7145 7145 6078 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 91158229 26730651648 6761 33554432000 4194304 4196468 140731511554464 140654353044976 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7160] ppid=7145 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7160/stat : 7160 (java) S 7145 7145 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91158232 26730651648 6761 33554432000 4194304 4196468 140731511554464 140654351993552 140655815387035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7161] ppid=7145 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7161/stat : 7161 (java) S 7145 7145 6078 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 91158232 26730651648 6761 33554432000 4194304 4196468 140731511554464 140654350940144 140655815379586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7162] ppid=7145 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7162/stat : 7162 (java) S 7145 7145 6078 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 91158232 26730651648 6761 33554432000 4194304 4196468 140731511554464 140654349887600 140655815379586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7163] ppid=7145 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7163/stat : 7163 (java) S 7145 7145 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91158232 26730651648 6761 33554432000 4194304 4196468 140731511554464 140654348835056 140655815379586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7164] ppid=7145 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/7147/task/7164/stat : 7164 (java) R 7145 7145 6078 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 20 0 91158232 26730651648 6761 33554432000 4194304 4196468 140731511554464 140654347782512 140655793842544 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7165] ppid=7145 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7165/stat : 7165 (java) S 7145 7145 6078 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91158232 26730651648 6761 33554432000 4194304 4196468 140731511554464 140654346730208 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7166] ppid=7145 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/7147/task/7166/stat : 7166 (java) S 7145 7145 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91158232 26730651648 6761 33554432000 4194304 4196468 140731511554464 140654345677744 140655815379586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28500 KiB

[startup+0.21038 s]*
/proc/loadavg: 7.96 8.21 8.22 3/199 7166
/proc/meminfo: memFree=20456400/32770624 swapFree=67108860/67108860
[pid=7145] ppid=7142 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/7145/stat : 7145 (xcsp3-exec) S 7142 7145 6078 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 91158226 115843072 364 33554432000 4194304 5098028 140735577688096 140735577686200 140299826934396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17330176 140735577695286 140735577695488 140735577695488 140735577698250 0
/proc/7145/statm: 28282 364 306 221 0 87 0
[pid=7147] ppid=7145 vsize=26104152 memory=39576 CPUtime=0.34 cores=0-7
/proc/7147/stat : 7147 (java) S 7145 7145 6078 0 -1 1077944320 8524 0 0 0 31 3 0 0 20 0 20 0 91158226 26730651648 9894 33554432000 4194304 4196468 140731511554464 140731511537008 140655815368439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
/proc/7147/statm: 6526038 9894 3202 1 0 6488315 0
[pid=7147/tid=7148] ppid=7145 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/7147/task/7148/stat : 7148 (java) R 7145 7145 6078 0 -1 4202560 5586 0 0 0 18 1 0 0 20 0 20 0 91158226 26730651648 9894 33554432000 4194304 4196468 140731511554464 140655819602560 140655815390365 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7149] ppid=7145 vsize=26104152 memory=330 CPUtime=0 cores=0-7
/proc/7147/task/7149/stat : 7149 (java) S 7145 7145 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91158227 26730651648 9894 33554432000 4194304 4196468 140731511554464 140655767989008 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7150] ppid=7145 vsize=26104152 memory=140275981108076 CPUtime=0 cores=0-7
/proc/7147/task/7150/stat : 7150 (java) S 7145 7145 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91158227 26730651648 9894 33554432000 4194304 4196468 140731511554464 140655766936464 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7151] ppid=7145 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/7147/task/7151/stat : 7151 (java) S 7145 7145 6078 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91158227 26730651648 9894 33554432000 4194304 4196468 140731511554464 140655765883920 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7152] ppid=7145 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7152/stat : 7152 (java) S 7145 7145 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91158227 26730651648 9894 33554432000 4194304 4196468 140731511554464 140655764831376 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7153] ppid=7145 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7153/stat : 7153 (java) S 7145 7145 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91158227 26730651648 9894 33554432000 4194304 4196468 140731511554464 140655763777808 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7154] ppid=7145 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/7147/task/7154/stat : 7154 (java) S 7145 7145 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91158227 26730651648 9894 33554432000 4194304 4196468 140731511554464 140655762725264 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7155] ppid=7145 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7155/stat : 7155 (java) S 7145 7145 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91158227 26730651648 9894 33554432000 4194304 4196468 140731511554464 140655761672720 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7156] ppid=7145 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7156/stat : 7156 (java) S 7145 7145 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91158227 26730651648 9894 33554432000 4194304 4196468 140731511554464 140655760620176 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7157] ppid=7145 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7157/stat : 7157 (java) S 7145 7145 6078 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 91158229 26730651648 9894 33554432000 4194304 4196468 140731511554464 140654355151344 140655815379586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7158] ppid=7145 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7158/stat : 7158 (java) S 7145 7145 6078 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 91158229 26730651648 9894 33554432000 4194304 4196468 140731511554464 140654354097568 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7159] ppid=7145 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7159/stat : 7159 (java) S 7145 7145 6078 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 91158229 26730651648 9894 33554432000 4194304 4196468 140731511554464 140654353044976 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7160] ppid=7145 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7160/stat : 7160 (java) S 7145 7145 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91158232 26730651648 9894 33554432000 4194304 4196468 140731511554464 140654351993552 140655815387035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7161] ppid=7145 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/7147/task/7161/stat : 7161 (java) S 7145 7145 6078 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 20 0 91158232 26730651648 9894 33554432000 4194304 4196468 140731511554464 140654350940144 140655815379586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7162] ppid=7145 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/7147/task/7162/stat : 7162 (java) S 7145 7145 6078 0 -1 1077944384 456 0 0 0 2 0 0 0 20 0 20 0 91158232 26730651648 9894 33554432000 4194304 4196468 140731511554464 140654349887600 140655815379586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7163] ppid=7145 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7
/proc/7147/task/7163/stat : 7163 (java) S 7145 7145 6078 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 91158232 26730651648 9894 33554432000 4194304 4196468 140731511554464 140654348835056 140655815379586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7164] ppid=7145 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/7147/task/7164/stat : 7164 (java) S 7145 7145 6078 0 -1 1077944384 722 0 0 0 7 0 0 0 20 0 20 0 91158232 26730651648 9894 33554432000 4194304 4196468 140731511554464 140654347782512 140655815379586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7165] ppid=7145 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7165/stat : 7165 (java) S 7145 7145 6078 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91158232 26730651648 9894 33554432000 4194304 4196468 140731511554464 140654346730208 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7166] ppid=7145 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/7147/task/7166/stat : 7166 (java) S 7145 7145 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91158232 26730651648 9894 33554432000 4194304 4196468 140731511554464 140654345677744 140655815379586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41032 KiB

[startup+0.311758 s]*
/proc/loadavg: 7.96 8.21 8.22 3/199 7166
/proc/meminfo: memFree=20449948/32770624 swapFree=67108860/67108860
[pid=7145] ppid=7142 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/7145/stat : 7145 (xcsp3-exec) S 7142 7145 6078 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 91158226 115843072 364 33554432000 4194304 5098028 140735577688096 140735577686200 140299826934396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17330176 140735577695286 140735577695488 140735577695488 140735577698250 0
/proc/7145/statm: 28282 364 306 221 0 87 0
[pid=7147] ppid=7145 vsize=26108408 memory=46412 CPUtime=0.52 cores=0-7
/proc/7147/stat : 7147 (java) S 7145 7145 6078 0 -1 1077944320 9409 0 0 0 49 3 0 0 20 0 20 0 91158226 26735009792 11603 33554432000 4194304 4196468 140731511554464 140731511537008 140655815368439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
/proc/7147/statm: 6527102 11603 3251 1 0 6488315 0
[pid=7147/tid=7148] ppid=7145 vsize=26108408 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/7147/task/7148/stat : 7148 (java) R 7145 7145 6078 0 -1 4202560 6320 0 0 0 27 2 0 0 20 0 20 0 91158226 26735009792 11603 33554432000 4194304 4196468 140731511554464 140655819599552 140655799448926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7149] ppid=7145 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7149/stat : 7149 (java) S 7145 7145 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91158227 26735009792 11603 33554432000 4194304 4196468 140731511554464 140655767989008 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7150] ppid=7145 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7150/stat : 7150 (java) S 7145 7145 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91158227 26735009792 11603 33554432000 4194304 4196468 140731511554464 140655766936464 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7151] ppid=7145 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7151/stat : 7151 (java) S 7145 7145 6078 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91158227 26735009792 11603 33554432000 4194304 4196468 140731511554464 140655765883920 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7152] ppid=7145 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7152/stat : 7152 (java) S 7145 7145 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91158227 26735009792 11603 33554432000 4194304 4196468 140731511554464 140655764831376 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7153] ppid=7145 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/7147/task/7153/stat : 7153 (java) S 7145 7145 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91158227 26735009792 11603 33554432000 4194304 4196468 140731511554464 140655763777808 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7154] ppid=7145 vsize=26108408 memory=140275846575023 CPUtime=0 cores=0-7
/proc/7147/task/7154/stat : 7154 (java) S 7145 7145 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91158227 26735009792 11603 33554432000 4194304 4196468 140731511554464 140655762725264 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7155] ppid=7145 vsize=26108408 memory=140275846577328 CPUtime=0 cores=0-7
/proc/7147/task/7155/stat : 7155 (java) S 7145 7145 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91158227 26735009792 11603 33554432000 4194304 4196468 140731511554464 140655761672720 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7156] ppid=7145 vsize=26108408 memory=140275846579632 CPUtime=0 cores=0-7
/proc/7147/task/7156/stat : 7156 (java) S 7145 7145 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91158227 26735009792 11603 33554432000 4194304 4196468 140731511554464 140655760620176 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7157] ppid=7145 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7157/stat : 7157 (java) S 7145 7145 6078 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 91158229 26735009792 11603 33554432000 4194304 4196468 140731511554464 140654355151344 140655815379586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7158] ppid=7145 vsize=26108408 memory=280551693166224 CPUtime=0 cores=0-7
/proc/7147/task/7158/stat : 7158 (java) S 7145 7145 6078 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 91158229 26735009792 11603 33554432000 4194304 4196468 140731511554464 140654354097568 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7159] ppid=7145 vsize=26108408 memory=280551693173136 CPUtime=0 cores=0-7
/proc/7147/task/7159/stat : 7159 (java) S 7145 7145 6078 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 91158229 26735009792 11603 33554432000 4194304 4196468 140731511554464 140654353044976 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7160] ppid=7145 vsize=26108408 memory=280551693114416 CPUtime=0 cores=0-7
/proc/7147/task/7160/stat : 7160 (java) S 7145 7145 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91158232 26735009792 11603 33554432000 4194304 4196468 140731511554464 140654351993552 140655815387035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7161] ppid=7145 vsize=26108408 memory=280551693186960 CPUtime=0.04 cores=0-7
/proc/7147/task/7161/stat : 7161 (java) S 7145 7145 6078 0 -1 1077944384 496 0 0 0 4 0 0 0 20 0 20 0 91158232 26735009792 11603 33554432000 4194304 4196468 140731511554464 140654350940144 140655815379586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7162] ppid=7145 vsize=26108408 memory=280551693193872 CPUtime=0.03 cores=0-7
/proc/7147/task/7162/stat : 7162 (java) S 7145 7145 6078 0 -1 1077944384 458 0 0 0 3 0 0 0 20 0 20 0 91158232 26735009792 11603 33554432000 4194304 4196468 140731511554464 140654349887600 140655815379586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7163] ppid=7145 vsize=26108408 memory=280551693191568 CPUtime=0.02 cores=0-7
/proc/7147/task/7163/stat : 7163 (java) S 7145 7145 6078 0 -1 1077944384 53 0 0 0 2 0 0 0 20 0 20 0 91158232 26735009792 11603 33554432000 4194304 4196468 140731511554464 140654348835056 140655815379586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7164] ppid=7145 vsize=26108408 memory=280551693207728 CPUtime=0.12 cores=0-7
/proc/7147/task/7164/stat : 7164 (java) S 7145 7145 6078 0 -1 1077944384 784 0 0 0 12 0 0 0 20 0 20 0 91158232 26735009792 11603 33554432000 4194304 4196468 140731511554464 140654347782512 140655815379586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7165] ppid=7145 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7165/stat : 7165 (java) S 7145 7145 6078 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91158232 26735009792 11603 33554432000 4194304 4196468 140731511554464 140654346730208 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7166] ppid=7145 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/7147/task/7166/stat : 7166 (java) S 7145 7145 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91158232 26735009792 11603 33554432000 4194304 4196468 140731511554464 140654345677744 140655815379586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47868 KiB

[startup+0.701002 s]
/proc/loadavg: 7.96 8.21 8.22 5/199 7166
/proc/meminfo: memFree=20417084/32770624 swapFree=67108860/67108860
[pid=7145] ppid=7142 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/7145/stat : 7145 (xcsp3-exec) S 7142 7145 6078 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 91158226 115843072 364 33554432000 4194304 5098028 140735577688096 140735577686200 140299826934396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17330176 140735577695286 140735577695488 140735577695488 140735577698250 0
/proc/7145/statm: 28282 364 306 221 0 87 0
[pid=7147] ppid=7145 vsize=26110532 memory=195224 CPUtime=1.75 cores=0-7
/proc/7147/stat : 7147 (java) S 7145 7145 6078 0 -1 1077944320 13273 0 0 0 167 8 0 0 20 0 20 0 91158226 26737184768 48806 33554432000 4194304 4196468 140731511554464 140731511537008 140655815368439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
/proc/7147/statm: 6527633 48806 3364 1 0 6488827 0
[pid=7147/tid=7148] ppid=7145 vsize=26110532 memory=280551693565616 CPUtime=0.66 cores=0-7
/proc/7147/task/7148/stat : 7148 (java) R 7145 7145 6078 0 -1 4202560 6782 0 0 0 62 4 0 0 20 0 20 0 91158226 26737184768 48806 33554432000 4194304 4196468 140731511554464 140655819604208 140655434525136 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7149] ppid=7145 vsize=26110532 memory=140275846783856 CPUtime=0 cores=0-7
/proc/7147/task/7149/stat : 7149 (java) S 7145 7145 6078 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 91158227 26737184768 48806 33554432000 4194304 4196468 140731511554464 140655767989008 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7150] ppid=7145 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/7147/task/7150/stat : 7150 (java) S 7145 7145 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91158227 26737184768 48806 33554432000 4194304 4196468 140731511554464 140655766936464 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7151] ppid=7145 vsize=26110532 memory=8540 CPUtime=0 cores=0-7
/proc/7147/task/7151/stat : 7151 (java) S 7145 7145 6078 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91158227 26737184768 48806 33554432000 4194304 4196468 140731511554464 140655765883920 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0

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

/proc/meminfo: memFree=14503052/32770624 swapFree=67108860/67108860
[pid=7145] ppid=7142 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/7145/stat : 7145 (xcsp3-exec) S 7142 7145 6078 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 91158226 115843072 364 33554432000 4194304 5098028 140735577688096 140735577686200 140299826934396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17330176 140735577695286 140735577695488 140735577695488 140735577698250 0
/proc/7145/statm: 28282 364 306 221 0 87 0
[pid=7147] ppid=7145 vsize=26645092 memory=5980240 CPUtime=19768.5 cores=0-7
/proc/7147/stat : 7147 (java) S 7145 7145 6078 0 -1 1077944320 1027588 0 0 0 1975568 1284 0 0 20 0 28 0 91158226 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140731511537008 140655815368439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
/proc/7147/statm: 6661273 1495060 3459 1 0 6622467 0
[pid=7147/tid=7148] ppid=7145 vsize=26645092 memory=280551694623616 CPUtime=3.64 cores=0-7
/proc/7147/task/7148/stat : 7148 (java) S 7145 7145 6078 0 -1 1077944384 7600 0 0 0 354 10 0 0 20 0 28 0 91158226 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140655819609216 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7149] ppid=7145 vsize=26645092 memory=5980448 CPUtime=14.49 cores=0-7
/proc/7147/task/7149/stat : 7149 (java) R 7145 7145 6078 0 -1 4202560 44269 0 0 0 1403 46 0 0 20 0 28 0 91158227 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140655767989008 140655815380374 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7150] ppid=7145 vsize=26645092 memory=5980448 CPUtime=14.6 cores=0-7
/proc/7147/task/7150/stat : 7150 (java) S 7145 7145 6078 0 -1 1077944384 51803 0 0 0 1411 49 0 0 20 0 28 0 91158227 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140655766936464 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7151] ppid=7145 vsize=26645092 memory=4136 CPUtime=14.47 cores=0-7
/proc/7147/task/7151/stat : 7151 (java) S 7145 7145 6078 0 -1 1077944384 41311 0 0 0 1402 45 0 0 20 0 28 0 91158227 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140655765883920 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7152] ppid=7145 vsize=26645092 memory=8112282956445269571 CPUtime=14.47 cores=0-7
/proc/7147/task/7152/stat : 7152 (java) R 7145 7145 6078 0 -1 4202560 48731 0 0 0 1398 49 0 0 20 0 28 0 91158227 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140655764831376 140655815380374 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7153] ppid=7145 vsize=26645092 memory=0 CPUtime=14.44 cores=0-7
/proc/7147/task/7153/stat : 7153 (java) S 7145 7145 6078 0 -1 1077944384 48124 0 0 0 1392 52 0 0 20 0 28 0 91158227 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140655763777808 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7154] ppid=7145 vsize=26645092 memory=1456 CPUtime=14.57 cores=0-7
/proc/7147/task/7154/stat : 7154 (java) R 7145 7145 6078 0 -1 4202560 53890 0 0 0 1410 47 0 0 20 0 28 0 91158227 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140655762725264 140655794565604 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7155] ppid=7145 vsize=26645092 memory=5980448 CPUtime=14.61 cores=0-7
/proc/7147/task/7155/stat : 7155 (java) R 7145 7145 6078 0 -1 4202560 48057 0 0 0 1413 48 0 0 20 0 28 0 91158227 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140655761672720 140655794564236 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7156] ppid=7145 vsize=26645092 memory=1456 CPUtime=14.44 cores=0-7
/proc/7147/task/7156/stat : 7156 (java) R 7145 7145 6078 0 -1 4202560 45566 0 0 0 1393 51 0 0 20 0 28 0 91158227 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140655760620176 140655794564236 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7157] ppid=7145 vsize=26645092 memory=5980448 CPUtime=9.78 cores=0-7
/proc/7147/task/7157/stat : 7157 (java) S 7145 7145 6078 0 -1 1077944384 161789 0 0 0 730 248 0 0 20 0 28 0 91158229 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140654355149856 140655815378645 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7158] ppid=7145 vsize=26645092 memory=1456 CPUtime=0 cores=0-7
/proc/7147/task/7158/stat : 7158 (java) S 7145 7145 6078 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 91158229 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140654354097632 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7159] ppid=7145 vsize=26645092 memory=5980448 CPUtime=0 cores=0-7
/proc/7147/task/7159/stat : 7159 (java) S 7145 7145 6078 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 91158229 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140654353044992 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7160] ppid=7145 vsize=26645092 memory=1712 CPUtime=0 cores=0-7
/proc/7147/task/7160/stat : 7160 (java) S 7145 7145 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91158232 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140654351993552 140655815387035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7161] ppid=7145 vsize=26645092 memory=9996 CPUtime=2.96 cores=0-7
/proc/7147/task/7161/stat : 7161 (java) S 7145 7145 6078 0 -1 1077944384 20005 0 0 0 292 4 0 0 20 0 28 0 91158232 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140654350940144 140655815379586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7162] ppid=7145 vsize=26645092 memory=1456 CPUtime=3.04 cores=0-7
/proc/7147/task/7162/stat : 7162 (java) S 7145 7145 6078 0 -1 1077944384 24539 0 0 0 301 3 0 0 20 0 28 0 91158232 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140654349887600 140655815379586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7163] ppid=7145 vsize=26645092 memory=4136 CPUtime=3.36 cores=0-7
/proc/7147/task/7163/stat : 7163 (java) S 7145 7145 6078 0 -1 1077944384 19038 0 0 0 332 4 0 0 20 0 28 0 91158232 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140654348835056 140655815379586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7164] ppid=7145 vsize=26645092 memory=280551695054128 CPUtime=0.99 cores=0-7
/proc/7147/task/7164/stat : 7164 (java) S 7145 7145 6078 0 -1 1077944384 15385 0 0 0 96 3 0 0 20 0 28 0 91158232 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140654347782512 140655815379586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7165] ppid=7145 vsize=26645092 memory=-7533511066042275164 CPUtime=0 cores=0-7
/proc/7147/task/7165/stat : 7165 (java) S 7145 7145 6078 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 91158232 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140654346730208 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7166] ppid=7145 vsize=26645092 memory=1456 CPUtime=1.03 cores=0-7
/proc/7147/task/7166/stat : 7166 (java) S 7145 7145 6078 0 -1 1077944384 7968 0 0 0 44 59 0 0 20 0 28 0 91158232 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140654345677744 140655815379586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7167] ppid=7145 vsize=26645092 memory=1456 CPUtime=2453.33 cores=0-7
/proc/7147/task/7167/stat : 7167 (java) S 7145 7145 6078 0 -1 1077944384 43645 0 0 0 245244 89 0 0 20 0 28 0 91158615 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140654134844640 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7168] ppid=7145 vsize=26645092 memory=1456 CPUtime=2454.1 cores=0-7
/proc/7147/task/7168/stat : 7168 (java) S 7145 7145 6078 0 -1 1077944384 44014 0 0 0 245334 76 0 0 20 0 28 0 91158615 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140654133793328 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7169] ppid=7145 vsize=26645092 memory=1456 CPUtime=2457.73 cores=0-7
/proc/7147/task/7169/stat : 7169 (java) S 7145 7145 6078 0 -1 1077944384 61644 0 0 0 245684 89 0 0 20 0 28 0 91158615 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140654132739552 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7170] ppid=7145 vsize=26645092 memory=5980448 CPUtime=2453.52 cores=0-7
/proc/7147/task/7170/stat : 7170 (java) S 7145 7145 6078 0 -1 1077944384 57899 0 0 0 245256 96 0 0 20 0 28 0 91158615 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140654131689712 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7171] ppid=7145 vsize=26645092 memory=5980448 CPUtime=2453.1 cores=0-7
/proc/7147/task/7171/stat : 7171 (java) S 7145 7145 6078 0 -1 1077944384 54291 0 0 0 245229 81 0 0 20 0 28 0 91158615 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140654130634544 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7172] ppid=7145 vsize=26645092 memory=1196 CPUtime=2448.63 cores=0-7
/proc/7147/task/7172/stat : 7172 (java) S 7145 7145 6078 0 -1 1077944384 41142 0 0 0 244791 72 0 0 20 0 28 0 91158615 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140654129582000 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7173] ppid=7145 vsize=26645092 memory=8540 CPUtime=2452.04 cores=0-7
/proc/7147/task/7173/stat : 7173 (java) S 7145 7145 6078 0 -1 1077944384 51625 0 0 0 245114 90 0 0 20 0 28 0 91158615 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140654128532832 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7174] ppid=7145 vsize=26645092 memory=92900 CPUtime=2454.96 cores=0-7
/proc/7147/task/7174/stat : 7174 (java) S 7145 7145 6078 0 -1 1077944384 33900 0 0 0 245431 65 0 0 20 0 28 0 91158615 27284574208 1495060 33554432000 4194304 4196468 140731511554464 140654127480256 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
Current children cumulated CPU time: 19768.5 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 5981696 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.70 8.40 8.34 9/208 7239
/proc/meminfo: memFree=14502484/32770624 swapFree=67108860/67108860
[pid=7145] ppid=7142 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/7145/stat : 7145 (xcsp3-exec) S 7142 7145 6078 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 91158226 115843072 364 33554432000 4194304 5098028 140735577688096 140735577686200 140299826934396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17330176 140735577695286 140735577695488 140735577695488 140735577698250 0
/proc/7145/statm: 28282 364 306 221 0 87 0
[pid=7147] ppid=7145 vsize=26645092 memory=5979824 CPUtime=19908.7 cores=0-7
/proc/7147/stat : 7147 (java) S 7145 7145 6078 0 -1 1077944320 1043778 0 0 0 1989571 1294 0 0 20 0 28 0 91158226 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140731511537008 140655815368439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
/proc/7147/statm: 6661273 1494956 3459 1 0 6622467 0
[pid=7147/tid=7148] ppid=7145 vsize=26645092 memory=-6733704525061579059 CPUtime=3.64 cores=0-7
/proc/7147/task/7148/stat : 7148 (java) S 7145 7145 6078 0 -1 1077944384 7600 0 0 0 354 10 0 0 20 0 28 0 91158226 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140655819609216 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7149] ppid=7145 vsize=26645092 memory=5980240 CPUtime=14.57 cores=0-7
/proc/7147/task/7149/stat : 7149 (java) S 7145 7145 6078 0 -1 1077944384 45287 0 0 0 1411 46 0 0 20 0 28 0 91158227 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140655767989008 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7150] ppid=7145 vsize=26645092 memory=1712 CPUtime=14.7 cores=0-7
/proc/7147/task/7150/stat : 7150 (java) S 7145 7145 6078 0 -1 1077944384 53464 0 0 0 1419 51 0 0 20 0 28 0 91158227 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140655766936464 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7151] ppid=7145 vsize=26645092 memory=1456 CPUtime=14.55 cores=0-7
/proc/7147/task/7151/stat : 7151 (java) S 7145 7145 6078 0 -1 1077944384 42199 0 0 0 1410 45 0 0 20 0 28 0 91158227 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140655765883920 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7152] ppid=7145 vsize=26645092 memory=4872558044660077418 CPUtime=14.55 cores=0-7
/proc/7147/task/7152/stat : 7152 (java) S 7145 7145 6078 0 -1 1077944384 49263 0 0 0 1406 49 0 0 20 0 28 0 91158227 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140655764831376 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7153] ppid=7145 vsize=26645092 memory=1792 CPUtime=14.53 cores=0-7
/proc/7147/task/7153/stat : 7153 (java) S 7145 7145 6078 0 -1 1077944384 48967 0 0 0 1401 52 0 0 20 0 28 0 91158227 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140655763777808 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7154] ppid=7145 vsize=26645092 memory=960 CPUtime=14.65 cores=0-7
/proc/7147/task/7154/stat : 7154 (java) S 7145 7145 6078 0 -1 1077944384 54482 0 0 0 1418 47 0 0 20 0 28 0 91158227 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140655762725264 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7155] ppid=7145 vsize=26645092 memory=1232 CPUtime=14.7 cores=0-7
/proc/7147/task/7155/stat : 7155 (java) S 7145 7145 6078 0 -1 1077944384 49008 0 0 0 1421 49 0 0 20 0 28 0 91158227 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140655761672720 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7156] ppid=7145 vsize=26645092 memory=2344 CPUtime=14.53 cores=0-7
/proc/7147/task/7156/stat : 7156 (java) S 7145 7145 6078 0 -1 1077944384 46226 0 0 0 1402 51 0 0 20 0 28 0 91158227 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140655760620176 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7157] ppid=7145 vsize=26645092 memory=928 CPUtime=9.83 cores=0-7
/proc/7147/task/7157/stat : 7157 (java) S 7145 7145 6078 0 -1 1077944384 163734 0 0 0 734 249 0 0 20 0 28 0 91158229 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140654355151344 140655815379586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7158] ppid=7145 vsize=26645092 memory=1580 CPUtime=0 cores=0-7
/proc/7147/task/7158/stat : 7158 (java) S 7145 7145 6078 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 91158229 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140654354097632 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7159] ppid=7145 vsize=26645092 memory=2240 CPUtime=0 cores=0-7
/proc/7147/task/7159/stat : 7159 (java) S 7145 7145 6078 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 91158229 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140654353044992 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7160] ppid=7145 vsize=26645092 memory=4128 CPUtime=0 cores=0-7
/proc/7147/task/7160/stat : 7160 (java) S 7145 7145 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91158232 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140654351993552 140655815387035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7161] ppid=7145 vsize=26645092 memory=2200 CPUtime=2.96 cores=0-7
/proc/7147/task/7161/stat : 7161 (java) S 7145 7145 6078 0 -1 1077944384 20013 0 0 0 292 4 0 0 20 0 28 0 91158232 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140654350940144 140655815379586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7162] ppid=7145 vsize=26645092 memory=7528 CPUtime=3.04 cores=0-7
/proc/7147/task/7162/stat : 7162 (java) S 7145 7145 6078 0 -1 1077944384 24545 0 0 0 301 3 0 0 20 0 28 0 91158232 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140654349887600 140655815379586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7163] ppid=7145 vsize=26645092 memory=8112282956445269571 CPUtime=3.36 cores=0-7
/proc/7147/task/7163/stat : 7163 (java) S 7145 7145 6078 0 -1 1077944384 19044 0 0 0 332 4 0 0 20 0 28 0 91158232 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140654348835056 140655815379586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7164] ppid=7145 vsize=26645092 memory=2240 CPUtime=0.99 cores=0-7
/proc/7147/task/7164/stat : 7164 (java) S 7145 7145 6078 0 -1 1077944384 15391 0 0 0 96 3 0 0 20 0 28 0 91158232 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140654347782512 140655815379586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7165] ppid=7145 vsize=26645092 memory=4128 CPUtime=0 cores=0-7
/proc/7147/task/7165/stat : 7165 (java) S 7145 7145 6078 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 91158232 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140654346730208 140655815378645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7166] ppid=7145 vsize=26645092 memory=2200 CPUtime=1.05 cores=0-7
/proc/7147/task/7166/stat : 7166 (java) R 7145 7145 6078 0 -1 1077944384 8083 0 0 0 45 60 0 0 20 0 28 0 91158232 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140654345677744 140655815379586 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7167] ppid=7145 vsize=26645092 memory=7528 CPUtime=2470.83 cores=0-7
/proc/7147/task/7167/stat : 7167 (java) R 7145 7145 6078 0 -1 4202560 44826 0 0 0 246993 90 0 0 20 0 28 0 91158615 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140654134844824 140655439929229 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7168] ppid=7145 vsize=26645092 memory=844 CPUtime=2471.58 cores=0-7
/proc/7147/task/7168/stat : 7168 (java) R 7145 7145 6078 0 -1 4202560 44945 0 0 0 247081 77 0 0 20 0 28 0 91158615 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140654133793264 140655439928412 0 4 0 16800975 0 0 0 -1 6 0 0 27 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7169] ppid=7145 vsize=26645092 memory=1796 CPUtime=2475.19 cores=0-7
/proc/7147/task/7169/stat : 7169 (java) R 7145 7145 6078 0 -1 4202560 62520 0 0 0 247429 90 0 0 20 0 28 0 91158615 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140654132739872 140655439422105 0 4 0 16800975 0 0 0 -1 0 0 0 20 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7170] ppid=7145 vsize=26645092 memory=916 CPUtime=2470.84 cores=0-7
/proc/7147/task/7170/stat : 7170 (java) R 7145 7145 6078 0 -1 4202560 59005 0 0 0 246987 97 0 0 20 0 28 0 91158615 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140654131689600 140655439928637 0 4 0 16800975 0 0 0 -1 7 0 0 17 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7171] ppid=7145 vsize=26645092 memory=4140 CPUtime=2470.52 cores=0-7
/proc/7147/task/7171/stat : 7171 (java) R 7145 7145 6078 0 -1 4202560 54882 0 0 0 246970 82 0 0 20 0 28 0 91158615 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140654130634720 140655439929542 0 4 0 16800975 0 0 0 -1 5 0 0 23 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7172] ppid=7145 vsize=26645092 memory=1408 CPUtime=2465.95 cores=0-7
/proc/7147/task/7172/stat : 7172 (java) R 7145 7145 6078 0 -1 4202560 41873 0 0 0 246523 72 0 0 20 0 28 0 91158615 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140654129582152 140655440314818 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7173] ppid=7145 vsize=26645092 memory=3836 CPUtime=2469.47 cores=0-7
/proc/7147/task/7173/stat : 7173 (java) R 7145 7145 6078 0 -1 4202560 52697 0 0 0 246856 91 0 0 20 0 28 0 91158615 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140654128529472 140655440008452 0 4 0 16800975 0 0 0 -1 3 0 0 16 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
[pid=7147/tid=7174] ppid=7145 vsize=26645092 memory=5979824 CPUtime=2472.42 cores=0-7
/proc/7147/task/7174/stat : 7174 (java) R 7145 7145 6078 0 -1 4202560 34371 0 0 0 247177 65 0 0 20 0 28 0 91158615 27284574208 1494956 33554432000 4194304 4196468 140731511554464 140654127476816 140655438984999 0 4 0 16800975 0 0 0 -1 2 0 0 18 0 0 6293624 6294260 34594816 140731511563393 140731511563565 140731511563565 140731511566287 0
Current children cumulated CPU time: 19908.7 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 5981280 KiB

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

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

[startup+2520.15 s]
# the end of solver process 7147 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19896.6 s, system=12.9741 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

[startup+2520.14 s]*
/proc/loadavg: 8.70 8.40 8.34 2/181 7241
/proc/meminfo: memFree=20209616/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.002266 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 19909.6
CPU user time (s): 19896.6
CPU system time (s): 12.9741
CPU usage (%): 790.015
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 7548032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19896.6
system time used= 12.9741
maximum resident set size= 7547348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1044913
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= 576500
involuntary context switches= 242405


# summary of solver processes directly reported to runsolver:
#   pid: 7145,7147
#   total CPU time (s): 19909.6
#   total CPU user time (s): 19896.6
#   total CPU system time (s): 12.9741

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.2593 second user time and 30.869 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-28 01:59:11
IDJOB=4297706
IDBENCH=141660
IDSOLVER=2760
FILE ID=node105/4297706-1532735950
RUNJOBID= node105-1532728371-6105
PBS_JOBID= 21022347
Free space on /tmp= 44624 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Eternity/Eternity-14-14_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297706-1532735950/watcher-4297706-1532735950 -o /tmp/evaluation-result-4297706-1532735950/solver-4297706-1532735950 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532728371-6105 --watchdog 2580  HOME/xcsp3-exec -seed 213256022 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297706-1532735950.xml

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

MD5SUM BENCH= 66051f32d3df5832063947322816fa6d
RANDOM SEED=213256022

node105.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.32
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.32
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.32
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.32
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:        20483056 kB
MemAvailable:   31928132 kB
Buffers:          263204 kB
Cached:         11321848 kB
SwapCached:            0 kB
Active:          2391872 kB
Inactive:        9245920 kB
Active(anon):       7076 kB
Inactive(anon):    73352 kB
Active(file):    2384796 kB
Inactive(file):  9172568 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             23600 kB
Writeback:             0 kB
AnonPages:         70620 kB
Mapped:            42956 kB
Shmem:             25228 kB
Slab:             343908 kB
SReclaimable:     316172 kB
SUnreclaim:        27736 kB
KernelStack:        3520 kB
PageTables:         5096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44600 MiB
End job on node105 at 2018-07-28 02:41:11