Trace number 4400970

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.2OPT115 11.2221 4.41907

General information on the benchmark

NameTpp/Tpp-zinc-s1/
Tpp-4-5-20-1.xml
MD5SUMe6e5223db5de59749ca81141a6ec4e70
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark115
Best CPU time to get the best result obtained on this benchmark0.249208
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints442
Number of domains42
Minimum domain size3
Maximum domain size20
Distribution of domain sizes[{"size":3,"count":7},{"size":4,"count":10},{"size":5,"count":3},{"size":11,"count":3},{"size":12,"count":3},{"size":13,"count":8},{"size":14,"count":2},{"size":15,"count":4},{"size":19,"count":20},{"size":20,"count":20}]
Minimum variable degree2
Maximum variable degree23
Distribution of variable degrees[{"degree":2,"count":40},{"degree":21,"count":20},{"degree":22,"count":19},{"degree":23,"count":1}]
Minimum constraint arity1
Maximum constraint arity20
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":440},{"arity":20,"count":1}]
Number of extensional constraints40
Number of intensional constraints401
Distribution of constraint types[{"type":"extension","count":40},{"type":"intension","count":401},{"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.76/0.55	c Concrete v3.12.2.1568631193530 running
8.88/3.73	o 147
8.88/3.78	o 146
8.88/3.79	o 145
9.61/3.99	o 143
9.61/4.00	o 140
9.61/4.01	o 139
9.94/4.01	o 130
9.94/4.03	o 127
9.94/4.03	o 126
9.94/4.03	o 125
9.94/4.03	o 121
9.94/4.07	o 120
9.94/4.07	o 119
9.94/4.07	o 118
9.94/4.07	o 115
10.92/4.38	v <instantiation
10.92/4.38	v         cost = '115'>
10.92/4.38	v       <list>
10.92/4.38	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] 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] 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] 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]
10.92/4.38	v       </list>
10.92/4.38	v       <values>
10.92/4.38	v         0 1 2 3 4 5 6 7 8 10 11 15 12 9 13 19 16 17 14 18 0 0 0 0 0 0 0 0 0 6 4 1 0 1 1 14 0 0 10 12 14 11 15 18 18 9 15 14 11 15 10 11 9 9 9 9 13 15 15 18 4 2 3 2 1 3 6 3 2 1 1 9 9 5 2 3 1 2 2 5
10.92/4.38	v       </values>
10.92/4.38	v     </instantiation>
10.92/4.38	s OPTIMUM FOUND

Verifier Data 

OK	115

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400970-1568680139/watcher-4400970-1568680139 -o /tmp/evaluation-result-4400970-1568680139/solver-4400970-1568680139 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568673291-22998 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1538733696 HOME/instance-4400970-1568680139.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=26109, runsolver pid=26106

[startup+0.100058 s]*
/proc/loadavg: 2.49 1.84 1.72 3/224 26166
/proc/meminfo: memFree=30019064/32770624 swapFree=67004524/67108860
[pid=26109] ppid=26106 vsize=9972712 memory=17344 CPUtime=0.09 cores=1,3,5,7
/proc/26109/stat : 26109 (java) S 26106 26109 22966 0 -1 1077944320 4561 13066 0 0 1 0 5 3 20 0 6 0 444253524 10212057088 4336 33554432000 4194304 4196468 140727199980496 140727199963040 140112406216439 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
/proc/26109/statm: 2493178 4336 1958 1 0 2481616 0
[pid=26109/tid=26162] ppid=26106 vsize=9988792 memory=4279135703980212366 CPUtime=0.09 cores=1,3,5,7
/proc/26109/task/26162/stat : 26162 (java) R 26106 26109 22966 0 -1 4202560 2395 13066 0 0 1 0 5 3 20 0 6 0 444253533 10228523008 4336 33554432000 4194304 4196468 140727199980496 140112378053200 140112391748352 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26163] ppid=26106 vsize=9988792 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26163/stat : 26163 (java) S 26106 26109 22966 0 -1 1077944384 1 13066 0 0 0 0 5 3 20 0 6 0 444253533 10228523008 4336 33554432000 4194304 4196468 140727199980496 140112410458640 140112406226645 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26164] ppid=26106 vsize=9988792 memory=140243141002880 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26164/stat : 26164 (java) S 26106 26109 22966 0 -1 1077944384 1 13066 0 0 0 0 5 3 20 0 6 0 444253533 10228523008 4336 33554432000 4194304 4196468 140727199980496 140112309349008 140112406226645 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26165] ppid=26106 vsize=9988792 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26165/stat : 26165 (java) S 26106 26109 22966 0 -1 1077944384 1 13066 0 0 0 0 5 3 20 0 6 0 444253533 10228523008 4336 33554432000 4194304 4196468 140727199980496 140112308295952 140112406226645 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26166] ppid=26106 vsize=9988792 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26166/stat : 26166 (java) S 26106 26109 22966 0 -1 1077944384 2 13066 0 0 0 0 5 3 20 0 6 0 444253533 10228523008 4336 33554432000 4194304 4196468 140727199980496 140112307243408 140112406226645 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17344 KiB

