Trace number 4403170

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.3OPT132 17.5998 8.25541

General information on the benchmark

NameTpp/Tpp-zinc-s1/
Tpp-6-5-30-1.xml
MD5SUMef915df37055c75537688959881a75d3
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark132
Best CPU time to get the best result obtained on this benchmark1.76864
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of constraints962
Number of domains62
Minimum domain size2
Maximum domain size30
Distribution of domain sizes[{"size":2,"count":1},{"size":3,"count":6},{"size":4,"count":14},{"size":5,"count":9},{"size":13,"count":3},{"size":14,"count":4},{"size":15,"count":7},{"size":16,"count":7},{"size":17,"count":8},{"size":18,"count":1},{"size":29,"count":30},{"size":30,"count":30}]
Minimum variable degree2
Maximum variable degree33
Distribution of variable degrees[{"degree":2,"count":60},{"degree":31,"count":30},{"degree":32,"count":29},{"degree":33,"count":1}]
Minimum constraint arity1
Maximum constraint arity30
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":960},{"arity":30,"count":1}]
Number of extensional constraints60
Number of intensional constraints901
Distribution of constraint types[{"type":"extension","count":60},{"type":"intension","count":901},{"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.79/0.55	c Concrete v3.12.3.1568965526260 running
10.18/4.25	o 251
10.18/4.26	o 235
10.18/4.27	o 219
10.54/4.30	o 202
10.54/4.31	o 201
10.54/4.31	o 200
11.23/4.60	o 182
11.56/4.60	o 180
13.41/5.31	o 179
13.41/5.31	o 178
13.41/5.32	o 177
13.41/5.36	o 174
13.41/5.36	o 173
13.41/5.36	o 166
14.38/5.98	o 164
14.38/5.98	o 163
14.90/6.35	o 162
14.90/6.35	o 161
15.03/6.46	o 160
15.18/6.52	o 159
15.18/6.52	o 153
15.18/6.53	o 152
15.18/6.53	o 151
15.18/6.53	o 150
15.18/6.53	o 149
15.18/6.53	o 148
15.18/6.53	o 147
15.18/6.58	o 132
17.52/8.24	v <instantiation
17.52/8.24	v         cost = '132'>
17.52/8.24	v       <list>
17.52/8.24	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] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] 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] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] 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]
17.52/8.24	v       </list>
17.52/8.24	v       <values>
17.52/8.24	v         0 1 2 3 4 5 6 7 8 9 11 17 12 13 14 15 10 23 18 19 20 21 16 29 24 25 26 27 22 28 0 0 0 0 0 0 0 0 0 0 4 1 0 0 0 0 16 5 0 0 0 0 8 3 0 0 0 0 1 2 28 28 28 17 23 17 17 10 10 23 16 10 11 10 28 17 23 10 23 16 16 10 28 16 10 22 11 11 10 16 2 3 5 4 2 1 3 1 2 4 2 5 4 5 4 1 4 1 4 4 7 4 4 2 5 1 1 1 1 5
17.52/8.24	v       </values>
17.52/8.24	v     </instantiation>
17.52/8.24	s OPTIMUM FOUND

Verifier Data 

OK	132

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403170-1568973309/watcher-4403170-1568973309 -o /tmp/evaluation-result-4403170-1568973309/solver-4403170-1568973309 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568967758-23433 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1887088754 HOME/instance-4403170-1568973309.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
solver pid=25874, runsolver pid=25871
Current StackSize limit: 8192 KiB


[startup+0.100156 s]*
/proc/loadavg: 1.96 1.74 1.57 3/217 25931
/proc/meminfo: memFree=5124016/32770624 swapFree=66938644/67108860
[pid=25874] ppid=25871 vsize=9972712 memory=17344 CPUtime=0.09 cores=1,3,5,7
/proc/25874/stat : 25874 (java) S 25871 25874 23401 0 -1 1077944320 4564 13077 0 0 1 1 4 3 20 0 6 0 473600529 10212057088 4336 33554432000 4194304 4196468 140731182123408 140731182105952 140440899366647 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
/proc/25874/statm: 2493178 4336 1958 1 0 2481616 0
[pid=25874/tid=25927] ppid=25871 vsize=9988792 memory=4279135703980212366 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25927/stat : 25927 (java) R 25871 25874 23401 0 -1 4202560 2395 13077 0 0 0 0 4 3 20 0 6 0 473600538 10228523008 4336 33554432000 4194304 4196468 140731182123408 140440871203408 140440884898560 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25928] ppid=25871 vsize=9988792 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25928/stat : 25928 (java) S 25871 25874 23401 0 -1 1077944384 1 13077 0 0 0 0 4 3 20 0 6 0 473600539 10228523008 4336 33554432000 4194304 4196468 140731182123408 140440903609232 140440899376853 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25929] ppid=25871 vsize=9988792 memory=140534220748416 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25929/stat : 25929 (java) S 25871 25874 23401 0 -1 1077944384 1 13077 0 0 0 0 4 3 20 0 6 0 473600539 10228523008 4336 33554432000 4194304 4196468 140731182123408 140440802499344 140440899376853 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25930] ppid=25871 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25930/stat : 25930 (java) S 25871 25874 23401 0 -1 1077944384 2 13077 0 0 0 0 4 3 20 0 6 0 473600539 10228523008 4336 33554432000 4194304 4196468 140731182123408 140440801447056 140440899376853 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25931] ppid=25871 vsize=9988792 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25931/stat : 25931 (java) S 25871 25874 23401 0 -1 1077944384 2 13077 0 0 0 0 4 3 20 0 6 0 473600539 10228523008 4336 33554432000 4194304 4196468 140731182123408 140440470678544 140440899376853 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17344 KiB

