Trace number 4396489

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.12.2OPT147 16.2774 6.6105

General information on the benchmark

NameTpp/Tpp-zinc-s1/
Tpp-7-3-30-1.xml
MD5SUM0f4bef4b37e838bc5603a3a9d9caf103
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark147
Best CPU time to get the best result obtained on this benchmark0.35928
Satisfiable
(Un)Satisfiability was proved
Number of variables102
Number of constraints683
Number of domains53
Minimum domain size2
Maximum domain size21
Distribution of domain sizes[{"size":2,"count":1},{"size":3,"count":4},{"size":4,"count":13},{"size":5,"count":3},{"size":9,"count":1},{"size":10,"count":1},{"size":11,"count":4},{"size":12,"count":9},{"size":13,"count":8},{"size":14,"count":3},{"size":15,"count":3},{"size":16,"count":1},{"size":20,"count":30},{"size":21,"count":21}]
Minimum variable degree2
Maximum variable degree33
Distribution of variable degrees[{"degree":2,"count":51},{"degree":22,"count":30},{"degree":32,"count":20},{"degree":33,"count":1}]
Minimum constraint arity1
Maximum constraint arity21
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":681},{"arity":21,"count":1}]
Number of extensional constraints51
Number of intensional constraints631
Distribution of constraint types[{"type":"extension","count":51},{"type":"intension","count":631},{"type":"circuit","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.78/0.55	c Concrete v3.12.2.1568380929293 running
12.35/4.86	o 263
12.64/4.90	o 262
12.64/4.95	o 248
12.91/5.04	o 235
12.91/5.06	o 222
13.14/5.17	o 196
13.32/5.24	o 194
13.32/5.25	o 177
13.51/5.31	o 176
13.51/5.34	o 168
13.51/5.35	o 167
13.51/5.36	o 166
13.72/5.41	o 165
13.72/5.43	o 164
13.72/5.46	o 162
13.72/5.48	o 155
13.95/5.51	o 152
14.47/5.72	o 151
14.47/5.74	o 147
16.11/6.59	v <instantiation
16.11/6.59	v         cost = '147'>
16.11/6.59	v       <list>
16.11/6.59	v         s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] l[0] l[1] l[2] l[3] l[4] l[5] l[6] l[7] l[8] l[9] l[10] l[11] l[12] l[13] l[14] l[15] l[16] l[17] l[18] l[19] l[20] l[21] l[22] l[23] l[24] l[25] l[26] l[27] l[28] l[29] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29]
16.11/6.59	v       </list>
16.11/6.59	v       <values>
16.11/6.59	v         0 1 2 3 4 5 6 7 8 9 11 12 13 20 14 15 16 10 17 18 19 0 0 0 0 0 0 0 0 0 0 7 1 1 18 0 0 0 16 10 1 4 13 13 12 18 19 11 19 10 13 18 18 13 11 18 17 10 10 19 12 18 13 11 19 17 17 13 19 17 13 10 1 1 1 5 4 4 3 1 2 1 3 1 2 6 2 2 2 1 9 1 1 1 7 4 7 1 2 2 4 8
16.11/6.59	v       </values>
16.11/6.59	v     </instantiation>
16.11/6.59	s OPTIMUM FOUND

Verifier Data 

OK	147

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396489-1568399184/watcher-4396489-1568399184 -o /tmp/evaluation-result-4396489-1568399184/solver-4396489-1568399184 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568394259-25762 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1603045957 HOME/instance-4396489-1568399184.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=27104, runsolver pid=27101

[startup+0.108637 s]*
/proc/loadavg: 1.48 1.35 1.38 3/218 27161
/proc/meminfo: memFree=27620252/32770624 swapFree=67004752/67108860
[pid=27104] ppid=27101 vsize=10186436 memory=20444 CPUtime=0.11 cores=1,3,5,7
/proc/27104/stat : 27104 (java) S 27101 27104 24221 0 -1 1077944320 4854 13110 0 0 2 1 5 3 20 0 8 0 416186252 10430910464 5111 33554432000 4194304 4196468 140737441638464 140737441621008 140345052135159 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
/proc/27104/statm: 2546609 5111 2077 1 0 2535047 0
[pid=27104/tid=27157] ppid=27101 vsize=10186436 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7
/proc/27104/task/27157/stat : 27157 (java) R 27101 27104 24221 0 -1 4202560 2629 13110 0 0 1 0 5 3 20 0 9 0 416186261 10430910464 5623 33554432000 4194304 4196468 140737441638464 140345023976592 140345052147094 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27158] ppid=27101 vsize=10186436 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27158/stat : 27158 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 9 0 416186261 10430910464 5623 33554432000 4194304 4196468 140737441638464 140345056378000 140345052145365 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27159] ppid=27101 vsize=10355560 memory=139940343248512 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27159/stat : 27159 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 9 0 416186261 10604093440 5623 33554432000 4194304 4196468 140737441638464 140344971197456 140345052145365 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27160] ppid=27101 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27160/stat : 27160 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 9 0 416186261 10604093440 5623 33554432000 4194304 4196468 140737441638464 140344970144656 140345052145365 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27161] ppid=27101 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27161/stat : 27161 (java) S 27101 27104 24221 0 -1 1077944384 2 13110 0 0 0 0 5 3 20 0 9 0 416186261 10604093440 5623 33554432000 4194304 4196468 140737441638464 140344623291152 140345052145365 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27162] ppid=27101 vsize=10355560 memory=139940343248512 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27162/stat : 27162 (java) S 27101 27104 24221 0 -1 1077944384 2 13110 0 0 0 0 5 3 20 0 9 0 416186263 10604093440 5623 33554432000 4194304 4196468 140737441638464 140344578713968 140345052146306 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27163] ppid=27101 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27163/stat : 27163 (java) S 27101 27104 24221 0 -1 1077944384 13 13110 0 0 0 0 5 3 20 0 9 0 416186263 10604093440 5623 33554432000 4194304 4196468 140737441638464 140344498840608 140345052145365 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27165] ppid=27101 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27165/stat : 27165 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 9 0 416186264 10604093440 5667 33554432000 4194304 4196468 140737441638464 140343894860720 140345052145365 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10186436 KiB
Current children cumulated memory: 20444 KiB