[startup+0.210589 s]*
/proc/loadavg: 2.49 1.84 1.72 4/233 26175
/proc/meminfo: memFree=29998740/32770624 swapFree=67004524/67108860
[pid=26109] ppid=26106 vsize=10820196 memory=44560 CPUtime=0.27 cores=1,3,5,7
/proc/26109/stat : 26109 (java) S 26106 26109 22966 0 -1 1077944320 7418 13066 0 0 18 1 5 3 20 0 15 0 444253524 11079880704 11140 33554432000 4194304 4196468 140727199980496 140727199963040 140112406216439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
/proc/26109/statm: 2705049 11140 3304 1 0 2667149 0
[pid=26109/tid=26162] ppid=26106 vsize=10820196 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/26109/task/26162/stat : 26162 (java) R 26106 26109 22966 0 -1 4202560 3912 13066 0 0 11 0 5 3 20 0 15 0 444253533 11079880704 11140 33554432000 4194304 4196468 140727199980496 140112378030624 140112406238365 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26163] ppid=26106 vsize=10820196 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26163/stat : 26163 (java) S 26106 26109 22966 0 -1 1077944384 1 13066 0 0 0 0 5 3 20 0 15 0 444253533 11079880704 11140 33554432000 4194304 4196468 140727199980496 140112410458640 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26164] ppid=26106 vsize=10820196 memory=140243141002880 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26164/stat : 26164 (java) S 26106 26109 22966 0 -1 1077944384 1 13066 0 0 0 0 5 3 20 0 15 0 444253533 11079880704 11140 33554432000 4194304 4196468 140727199980496 140112309349008 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26165] ppid=26106 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26165/stat : 26165 (java) S 26106 26109 22966 0 -1 1077944384 1 13066 0 0 0 0 5 3 20 0 15 0 444253533 11079880704 11140 33554432000 4194304 4196468 140727199980496 140112308295952 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26166] ppid=26106 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26166/stat : 26166 (java) S 26106 26109 22966 0 -1 1077944384 2 13066 0 0 0 0 5 3 20 0 15 0 444253533 11079880704 11140 33554432000 4194304 4196468 140727199980496 140112307243408 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26167] ppid=26106 vsize=10820196 memory=140243141002880 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26167/stat : 26167 (java) S 26106 26109 22966 0 -1 1077944384 2 13066 0 0 0 0 5 3 20 0 15 0 444253535 11079880704 11140 33554432000 4194304 4196468 140727199980496 140111864679152 140112406227586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26168] ppid=26106 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26168/stat : 26168 (java) S 26106 26109 22966 0 -1 1077944384 13 13066 0 0 0 0 5 3 20 0 15 0 444253535 11079880704 11140 33554432000 4194304 4196468 140727199980496 140111765300896 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26169] ppid=26106 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26169/stat : 26169 (java) S 26106 26109 22966 0 -1 1077944384 1 13066 0 0 0 0 5 3 20 0 15 0 444253535 11079880704 11140 33554432000 4194304 4196468 140727199980496 140111161320688 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26170] ppid=26106 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26170/stat : 26170 (java) S 26106 26109 22966 0 -1 1077944384 3 13066 0 0 0 0 5 3 20 0 15 0 444253538 11079880704 11140 33554432000 4194304 4196468 140727199980496 140111021689296 140112406235035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26171] ppid=26106 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26109/task/26171/stat : 26171 (java) S 26106 26109 22966 0 -1 1077944384 600 13066 0 0 1 0 5 3 20 0 15 0 444253538 11079880704 11140 33554432000 4194304 4196468 140727199980496 140111863625968 140112406227586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26172] ppid=26106 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26172/stat : 26172 (java) S 26106 26109 22966 0 -1 1077944384 60 13066 0 0 0 0 5 3 20 0 15 0 444253538 11079880704 11140 33554432000 4194304 4196468 140727199980496 140111862573424 140112406227586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26173] ppid=26106 vsize=10820196 memory=140243141002880 CPUtime=0.11 cores=1,3,5,7
/proc/26109/task/26173/stat : 26173 (java) S 26106 26109 22966 0 -1 1077944384 612 13066 0 0 3 0 5 3 20 0 15 0 444253538 11079880704 11140 33554432000 4194304 4196468 140727199980496 140111861520368 140112406227586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26174] ppid=26106 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26174/stat : 26174 (java) S 26106 26109 22966 0 -1 1077944384 3 13066 0 0 0 0 5 3 20 0 15 0 444253538 11079880704 11140 33554432000 4194304 4196468 140727199980496 140110624450912 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26175] ppid=26106 vsize=10820196 memory=140243141002880 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26175/stat : 26175 (java) S 26106 26109 22966 0 -1 1077944384 1 13066 0 0 0 0 5 3 20 0 15 0 444253539 11079880704 11140 33554432000 4194304 4196468 140727199980496 140111860468784 140112406227586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 44560 KiB