[startup+0.210055 s]*
/proc/loadavg: 1.96 1.74 1.57 3/226 25940
/proc/meminfo: memFree=5101400/32770624 swapFree=66938644/67108860
[pid=25874] ppid=25871 vsize=10823808 memory=47020 CPUtime=0.26 cores=1,3,5,7
/proc/25874/stat : 25874 (java) S 25871 25874 23401 0 -1 1077944320 8140 13077 0 0 17 2 4 3 20 0 15 0 473600529 11083579392 11755 33554432000 4194304 4196468 140731182123408 140731182105952 140440899366647 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
/proc/25874/statm: 2705952 11755 3276 1 0 2668052 0
[pid=25874/tid=25927] ppid=25871 vsize=10823808 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/25874/task/25927/stat : 25927 (java) R 25871 25874 23401 0 -1 4202560 4766 13077 0 0 10 1 4 3 20 0 15 0 473600538 11083579392 11887 33554432000 4194304 4196468 140731182123408 140440871179008 140440891677227 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25928] ppid=25871 vsize=10823808 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25928/stat : 25928 (java) S 25871 25874 23401 0 -1 1077944384 1 13077 0 0 0 0 4 3 20 0 15 0 473600539 11083579392 11953 33554432000 4194304 4196468 140731182123408 140440903609232 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25929] ppid=25871 vsize=10823808 memory=140534220748416 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25929/stat : 25929 (java) S 25871 25874 23401 0 -1 1077944384 1 13077 0 0 0 0 4 3 20 0 15 0 473600539 11083579392 11953 33554432000 4194304 4196468 140731182123408 140440802499344 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25930] ppid=25871 vsize=10823808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25930/stat : 25930 (java) S 25871 25874 23401 0 -1 1077944384 2 13077 0 0 0 0 4 3 20 0 15 0 473600539 11083579392 11953 33554432000 4194304 4196468 140731182123408 140440801447056 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25931] ppid=25871 vsize=10823808 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25931/stat : 25931 (java) S 25871 25874 23401 0 -1 1077944384 2 13077 0 0 0 0 4 3 20 0 15 0 473600539 11083579392 11953 33554432000 4194304 4196468 140731182123408 140440470678544 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25932] ppid=25871 vsize=10823808 memory=140534220748416 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25932/stat : 25932 (java) S 25871 25874 23401 0 -1 1077944384 2 13077 0 0 0 0 4 3 20 0 15 0 473600540 11083579392 11953 33554432000 4194304 4196468 140731182123408 140440358869104 140440899377794 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25933] ppid=25871 vsize=10823808 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25933/stat : 25933 (java) S 25871 25874 23401 0 -1 1077944384 13 13077 0 0 0 0 4 3 20 0 15 0 473600541 11083579392 11953 33554432000 4194304 4196468 140731182123408 140439807058720 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25934] ppid=25871 vsize=10823808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25934/stat : 25934 (java) S 25871 25874 23401 0 -1 1077944384 21 13077 0 0 0 0 4 3 20 0 15 0 473600541 11083579392 11953 33554432000 4194304 4196468 140731182123408 140439773500528 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25935] ppid=25871 vsize=10823808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25935/stat : 25935 (java) S 25871 25874 23401 0 -1 1077944384 2 13077 0 0 0 0 4 3 20 0 15 0 473600544 11083579392 11953 33554432000 4194304 4196468 140731182123408 140439659210832 140440899385243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25936] ppid=25871 vsize=10823808 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25874/task/25936/stat : 25936 (java) S 25871 25874 23401 0 -1 1077944384 460 13077 0 0 1 0 4 3 20 0 15 0 473600544 11083579392 11953 33554432000 4194304 4196468 140731182123408 140440357816944 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25937] ppid=25871 vsize=10823808 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25937/stat : 25937 (java) S 25871 25874 23401 0 -1 1077944384 179 13077 0 0 0 0 4 3 20 0 15 0 473600544 11083579392 11953 33554432000 4194304 4196468 140731182123408 140440356764144 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25938] ppid=25871 vsize=10823808 memory=140534220748416 CPUtime=0.1 cores=1,3,5,7
/proc/25874/task/25938/stat : 25938 (java) S 25871 25874 23401 0 -1 1077944384 636 13077 0 0 3 0 4 3 20 0 15 0 473600544 11083579392 11953 33554432000 4194304 4196468 140731182123408 140440355711856 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25939] ppid=25871 vsize=10823808 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25939/stat : 25939 (java) S 25871 25874 23401 0 -1 1077944384 3 13077 0 0 0 0 4 3 20 0 15 0 473600544 11083579392 11953 33554432000 4194304 4196468 140731182123408 140439189449696 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25940] ppid=25871 vsize=10823808 memory=140534220748416 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25940/stat : 25940 (java) S 25871 25874 23401 0 -1 1077944384 1 13077 0 0 0 0 4 3 20 0 15 0 473600544 11083579392 11953 33554432000 4194304 4196468 140731182123408 140440354658736 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10823808 KiB
Current children cumulated memory: 47020 KiB