[startup+0.210296 s]*
/proc/loadavg: 1.48 1.35 1.38 3/227 27171
/proc/meminfo: memFree=27602756/32770624 swapFree=67004752/67108860
[pid=27104] ppid=27101 vsize=10819664 memory=39788 CPUtime=0.27 cores=1,3,5,7
/proc/27104/stat : 27104 (java) S 27101 27104 24221 0 -1 1077944320 7275 13110 0 0 17 2 5 3 20 0 15 0 416186252 11079335936 9947 33554432000 4194304 4196468 140737441638464 140737441621008 140345052135159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
/proc/27104/statm: 2704916 9947 3164 1 0 2667149 0
[pid=27104/tid=27157] ppid=27101 vsize=10819664 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/27104/task/27157/stat : 27157 (java) R 27101 27104 24221 0 -1 4202560 3776 13110 0 0 11 1 5 3 20 0 15 0 416186261 11079335936 9947 33554432000 4194304 4196468 140737441638464 140345023966400 140345038203278 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27158] ppid=27101 vsize=10819664 memory=339 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27158/stat : 27158 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 15 0 416186261 11079335936 10459 33554432000 4194304 4196468 140737441638464 140345056378000 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27159] ppid=27101 vsize=10819664 memory=3619123318012442272 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27159/stat : 27159 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 15 0 416186261 11079335936 10459 33554432000 4194304 4196468 140737441638464 140344971197456 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27160] ppid=27101 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27160/stat : 27160 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 15 0 416186261 11079335936 10459 33554432000 4194304 4196468 140737441638464 140344970144656 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27161] ppid=27101 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27161/stat : 27161 (java) S 27101 27104 24221 0 -1 1077944384 2 13110 0 0 0 0 5 3 20 0 15 0 416186261 11079335936 10459 33554432000 4194304 4196468 140737441638464 140344623291152 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27162] ppid=27101 vsize=10819664 memory=139940343248512 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27162/stat : 27162 (java) S 27101 27104 24221 0 -1 1077944384 2 13110 0 0 0 0 5 3 20 0 15 0 416186263 11079335936 10459 33554432000 4194304 4196468 140737441638464 140344578713968 140345052146306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27163] ppid=27101 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27163/stat : 27163 (java) S 27101 27104 24221 0 -1 1077944384 13 13110 0 0 0 0 5 3 20 0 15 0 416186263 11079335936 10459 33554432000 4194304 4196468 140737441638464 140344498840608 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27165] ppid=27101 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27165/stat : 27165 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 15 0 416186264 11079335936 10459 33554432000 4194304 4196468 140737441638464 140343894860656 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27166] ppid=27101 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27166/stat : 27166 (java) S 27101 27104 24221 0 -1 1077944384 3 13110 0 0 0 0 5 3 20 0 15 0 416186266 11079335936 10459 33554432000 4194304 4196468 140737441638464 140343587460944 140345052153755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27167] ppid=27101 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27104/task/27167/stat : 27167 (java) S 27101 27104 24221 0 -1 1077944384 466 13110 0 0 1 0 5 3 20 0 15 0 416186266 11079335936 10459 33554432000 4194304 4196468 140737441638464 140344577661808 140345052146306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27168] ppid=27101 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27168/stat : 27168 (java) S 27101 27104 24221 0 -1 1077944384 186 13110 0 0 0 0 5 3 20 0 15 0 416186266 11079335936 10459 33554432000 4194304 4196468 140737441638464 140344576609008 140345052146306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27169] ppid=27101 vsize=10819664 memory=139940343248512 CPUtime=0.11 cores=1,3,5,7
/proc/27104/task/27169/stat : 27169 (java) R 27101 27104 24221 0 -1 4202560 613 13110 0 0 3 0 5 3 20 0 15 0 416186266 11079335936 10459 33554432000 4194304 4196468 140737441638464 140344575556208 140345031598933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27170] ppid=27101 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27170/stat : 27170 (java) S 27101 27104 24221 0 -1 1077944384 3 13110 0 0 0 0 5 3 20 0 15 0 416186266 11079335936 10459 33554432000 4194304 4196468 140737441638464 140343553903328 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27171] ppid=27101 vsize=10819664 memory=139940343248512 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27171/stat : 27171 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 15 0 416186267 11079335936 10459 33554432000 4194304 4196468 140737441638464 140344574503600 140345052146306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 39788 KiB