[startup+0.310804 s]*
/proc/loadavg: 2.49 1.84 1.72 4/233 26175
/proc/meminfo: memFree=29985920/32770624 swapFree=67004524/67108860
[pid=26109] ppid=26106 vsize=10820196 memory=52596 CPUtime=0.41 cores=1,3,5,7
/proc/26109/stat : 26109 (java) S 26106 26109 22966 0 -1 1077944320 10877 13066 0 0 30 3 5 3 20 0 15 0 444253524 11079880704 13149 33554432000 4194304 4196468 140727199980496 140727199963040 140112406216439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
/proc/26109/statm: 2705049 13149 3315 1 0 2667149 0
[pid=26109/tid=26162] ppid=26106 vsize=10820196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/26109/task/26162/stat : 26162 (java) R 26106 26109 22966 0 -1 4202560 7363 13066 0 0 20 2 5 3 20 0 15 0 444253533 11079880704 13149 33554432000 4194304 4196468 140727199980496 140112378025392 140112406238365 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26163] ppid=26106 vsize=10820196 memory=7228928657774891088 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26163/stat : 26163 (java) S 26106 26109 22966 0 -1 1077944384 1 13066 0 0 0 0 5 3 20 0 15 0 444253533 11079880704 13149 33554432000 4194304 4196468 140727199980496 140112410458640 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26164] ppid=26106 vsize=10820196 memory=2080 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26164/stat : 26164 (java) S 26106 26109 22966 0 -1 1077944384 1 13066 0 0 0 0 5 3 20 0 15 0 444253533 11079880704 13149 33554432000 4194304 4196468 140727199980496 140112309349008 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26165] ppid=26106 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26165/stat : 26165 (java) S 26106 26109 22966 0 -1 1077944384 1 13066 0 0 0 0 5 3 20 0 15 0 444253533 11079880704 13149 33554432000 4194304 4196468 140727199980496 140112308295952 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26166] ppid=26106 vsize=10820196 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26166/stat : 26166 (java) S 26106 26109 22966 0 -1 1077944384 2 13066 0 0 0 0 5 3 20 0 15 0 444253533 11079880704 13149 33554432000 4194304 4196468 140727199980496 140112307243408 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26167] ppid=26106 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26167/stat : 26167 (java) S 26106 26109 22966 0 -1 1077944384 2 13066 0 0 0 0 5 3 20 0 15 0 444253535 11079880704 13149 33554432000 4194304 4196468 140727199980496 140111864679152 140112406227586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26168] ppid=26106 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26168/stat : 26168 (java) S 26106 26109 22966 0 -1 1077944384 13 13066 0 0 0 0 5 3 20 0 15 0 444253535 11079880704 13149 33554432000 4194304 4196468 140727199980496 140111765300896 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26169] ppid=26106 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26169/stat : 26169 (java) S 26106 26109 22966 0 -1 1077944384 1 13066 0 0 0 0 5 3 20 0 15 0 444253535 11079880704 13149 33554432000 4194304 4196468 140727199980496 140111161320688 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26170] ppid=26106 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26170/stat : 26170 (java) S 26106 26109 22966 0 -1 1077944384 3 13066 0 0 0 0 5 3 20 0 15 0 444253538 11079880704 13149 33554432000 4194304 4196468 140727199980496 140111021689296 140112406235035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26171] ppid=26106 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/26109/task/26171/stat : 26171 (java) S 26106 26109 22966 0 -1 1077944384 600 13066 0 0 2 0 5 3 20 0 15 0 444253538 11079880704 13149 33554432000 4194304 4196468 140727199980496 140111863625968 140112406227586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26172] ppid=26106 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26109/task/26172/stat : 26172 (java) R 26106 26109 22966 0 -1 1077944384 61 13066 0 0 1 0 5 3 20 0 15 0 444253538 11079880704 13149 33554432000 4194304 4196468 140727199980496 140111862573424 140112406227586 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26173] ppid=26106 vsize=10820196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/26109/task/26173/stat : 26173 (java) R 26106 26109 22966 0 -1 4202560 620 13066 0 0 5 0 5 3 20 0 15 0 444253538 11079880704 13149 33554432000 4194304 4196468 140727199980496 140111861520368 140112406228374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26174] ppid=26106 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26174/stat : 26174 (java) S 26106 26109 22966 0 -1 1077944384 3 13066 0 0 0 0 5 3 20 0 15 0 444253538 11079880704 13149 33554432000 4194304 4196468 140727199980496 140110624450912 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26175] ppid=26106 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26175/stat : 26175 (java) S 26106 26109 22966 0 -1 1077944384 1 13066 0 0 0 0 5 3 20 0 15 0 444253539 11079880704 13149 33554432000 4194304 4196468 140727199980496 140111860468784 140112406227586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52596 KiB