[startup+0.310605 s]*
/proc/loadavg: 1.96 1.74 1.57 3/226 25940
/proc/meminfo: memFree=5092076/32770624 swapFree=66938644/67108860
[pid=25874] ppid=25871 vsize=10820196 memory=52536 CPUtime=0.4 cores=1,3,5,7
/proc/25874/stat : 25874 (java) S 25871 25874 23401 0 -1 1077944320 10906 13077 0 0 29 4 4 3 20 0 15 0 473600529 11079880704 13134 33554432000 4194304 4196468 140731182123408 140731182105952 140440899366647 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
/proc/25874/statm: 2705049 13134 3288 1 0 2667149 0
[pid=25874/tid=25927] ppid=25871 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/25874/task/25927/stat : 25927 (java) R 25871 25874 23401 0 -1 4202560 7364 13077 0 0 19 3 4 3 20 0 15 0 473600538 11079880704 13134 33554432000 4194304 4196468 140731182123408 140440871177792 140440885582617 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25928] ppid=25871 vsize=10820196 memory=7885360284160191345 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25928/stat : 25928 (java) S 25871 25874 23401 0 -1 1077944384 1 13077 0 0 0 0 4 3 20 0 15 0 473600539 11079880704 13134 33554432000 4194304 4196468 140731182123408 140440903609232 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25929] ppid=25871 vsize=10820196 memory=5787233549803348032 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25929/stat : 25929 (java) S 25871 25874 23401 0 -1 1077944384 1 13077 0 0 0 0 4 3 20 0 15 0 473600539 11079880704 13134 33554432000 4194304 4196468 140731182123408 140440802499344 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25930] ppid=25871 vsize=10820196 memory=7649539909807129282 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25930/stat : 25930 (java) S 25871 25874 23401 0 -1 1077944384 2 13077 0 0 0 0 4 3 20 0 15 0 473600539 11079880704 13134 33554432000 4194304 4196468 140731182123408 140440801447056 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25931] ppid=25871 vsize=10820196 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25931/stat : 25931 (java) S 25871 25874 23401 0 -1 1077944384 2 13077 0 0 0 0 4 3 20 0 15 0 473600539 11079880704 13134 33554432000 4194304 4196468 140731182123408 140440470678544 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25932] ppid=25871 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25932/stat : 25932 (java) S 25871 25874 23401 0 -1 1077944384 2 13077 0 0 0 0 4 3 20 0 15 0 473600540 11079880704 13134 33554432000 4194304 4196468 140731182123408 140440358869104 140440899377794 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25933] ppid=25871 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25933/stat : 25933 (java) S 25871 25874 23401 0 -1 1077944384 13 13077 0 0 0 0 4 3 20 0 15 0 473600541 11079880704 13134 33554432000 4194304 4196468 140731182123408 140439807058720 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25934] ppid=25871 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25934/stat : 25934 (java) S 25871 25874 23401 0 -1 1077944384 21 13077 0 0 0 0 4 3 20 0 15 0 473600541 11079880704 13134 33554432000 4194304 4196468 140731182123408 140439773500528 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25935] ppid=25871 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25935/stat : 25935 (java) S 25871 25874 23401 0 -1 1077944384 2 13077 0 0 0 0 4 3 20 0 15 0 473600544 11079880704 13134 33554432000 4194304 4196468 140731182123408 140439659210832 140440899385243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25936] ppid=25871 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25874/task/25936/stat : 25936 (java) S 25871 25874 23401 0 -1 1077944384 460 13077 0 0 2 0 4 3 20 0 15 0 473600544 11079880704 13134 33554432000 4194304 4196468 140731182123408 140440357816944 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25937] ppid=25871 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25874/task/25937/stat : 25937 (java) S 25871 25874 23401 0 -1 1077944384 180 13077 0 0 1 0 4 3 20 0 15 0 473600544 11079880704 13134 33554432000 4194304 4196468 140731182123408 140440356764144 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25938] ppid=25871 vsize=10820196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25874/task/25938/stat : 25938 (java) S 25871 25874 23401 0 -1 1077944384 644 13077 0 0 5 0 4 3 20 0 15 0 473600544 11079880704 13134 33554432000 4194304 4196468 140731182123408 140440355711856 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25939] ppid=25871 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25939/stat : 25939 (java) S 25871 25874 23401 0 -1 1077944384 3 13077 0 0 0 0 4 3 20 0 15 0 473600544 11079880704 13134 33554432000 4194304 4196468 140731182123408 140439189449696 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25940] ppid=25871 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25940/stat : 25940 (java) S 25871 25874 23401 0 -1 1077944384 1 13077 0 0 0 0 4 3 20 0 15 0 473600544 11079880704 13134 33554432000 4194304 4196468 140731182123408 140440354658736 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52536 KiB

[startup+0.700637 s]
/proc/loadavg: 1.96 1.74 1.57 3/226 25940
/proc/meminfo: memFree=5075680/32770624 swapFree=66938644/67108860
[pid=25874] ppid=25871 vsize=10824364 memory=86444 CPUtime=1.15 cores=1,3,5,7
/proc/25874/stat : 25874 (java) S 25871 25874 23401 0 -1 1077944320 15283 13077 0 0 102 6 4 3 20 0 15 0 473600529 11084148736 21611 33554432000 4194304 4196468 140731182123408 140731182105952 140440899366647 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
/proc/25874/statm: 2706091 21611 3514 1 0 2668173 0
[pid=25874/tid=25927] ppid=25871 vsize=10824364 memory=2241 CPUtime=0.67 cores=1,3,5,7
/proc/25874/task/25927/stat : 25927 (java) R 25871 25874 23401 0 -1 4202560 10521 13077 0 0 55 5 4 3 20 0 15 0 473600538 11084148736 21611 33554432000 4194304 4196468 140731182123408 140440871193808 140440899378582 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25928] ppid=25871 vsize=10824364 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25928/stat : 25928 (java) S 25871 25874 23401 0 -1 1077944384 1 13077 0 0 0 0 4 3 20 0 15 0 473600539 11084148736 21611 33554432000 4194304 4196468 140731182123408 140440903609232 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25929] ppid=25871 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25929/stat : 25929 (java) S 25871 25874 23401 0 -1 1077944384 1 13077 0 0 0 0 4 3 20 0 15 0 473600539 11084148736 21611 33554432000 4194304 4196468 140731182123408 140440802499344 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25930] ppid=25871 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25930/stat : 25930 (java) S 25871 25874 23401 0 -1 1077944384 2 13077 0 0 0 0 4 3 20 0 15 0 473600539 11084148736 21611 33554432000 4194304 4196468 140731182123408 140440801447056 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25931] ppid=25871 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25931/stat : 25931 (java) S 25871 25874 23401 0 -1 1077944384 2 13077 0 0 0 0 4 3 20 0 15 0 473600539 11084148736 21611 33554432000 4194304 4196468 140731182123408 140440470678544 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25932] ppid=25871 vsize=10824364 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25932/stat : 25932 (java) S 25871 25874 23401 0 -1 1077944384 5 13077 0 0 0 0 4 3 20 0 15 0 473600540 11084148736 21611 33554432000 4194304 4196468 140731182123408 140440358869104 140440899377794 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25933] ppid=25871 vsize=10824364 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25933/stat : 25933 (java) S 25871 25874 23401 0 -1 1077944384 13 13077 0 0 0 0 4 3 20 0 15 0 473600541 11084148736 21611 33554432000 4194304 4196468 140731182123408 140439807058720 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25934] ppid=25871 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25934/stat : 25934 (java) S 25871 25874 23401 0 -1 1077944384 21 13077 0 0 0 0 4 3 20 0 15 0 473600541 11084148736 21611 33554432000 4194304 4196468 140731182123408 140439773500528 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25935] ppid=25871 vsize=10824364 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25935/stat : 25935 (java) S 25871 25874 23401 0 -1 1077944384 2 13077 0 0 0 0 4 3 20 0 15 0 473600544 11084148736 21611 33554432000 4194304 4196468 140731182123408 140439659210832 140440899385243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25936] ppid=25871 vsize=10824364 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/25874/task/25936/stat : 25936 (java) R 25871 25874 23401 0 -1 4202560 1072 13077 0 0 16 0 4 3 20 0 15 0 473600544 11084148736 21611 33554432000 4194304 4196468 140731182123408 140440357804784 140440883334375 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25937] ppid=25871 vsize=10824364 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/25874/task/25937/stat : 25937 (java) R 25871 25874 23401 0 -1 1077944384 595 13077 0 0 12 0 4 3 20 0 15 0 473600544 11084148736 21611 33554432000 4194304 4196468 140731182123408 140440356764144 140440899377794 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25938] ppid=25871 vsize=10824364 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/25874/task/25938/stat : 25938 (java) R 25871 25874 23401 0 -1 4202560 834 13077 0 0 17 0 4 3 20 0 15 0 473600544 11084148736 21611 33554432000 4194304 4196468 140731182123408 140440355711856 140440877878835 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25939] ppid=25871 vsize=10824364 memory=281068162777328 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25939/stat : 25939 (java) S 25871 25874 23401 0 -1 1077944384 3 13077 0 0 0 0 4 3 20 0 15 0 473600544 11084148736 21611 33554432000 4194304 4196468 140731182123408 140439189449696 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25940] ppid=25871 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25940/stat : 25940 (java) S 25871 25874 23401 0 -1 1077944384 1 13077 0 0 0 0 4 3 20 0 15 0 473600544 11084148736 21611 33554432000 4194304 4196468 140731182123408 140440354658736 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 86444 KiB