[startup+0.310339 s]*
/proc/loadavg: 1.48 1.35 1.38 4/227 27171
/proc/meminfo: memFree=27589972/32770624 swapFree=67004752/67108860
[pid=27104] ppid=27101 vsize=10820148 memory=50912 CPUtime=0.4 cores=1,3,5,7
/proc/27104/stat : 27104 (java) S 27101 27104 24221 0 -1 1077944320 10970 13110 0 0 29 3 5 3 20 0 15 0 416186252 11079831552 12728 33554432000 4194304 4196468 140737441638464 140737441621008 140345052135159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
/proc/27104/statm: 2705037 12728 3296 1 0 2667149 0
[pid=27104/tid=27157] ppid=27101 vsize=10820148 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/27104/task/27157/stat : 27157 (java) R 27101 27104 24221 0 -1 4202560 7453 13110 0 0 19 2 5 3 20 0 15 0 416186261 11079831552 12728 33554432000 4194304 4196468 140737441638464 140345023948480 140345036215646 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27158] ppid=27101 vsize=10820148 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27158/stat : 27158 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 15 0 416186261 11079831552 12728 33554432000 4194304 4196468 140737441638464 140345056378000 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27159] ppid=27101 vsize=10820148 memory=1398720917958146503 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27159/stat : 27159 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 15 0 416186261 11079831552 12728 33554432000 4194304 4196468 140737441638464 140344971197456 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27160] ppid=27101 vsize=10820148 memory=139940343255505 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27160/stat : 27160 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 15 0 416186261 11079831552 12728 33554432000 4194304 4196468 140737441638464 140344970144656 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27161] ppid=27101 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27161/stat : 27161 (java) S 27101 27104 24221 0 -1 1077944384 2 13110 0 0 0 0 5 3 20 0 15 0 416186261 11079831552 12728 33554432000 4194304 4196468 140737441638464 140344623291152 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27162] ppid=27101 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27162/stat : 27162 (java) S 27101 27104 24221 0 -1 1077944384 2 13110 0 0 0 0 5 3 20 0 15 0 416186263 11079831552 12728 33554432000 4194304 4196468 140737441638464 140344578713968 140345052146306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27163] ppid=27101 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27163/stat : 27163 (java) S 27101 27104 24221 0 -1 1077944384 13 13110 0 0 0 0 5 3 20 0 15 0 416186263 11079831552 12728 33554432000 4194304 4196468 140737441638464 140344498840608 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27165] ppid=27101 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27165/stat : 27165 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 15 0 416186264 11079831552 12728 33554432000 4194304 4196468 140737441638464 140343894860656 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27166] ppid=27101 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27166/stat : 27166 (java) S 27101 27104 24221 0 -1 1077944384 3 13110 0 0 0 0 5 3 20 0 15 0 416186266 11079831552 12728 33554432000 4194304 4196468 140737441638464 140343587460944 140345052153755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27167] ppid=27101 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/27104/task/27167/stat : 27167 (java) S 27101 27104 24221 0 -1 1077944384 467 13110 0 0 2 0 5 3 20 0 15 0 416186266 11079831552 12728 33554432000 4194304 4196468 140737441638464 140344577661808 140345052146306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27168] ppid=27101 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/27104/task/27168/stat : 27168 (java) S 27101 27104 24221 0 -1 1077944384 195 13110 0 0 1 0 5 3 20 0 15 0 416186266 11079831552 12728 33554432000 4194304 4196468 140737441638464 140344576609008 140345052146306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27169] ppid=27101 vsize=10820148 memory=139940343248512 CPUtime=0.13 cores=1,3,5,7
/proc/27104/task/27169/stat : 27169 (java) S 27101 27104 24221 0 -1 1077944384 622 13110 0 0 5 0 5 3 20 0 15 0 416186266 11079831552 12728 33554432000 4194304 4196468 140737441638464 140344575556208 140345052146306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27170] ppid=27101 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27170/stat : 27170 (java) S 27101 27104 24221 0 -1 1077944384 3 13110 0 0 0 0 5 3 20 0 15 0 416186266 11079831552 12728 33554432000 4194304 4196468 140737441638464 140343553903328 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27171] ppid=27101 vsize=10820148 memory=139940343248512 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27171/stat : 27171 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 15 0 416186267 11079831552 12728 33554432000 4194304 4196468 140737441638464 140344574503600 140345052146306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50912 KiB