[startup+0.70095 s]
/proc/loadavg: 2.49 1.84 1.72 6/233 26175
/proc/meminfo: memFree=29971936/32770624 swapFree=67004524/67108860
[pid=26109] ppid=26106 vsize=10824364 memory=85788 CPUtime=1.13 cores=1,3,5,7
/proc/26109/stat : 26109 (java) S 26106 26109 22966 0 -1 1077944320 15159 13066 0 0 100 5 5 3 20 0 15 0 444253524 11084148736 21447 33554432000 4194304 4196468 140727199980496 140727199963040 140112406216439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
/proc/26109/statm: 2706091 21447 3512 1 0 2668173 0
[pid=26109/tid=26162] ppid=26106 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/26109/task/26162/stat : 26162 (java) R 26106 26109 22966 0 -1 4202560 10438 13066 0 0 56 3 5 3 20 0 15 0 444253533 11084148736 21447 33554432000 4194304 4196468 140727199980496 140112378043600 140112406238365 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26163] ppid=26106 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26163/stat : 26163 (java) S 26106 26109 22966 0 -1 1077944384 1 13066 0 0 0 0 5 3 20 0 15 0 444253533 11084148736 21447 33554432000 4194304 4196468 140727199980496 140112410458640 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26164] ppid=26106 vsize=10824364 memory=3280 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26164/stat : 26164 (java) S 26106 26109 22966 0 -1 1077944384 1 13066 0 0 0 0 5 3 20 0 15 0 444253533 11084148736 21447 33554432000 4194304 4196468 140727199980496 140112309349008 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26165] ppid=26106 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26165/stat : 26165 (java) S 26106 26109 22966 0 -1 1077944384 1 13066 0 0 0 0 5 3 20 0 15 0 444253533 11084148736 21447 33554432000 4194304 4196468 140727199980496 140112308295952 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26166] ppid=26106 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26166/stat : 26166 (java) S 26106 26109 22966 0 -1 1077944384 2 13066 0 0 0 0 5 3 20 0 15 0 444253533 11084148736 21447 33554432000 4194304 4196468 140727199980496 140112307243408 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26167] ppid=26106 vsize=10824364 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26167/stat : 26167 (java) S 26106 26109 22966 0 -1 1077944384 5 13066 0 0 0 0 5 3 20 0 15 0 444253535 11084148736 21447 33554432000 4194304 4196468 140727199980496 140111864679152 140112406227586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26168] ppid=26106 vsize=10824364 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26168/stat : 26168 (java) S 26106 26109 22966 0 -1 1077944384 13 13066 0 0 0 0 5 3 20 0 15 0 444253535 11084148736 21447 33554432000 4194304 4196468 140727199980496 140111765300896 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26169] ppid=26106 vsize=10824364 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26169/stat : 26169 (java) S 26106 26109 22966 0 -1 1077944384 1 13066 0 0 0 0 5 3 20 0 15 0 444253535 11084148736 21447 33554432000 4194304 4196468 140727199980496 140111161320688 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26170] ppid=26106 vsize=10824364 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26170/stat : 26170 (java) S 26106 26109 22966 0 -1 1077944384 3 13066 0 0 0 0 5 3 20 0 15 0 444253538 11084148736 21447 33554432000 4194304 4196468 140727199980496 140111021689296 140112406235035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26171] ppid=26106 vsize=10824364 memory=13252 CPUtime=0.2 cores=1,3,5,7
/proc/26109/task/26171/stat : 26171 (java) R 26106 26109 22966 0 -1 4202560 1117 13066 0 0 12 0 5 3 20 0 15 0 444253538 11084148736 21447 33554432000 4194304 4196468 140727199980496 140111863625968 140112389713273 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26172] ppid=26106 vsize=10824364 memory=15460 CPUtime=0.22 cores=1,3,5,7
/proc/26109/task/26172/stat : 26172 (java) R 26106 26109 22966 0 -1 4202560 497 13066 0 0 14 0 5 3 20 0 15 0 444253538 11084148736 21447 33554432000 4194304 4196468 140727199980496 140111862559968 140112391138192 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26173] ppid=26106 vsize=10824364 memory=17668 CPUtime=0.25 cores=1,3,5,7
/proc/26109/task/26173/stat : 26173 (java) R 26106 26109 22966 0 -1 4202560 870 13066 0 0 17 0 5 3 20 0 15 0 444253538 11084148736 21447 33554432000 4194304 4196468 140727199980496 140111861520368 140112384878104 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26174] ppid=26106 vsize=10824364 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26174/stat : 26174 (java) S 26106 26109 22966 0 -1 1077944384 3 13066 0 0 0 0 5 3 20 0 15 0 444253538 11084148736 21447 33554432000 4194304 4196468 140727199980496 140110624450912 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26175] ppid=26106 vsize=10824364 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26175/stat : 26175 (java) R 26106 26109 22966 0 -1 1077944384 1 13066 0 0 0 0 5 3 20 0 15 0 444253539 11084148736 21447 33554432000 4194304 4196468 140727199980496 140111860468784 140112406227586 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85788 KiB