[startup+1.5007 s]
/proc/loadavg: 1.96 1.74 1.57 3/226 25940
/proc/meminfo: memFree=5032676/32770624 swapFree=66938644/67108860
[pid=25874] ppid=25871 vsize=10834680 memory=182264 CPUtime=2.75 cores=1,3,5,7
/proc/25874/stat : 25874 (java) S 25871 25874 23401 0 -1 1077944320 23431 13077 0 0 256 12 4 3 20 0 15 0 473600529 11094712320 45566 33554432000 4194304 4196468 140731182123408 140731182105952 140440899366647 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
/proc/25874/statm: 2708670 45566 3584 1 0 2670733 0
[pid=25874/tid=25927] ppid=25871 vsize=10834680 memory=23 CPUtime=1.42 cores=1,3,5,7
/proc/25874/task/25927/stat : 25927 (java) R 25871 25874 23401 0 -1 4202560 15238 13077 0 0 127 8 4 3 20 0 15 0 473600538 11094712320 45566 33554432000 4194304 4196468 140731182123408 140440871184336 140440883447134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25928] ppid=25871 vsize=10834680 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/25874/task/25928/stat : 25928 (java) S 25871 25874 23401 0 -1 1077944384 75 13077 0 0 1 0 4 3 20 0 15 0 473600539 11094712320 45566 33554432000 4194304 4196468 140731182123408 140440903609232 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25929] ppid=25871 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25874/task/25929/stat : 25929 (java) S 25871 25874 23401 0 -1 1077944384 53 13077 0 0 1 0 4 3 20 0 15 0 473600539 11094712320 45566 33554432000 4194304 4196468 140731182123408 140440802499344 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25930] ppid=25871 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25874/task/25930/stat : 25930 (java) S 25871 25874 23401 0 -1 1077944384 10 13077 0 0 1 0 4 3 20 0 15 0 473600539 11094712320 45566 33554432000 4194304 4196468 140731182123408 140440801447056 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25931] ppid=25871 vsize=10834680 memory=104376 CPUtime=0.08 cores=1,3,5,7
/proc/25874/task/25931/stat : 25931 (java) S 25871 25874 23401 0 -1 1077944384 344 13077 0 0 1 0 4 3 20 0 15 0 473600539 11094712320 45566 33554432000 4194304 4196468 140731182123408 140440470678544 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25932] ppid=25871 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25874/task/25932/stat : 25932 (java) S 25871 25874 23401 0 -1 1077944384 138 13077 0 0 1 0 4 3 20 0 15 0 473600540 11094712320 45566 33554432000 4194304 4196468 140731182123408 140440358869104 140440899377794 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25933] ppid=25871 vsize=10834680 memory=7016982484491461719 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25933/stat : 25933 (java) S 25871 25874 23401 0 -1 1077944384 14 13077 0 0 0 0 4 3 20 0 15 0 473600541 11094712320 45566 33554432000 4194304 4196468 140731182123408 140439807058784 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25934] ppid=25871 vsize=10834680 memory=7666913720590816610 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25934/stat : 25934 (java) S 25871 25874 23401 0 -1 1077944384 42 13077 0 0 0 0 4 3 20 0 15 0 473600541 11094712320 45566 33554432000 4194304 4196468 140731182123408 140439773500544 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25935] ppid=25871 vsize=10834680 memory=7662145155908264294 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25935/stat : 25935 (java) S 25871 25874 23401 0 -1 1077944384 2 13077 0 0 0 0 4 3 20 0 15 0 473600544 11094712320 45566 33554432000 4194304 4196468 140731182123408 140439659210832 140440899385243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25936] ppid=25871 vsize=10834680 memory=7454130749351154278 CPUtime=0.46 cores=1,3,5,7
/proc/25874/task/25936/stat : 25936 (java) S 25871 25874 23401 0 -1 1077944384 1772 13077 0 0 39 0 4 3 20 0 15 0 473600544 11094712320 45566 33554432000 4194304 4196468 140731182123408 140440357816944 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25937] ppid=25871 vsize=10834680 memory=7162240013796075371 CPUtime=0.43 cores=1,3,5,7
/proc/25874/task/25937/stat : 25937 (java) S 25871 25874 23401 0 -1 1077944384 1720 13077 0 0 36 0 4 3 20 0 15 0 473600544 11094712320 45566 33554432000 4194304 4196468 140731182123408 140440356764144 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25938] ppid=25871 vsize=10834680 memory=7016982484491461719 CPUtime=0.52 cores=1,3,5,7
/proc/25874/task/25938/stat : 25938 (java) S 25871 25874 23401 0 -1 1077944384 1811 13077 0 0 45 0 4 3 20 0 15 0 473600544 11094712320 45566 33554432000 4194304 4196468 140731182123408 140440355711856 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25939] ppid=25871 vsize=10834680 memory=7016982484491461719 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25939/stat : 25939 (java) S 25871 25874 23401 0 -1 1077944384 3 13077 0 0 0 0 4 3 20 0 15 0 473600544 11094712320 45566 33554432000 4194304 4196468 140731182123408 140439189449696 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25940] ppid=25871 vsize=10834680 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25940/stat : 25940 (java) S 25871 25874 23401 0 -1 1077944384 1 13077 0 0 0 0 4 3 20 0 15 0 473600544 11094712320 45566 33554432000 4194304 4196468 140731182123408 140440354658736 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 10834680 KiB

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