[startup+0.706678 s]
/proc/loadavg: 1.48 1.35 1.38 3/227 27171
/proc/meminfo: memFree=27575920/32770624 swapFree=67004752/67108860
[pid=27104] ppid=27101 vsize=10824360 memory=83608 CPUtime=1.15 cores=1,3,5,7
/proc/27104/stat : 27104 (java) S 27101 27104 24221 0 -1 1077944320 15159 13110 0 0 102 5 5 3 20 0 15 0 416186252 11084144640 20902 33554432000 4194304 4196468 140737441638464 140737441621008 140345052135159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
/proc/27104/statm: 2706090 20902 3512 1 0 2668173 0
[pid=27104/tid=27157] ppid=27101 vsize=10824360 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/27104/task/27157/stat : 27157 (java) R 27101 27104 24221 0 -1 4202560 10507 13110 0 0 55 4 5 3 20 0 15 0 416186261 11084144640 20902 33554432000 4194304 4196468 140737441638464 140345023962320 140345052157085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27158] ppid=27101 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27158/stat : 27158 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 15 0 416186261 11084144640 20902 33554432000 4194304 4196468 140737441638464 140345056378000 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27159] ppid=27101 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27159/stat : 27159 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 15 0 416186261 11084144640 20902 33554432000 4194304 4196468 140737441638464 140344971197456 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27160] ppid=27101 vsize=10824360 memory=139940235093392 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27160/stat : 27160 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 15 0 416186261 11084144640 20902 33554432000 4194304 4196468 140737441638464 140344970144656 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27161] ppid=27101 vsize=10824360 memory=139942919406139 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27161/stat : 27161 (java) S 27101 27104 24221 0 -1 1077944384 2 13110 0 0 0 0 5 3 20 0 15 0 416186261 11084144640 20902 33554432000 4194304 4196468 140737441638464 140344623291152 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27162] ppid=27101 vsize=10824360 memory=139940235051337 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27162/stat : 27162 (java) S 27101 27104 24221 0 -1 1077944384 5 13110 0 0 0 0 5 3 20 0 15 0 416186263 11084144640 20902 33554432000 4194304 4196468 140737441638464 140344578713968 140345052146306 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27163] ppid=27101 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27163/stat : 27163 (java) S 27101 27104 24221 0 -1 1077944384 13 13110 0 0 0 0 5 3 20 0 15 0 416186263 11084144640 20902 33554432000 4194304 4196468 140737441638464 140344498840608 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27165] ppid=27101 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27165/stat : 27165 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 15 0 416186264 11084144640 20902 33554432000 4194304 4196468 140737441638464 140343894860656 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27166] ppid=27101 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27166/stat : 27166 (java) S 27101 27104 24221 0 -1 1077944384 3 13110 0 0 0 0 5 3 20 0 15 0 416186266 11084144640 20902 33554432000 4194304 4196468 140737441638464 140343587460944 140345052153755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27167] ppid=27101 vsize=10824360 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/27104/task/27167/stat : 27167 (java) R 27101 27104 24221 0 -1 4202560 929 13110 0 0 17 0 5 3 20 0 15 0 416186266 11084144640 20902 33554432000 4194304 4196468 140737441638464 140344577648352 140345037260465 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27168] ppid=27101 vsize=10824360 memory=5859271421084456296 CPUtime=0.19 cores=1,3,5,7
/proc/27104/task/27168/stat : 27168 (java) S 27101 27104 24221 0 -1 1077944384 652 13110 0 0 11 0 5 3 20 0 15 0 416186266 11084144640 20902 33554432000 4194304 4196468 140737441638464 140344576609008 140345052146306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27169] ppid=27101 vsize=10824360 memory=7301856090349791568 CPUtime=0.25 cores=1,3,5,7
/proc/27104/task/27169/stat : 27169 (java) R 27101 27104 24221 0 -1 4202560 834 13110 0 0 17 0 5 3 20 0 15 0 416186266 11084144640 20902 33554432000 4194304 4196468 140737441638464 140344575556208 140345031566479 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27170] ppid=27101 vsize=10824360 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27170/stat : 27170 (java) S 27101 27104 24221 0 -1 1077944384 3 13110 0 0 0 0 5 3 20 0 15 0 416186266 11084144640 20902 33554432000 4194304 4196468 140737441638464 140343553903328 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27171] ppid=27101 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27171/stat : 27171 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 15 0 416186267 11084144640 20902 33554432000 4194304 4196468 140737441638464 140344574503600 140345052146306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83608 KiB

[startup+1.50071 s]
/proc/loadavg: 1.48 1.35 1.38 4/227 27171
/proc/meminfo: memFree=27534580/32770624 swapFree=67004752/67108860
[pid=27104] ppid=27101 vsize=10834676 memory=180212 CPUtime=2.67 cores=1,3,5,7
/proc/27104/stat : 27104 (java) S 27101 27104 24221 0 -1 1077944320 24177 13110 0 0 248 11 5 3 20 0 15 0 416186252 11094708224 45053 33554432000 4194304 4196468 140737441638464 140737441621008 140345052135159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
/proc/27104/statm: 2708669 45053 3580 1 0 2670733 0
[pid=27104/tid=27157] ppid=27101 vsize=10834676 memory=176340 CPUtime=1.43 cores=1,3,5,7
/proc/27104/task/27157/stat : 27157 (java) R 27101 27104 24221 0 -1 4202560 16011 13110 0 0 128 7 5 3 20 0 15 0 416186261 11094708224 45053 33554432000 4194304 4196468 140737441638464 140345023958304 140345052147094 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27158] ppid=27101 vsize=10834676 memory=9214 CPUtime=0.09 cores=1,3,5,7
/proc/27104/task/27158/stat : 27158 (java) S 27101 27104 24221 0 -1 1077944384 64 13110 0 0 1 0 5 3 20 0 15 0 416186261 11094708224 45053 33554432000 4194304 4196468 140737441638464 140345056378000 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27159] ppid=27101 vsize=10834676 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27159/stat : 27159 (java) S 27101 27104 24221 0 -1 1077944384 90 13110 0 0 0 0 5 3 20 0 15 0 416186261 11094708224 45053 33554432000 4194304 4196468 140737441638464 140344971197456 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27160] ppid=27101 vsize=10834676 memory=29699 CPUtime=0.09 cores=1,3,5,7
/proc/27104/task/27160/stat : 27160 (java) S 27101 27104 24221 0 -1 1077944384 322 13110 0 0 1 0 5 3 20 0 15 0 416186261 11094708224 45053 33554432000 4194304 4196468 140737441638464 140344970144656 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27161] ppid=27101 vsize=10834676 memory=21 CPUtime=0.09 cores=1,3,5,7
/proc/27104/task/27161/stat : 27161 (java) S 27101 27104 24221 0 -1 1077944384 49 13110 0 0 1 0 5 3 20 0 15 0 416186261 11094708224 45053 33554432000 4194304 4196468 140737441638464 140344623291152 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27162] ppid=27101 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27104/task/27162/stat : 27162 (java) S 27101 27104 24221 0 -1 1077944384 601 13110 0 0 1 0 5 3 20 0 15 0 416186263 11094708224 45053 33554432000 4194304 4196468 140737441638464 140344578713968 140345052146306 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27163] ppid=27101 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27163/stat : 27163 (java) S 27101 27104 24221 0 -1 1077944384 14 13110 0 0 0 0 5 3 20 0 15 0 416186263 11094708224 45053 33554432000 4194304 4196468 140737441638464 140344498840672 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27165] ppid=27101 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27165/stat : 27165 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 15 0 416186264 11094708224 45053 33554432000 4194304 4196468 140737441638464 140343894860672 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27166] ppid=27101 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27166/stat : 27166 (java) S 27101 27104 24221 0 -1 1077944384 3 13110 0 0 0 0 5 3 20 0 15 0 416186266 11094708224 45053 33554432000 4194304 4196468 140737441638464 140343587460944 140345052153755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27167] ppid=27101 vsize=10834676 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/27104/task/27167/stat : 27167 (java) S 27101 27104 24221 0 -1 1077944384 1481 13110 0 0 33 0 5 3 20 0 15 0 416186266 11094708224 45053 33554432000 4194304 4196468 140737441638464 140344577661808 140345052146306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27168] ppid=27101 vsize=10834676 memory=4580 CPUtime=0.43 cores=1,3,5,7
/proc/27104/task/27168/stat : 27168 (java) R 27101 27104 24221 0 -1 4202560 1553 13110 0 0 35 0 5 3 20 0 15 0 416186266 11094708224 45053 33554432000 4194304 4196468 140737441638464 140344576609008 140345052147094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27169] ppid=27101 vsize=10834676 memory=8764164798296201423 CPUtime=0.51 cores=1,3,5,7
/proc/27104/task/27169/stat : 27169 (java) R 27101 27104 24221 0 -1 4202560 1779 13110 0 0 43 0 5 3 20 0 15 0 416186266 11094708224 45053 33554432000 4194304 4196468 140737441638464 140344575556208 140345036215646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27170] ppid=27101 vsize=10834676 memory=4137287014106042739 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27170/stat : 27170 (java) S 27101 27104 24221 0 -1 1077944384 3 13110 0 0 0 0 5 3 20 0 15 0 416186266 11094708224 45053 33554432000 4194304 4196468 140737441638464 140343553903328 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27171] ppid=27101 vsize=10834676 memory=-7027409196973580132 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27171/stat : 27171 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 15 0 416186267 11094708224 45053 33554432000 4194304 4196468 140737441638464 140344574503600 140345052146306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 10834676 KiB
Current children cumulated memory: 180212 KiB