[startup+1.50071 s]
/proc/loadavg: 2.49 1.84 1.72 3/233 26175
/proc/meminfo: memFree=29929008/32770624 swapFree=67004524/67108860
[pid=26109] ppid=26106 vsize=10834680 memory=179976 CPUtime=2.67 cores=1,3,5,7
/proc/26109/stat : 26109 (java) S 26106 26109 22966 0 -1 1077944320 23318 13066 0 0 248 11 5 3 20 0 15 0 444253524 11094712320 44994 33554432000 4194304 4196468 140727199980496 140727199963040 140112406216439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
/proc/26109/statm: 2708670 44994 3575 1 0 2670733 0
[pid=26109/tid=26162] ppid=26106 vsize=10834680 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/26109/task/26162/stat : 26162 (java) R 26106 26109 22966 0 -1 4202560 15366 13066 0 0 130 6 5 3 20 0 15 0 444253533 11094712320 44994 33554432000 4194304 4196468 140727199980496 140112378035008 140112406228374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26163] ppid=26106 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26109/task/26163/stat : 26163 (java) S 26106 26109 22966 0 -1 1077944384 327 13066 0 0 1 0 5 3 20 0 15 0 444253533 11094712320 44994 33554432000 4194304 4196468 140727199980496 140112410458640 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26164] ppid=26106 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26164/stat : 26164 (java) S 26106 26109 22966 0 -1 1077944384 58 13066 0 0 0 0 5 3 20 0 15 0 444253533 11094712320 44994 33554432000 4194304 4196468 140727199980496 140112309349008 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26165] ppid=26106 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26109/task/26165/stat : 26165 (java) S 26106 26109 22966 0 -1 1077944384 65 13066 0 0 1 0 5 3 20 0 15 0 444253533 11094712320 44994 33554432000 4194304 4196468 140727199980496 140112308295952 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26166] ppid=26106 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26109/task/26166/stat : 26166 (java) S 26106 26109 22966 0 -1 1077944384 34 13066 0 0 1 0 5 3 20 0 15 0 444253533 11094712320 44994 33554432000 4194304 4196468 140727199980496 140112307243408 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26167] ppid=26106 vsize=10834680 memory=-7965959130280075168 CPUtime=0.09 cores=1,3,5,7
/proc/26109/task/26167/stat : 26167 (java) S 26106 26109 22966 0 -1 1077944384 155 13066 0 0 1 0 5 3 20 0 15 0 444253535 11094712320 44994 33554432000 4194304 4196468 140727199980496 140111864679152 140112406227586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26168] ppid=26106 vsize=10834680 memory=280486060566784 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26168/stat : 26168 (java) S 26106 26109 22966 0 -1 1077944384 14 13066 0 0 0 0 5 3 20 0 15 0 444253535 11094712320 44994 33554432000 4194304 4196468 140727199980496 140111765300960 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26169] ppid=26106 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26169/stat : 26169 (java) S 26106 26109 22966 0 -1 1077944384 1 13066 0 0 0 0 5 3 20 0 15 0 444253535 11094712320 44994 33554432000 4194304 4196468 140727199980496 140111161320688 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26170] ppid=26106 vsize=10834680 memory=8252 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26170/stat : 26170 (java) S 26106 26109 22966 0 -1 1077944384 3 13066 0 0 0 0 5 3 20 0 15 0 444253538 11094712320 44994 33554432000 4194304 4196468 140727199980496 140111021689296 140112406235035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26171] ppid=26106 vsize=10834680 memory=6032 CPUtime=0.44 cores=1,3,5,7
/proc/26109/task/26171/stat : 26171 (java) R 26106 26109 22966 0 -1 1077944384 2158 13066 0 0 36 0 5 3 20 0 15 0 444253538 11094712320 44994 33554432000 4194304 4196468 140727199980496 140111863625968 140112406227586 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26172] ppid=26106 vsize=10834680 memory=1056 CPUtime=0.41 cores=1,3,5,7
/proc/26109/task/26172/stat : 26172 (java) S 26106 26109 22966 0 -1 1077944384 1078 13066 0 0 33 0 5 3 20 0 15 0 444253538 11094712320 44994 33554432000 4194304 4196468 140727199980496 140111862573424 140112406227586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26173] ppid=26106 vsize=10834680 memory=1540 CPUtime=0.5 cores=1,3,5,7
/proc/26109/task/26173/stat : 26173 (java) R 26106 26109 22966 0 -1 4202560 1849 13066 0 0 42 0 5 3 20 0 15 0 444253538 11094712320 44994 33554432000 4194304 4196468 140727199980496 140111861520368 140112391382111 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26174] ppid=26106 vsize=10834680 memory=728 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26174/stat : 26174 (java) S 26106 26109 22966 0 -1 1077944384 3 13066 0 0 0 0 5 3 20 0 15 0 444253538 11094712320 44994 33554432000 4194304 4196468 140727199980496 140110624450912 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26175] ppid=26106 vsize=10834680 memory=4000 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26175/stat : 26175 (java) S 26106 26109 22966 0 -1 1077944384 1 13066 0 0 0 0 5 3 20 0 15 0 444253539 11094712320 44994 33554432000 4194304 4196468 140727199980496 140111860468784 140112406227586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 10834680 KiB
Current children cumulated memory: 179976 KiB