[startup+8.25536 s]
# the end of solver process 25874 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=17.2053 s, system=0.394553 s

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

[startup+6.40094 s]
/proc/loadavg: 1.88 1.73 1.56 4/226 25941
/proc/meminfo: memFree=4715828/32770624 swapFree=66938644/67108860
[pid=25874] ppid=25871 vsize=10851096 memory=437820 CPUtime=15.03 cores=1,3,5,7
/proc/25874/stat : 25874 (java) S 25871 25874 23401 0 -1 1077944320 56954 13077 0 0 1466 30 4 3 20 0 15 0 473600529 11111522304 109455 33554432000 4194304 4196468 140731182123408 140731182105952 140440899366647 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
/proc/25874/statm: 2712774 109455 3620 1 0 2674829 0
[pid=25874/tid=25927] ppid=25871 vsize=10851096 memory=6943526294502006880 CPUtime=6.21 cores=1,3,5,7
/proc/25874/task/25927/stat : 25927 (java) R 25871 25874 23401 0 -1 4202560 26969 13077 0 0 600 14 4 3 20 0 15 0 473600538 11111522304 109455 33554432000 4194304 4196468 140731182123408 140440871195424 140440482474704 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25928] ppid=25871 vsize=10851096 memory=6655300316396806240 CPUtime=0.13 cores=1,3,5,7
/proc/25874/task/25928/stat : 25928 (java) S 25871 25874 23401 0 -1 1077944384 117 13077 0 0 5 1 4 3 20 0 15 0 473600539 11111522304 109455 33554432000 4194304 4196468 140731182123408 140440903609232 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25929] ppid=25871 vsize=10851096 memory=6944656575208382560 CPUtime=0.13 cores=1,3,5,7
/proc/25874/task/25929/stat : 25929 (java) S 25871 25874 23401 0 -1 1077944384 119 13077 0 0 5 1 4 3 20 0 15 0 473600539 11111522304 109455 33554432000 4194304 4196468 140731182123408 140440802499344 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25930] ppid=25871 vsize=10851096 memory=6943526294502006880 CPUtime=0.12 cores=1,3,5,7
/proc/25874/task/25930/stat : 25930 (java) S 25871 25874 23401 0 -1 1077944384 161 13077 0 0 4 1 4 3 20 0 15 0 473600539 11111522304 109455 33554432000 4194304 4196468 140731182123408 140440801447056 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25931] ppid=25871 vsize=10851096 memory=8328137078682933384 CPUtime=0.13 cores=1,3,5,7
/proc/25874/task/25931/stat : 25931 (java) S 25871 25874 23401 0 -1 1077944384 385 13077 0 0 5 1 4 3 20 0 15 0 473600539 11111522304 109455 33554432000 4194304 4196468 140731182123408 140440470678544 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25932] ppid=25871 vsize=10851096 memory=-7741295725737516405 CPUtime=0.12 cores=1,3,5,7
/proc/25874/task/25932/stat : 25932 (java) S 25871 25874 23401 0 -1 1077944384 3021 13077 0 0 5 0 4 3 20 0 15 0 473600540 11111522304 109455 33554432000 4194304 4196468 140731182123408 140440358869104 140440899377794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25933] ppid=25871 vsize=10851096 memory=183620 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25933/stat : 25933 (java) S 25871 25874 23401 0 -1 1077944384 15 13077 0 0 0 0 4 3 20 0 15 0 473600541 11111522304 109455 33554432000 4194304 4196468 140731182123408 140439807058848 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25934] ppid=25871 vsize=10851096 memory=140534081425200 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25934/stat : 25934 (java) S 25871 25874 23401 0 -1 1077944384 45 13077 0 0 0 0 4 3 20 0 15 0 473600541 11111522304 109455 33554432000 4194304 4196468 140731182123408 140439773500544 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25935] ppid=25871 vsize=10851096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25935/stat : 25935 (java) S 25871 25874 23401 0 -1 1077944384 2 13077 0 0 0 0 4 3 20 0 15 0 473600544 11111522304 109455 33554432000 4194304 4196468 140731182123408 140439659210832 140440899385243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25936] ppid=25871 vsize=10851096 memory=7524853760689820377 CPUtime=3.2 cores=1,3,5,7
/proc/25874/task/25936/stat : 25936 (java) S 25871 25874 23401 0 -1 1077944384 5499 13077 0 0 312 1 4 3 20 0 15 0 473600544 11111522304 109455 33554432000 4194304 4196468 140731182123408 140440357816944 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25937] ppid=25871 vsize=10851096 memory=4206186544037388384 CPUtime=3.32 cores=1,3,5,7
/proc/25874/task/25937/stat : 25937 (java) S 25871 25874 23401 0 -1 1077944384 9255 13077 0 0 323 2 4 3 20 0 15 0 473600544 11111522304 109455 33554432000 4194304 4196468 140731182123408 140440356764144 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25938] ppid=25871 vsize=10851096 memory=6944656575208382560 CPUtime=2.12 cores=1,3,5,7
/proc/25874/task/25938/stat : 25938 (java) S 25871 25874 23401 0 -1 1077944384 9144 13077 0 0 201 4 4 3 20 0 15 0 473600544 11111522304 109455 33554432000 4194304 4196468 140731182123408 140440355711856 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25939] ppid=25871 vsize=10851096 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25939/stat : 25939 (java) S 25871 25874 23401 0 -1 1077944384 3 13077 0 0 0 0 4 3 20 0 15 0 473600544 11111522304 109455 33554432000 4194304 4196468 140731182123408 140439189449696 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25940] ppid=25871 vsize=10851096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25940/stat : 25940 (java) S 25871 25874 23401 0 -1 1077944384 9 13077 0 0 0 0 4 3 20 0 15 0 473600544 11111522304 109455 33554432000 4194304 4196468 140731182123408 140440354658736 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
Current children cumulated CPU time: 15.03 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 437820 KiB