[startup+3.11041 s]
/proc/loadavg: 1.48 1.35 1.38 4/227 27171
/proc/meminfo: memFree=27380940/32770624 swapFree=67004752/67108860
[pid=27104] ppid=27101 vsize=10844936 memory=279388 CPUtime=6.97 cores=1,3,5,7
/proc/27104/stat : 27104 (java) S 27101 27104 24221 0 -1 1077944320 43652 13110 0 0 671 18 5 3 20 0 15 0 416186252 11105214464 69847 33554432000 4194304 4196468 140737441638464 140737441621008 140345052135159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
/proc/27104/statm: 2711234 69847 3613 1 0 2673293 0
[pid=27104/tid=27157] ppid=27101 vsize=10844936 memory=9214 CPUtime=2.99 cores=1,3,5,7
/proc/27104/task/27157/stat : 27157 (java) R 27101 27104 24221 0 -1 4202560 23140 13110 0 0 281 10 5 3 20 0 15 0 416186261 11105214464 69847 33554432000 4194304 4196468 140737441638464 140345023966512 140345033699863 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27158] ppid=27101 vsize=10844936 memory=8 CPUtime=0.11 cores=1,3,5,7
/proc/27104/task/27158/stat : 27158 (java) S 27101 27104 24221 0 -1 1077944384 85 13110 0 0 3 0 5 3 20 0 15 0 416186261 11105214464 69847 33554432000 4194304 4196468 140737441638464 140345056378000 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27159] ppid=27101 vsize=10844936 memory=8 CPUtime=0.11 cores=1,3,5,7
/proc/27104/task/27159/stat : 27159 (java) S 27101 27104 24221 0 -1 1077944384 176 13110 0 0 2 1 5 3 20 0 15 0 416186261 11105214464 69847 33554432000 4194304 4196468 140737441638464 140344971197456 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27160] ppid=27101 vsize=10844936 memory=8 CPUtime=0.11 cores=1,3,5,7
/proc/27104/task/27160/stat : 27160 (java) S 27101 27104 24221 0 -1 1077944384 357 13110 0 0 3 0 5 3 20 0 15 0 416186261 11105214464 69847 33554432000 4194304 4196468 140737441638464 140344970144656 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27161] ppid=27101 vsize=10844936 memory=8 CPUtime=0.11 cores=1,3,5,7
/proc/27104/task/27161/stat : 27161 (java) S 27101 27104 24221 0 -1 1077944384 106 13110 0 0 3 0 5 3 20 0 15 0 416186261 11105214464 69847 33554432000 4194304 4196468 140737441638464 140344623291152 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27162] ppid=27101 vsize=10844936 memory=8 CPUtime=0.11 cores=1,3,5,7
/proc/27104/task/27162/stat : 27162 (java) S 27101 27104 24221 0 -1 1077944384 3001 13110 0 0 3 0 5 3 20 0 15 0 416186263 11105214464 69847 33554432000 4194304 4196468 140737441638464 140344578713968 140345052146306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27163] ppid=27101 vsize=10844936 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27163/stat : 27163 (java) S 27101 27104 24221 0 -1 1077944384 15 13110 0 0 0 0 5 3 20 0 15 0 416186263 11105214464 69847 33554432000 4194304 4196468 140737441638464 140344498840672 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27165] ppid=27101 vsize=10844936 memory=301 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27165/stat : 27165 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 15 0 416186264 11105214464 69847 33554432000 4194304 4196468 140737441638464 140343894860672 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27166] ppid=27101 vsize=10844936 memory=244 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27166/stat : 27166 (java) S 27101 27104 24221 0 -1 1077944384 3 13110 0 0 0 0 5 3 20 0 15 0 416186266 11105214464 69847 33554432000 4194304 4196468 140737441638464 140343587460944 140345052153755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27167] ppid=27101 vsize=10844936 memory=125 CPUtime=1.35 cores=1,3,5,7
/proc/27104/task/27167/stat : 27167 (java) S 27101 27104 24221 0 -1 1077944384 4945 13110 0 0 127 0 5 3 20 0 15 0 416186266 11105214464 69847 33554432000 4194304 4196468 140737441638464 140344577661808 140345052146306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27168] ppid=27101 vsize=10844936 memory=1 CPUtime=1.29 cores=1,3,5,7
/proc/27104/task/27168/stat : 27168 (java) R 27101 27104 24221 0 -1 4202560 3979 13110 0 0 121 0 5 3 20 0 15 0 416186266 11105214464 69847 33554432000 4194304 4196468 140737441638464 140344576609136 140345037242971 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27169] ppid=27101 vsize=10844936 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/27104/task/27169/stat : 27169 (java) S 27101 27104 24221 0 -1 1077944384 5632 13110 0 0 124 2 5 3 20 0 15 0 416186266 11105214464 69847 33554432000 4194304 4196468 140737441638464 140344575556208 140345052146306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27170] ppid=27101 vsize=10844936 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27170/stat : 27170 (java) S 27101 27104 24221 0 -1 1077944384 3 13110 0 0 0 0 5 3 20 0 15 0 416186266 11105214464 69847 33554432000 4194304 4196468 140737441638464 140343553903328 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27171] ppid=27101 vsize=10844936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27171/stat : 27171 (java) S 27101 27104 24221 0 -1 1077944384 5 13110 0 0 0 0 5 3 20 0 15 0 416186267 11105214464 69847 33554432000 4194304 4196468 140737441638464 140344574503600 140345052146306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
Current children cumulated CPU time: 6.97 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 279388 KiB