[startup+3.11324 s]
/proc/loadavg: 2.49 1.84 1.72 5/233 26175
/proc/meminfo: memFree=29779772/32770624 swapFree=67004524/67108860
[pid=26109] ppid=26106 vsize=10844940 memory=262184 CPUtime=7 cores=1,3,5,7
/proc/26109/stat : 26109 (java) S 26106 26109 22966 0 -1 1077944320 47756 13066 0 0 673 19 5 3 20 0 15 0 444253524 11105218560 65546 33554432000 4194304 4196468 140727199980496 140727199963040 140112406216439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
/proc/26109/statm: 2711235 65546 3613 1 0 2673293 0
[pid=26109/tid=26162] ppid=26106 vsize=10844940 memory=280486060985664 CPUtime=2.99 cores=1,3,5,7
/proc/26109/task/26162/stat : 26162 (java) R 26106 26109 22966 0 -1 4202560 23848 13066 0 0 281 10 5 3 20 0 15 0 444253533 11105218560 65546 33554432000 4194304 4196468 140727199980496 140112378048400 140111983561015 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26163] ppid=26106 vsize=10844940 memory=388 CPUtime=0.11 cores=1,3,5,7
/proc/26109/task/26163/stat : 26163 (java) S 26106 26109 22966 0 -1 1077944384 343 13066 0 0 3 0 5 3 20 0 15 0 444253533 11105218560 65546 33554432000 4194304 4196468 140727199980496 140112410458640 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26164] ppid=26106 vsize=10844940 memory=6943526294502006880 CPUtime=0.11 cores=1,3,5,7
/proc/26109/task/26164/stat : 26164 (java) S 26106 26109 22966 0 -1 1077944384 81 13066 0 0 2 1 5 3 20 0 15 0 444253533 11105218560 65546 33554432000 4194304 4196468 140727199980496 140112309349008 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26165] ppid=26106 vsize=10844940 memory=56 CPUtime=0.11 cores=1,3,5,7
/proc/26109/task/26165/stat : 26165 (java) S 26106 26109 22966 0 -1 1077944384 103 13066 0 0 3 0 5 3 20 0 15 0 444253533 11105218560 65546 33554432000 4194304 4196468 140727199980496 140112308295952 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26166] ppid=26106 vsize=10844940 memory=8389687274667979570 CPUtime=0.11 cores=1,3,5,7
/proc/26109/task/26166/stat : 26166 (java) S 26106 26109 22966 0 -1 1077944384 154 13066 0 0 3 0 5 3 20 0 15 0 444253533 11105218560 65546 33554432000 4194304 4196468 140727199980496 140112307243408 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26167] ppid=26106 vsize=10844940 memory=7093353774968927174 CPUtime=0.11 cores=1,3,5,7
/proc/26109/task/26167/stat : 26167 (java) S 26106 26109 22966 0 -1 1077944384 3752 13066 0 0 3 0 5 3 20 0 15 0 444253535 11105218560 65546 33554432000 4194304 4196468 140727199980496 140111864679152 140112406227586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26168] ppid=26106 vsize=10844940 memory=7449279377460835378 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26168/stat : 26168 (java) S 26106 26109 22966 0 -1 1077944384 15 13066 0 0 0 0 5 3 20 0 15 0 444253535 11105218560 65546 33554432000 4194304 4196468 140727199980496 140111765300960 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26169] ppid=26106 vsize=10844940 memory=280486060819968 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26169/stat : 26169 (java) S 26106 26109 22966 0 -1 1077944384 1 13066 0 0 0 0 5 3 20 0 15 0 444253535 11105218560 65546 33554432000 4194304 4196468 140727199980496 140111161320704 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26170] ppid=26106 vsize=10844940 memory=7956567955459234152 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26170/stat : 26170 (java) S 26106 26109 22966 0 -1 1077944384 3 13066 0 0 0 0 5 3 20 0 15 0 444253538 11105218560 65546 33554432000 4194304 4196468 140727199980496 140111021689296 140112406235035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26171] ppid=26106 vsize=10844940 memory=6940161746138260566 CPUtime=1.3 cores=1,3,5,7
/proc/26109/task/26171/stat : 26171 (java) R 26106 26109 22966 0 -1 4202560 5391 13066 0 0 121 1 5 3 20 0 15 0 444253538 11105218560 65546 33554432000 4194304 4196468 140727199980496 140111863607576 140112385387717 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26172] ppid=26106 vsize=10844940 memory=7372767967351951464 CPUtime=1.35 cores=1,3,5,7
/proc/26109/task/26172/stat : 26172 (java) R 26106 26109 22966 0 -1 4202560 5206 13066 0 0 126 1 5 3 20 0 15 0 444253538 11105218560 65546 33554432000 4194304 4196468 140727199980496 140111862563344 140112389490992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26173] ppid=26106 vsize=10844940 memory=288230574492221466 CPUtime=1.34 cores=1,3,5,7
/proc/26109/task/26173/stat : 26173 (java) R 26106 26109 22966 0 -1 1077944384 6642 13066 0 0 125 1 5 3 20 0 15 0 444253538 11105218560 65546 33554432000 4194304 4196468 140727199980496 140111861516096 140112406226645 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26174] ppid=26106 vsize=10844940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26174/stat : 26174 (java) S 26106 26109 22966 0 -1 1077944384 3 13066 0 0 0 0 5 3 20 0 15 0 444253538 11105218560 65546 33554432000 4194304 4196468 140727199980496 140110624450912 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26175] ppid=26106 vsize=10844940 memory=2193 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26175/stat : 26175 (java) S 26106 26109 22966 0 -1 1077944384 9 13066 0 0 0 0 5 3 20 0 15 0 444253539 11105218560 65546 33554432000 4194304 4196468 140727199980496 140111860468784 140112406227586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
Current children cumulated CPU time: 7 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 262184 KiB

[startup+4.41904 s]
# the end of solver process 26109 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=10.9438 s, system=0.278323 s

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