[startup+7.20075 s]
/proc/loadavg: 1.89 1.73 1.57 3/226 25941
/proc/meminfo: memFree=4637384/32770624 swapFree=66938644/67108860
[pid=25874] ppid=25871 vsize=10851096 memory=538368 CPUtime=16.39 cores=1,3,5,7
/proc/25874/stat : 25874 (java) S 25871 25874 23401 0 -1 1077944320 57124 13077 0 0 1599 33 4 3 20 0 15 0 473600529 11111522304 134592 33554432000 4194304 4196468 140731182123408 140731182105952 140440899366647 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
/proc/25874/statm: 2712774 134592 3620 1 0 2674829 0
[pid=25874/tid=25927] ppid=25871 vsize=10851096 memory=288230596050944315 CPUtime=6.99 cores=1,3,5,7
/proc/25874/task/25927/stat : 25927 (java) R 25871 25874 23401 0 -1 4202560 27019 13077 0 0 677 15 4 3 20 0 15 0 473600538 11111522304 134592 33554432000 4194304 4196468 140731182123408 140440871202080 140440498928476 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25928] ppid=25871 vsize=10851096 memory=15823283127847325 CPUtime=0.14 cores=1,3,5,7
/proc/25874/task/25928/stat : 25928 (java) S 25871 25874 23401 0 -1 1077944384 122 13077 0 0 5 2 4 3 20 0 15 0 473600539 11111522304 134592 33554432000 4194304 4196468 140731182123408 140440903609232 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25929] ppid=25871 vsize=10851096 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/25874/task/25929/stat : 25929 (java) S 25871 25874 23401 0 -1 1077944384 123 13077 0 0 5 1 4 3 20 0 15 0 473600539 11111522304 134592 33554432000 4194304 4196468 140731182123408 140440802499344 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25930] ppid=25871 vsize=10851096 memory=3620 CPUtime=0.13 cores=1,3,5,7
/proc/25874/task/25930/stat : 25930 (java) S 25871 25874 23401 0 -1 1077944384 165 13077 0 0 4 2 4 3 20 0 15 0 473600539 11111522304 134592 33554432000 4194304 4196468 140731182123408 140440801447056 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25931] ppid=25871 vsize=10851096 memory=53060 CPUtime=0.14 cores=1,3,5,7
/proc/25874/task/25931/stat : 25931 (java) S 25871 25874 23401 0 -1 1077944384 392 13077 0 0 5 2 4 3 20 0 15 0 473600539 11111522304 134592 33554432000 4194304 4196468 140731182123408 140440470678544 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25932] ppid=25871 vsize=10851096 memory=988 CPUtime=0.12 cores=1,3,5,7
/proc/25874/task/25932/stat : 25932 (java) S 25871 25874 23401 0 -1 1077944384 3065 13077 0 0 5 0 4 3 20 0 15 0 473600540 11111522304 134592 33554432000 4194304 4196468 140731182123408 140440358869104 140440899377794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25933] ppid=25871 vsize=10851096 memory=2016 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25933/stat : 25933 (java) S 25871 25874 23401 0 -1 1077944384 15 13077 0 0 0 0 4 3 20 0 15 0 473600541 11111522304 134592 33554432000 4194304 4196468 140731182123408 140439807058848 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25934] ppid=25871 vsize=10851096 memory=1416 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25934/stat : 25934 (java) S 25871 25874 23401 0 -1 1077944384 45 13077 0 0 0 0 4 3 20 0 15 0 473600541 11111522304 134592 33554432000 4194304 4196468 140731182123408 140439773500544 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25935] ppid=25871 vsize=10851096 memory=10728 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25935/stat : 25935 (java) S 25871 25874 23401 0 -1 1077944384 2 13077 0 0 0 0 4 3 20 0 15 0 473600544 11111522304 134592 33554432000 4194304 4196468 140731182123408 140439659210832 140440899385243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25936] ppid=25871 vsize=10851096 memory=1552 CPUtime=3.55 cores=1,3,5,7
/proc/25874/task/25936/stat : 25936 (java) R 25871 25874 23401 0 -1 4202560 5503 13077 0 0 347 1 4 3 20 0 15 0 473600544 11111522304 134592 33554432000 4194304 4196468 140731182123408 140440357816944 140440882860886 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25937] ppid=25871 vsize=10851096 memory=3640 CPUtime=3.48 cores=1,3,5,7
/proc/25874/task/25937/stat : 25937 (java) R 25871 25874 23401 0 -1 4202560 9258 13077 0 0 339 2 4 3 20 0 15 0 473600544 11111522304 134592 33554432000 4194304 4196468 140731182123408 140440356764144 140440880542536 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25938] ppid=25871 vsize=10851096 memory=2832 CPUtime=2.14 cores=1,3,5,7
/proc/25874/task/25938/stat : 25938 (java) S 25871 25874 23401 0 -1 1077944384 9193 13077 0 0 203 4 4 3 20 0 15 0 473600544 11111522304 134592 33554432000 4194304 4196468 140731182123408 140440355711856 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25939] ppid=25871 vsize=10851096 memory=784 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25939/stat : 25939 (java) S 25871 25874 23401 0 -1 1077944384 3 13077 0 0 0 0 4 3 20 0 15 0 473600544 11111522304 134592 33554432000 4194304 4196468 140731182123408 140439189449696 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25940] ppid=25871 vsize=10851096 memory=17609365916656 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25940/stat : 25940 (java) S 25871 25874 23401 0 -1 1077944384 9 13077 0 0 0 0 4 3 20 0 15 0 473600544 11111522304 134592 33554432000 4194304 4196468 140731182123408 140440354658736 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
Current children cumulated CPU time: 16.39 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 538368 KiB