[startup+6.30067 s]
/proc/loadavg: 1.68 1.40 1.39 5/227 27171
/proc/meminfo: memFree=27297532/32770624 swapFree=67004752/67108860
[pid=27104] ppid=27101 vsize=10851092 memory=358100 CPUtime=15.79 cores=1,3,5,7
/proc/27104/stat : 27104 (java) S 27101 27104 24221 0 -1 1077944320 57698 13110 0 0 1545 26 5 3 20 0 15 0 416186252 11111518208 89525 33554432000 4194304 4196468 140737441638464 140737441621008 140345052135159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
/proc/27104/statm: 2712773 89525 3623 1 0 2674829 0
[pid=27104/tid=27157] ppid=27101 vsize=10851092 memory=279880470753680 CPUtime=6.13 cores=1,3,5,7
/proc/27104/task/27157/stat : 27157 (java) R 27101 27104 24221 0 -1 4202560 25522 13110 0 0 594 11 5 3 20 0 15 0 416186261 11111518208 89525 33554432000 4194304 4196468 140737441638464 140345023969448 140344666542387 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27158] ppid=27101 vsize=10851092 memory=6944656592387989600 CPUtime=0.13 cores=1,3,5,7
/proc/27104/task/27158/stat : 27158 (java) S 27101 27104 24221 0 -1 1077944384 113 13110 0 0 4 1 5 3 20 0 15 0 416186261 11111518208 89525 33554432000 4194304 4196468 140737441638464 140345056378000 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27159] ppid=27101 vsize=10851092 memory=4 CPUtime=0.12 cores=1,3,5,7
/proc/27104/task/27159/stat : 27159 (java) S 27101 27104 24221 0 -1 1077944384 254 13110 0 0 3 1 5 3 20 0 15 0 416186261 11111518208 89525 33554432000 4194304 4196468 140737441638464 140344971197456 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27160] ppid=27101 vsize=10851092 memory=4 CPUtime=0.13 cores=1,3,5,7
/proc/27104/task/27160/stat : 27160 (java) S 27101 27104 24221 0 -1 1077944384 405 13110 0 0 4 1 5 3 20 0 15 0 416186261 11111518208 89525 33554432000 4194304 4196468 140737441638464 140344970144656 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27161] ppid=27101 vsize=10851092 memory=279388 CPUtime=0.13 cores=1,3,5,7
/proc/27104/task/27161/stat : 27161 (java) S 27101 27104 24221 0 -1 1077944384 992 13110 0 0 4 1 5 3 20 0 15 0 416186261 11111518208 89525 33554432000 4194304 4196468 140737441638464 140344623291152 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27162] ppid=27101 vsize=10851092 memory=9214 CPUtime=0.12 cores=1,3,5,7
/proc/27104/task/27162/stat : 27162 (java) S 27101 27104 24221 0 -1 1077944384 3033 13110 0 0 4 0 5 3 20 0 15 0 416186263 11111518208 89525 33554432000 4194304 4196468 140737441638464 140344578713968 140345052146306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27163] ppid=27101 vsize=10851092 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27163/stat : 27163 (java) S 27101 27104 24221 0 -1 1077944384 15 13110 0 0 0 0 5 3 20 0 15 0 416186263 11111518208 89525 33554432000 4194304 4196468 140737441638464 140344498840672 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27165] ppid=27101 vsize=10851092 memory=40176 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27165/stat : 27165 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 15 0 416186264 11111518208 89525 33554432000 4194304 4196468 140737441638464 140343894860672 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27166] ppid=27101 vsize=10851092 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27166/stat : 27166 (java) S 27101 27104 24221 0 -1 1077944384 3 13110 0 0 0 0 5 3 20 0 15 0 416186266 11111518208 89525 33554432000 4194304 4196468 140737441638464 140343587460944 140345052153755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27167] ppid=27101 vsize=10851092 memory=6791534058613427641 CPUtime=3.82 cores=1,3,5,7
/proc/27104/task/27167/stat : 27167 (java) R 27101 27104 24221 0 -1 4202560 9774 13110 0 0 373 1 5 3 20 0 15 0 416186266 11111518208 89525 33554432000 4194304 4196468 140737441638464 140344577661808 140345032770779 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27168] ppid=27101 vsize=10851092 memory=0 CPUtime=3.55 cores=1,3,5,7
/proc/27104/task/27168/stat : 27168 (java) S 27101 27104 24221 0 -1 1077944384 6969 13110 0 0 345 2 5 3 20 0 15 0 416186266 11111518208 89525 33554432000 4194304 4196468 140737441638464 140344576609008 140345052146306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27169] ppid=27101 vsize=10851092 memory=6944656592455359580 CPUtime=2.19 cores=1,3,5,7
/proc/27104/task/27169/stat : 27169 (java) S 27101 27104 24221 0 -1 1077944384 8401 13110 0 0 207 4 5 3 20 0 15 0 416186266 11111518208 89525 33554432000 4194304 4196468 140737441638464 140344575556208 140345052146306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27170] ppid=27101 vsize=10851092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27170/stat : 27170 (java) S 27101 27104 24221 0 -1 1077944384 3 13110 0 0 0 0 5 3 20 0 15 0 416186266 11111518208 89525 33554432000 4194304 4196468 140737441638464 140343553903328 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27171] ppid=27101 vsize=10851092 memory=13529146985222 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27171/stat : 27171 (java) S 27101 27104 24221 0 -1 1077944384 7 13110 0 0 0 0 5 3 20 0 15 0 416186267 11111518208 89525 33554432000 4194304 4196468 140737441638464 140344574503600 140345052146306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
Current children cumulated CPU time: 15.79 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 358100 KiB