[startup+3.20091 s]
/proc/loadavg: 2.49 1.84 1.72 5/233 26175
/proc/meminfo: memFree=29779772/32770624 swapFree=67004524/67108860
[pid=26109] ppid=26106 vsize=10846988 memory=265788 CPUtime=7.22 cores=1,3,5,7
/proc/26109/stat : 26109 (java) S 26106 26109 22966 0 -1 1077944320 48789 13066 0 0 695 19 5 3 20 0 15 0 444253524 11107315712 66447 33554432000 4194304 4196468 140727199980496 140727199963040 140112406216439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
/proc/26109/statm: 2711747 66447 3613 1 0 2673805 0
[pid=26109/tid=26162] ppid=26106 vsize=10846988 memory=0 CPUtime=3.08 cores=1,3,5,7
/proc/26109/task/26162/stat : 26162 (java) R 26106 26109 22966 0 -1 4202560 24313 13066 0 0 290 10 5 3 20 0 15 0 444253533 11107315712 66447 33554432000 4194304 4196468 140727199980496 140112378045296 140112390296926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26163] ppid=26106 vsize=10846988 memory=6656426216303648864 CPUtime=0.11 cores=1,3,5,7
/proc/26109/task/26163/stat : 26163 (java) S 26106 26109 22966 0 -1 1077944384 343 13066 0 0 3 0 5 3 20 0 15 0 444253533 11107315712 66447 33554432000 4194304 4196468 140727199980496 140112410458640 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26164] ppid=26106 vsize=10846988 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/26109/task/26164/stat : 26164 (java) S 26106 26109 22966 0 -1 1077944384 81 13066 0 0 2 1 5 3 20 0 15 0 444253533 11107315712 66447 33554432000 4194304 4196468 140727199980496 140112309349008 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26165] ppid=26106 vsize=10846988 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/26109/task/26165/stat : 26165 (java) S 26106 26109 22966 0 -1 1077944384 103 13066 0 0 3 0 5 3 20 0 15 0 444253533 11107315712 66447 33554432000 4194304 4196468 140727199980496 140112308295952 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26166] ppid=26106 vsize=10846988 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/26109/task/26166/stat : 26166 (java) S 26106 26109 22966 0 -1 1077944384 154 13066 0 0 3 0 5 3 20 0 15 0 444253533 11107315712 66447 33554432000 4194304 4196468 140727199980496 140112307243408 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26167] ppid=26106 vsize=10846988 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/26109/task/26167/stat : 26167 (java) S 26106 26109 22966 0 -1 1077944384 3752 13066 0 0 3 0 5 3 20 0 15 0 444253535 11107315712 66447 33554432000 4194304 4196468 140727199980496 140111864679152 140112406227586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26168] ppid=26106 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26168/stat : 26168 (java) S 26106 26109 22966 0 -1 1077944384 15 13066 0 0 0 0 5 3 20 0 15 0 444253535 11107315712 66447 33554432000 4194304 4196468 140727199980496 140111765300960 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26169] ppid=26106 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26169/stat : 26169 (java) S 26106 26109 22966 0 -1 1077944384 1 13066 0 0 0 0 5 3 20 0 15 0 444253535 11107315712 66447 33554432000 4194304 4196468 140727199980496 140111161320704 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26170] ppid=26106 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26170/stat : 26170 (java) S 26106 26109 22966 0 -1 1077944384 3 13066 0 0 0 0 5 3 20 0 15 0 444253538 11107315712 66447 33554432000 4194304 4196468 140727199980496 140111021689296 140112406235035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26171] ppid=26106 vsize=10846988 memory=0 CPUtime=1.39 cores=1,3,5,7
/proc/26109/task/26171/stat : 26171 (java) R 26106 26109 22966 0 -1 4202560 5906 13066 0 0 130 1 5 3 20 0 15 0 444253538 11107315712 66447 33554432000 4194304 4196468 140727199980496 140111863607536 140112390604990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26172] ppid=26106 vsize=10846988 memory=1036 CPUtime=1.38 cores=1,3,5,7
/proc/26109/task/26172/stat : 26172 (java) S 26106 26109 22966 0 -1 1077944384 5223 13066 0 0 129 1 5 3 20 0 15 0 444253538 11107315712 66447 33554432000 4194304 4196468 140727199980496 140111862573424 140112406227586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26173] ppid=26106 vsize=10846988 memory=14008 CPUtime=1.36 cores=1,3,5,7
/proc/26109/task/26173/stat : 26173 (java) S 26106 26109 22966 0 -1 1077944384 6678 13066 0 0 127 1 5 3 20 0 15 0 444253538 11107315712 66447 33554432000 4194304 4196468 140727199980496 140111861520368 140112406227586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26174] ppid=26106 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26174/stat : 26174 (java) S 26106 26109 22966 0 -1 1077944384 3 13066 0 0 0 0 5 3 20 0 15 0 444253538 11107315712 66447 33554432000 4194304 4196468 140727199980496 140110624450912 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26175] ppid=26106 vsize=10846988 memory=6788 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26175/stat : 26175 (java) S 26106 26109 22966 0 -1 1077944384 9 13066 0 0 0 0 5 3 20 0 15 0 444253539 11107315712 66447 33554432000 4194304 4196468 140727199980496 140111860468784 140112406227586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
Current children cumulated CPU time: 7.22 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 265788 KiB