[startup+8.0007 s]*
/proc/loadavg: 1.89 1.73 1.57 3/226 25941
/proc/meminfo: memFree=4598332/32770624 swapFree=66938644/67108860
[pid=25874] ppid=25871 vsize=10851096 memory=547140 CPUtime=17.32 cores=1,3,5,7
/proc/25874/stat : 25874 (java) S 25871 25874 23401 0 -1 1077944320 57195 13077 0 0 1691 34 4 3 20 0 15 0 473600529 11111522304 136785 33554432000 4194304 4196468 140731182123408 140731182105952 140440899366647 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
/proc/25874/statm: 2712774 136785 3625 1 0 2674829 0
[pid=25874/tid=25927] ppid=25871 vsize=10851096 memory=590028954081309877 CPUtime=7.8 cores=1,3,5,7
/proc/25874/task/25927/stat : 25927 (java) R 25871 25874 23401 0 -1 4202560 27020 13077 0 0 757 16 4 3 20 0 15 0 473600538 11111522304 136785 33554432000 4194304 4196468 140731182123408 140440871202112 140440497621934 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25928] ppid=25871 vsize=10851096 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/25874/task/25928/stat : 25928 (java) S 25871 25874 23401 0 -1 1077944384 126 13077 0 0 6 2 4 3 20 0 15 0 473600539 11111522304 136785 33554432000 4194304 4196468 140731182123408 140440903609232 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25929] ppid=25871 vsize=10851096 memory=4048935084635616928 CPUtime=0.15 cores=1,3,5,7
/proc/25874/task/25929/stat : 25929 (java) S 25871 25874 23401 0 -1 1077944384 127 13077 0 0 6 2 4 3 20 0 15 0 473600539 11111522304 136785 33554432000 4194304 4196468 140731182123408 140440802499344 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25930] ppid=25871 vsize=10851096 memory=-7384994778349280928 CPUtime=0.14 cores=1,3,5,7
/proc/25874/task/25930/stat : 25930 (java) S 25871 25874 23401 0 -1 1077944384 169 13077 0 0 5 2 4 3 20 0 15 0 473600539 11111522304 136785 33554432000 4194304 4196468 140731182123408 140440801447056 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25931] ppid=25871 vsize=10851096 memory=-3831251742559211316 CPUtime=0.15 cores=1,3,5,7
/proc/25874/task/25931/stat : 25931 (java) S 25871 25874 23401 0 -1 1077944384 396 13077 0 0 6 2 4 3 20 0 15 0 473600539 11111522304 136785 33554432000 4194304 4196468 140731182123408 140440470678544 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25932] ppid=25871 vsize=10851096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25874/task/25932/stat : 25932 (java) S 25871 25874 23401 0 -1 1077944384 3065 13077 0 0 5 0 4 3 20 0 15 0 473600540 11111522304 136785 33554432000 4194304 4196468 140731182123408 140440358869104 140440899377794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25933] ppid=25871 vsize=10851096 memory=140534081593375 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25933/stat : 25933 (java) S 25871 25874 23401 0 -1 1077944384 15 13077 0 0 0 0 4 3 20 0 15 0 473600541 11111522304 136785 33554432000 4194304 4196468 140731182123408 140439807058848 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25934] ppid=25871 vsize=10851096 memory=3054963647662300264 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25934/stat : 25934 (java) S 25871 25874 23401 0 -1 1077944384 45 13077 0 0 0 0 4 3 20 0 15 0 473600541 11111522304 136785 33554432000 4194304 4196468 140731182123408 140439773500544 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25935] ppid=25871 vsize=10851096 memory=6655300316396806240 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25935/stat : 25935 (java) S 25871 25874 23401 0 -1 1077944384 2 13077 0 0 0 0 4 3 20 0 15 0 473600544 11111522304 136785 33554432000 4194304 4196468 140731182123408 140439659210832 140440899385243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25936] ppid=25871 vsize=10851096 memory=0 CPUtime=3.62 cores=1,3,5,7
/proc/25874/task/25936/stat : 25936 (java) S 25871 25874 23401 0 -1 1077944384 5509 13077 0 0 354 1 4 3 20 0 15 0 473600544 11111522304 136785 33554432000 4194304 4196468 140731182123408 140440357816944 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25937] ppid=25871 vsize=10851096 memory=664337059727739191 CPUtime=3.5 cores=1,3,5,7
/proc/25874/task/25937/stat : 25937 (java) S 25871 25874 23401 0 -1 1077944384 9258 13077 0 0 341 2 4 3 20 0 15 0 473600544 11111522304 136785 33554432000 4194304 4196468 140731182123408 140440356764144 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25938] ppid=25871 vsize=10851096 memory=7300595746492819081 CPUtime=2.16 cores=1,3,5,7
/proc/25874/task/25938/stat : 25938 (java) S 25871 25874 23401 0 -1 1077944384 9241 13077 0 0 205 4 4 3 20 0 15 0 473600544 11111522304 136785 33554432000 4194304 4196468 140731182123408 140440355711856 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25939] ppid=25871 vsize=10851096 memory=5999997613133869064 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25939/stat : 25939 (java) S 25871 25874 23401 0 -1 1077944384 3 13077 0 0 0 0 4 3 20 0 15 0 473600544 11111522304 136785 33554432000 4194304 4196468 140731182123408 140439189449696 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25940] ppid=25871 vsize=10851096 memory=140534220748416 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25940/stat : 25940 (java) S 25871 25874 23401 0 -1 1077944384 9 13077 0 0 0 0 4 3 20 0 15 0 473600544 11111522304 136785 33554432000 4194304 4196468 140731182123408 140440354658736 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
Current children cumulated CPU time: 17.32 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 547140 KiB