[startup+6.61047 s]
# the end of solver process 27104 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=15.9705 s, system=0.306929 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40086 s]
/proc/loadavg: 1.68 1.40 1.39 5/227 27171
/proc/meminfo: memFree=27297532/32770624 swapFree=67004752/67108860
[pid=27104] ppid=27101 vsize=10851092 memory=358196 CPUtime=15.97 cores=1,3,5,7
/proc/27104/stat : 27104 (java) S 27101 27104 24221 0 -1 1077944320 57729 13110 0 0 1563 26 5 3 20 0 15 0 416186252 11111518208 89549 33554432000 4194304 4196468 140737441638464 140737441621008 140345052135159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
/proc/27104/statm: 2712773 89549 3623 1 0 2674829 0
[pid=27104/tid=27157] ppid=27101 vsize=10851092 memory=16104775267649398 CPUtime=6.23 cores=1,3,5,7
/proc/27104/task/27157/stat : 27157 (java) R 27101 27104 24221 0 -1 4202560 25522 13110 0 0 604 11 5 3 20 0 15 0 416186261 11111518208 89549 33554432000 4194304 4196468 140737441638464 140345023969448 140344663540743 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27158] ppid=27101 vsize=10851092 memory=7085402932856709994 CPUtime=0.13 cores=1,3,5,7
/proc/27104/task/27158/stat : 27158 (java) S 27101 27104 24221 0 -1 1077944384 113 13110 0 0 4 1 5 3 20 0 15 0 416186261 11111518208 89549 33554432000 4194304 4196468 140737441638464 140345056378000 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27159] ppid=27101 vsize=10851092 memory=7085402932856709994 CPUtime=0.12 cores=1,3,5,7
/proc/27104/task/27159/stat : 27159 (java) S 27101 27104 24221 0 -1 1077944384 254 13110 0 0 3 1 5 3 20 0 15 0 416186261 11111518208 89549 33554432000 4194304 4196468 140737441638464 140344971197456 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27160] ppid=27101 vsize=10851092 memory=3620 CPUtime=0.13 cores=1,3,5,7
/proc/27104/task/27160/stat : 27160 (java) S 27101 27104 24221 0 -1 1077944384 405 13110 0 0 4 1 5 3 20 0 15 0 416186261 11111518208 89549 33554432000 4194304 4196468 140737441638464 140344970144656 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27161] ppid=27101 vsize=10851092 memory=40176 CPUtime=0.13 cores=1,3,5,7
/proc/27104/task/27161/stat : 27161 (java) S 27101 27104 24221 0 -1 1077944384 992 13110 0 0 4 1 5 3 20 0 15 0 416186261 11111518208 89549 33554432000 4194304 4196468 140737441638464 140344623291152 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27162] ppid=27101 vsize=10851092 memory=984 CPUtime=0.12 cores=1,3,5,7
/proc/27104/task/27162/stat : 27162 (java) S 27101 27104 24221 0 -1 1077944384 3033 13110 0 0 4 0 5 3 20 0 15 0 416186263 11111518208 89549 33554432000 4194304 4196468 140737441638464 140344578713968 140345052146306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27163] ppid=27101 vsize=10851092 memory=2004 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27163/stat : 27163 (java) S 27101 27104 24221 0 -1 1077944384 15 13110 0 0 0 0 5 3 20 0 15 0 416186263 11111518208 89549 33554432000 4194304 4196468 140737441638464 140344498840672 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27165] ppid=27101 vsize=10851092 memory=1276 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27165/stat : 27165 (java) S 27101 27104 24221 0 -1 1077944384 1 13110 0 0 0 0 5 3 20 0 15 0 416186264 11111518208 89549 33554432000 4194304 4196468 140737441638464 140343894860672 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27166] ppid=27101 vsize=10851092 memory=1060 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27166/stat : 27166 (java) S 27101 27104 24221 0 -1 1077944384 3 13110 0 0 0 0 5 3 20 0 15 0 416186266 11111518208 89549 33554432000 4194304 4196468 140737441638464 140343587460944 140345052153755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27167] ppid=27101 vsize=10851092 memory=752 CPUtime=3.84 cores=1,3,5,7
/proc/27104/task/27167/stat : 27167 (java) S 27101 27104 24221 0 -1 1077944384 9774 13110 0 0 375 1 5 3 20 0 15 0 416186266 11111518208 89549 33554432000 4194304 4196468 140737441638464 140344577661808 140345052146306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27168] ppid=27101 vsize=10851092 memory=8 CPUtime=3.6 cores=1,3,5,7
/proc/27104/task/27168/stat : 27168 (java) S 27101 27104 24221 0 -1 1077944384 6969 13110 0 0 350 2 5 3 20 0 15 0 416186266 11111518208 89549 33554432000 4194304 4196468 140737441638464 140344576609008 140345052146306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27169] ppid=27101 vsize=10851092 memory=8 CPUtime=2.2 cores=1,3,5,7
/proc/27104/task/27169/stat : 27169 (java) S 27101 27104 24221 0 -1 1077944384 8432 13110 0 0 208 4 5 3 20 0 15 0 416186266 11111518208 89549 33554432000 4194304 4196468 140737441638464 140344575556208 140345052146306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27170] ppid=27101 vsize=10851092 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27170/stat : 27170 (java) S 27101 27104 24221 0 -1 1077944384 3 13110 0 0 0 0 5 3 20 0 15 0 416186266 11111518208 89549 33554432000 4194304 4196468 140737441638464 140343553903328 140345052145365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
[pid=27104/tid=27171] ppid=27101 vsize=10851092 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/27104/task/27171/stat : 27171 (java) S 27101 27104 24221 0 -1 1077944384 7 13110 0 0 0 0 5 3 20 0 15 0 416186267 11111518208 89549 33554432000 4194304 4196468 140737441638464 140344574503600 140345052146306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140737441643247 140737441645765 140737441645765 140737441648591 0
Current children cumulated CPU time: 15.97 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 358196 KiB