[startup+4.00064 s]*
/proc/loadavg: 2.61 1.88 1.74 7/233 26175
/proc/meminfo: memFree=29745704/32770624 swapFree=67004524/67108860
[pid=26109] ppid=26106 vsize=10849048 memory=295564 CPUtime=9.94 cores=1,3,5,7
/proc/26109/stat : 26109 (java) S 26106 26109 22966 0 -1 1077944320 58975 13066 0 0 964 22 5 3 20 0 15 0 444253524 11109425152 73891 33554432000 4194304 4196468 140727199980496 140727199963040 140112406216439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
/proc/26109/statm: 2712262 73891 3621 1 0 2674317 0
[pid=26109/tid=26162] ppid=26106 vsize=10849048 memory=-6517102902069810590 CPUtime=3.87 cores=1,3,5,7
/proc/26109/task/26162/stat : 26162 (java) R 26106 26109 22966 0 -1 4202560 25779 13066 0 0 369 10 5 3 20 0 15 0 444253533 11109425152 73891 33554432000 4194304 4196468 140727199980496 140112378045056 140111983488136 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26163] ppid=26106 vsize=10849048 memory=4122819170707441977 CPUtime=0.11 cores=1,3,5,7
/proc/26109/task/26163/stat : 26163 (java) S 26106 26109 22966 0 -1 1077944384 343 13066 0 0 3 0 5 3 20 0 15 0 444253533 11109425152 73891 33554432000 4194304 4196468 140727199980496 140112410458640 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26164] ppid=26106 vsize=10849048 memory=3763233315323787960 CPUtime=0.11 cores=1,3,5,7
/proc/26109/task/26164/stat : 26164 (java) S 26106 26109 22966 0 -1 1077944384 81 13066 0 0 2 1 5 3 20 0 15 0 444253533 11109425152 73891 33554432000 4194304 4196468 140727199980496 140112309349008 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26165] ppid=26106 vsize=10849048 memory=8439792127513302161 CPUtime=0.11 cores=1,3,5,7
/proc/26109/task/26165/stat : 26165 (java) S 26106 26109 22966 0 -1 1077944384 103 13066 0 0 3 0 5 3 20 0 15 0 444253533 11109425152 73891 33554432000 4194304 4196468 140727199980496 140112308295952 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26166] ppid=26106 vsize=10849048 memory=112137301132264 CPUtime=0.11 cores=1,3,5,7
/proc/26109/task/26166/stat : 26166 (java) S 26106 26109 22966 0 -1 1077944384 154 13066 0 0 3 0 5 3 20 0 15 0 444253533 11109425152 73891 33554432000 4194304 4196468 140727199980496 140112307243408 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26167] ppid=26106 vsize=10849048 memory=3612118541890452705 CPUtime=0.12 cores=1,3,5,7
/proc/26109/task/26167/stat : 26167 (java) S 26106 26109 22966 0 -1 1077944384 3752 13066 0 0 4 0 5 3 20 0 15 0 444253535 11109425152 73891 33554432000 4194304 4196468 140727199980496 140111864679152 140112406227586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26168] ppid=26106 vsize=10849048 memory=3617573799168319540 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26168/stat : 26168 (java) S 26106 26109 22966 0 -1 1077944384 15 13066 0 0 0 0 5 3 20 0 15 0 444253535 11109425152 73891 33554432000 4194304 4196468 140727199980496 140111765300960 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26169] ppid=26106 vsize=10849048 memory=7668056113105233744 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26169/stat : 26169 (java) S 26106 26109 22966 0 -1 1077944384 1 13066 0 0 0 0 5 3 20 0 15 0 444253535 11109425152 73891 33554432000 4194304 4196468 140727199980496 140111161320704 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26170] ppid=26106 vsize=10849048 memory=34983 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26170/stat : 26170 (java) S 26106 26109 22966 0 -1 1077944384 3 13066 0 0 0 0 5 3 20 0 15 0 444253538 11109425152 73891 33554432000 4194304 4196468 140727199980496 140111021689296 140112406235035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26171] ppid=26106 vsize=10849048 memory=0 CPUtime=2.19 cores=1,3,5,7
/proc/26109/task/26171/stat : 26171 (java) R 26106 26109 22966 0 -1 1077944384 11292 13066 0 0 209 2 5 3 20 0 15 0 444253538 11109425152 73891 33554432000 4194304 4196468 140727199980496 140111863625968 140112406227586 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26172] ppid=26106 vsize=10849048 memory=0 CPUtime=2.13 cores=1,3,5,7
/proc/26109/task/26172/stat : 26172 (java) S 26106 26109 22966 0 -1 1077944384 6779 13066 0 0 203 2 5 3 20 0 15 0 444253538 11109425152 73891 33554432000 4194304 4196468 140727199980496 140111862573424 140112406227586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26173] ppid=26106 vsize=10849048 memory=4 CPUtime=1.74 cores=1,3,5,7
/proc/26109/task/26173/stat : 26173 (java) R 26106 26109 22966 0 -1 4202560 8455 13066 0 0 164 2 5 3 20 0 15 0 444253538 11109425152 73891 33554432000 4194304 4196468 140727199980496 140111861520368 140112387803742 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26174] ppid=26106 vsize=10849048 memory=52 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26174/stat : 26174 (java) S 26106 26109 22966 0 -1 1077944384 3 13066 0 0 0 0 5 3 20 0 15 0 444253538 11109425152 73891 33554432000 4194304 4196468 140727199980496 140110624450912 140112406226645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
[pid=26109/tid=26175] ppid=26106 vsize=10849048 memory=119 CPUtime=0.08 cores=1,3,5,7
/proc/26109/task/26175/stat : 26175 (java) S 26106 26109 22966 0 -1 1077944384 9 13066 0 0 0 0 5 3 20 0 15 0 444253539 11109425152 73891 33554432000 4194304 4196468 140727199980496 140111860468784 140112406227586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140727199984367 140727199986885 140727199986885 140727199989711 0
Current children cumulated CPU time: 9.94 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 295564 KiB

[startup+4.40901 s]*
/proc/loadavg: 2.61 1.88 1.74 4/218 26176
/proc/meminfo: memFree=30028080/32770624 swapFree=67004524/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): 4.41907
CPU time (s): 11.2221
CPU user time (s): 10.9438
CPU system time (s): 0.278323
CPU usage (%): 253.948
Max. virtual memory (cumulated for all children) (KiB): 10851868
Max. memory (cumulated for all children) (KiB): 334588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.9438
system time used= 0.278323
maximum resident set size= 337228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72807
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6495
involuntary context switches= 63


# summary of solver processes directly reported to runsolver:
#   pid: 26109
#   total CPU time (s): 11.2221
#   total CPU user time (s): 10.9438
#   total CPU system time (s): 0.278323

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046687 second user time and 0.093374 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-17 02:28:19
IDJOB=4400970
IDBENCH=126829
IDSOLVER=2857
FILE ID=node133/4400970-1568680139
RUNJOBID= node133-1568673291-22998
PBS_JOBID= 21703782
Free space on /tmp= 59540 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-4-5-20-1.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400970-1568680139/watcher-4400970-1568680139 -o /tmp/evaluation-result-4400970-1568680139/solver-4400970-1568680139 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568673291-22998 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1538733696 HOME/instance-4400970-1568680139.xml

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

MD5SUM BENCH= e6e5223db5de59749ca81141a6ec4e70
RANDOM SEED=1538733696

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30028648 kB
MemAvailable:   30895020 kB
Buffers:          238328 kB
Cached:           918784 kB
SwapCached:         3176 kB
Active:          1570332 kB
Inactive:         585380 kB
Active(anon):    1023000 kB
Inactive(anon):    24424 kB
Active(file):     547332 kB
Inactive(file):   560956 kB
Unevictable:      111224 kB
Mlocked:          111224 kB
SwapTotal:      67108860 kB
SwapFree:       67004524 kB
Dirty:             35708 kB
Writeback:             0 kB
AnonPages:       1107916 kB
Mapped:            61888 kB
Shmem:             40076 kB
Slab:             177404 kB
SReclaimable:     147836 kB
SUnreclaim:        29568 kB
KernelStack:        3824 kB
PageTables:         7600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2267876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    919552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 59508 MiB
End job on node133 at 2019-09-17 02:28:24