[startup+8.20074 s]
/proc/loadavg: 1.89 1.73 1.57 3/226 25941
/proc/meminfo: memFree=4598332/32770624 swapFree=66938644/67108860
[pid=25874] ppid=25871 vsize=10851096 memory=547188 CPUtime=17.52 cores=1,3,5,7
/proc/25874/stat : 25874 (java) S 25871 25874 23401 0 -1 1077944320 57210 13077 0 0 1711 34 4 3 20 0 15 0 473600529 11111522304 136797 33554432000 4194304 4196468 140731182123408 140731182105952 140440899366647 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
/proc/25874/statm: 2712774 136797 3625 1 0 2674829 0
[pid=25874/tid=25927] ppid=25871 vsize=10851096 memory=7739548545030450775 CPUtime=7.99 cores=1,3,5,7
/proc/25874/task/25927/stat : 25927 (java) R 25871 25874 23401 0 -1 4202560 27020 13077 0 0 776 16 4 3 20 0 15 0 473600538 11111522304 136797 33554432000 4194304 4196468 140731182123408 140440871202112 140440497426680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25928] ppid=25871 vsize=10851096 memory=1 CPUtime=0.15 cores=1,3,5,7
/proc/25874/task/25928/stat : 25928 (java) S 25871 25874 23401 0 -1 1077944384 126 13077 0 0 6 2 4 3 20 0 15 0 473600539 11111522304 136797 33554432000 4194304 4196468 140731182123408 140440903609232 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25929] ppid=25871 vsize=10851096 memory=140534081788977 CPUtime=0.15 cores=1,3,5,7
/proc/25874/task/25929/stat : 25929 (java) S 25871 25874 23401 0 -1 1077944384 127 13077 0 0 6 2 4 3 20 0 15 0 473600539 11111522304 136797 33554432000 4194304 4196468 140731182123408 140440802499344 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25930] ppid=25871 vsize=10851096 memory=6655300316396806240 CPUtime=0.14 cores=1,3,5,7
/proc/25874/task/25930/stat : 25930 (java) S 25871 25874 23401 0 -1 1077944384 169 13077 0 0 5 2 4 3 20 0 15 0 473600539 11111522304 136797 33554432000 4194304 4196468 140731182123408 140440801447056 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25931] ppid=25871 vsize=10851096 memory=-2245088631185882904 CPUtime=0.15 cores=1,3,5,7
/proc/25874/task/25931/stat : 25931 (java) S 25871 25874 23401 0 -1 1077944384 396 13077 0 0 6 2 4 3 20 0 15 0 473600539 11111522304 136797 33554432000 4194304 4196468 140731182123408 140440470678544 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25932] ppid=25871 vsize=10851096 memory=4049193465537778897 CPUtime=0.12 cores=1,3,5,7
/proc/25874/task/25932/stat : 25932 (java) S 25871 25874 23401 0 -1 1077944384 3065 13077 0 0 5 0 4 3 20 0 15 0 473600540 11111522304 136797 33554432000 4194304 4196468 140731182123408 140440358869104 140440899377794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25933] ppid=25871 vsize=10851096 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25933/stat : 25933 (java) S 25871 25874 23401 0 -1 1077944384 15 13077 0 0 0 0 4 3 20 0 15 0 473600541 11111522304 136797 33554432000 4194304 4196468 140731182123408 140439807058848 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25934] ppid=25871 vsize=10851096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25934/stat : 25934 (java) S 25871 25874 23401 0 -1 1077944384 45 13077 0 0 0 0 4 3 20 0 15 0 473600541 11111522304 136797 33554432000 4194304 4196468 140731182123408 140439773500544 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25935] ppid=25871 vsize=10851096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25935/stat : 25935 (java) S 25871 25874 23401 0 -1 1077944384 2 13077 0 0 0 0 4 3 20 0 15 0 473600544 11111522304 136797 33554432000 4194304 4196468 140731182123408 140439659210832 140440899385243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25936] ppid=25871 vsize=10851096 memory=0 CPUtime=3.62 cores=1,3,5,7
/proc/25874/task/25936/stat : 25936 (java) S 25871 25874 23401 0 -1 1077944384 5509 13077 0 0 354 1 4 3 20 0 15 0 473600544 11111522304 136797 33554432000 4194304 4196468 140731182123408 140440357816944 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25937] ppid=25871 vsize=10851096 memory=0 CPUtime=3.5 cores=1,3,5,7
/proc/25874/task/25937/stat : 25937 (java) S 25871 25874 23401 0 -1 1077944384 9260 13077 0 0 341 2 4 3 20 0 15 0 473600544 11111522304 136797 33554432000 4194304 4196468 140731182123408 140440356764144 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25938] ppid=25871 vsize=10851096 memory=3472328296227717681 CPUtime=2.17 cores=1,3,5,7
/proc/25874/task/25938/stat : 25938 (java) S 25871 25874 23401 0 -1 1077944384 9254 13077 0 0 206 4 4 3 20 0 15 0 473600544 11111522304 136797 33554432000 4194304 4196468 140731182123408 140440355711856 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25939] ppid=25871 vsize=10851096 memory=113303988734698 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25939/stat : 25939 (java) S 25871 25874 23401 0 -1 1077944384 3 13077 0 0 0 0 4 3 20 0 15 0 473600544 11111522304 136797 33554432000 4194304 4196468 140731182123408 140439189449696 140440899376853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
[pid=25874/tid=25940] ppid=25871 vsize=10851096 memory=11585122842 CPUtime=0.07 cores=1,3,5,7
/proc/25874/task/25940/stat : 25940 (java) S 25871 25874 23401 0 -1 1077944384 9 13077 0 0 0 0 4 3 20 0 15 0 473600544 11111522304 136797 33554432000 4194304 4196468 140731182123408 140440354658736 140440899377794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36917248 140731182131951 140731182134469 140731182134469 140731182137295 0
Current children cumulated CPU time: 17.52 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 547188 KiB

Child status: 0
Real time (s): 8.25541
CPU time (s): 17.5998
CPU user time (s): 17.2053
CPU system time (s): 0.394553
CPU usage (%): 213.192
Max. virtual memory (cumulated for all children) (KiB): 10851712
Max. memory (cumulated for all children) (KiB): 547188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.2053
system time used= 0.394553
maximum resident set size= 549248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70347
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= 8139
involuntary context switches= 74


# summary of solver processes directly reported to runsolver:
#   pid: 25874
#   total CPU time (s): 17.5998
#   total CPU user time (s): 17.2053
#   total CPU system time (s): 0.394553

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.078165 second user time and 0.121257 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-20 11:57:10
IDJOB=4403170
IDBENCH=126830
IDSOLVER=2862
FILE ID=node139/4403170-1568973309
RUNJOBID= node139-1568967758-23433
PBS_JOBID= 21704618
Free space on /tmp= 5052 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-6-5-30-1.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4403170-1568973309/watcher-4403170-1568973309 -o /tmp/evaluation-result-4403170-1568973309/solver-4403170-1568973309 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568967758-23433 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=1887088754 HOME/instance-4403170-1568973309.xml

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

MD5SUM BENCH= ef915df37055c75537688959881a75d3
RANDOM SEED=1887088754

node139.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.57
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.57
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.57
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.57
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:         5133956 kB
MemAvailable:   30839564 kB
Buffers:          125440 kB
Cached:         25401656 kB
SwapCached:        65316 kB
Active:         13722036 kB
Inactive:       12826408 kB
Active(anon):     959348 kB
Inactive(anon):   107800 kB
Active(file):   12762688 kB
Inactive(file): 12718608 kB
Unevictable:      108884 kB
Mlocked:          108884 kB
SwapTotal:      67108860 kB
SwapFree:       66938644 kB
Dirty:             35932 kB
Writeback:             0 kB
AnonPages:       1103432 kB
Mapped:            64552 kB
Shmem:             37048 kB
Slab:             682168 kB
SReclaimable:     652772 kB
SUnreclaim:        29396 kB
KernelStack:        4016 kB
PageTables:         7736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2219460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    909312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 5016 MiB
End job on node139 at 2019-09-20 11:57:19