[startup+6.60075 s]*
/proc/loadavg: 1.68 1.40 1.39 3/214 27172
/proc/meminfo: memFree=27584336/32770624 swapFree=67004752/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 6.6105
CPU time (s): 16.2774
CPU user time (s): 15.9705
CPU system time (s): 0.306929
CPU usage (%): 246.236
Max. virtual memory (cumulated for all children) (KiB): 10851668
Max. memory (cumulated for all children) (KiB): 358244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.9705
system time used= 0.306929
maximum resident set size= 360416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70994
page faults= 0
swaps= 0
block input operations= 32
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7754
involuntary context switches= 68


# summary of solver processes directly reported to runsolver:
#   pid: 27104
#   total CPU time (s): 16.2774
#   total CPU user time (s): 15.9705
#   total CPU system time (s): 0.306929

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060411 second user time and 0.108877 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-13 20:25:47
IDJOB=4396489
IDBENCH=126822
IDSOLVER=2847
FILE ID=node126/4396489-1568399184
RUNJOBID= node126-1568394259-25762
PBS_JOBID= 21701858
Free space on /tmp= 55740 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-7-3-30-1.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396489-1568399184/watcher-4396489-1568399184 -o /tmp/evaluation-result-4396489-1568399184/solver-4396489-1568399184 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568394259-25762 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=1603045957 HOME/instance-4396489-1568399184.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0f4bef4b37e838bc5603a3a9d9caf103
RANDOM SEED=1603045957

node126.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.45
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.56
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.45
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.56
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.45
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.56
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.45
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27631384 kB
MemAvailable:   30899188 kB
Buffers:          163828 kB
Cached:          3348808 kB
SwapCached:         2860 kB
Active:          2707544 kB
Inactive:        1772392 kB
Active(anon):     964936 kB
Inactive(anon):    43540 kB
Active(file):    1742608 kB
Inactive(file):  1728852 kB
Unevictable:      108840 kB
Mlocked:          108840 kB
SwapTotal:      67108860 kB
SwapFree:       67004752 kB
Dirty:             34988 kB
Writeback:             0 kB
AnonPages:       1074476 kB
Mapped:            58240 kB
Shmem:             32816 kB
Slab:             255160 kB
SReclaimable:     224356 kB
SUnreclaim:        30804 kB
KernelStack:        3760 kB
PageTables:         7404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2242080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    899072 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= 55704 MiB
End job on node126 at 2019-09-13 20:25:54