Trace number 4296019

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.8-SuperNG 2018-06-13OPT0 9.65298 4.44757

General information on the benchmark

NameSteelMillSlab/
SteelMillSlab-m2-simple_c18.xml
MD5SUMea7dbfc1e7b5db2e963c0551f07c3a1e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.535446
Satisfiable
(Un)Satisfiability was proved
Number of variables160
Number of constraints233
Number of domains4
Minimum domain size2
Maximum domain size19
Distribution of domain sizes[{"size":2,"count":130},{"size":5,"count":10},{"size":10,"count":10},{"size":19,"count":10}]
Minimum variable degree2
Maximum variable degree21
Distribution of variable degrees[{"degree":2,"count":110},{"degree":3,"count":10},{"degree":4,"count":20},{"degree":6,"count":10},{"degree":20,"count":8},{"degree":21,"count":2}]
Minimum constraint arity2
Maximum constraint arity11
Distribution of constraint arities[{"arity":2,"count":211},{"arity":3,"count":10},{"arity":10,"count":2},{"arity":11,"count":10}]
Number of extensional constraints10
Number of intensional constraints201
Distribution of constraint types[{"type":"extension","count":10},{"type":"intension","count":201},{"type":"ordered","count":1},{"type":"sum","count":21}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.98/0.74	c Concrete v3.8.1528841891564 running
9.54/4.40	o 0
9.54/4.42	v <instantiation cost="0">
9.54/4.42	v       <list>
9.54/4.42	v         slab[0] slab[1] slab[2] slab[3] slab[4] slab[5] slab[6] slab[7] slab[8] slab[9] load[0] load[1] load[2] load[3] load[4] load[5] load[6] load[7] load[8] load[9] loss[0] loss[1] loss[2] loss[3] loss[4] loss[5] loss[6] loss[7] loss[8] loss[9] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] z[0][0] z[0][1] z[0][2] z[1][0] z[1][1] z[1][2] z[2][0] z[2][1] z[2][2] z[3][0] z[3][1] z[3][2] z[4][0] z[4][1] z[4][2] z[5][0] z[5][1] z[5][2] z[6][0] z[6][1] z[6][2] z[7][0] z[7][1] z[7][2] z[8][0] z[8][1] z[8][2] z[9][0] z[9][1] z[9][2]
9.54/4.42	v       </list>
9.54/4.42	v       <values>
9.54/4.42	v         3 3 4 1 2 0 3 5 4 5 11 9 9 7 7 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0
9.54/4.42	v       </values>
9.54/4.42	v     </instantiation>
9.54/4.42	s OPTIMUM FOUND

Verifier Data 

OK	0

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296019-1532607016/watcher-4296019-1532607016 -o /tmp/evaluation-result-4296019-1532607016/solver-4296019-1532607016 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532594593-7268 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1376096206 -superng HOME/instance-4296019-1532607016.xml 

running on 4 cores: 0,2,4,6

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=9388, runsolver pid=9385

[startup+0.100089 s]*
/proc/loadavg: 1.71 1.61 1.61 3/207 9445
/proc/meminfo: memFree=22293092/32770624 swapFree=67076992/67108860
[pid=9388] ppid=9385 vsize=9972712 memory=18064 CPUtime=0.08 cores=0,2,4,6
/proc/9388/stat : 9388 (java) S 9385 9388 5667 0 -1 1077944320 4185 13043 0 0 1 0 4 3 20 0 6 0 78264789 10212057088 4516 33554432000 4194304 4196468 140729173855040 140729173837584 140378903375607 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
/proc/9388/statm: 2493178 4516 1895 1 0 2481616 0
[pid=9388/tid=9441] ppid=9385 vsize=9972712 memory=-8602563327500271555 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9441/stat : 9441 (java) R 9385 9388 5667 0 -1 4202560 2007 13043 0 0 0 0 4 3 20 0 6 0 78264799 10212057088 4582 33554432000 4194304 4196468 140729173855040 140378875212368 140378886574425 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9442] ppid=9385 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9442/stat : 9442 (java) S 9385 9388 5667 0 -1 1077944384 1 13043 0 0 0 0 4 3 20 0 6 0 78264799 10212057088 4582 33554432000 4194304 4196468 140729173855040 140378907617936 140378903385813 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9443] ppid=9385 vsize=9972712 memory=140446273767040 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9443/stat : 9443 (java) S 9385 9388 5667 0 -1 1077944384 1 13043 0 0 0 0 4 3 20 0 6 0 78264799 10212057088 4582 33554432000 4194304 4196468 140729173855040 140378795891216 140378903385813 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9444] ppid=9385 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9444/stat : 9444 (java) S 9385 9388 5667 0 -1 1077944384 1 13043 0 0 0 0 4 3 20 0 6 0 78264799 10212057088 4582 33554432000 4194304 4196468 140729173855040 140378794838416 140378903385813 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9445] ppid=9385 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9445/stat : 9445 (java) S 9385 9388 5667 0 -1 1077944384 2 13043 0 0 0 0 4 3 20 0 6 0 78264799 10212057088 4582 33554432000 4194304 4196468 140729173855040 140378793785616 140378903385813 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18064 KiB

[startup+0.21004 s]*
/proc/loadavg: 1.71 1.61 1.61 3/216 9454
/proc/meminfo: memFree=22268076/32770624 swapFree=67076992/67108860
[pid=9388] ppid=9385 vsize=10818904 memory=45640 CPUtime=0.25 cores=0,2,4,6
/proc/9388/stat : 9388 (java) S 9385 9388 5667 0 -1 1077944320 7647 13043 0 0 16 2 4 3 20 0 15 0 78264789 11078557696 11410 33554432000 4194304 4196468 140729173855040 140729173837584 140378903375607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
/proc/9388/statm: 2704726 11410 2930 1 0 2667149 0
[pid=9388/tid=9441] ppid=9385 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/9388/task/9441/stat : 9441 (java) R 9385 9388 5667 0 -1 4202560 4436 13043 0 0 10 1 4 3 20 0 15 0 78264799 11078557696 11542 33554432000 4194304 4196468 140729173855040 140378875188616 140378887456094 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9442] ppid=9385 vsize=10818904 memory=342 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9442/stat : 9442 (java) S 9385 9388 5667 0 -1 1077944384 1 13043 0 0 0 0 4 3 20 0 15 0 78264799 11078557696 11542 33554432000 4194304 4196468 140729173855040 140378907617936 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9443] ppid=9385 vsize=10818904 memory=140446273776682 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9443/stat : 9443 (java) S 9385 9388 5667 0 -1 1077944384 1 13043 0 0 0 0 4 3 20 0 15 0 78264799 11078557696 11542 33554432000 4194304 4196468 140729173855040 140378795891216 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9444] ppid=9385 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9444/stat : 9444 (java) S 9385 9388 5667 0 -1 1077944384 1 13043 0 0 0 0 4 3 20 0 15 0 78264799 11078557696 11542 33554432000 4194304 4196468 140729173855040 140378794838416 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9445] ppid=9385 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9445/stat : 9445 (java) S 9385 9388 5667 0 -1 1077944384 2 13043 0 0 0 0 4 3 20 0 15 0 78264799 11078557696 11542 33554432000 4194304 4196468 140729173855040 140378793785616 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9446] ppid=9385 vsize=10818904 memory=140446273767040 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9446/stat : 9446 (java) S 9385 9388 5667 0 -1 1077944384 2 13043 0 0 0 0 4 3 20 0 15 0 78264801 11078557696 11542 33554432000 4194304 4196468 140729173855040 140378362702704 140378903386754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9447] ppid=9385 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9447/stat : 9447 (java) S 9385 9388 5667 0 -1 1077944384 33 13043 0 0 0 0 4 3 20 0 15 0 78264801 11078557696 11542 33554432000 4194304 4196468 140729173855040 140378361648672 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9448] ppid=9385 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9448/stat : 9448 (java) S 9385 9388 5667 0 -1 1077944384 1 13043 0 0 0 0 4 3 20 0 15 0 78264802 11078557696 11542 33554432000 4194304 4196468 140729173855040 140378254599536 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9449] ppid=9385 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9449/stat : 9449 (java) S 9385 9388 5667 0 -1 1077944384 2 13043 0 0 0 0 4 3 20 0 15 0 78264804 11078557696 11542 33554432000 4194304 4196468 140729173855040 140377650620752 140378903394203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9450] ppid=9385 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9388/task/9450/stat : 9450 (java) R 9385 9388 5667 0 -1 1077944384 519 13043 0 0 1 0 4 3 20 0 15 0 78264804 11078557696 11542 33554432000 4194304 4196468 140729173855040 140378328090992 140378903386754 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9451] ppid=9385 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9451/stat : 9451 (java) R 9385 9388 5667 0 -1 1077944384 53 13043 0 0 0 0 4 3 20 0 15 0 78264804 11078557696 11542 33554432000 4194304 4196468 140729173855040 140378327038192 140378903386754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9452] ppid=9385 vsize=10818904 memory=140446273767040 CPUtime=0.1 cores=0,2,4,6
/proc/9388/task/9452/stat : 9452 (java) R 9385 9388 5667 0 -1 4202560 561 13043 0 0 3 0 4 3 20 0 15 0 78264804 11078557696 11542 33554432000 4194304 4196468 140729173855040 140378325985392 140378903386754 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9453] ppid=9385 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9453/stat : 9453 (java) S 9385 9388 5667 0 -1 1077944384 3 13043 0 0 0 0 4 3 20 0 15 0 78264805 11078557696 11542 33554432000 4194304 4196468 140729173855040 140377180858592 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9454] ppid=9385 vsize=10818904 memory=140446273767040 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9454/stat : 9454 (java) S 9385 9388 5667 0 -1 1077944384 1 13043 0 0 0 0 4 3 20 0 15 0 78264805 11078557696 11542 33554432000 4194304 4196468 140729173855040 140378324933808 140378903386754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 45640 KiB

[startup+0.310326 s]*
/proc/loadavg: 1.71 1.61 1.61 3/216 9454
/proc/meminfo: memFree=22256788/32770624 swapFree=67076992/67108860
[pid=9388] ppid=9385 vsize=10819352 memory=56800 CPUtime=0.37 cores=0,2,4,6
/proc/9388/stat : 9388 (java) S 9385 9388 5667 0 -1 1077944320 10299 13043 0 0 27 3 4 3 20 0 15 0 78264789 11079016448 14200 33554432000 4194304 4196468 140729173855040 140729173837584 140378903375607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
/proc/9388/statm: 2704838 14200 3049 1 0 2667149 0
[pid=9388/tid=9441] ppid=9385 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/9388/task/9441/stat : 9441 (java) R 9385 9388 5667 0 -1 4202560 6922 13043 0 0 19 2 4 3 20 0 15 0 78264799 11079016448 14200 33554432000 4194304 4196468 140729173855040 140378875187616 140378884939163 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9442] ppid=9385 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9442/stat : 9442 (java) S 9385 9388 5667 0 -1 1077944384 1 13043 0 0 0 0 4 3 20 0 15 0 78264799 11079016448 14200 33554432000 4194304 4196468 140729173855040 140378907617936 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9443] ppid=9385 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9443/stat : 9443 (java) S 9385 9388 5667 0 -1 1077944384 1 13043 0 0 0 0 4 3 20 0 15 0 78264799 11079016448 14200 33554432000 4194304 4196468 140729173855040 140378795891216 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9444] ppid=9385 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9444/stat : 9444 (java) S 9385 9388 5667 0 -1 1077944384 1 13043 0 0 0 0 4 3 20 0 15 0 78264799 11079016448 14200 33554432000 4194304 4196468 140729173855040 140378794838416 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9445] ppid=9385 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9445/stat : 9445 (java) S 9385 9388 5667 0 -1 1077944384 2 13043 0 0 0 0 4 3 20 0 15 0 78264799 11079016448 14200 33554432000 4194304 4196468 140729173855040 140378793785616 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9446] ppid=9385 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9446/stat : 9446 (java) S 9385 9388 5667 0 -1 1077944384 2 13043 0 0 0 0 4 3 20 0 15 0 78264801 11079016448 14200 33554432000 4194304 4196468 140729173855040 140378362702704 140378903386754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9447] ppid=9385 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9447/stat : 9447 (java) S 9385 9388 5667 0 -1 1077944384 33 13043 0 0 0 0 4 3 20 0 15 0 78264801 11079016448 14200 33554432000 4194304 4196468 140729173855040 140378361648672 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9448] ppid=9385 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9448/stat : 9448 (java) S 9385 9388 5667 0 -1 1077944384 1 13043 0 0 0 0 4 3 20 0 15 0 78264802 11079016448 14200 33554432000 4194304 4196468 140729173855040 140378254599536 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9449] ppid=9385 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9449/stat : 9449 (java) S 9385 9388 5667 0 -1 1077944384 2 13043 0 0 0 0 4 3 20 0 15 0 78264804 11079016448 14200 33554432000 4194304 4196468 140729173855040 140377650620752 140378903394203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9450] ppid=9385 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9388/task/9450/stat : 9450 (java) S 9385 9388 5667 0 -1 1077944384 520 13043 0 0 2 0 4 3 20 0 15 0 78264804 11079016448 14200 33554432000 4194304 4196468 140729173855040 140378328090992 140378903386754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9451] ppid=9385 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9388/task/9451/stat : 9451 (java) S 9385 9388 5667 0 -1 1077944384 53 13043 0 0 1 0 4 3 20 0 15 0 78264804 11079016448 14200 33554432000 4194304 4196468 140729173855040 140378327038192 140378903386754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9452] ppid=9385 vsize=10819352 memory=140446273767040 CPUtime=0.11 cores=0,2,4,6
/proc/9388/task/9452/stat : 9452 (java) S 9385 9388 5667 0 -1 1077944384 570 13043 0 0 4 0 4 3 20 0 15 0 78264804 11079016448 14200 33554432000 4194304 4196468 140729173855040 140378325985392 140378903386754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9453] ppid=9385 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9453/stat : 9453 (java) S 9385 9388 5667 0 -1 1077944384 3 13043 0 0 0 0 4 3 20 0 15 0 78264805 11079016448 14200 33554432000 4194304 4196468 140729173855040 140377180858592 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9454] ppid=9385 vsize=10819352 memory=140446273767040 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9454/stat : 9454 (java) S 9385 9388 5667 0 -1 1077944384 1 13043 0 0 0 0 4 3 20 0 15 0 78264805 11079016448 14200 33554432000 4194304 4196468 140729173855040 140378324933808 140378903386754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 56800 KiB

[startup+0.700724 s]
/proc/loadavg: 1.71 1.61 1.61 4/216 9454
/proc/meminfo: memFree=22245820/32770624 swapFree=67076992/67108860
[pid=9388] ppid=9385 vsize=10819352 memory=88752 CPUtime=0.98 cores=0,2,4,6
/proc/9388/stat : 9388 (java) S 9385 9388 5667 0 -1 1077944320 16377 13043 0 0 86 5 4 3 20 0 15 0 78264789 11079016448 22188 33554432000 4194304 4196468 140729173855040 140729173837584 140378903375607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
/proc/9388/statm: 2704838 22188 3238 1 0 2667149 0
[pid=9388/tid=9441] ppid=9385 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/9388/task/9441/stat : 9441 (java) R 9385 9388 5667 0 -1 4202560 11951 13043 0 0 55 3 4 3 20 0 15 0 78264799 11079016448 22188 33554432000 4194304 4196468 140729173855040 140378875195896 140378884940294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9442] ppid=9385 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9442/stat : 9442 (java) S 9385 9388 5667 0 -1 1077944384 1 13043 0 0 0 0 4 3 20 0 15 0 78264799 11079016448 22188 33554432000 4194304 4196468 140729173855040 140378907617936 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9443] ppid=9385 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9443/stat : 9443 (java) S 9385 9388 5667 0 -1 1077944384 1 13043 0 0 0 0 4 3 20 0 15 0 78264799 11079016448 22188 33554432000 4194304 4196468 140729173855040 140378795891216 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9444] ppid=9385 vsize=10819352 memory=140446168920848 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9444/stat : 9444 (java) S 9385 9388 5667 0 -1 1077944384 1 13043 0 0 0 0 4 3 20 0 15 0 78264799 11079016448 22188 33554432000 4194304 4196468 140729173855040 140378794838416 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9445] ppid=9385 vsize=10819352 memory=140449725547081 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9445/stat : 9445 (java) S 9385 9388 5667 0 -1 1077944384 2 13043 0 0 0 0 4 3 20 0 15 0 78264799 11079016448 22188 33554432000 4194304 4196468 140729173855040 140378793785616 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9446] ppid=9385 vsize=10819352 memory=796 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9446/stat : 9446 (java) S 9385 9388 5667 0 -1 1077944384 5 13043 0 0 0 0 4 3 20 0 15 0 78264801 11079016448 22188 33554432000 4194304 4196468 140729173855040 140378362702704 140378903386754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9447] ppid=9385 vsize=10819352 memory=7014751519650764113 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9447/stat : 9447 (java) S 9385 9388 5667 0 -1 1077944384 33 13043 0 0 0 0 4 3 20 0 15 0 78264801 11079016448 22188 33554432000 4194304 4196468 140729173855040 140378361648672 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9448] ppid=9385 vsize=10819352 memory=7597123233646858610 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9448/stat : 9448 (java) S 9385 9388 5667 0 -1 1077944384 1 13043 0 0 0 0 4 3 20 0 15 0 78264802 11079016448 22188 33554432000 4194304 4196468 140729173855040 140378254599536 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9449] ppid=9385 vsize=10819352 memory=3604 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9449/stat : 9449 (java) S 9385 9388 5667 0 -1 1077944384 2 13043 0 0 0 0 4 3 20 0 15 0 78264804 11079016448 22188 33554432000 4194304 4196468 140729173855040 140377650620752 140378903394203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9450] ppid=9385 vsize=10819352 memory=10868 CPUtime=0.17 cores=0,2,4,6
/proc/9388/task/9450/stat : 9450 (java) S 9385 9388 5667 0 -1 1077944384 1177 13043 0 0 10 0 4 3 20 0 15 0 78264804 11079016448 22188 33554432000 4194304 4196468 140729173855040 140378328090992 140378903386754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9451] ppid=9385 vsize=10819352 memory=15128 CPUtime=0.13 cores=0,2,4,6
/proc/9388/task/9451/stat : 9451 (java) S 9385 9388 5667 0 -1 1077944384 394 13043 0 0 6 0 4 3 20 0 15 0 78264804 11079016448 22188 33554432000 4194304 4196468 140729173855040 140378327038192 140378903386754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9452] ppid=9385 vsize=10819352 memory=640 CPUtime=0.19 cores=0,2,4,6
/proc/9388/task/9452/stat : 9452 (java) S 9385 9388 5667 0 -1 1077944384 618 13043 0 0 12 0 4 3 20 0 15 0 78264804 11079016448 22188 33554432000 4194304 4196468 140729173855040 140378325985392 140378903386754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9453] ppid=9385 vsize=10819352 memory=1760 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9453/stat : 9453 (java) S 9385 9388 5667 0 -1 1077944384 3 13043 0 0 0 0 4 3 20 0 15 0 78264805 11079016448 22188 33554432000 4194304 4196468 140729173855040 140377180858592 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9454] ppid=9385 vsize=10819352 memory=960 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9454/stat : 9454 (java) S 9385 9388 5667 0 -1 1077944384 1 13043 0 0 0 0 4 3 20 0 15 0 78264805 11079016448 22188 33554432000 4194304 4196468 140729173855040 140378324933808 140378903386754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88752 KiB

[startup+1.50075 s]
/proc/loadavg: 1.71 1.61 1.61 3/216 9454
/proc/meminfo: memFree=22200360/32770624 swapFree=67076992/67108860
[pid=9388] ppid=9385 vsize=10834252 memory=179536 CPUtime=2.31 cores=0,2,4,6
/proc/9388/stat : 9388 (java) S 9385 9388 5667 0 -1 1077944320 24662 13043 0 0 214 10 4 3 20 0 15 0 78264789 11094274048 44884 33554432000 4194304 4196468 140729173855040 140729173837584 140378903375607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
/proc/9388/statm: 2708563 44884 3470 1 0 2670221 0
[pid=9388/tid=9441] ppid=9385 vsize=10834252 memory=65932 CPUtime=1.42 cores=0,2,4,6
/proc/9388/task/9441/stat : 9441 (java) R 9385 9388 5667 0 -1 4202560 17600 13043 0 0 129 6 4 3 20 0 15 0 78264799 11094274048 44884 33554432000 4194304 4196468 140729173855040 140378875205264 140378883592135 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9442] ppid=9385 vsize=10834252 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/9388/task/9442/stat : 9442 (java) S 9385 9388 5667 0 -1 1077944384 15 13043 0 0 1 0 4 3 20 0 15 0 78264799 11094274048 44884 33554432000 4194304 4196468 140729173855040 140378907617936 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9443] ppid=9385 vsize=10834252 memory=280892337873056 CPUtime=0.08 cores=0,2,4,6
/proc/9388/task/9443/stat : 9443 (java) S 9385 9388 5667 0 -1 1077944384 62 13043 0 0 1 0 4 3 20 0 15 0 78264799 11094274048 44884 33554432000 4194304 4196468 140729173855040 140378795891216 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9444] ppid=9385 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9388/task/9444/stat : 9444 (java) S 9385 9388 5667 0 -1 1077944384 176 13043 0 0 1 0 4 3 20 0 15 0 78264799 11094274048 44884 33554432000 4194304 4196468 140729173855040 140378794838416 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9445] ppid=9385 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9388/task/9445/stat : 9445 (java) S 9385 9388 5667 0 -1 1077944384 38 13043 0 0 1 0 4 3 20 0 15 0 78264799 11094274048 44884 33554432000 4194304 4196468 140729173855040 140378793785616 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9446] ppid=9385 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9388/task/9446/stat : 9446 (java) S 9385 9388 5667 0 -1 1077944384 876 13043 0 0 1 0 4 3 20 0 15 0 78264801 11094274048 44884 33554432000 4194304 4196468 140729173855040 140378362702704 140378903386754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9447] ppid=9385 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9447/stat : 9447 (java) S 9385 9388 5667 0 -1 1077944384 34 13043 0 0 0 0 4 3 20 0 15 0 78264801 11094274048 44884 33554432000 4194304 4196468 140729173855040 140378361648736 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9448] ppid=9385 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9448/stat : 9448 (java) S 9385 9388 5667 0 -1 1077944384 1 13043 0 0 0 0 4 3 20 0 15 0 78264802 11094274048 44884 33554432000 4194304 4196468 140729173855040 140378254599536 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9449] ppid=9385 vsize=10834252 memory=-2746958450906831424 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9449/stat : 9449 (java) S 9385 9388 5667 0 -1 1077944384 2 13043 0 0 0 0 4 3 20 0 15 0 78264804 11094274048 44884 33554432000 4194304 4196468 140729173855040 140377650620752 140378903394203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9450] ppid=9385 vsize=10834252 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/9388/task/9450/stat : 9450 (java) S 9385 9388 5667 0 -1 1077944384 1373 13043 0 0 22 0 4 3 20 0 15 0 78264804 11094274048 44884 33554432000 4194304 4196468 140729173855040 140378328090992 140378903386754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9451] ppid=9385 vsize=10834252 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/9388/task/9451/stat : 9451 (java) S 9385 9388 5667 0 -1 1077944384 902 13043 0 0 19 0 4 3 20 0 15 0 78264804 11094274048 44884 33554432000 4194304 4196468 140729173855040 140378327038192 140378903386754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9452] ppid=9385 vsize=10834252 memory=8112282956445269571 CPUtime=0.42 cores=0,2,4,6
/proc/9388/task/9452/stat : 9452 (java) R 9385 9388 5667 0 -1 4202560 1390 13043 0 0 35 0 4 3 20 0 15 0 78264804 11094274048 44884 33554432000 4194304 4196468 140729173855040 140378325985392 140378882333864 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9453] ppid=9385 vsize=10834252 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9453/stat : 9453 (java) S 9385 9388 5667 0 -1 1077944384 3 13043 0 0 0 0 4 3 20 0 15 0 78264805 11094274048 44884 33554432000 4194304 4196468 140729173855040 140377180858592 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9454] ppid=9385 vsize=10834252 memory=280892338117504 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9454/stat : 9454 (java) S 9385 9388 5667 0 -1 1077944384 3 13043 0 0 0 0 4 3 20 0 15 0 78264805 11094274048 44884 33554432000 4194304 4196468 140729173855040 140378324933808 140378903386754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 10834252 KiB

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

[startup+3.11007 s]
/proc/loadavg: 1.71 1.61 1.61 3/216 9454
/proc/meminfo: memFree=22067364/32770624 swapFree=67076992/67108860
[pid=9388] ppid=9385 vsize=10844512 memory=253652 CPUtime=5.94 cores=0,2,4,6
/proc/9388/stat : 9388 (java) S 9385 9388 5667 0 -1 1077944320 49113 13043 0 0 571 16 4 3 20 0 15 0 78264789 11104780288 63413 33554432000 4194304 4196468 140729173855040 140729173837584 140378903375607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
/proc/9388/statm: 2711128 63413 3495 1 0 2672781 0
[pid=9388/tid=9441] ppid=9385 vsize=10844512 memory=7 CPUtime=3.02 cores=0,2,4,6
/proc/9388/task/9441/stat : 9441 (java) R 9385 9388 5667 0 -1 4202560 32743 13043 0 0 286 9 4 3 20 0 15 0 78264799 11104780288 63413 33554432000 4194304 4196468 140729173855040 140378875196320 140378889066289 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9442] ppid=9385 vsize=10844512 memory=217460 CPUtime=0.08 cores=0,2,4,6
/proc/9388/task/9442/stat : 9442 (java) S 9385 9388 5667 0 -1 1077944384 15 13043 0 0 1 0 4 3 20 0 15 0 78264799 11104780288 63413 33554432000 4194304 4196468 140729173855040 140378907617936 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9443] ppid=9385 vsize=10844512 memory=3544 CPUtime=0.08 cores=0,2,4,6
/proc/9388/task/9443/stat : 9443 (java) S 9385 9388 5667 0 -1 1077944384 62 13043 0 0 1 0 4 3 20 0 15 0 78264799 11104780288 63413 33554432000 4194304 4196468 140729173855040 140378795891216 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9444] ppid=9385 vsize=10844512 memory=20484 CPUtime=0.08 cores=0,2,4,6
/proc/9388/task/9444/stat : 9444 (java) S 9385 9388 5667 0 -1 1077944384 176 13043 0 0 1 0 4 3 20 0 15 0 78264799 11104780288 63413 33554432000 4194304 4196468 140729173855040 140378794838416 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9445] ppid=9385 vsize=10844512 memory=776 CPUtime=0.08 cores=0,2,4,6
/proc/9388/task/9445/stat : 9445 (java) S 9385 9388 5667 0 -1 1077944384 38 13043 0 0 1 0 4 3 20 0 15 0 78264799 11104780288 63413 33554432000 4194304 4196468 140729173855040 140378793785616 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9446] ppid=9385 vsize=10844512 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9388/task/9446/stat : 9446 (java) S 9385 9388 5667 0 -1 1077944384 1029 13043 0 0 1 0 4 3 20 0 15 0 78264801 11104780288 63413 33554432000 4194304 4196468 140729173855040 140378362702704 140378903386754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9447] ppid=9385 vsize=10844512 memory=-3472574513799858009 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9447/stat : 9447 (java) S 9385 9388 5667 0 -1 1077944384 34 13043 0 0 0 0 4 3 20 0 15 0 78264801 11104780288 63413 33554432000 4194304 4196468 140729173855040 140378361648736 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9448] ppid=9385 vsize=10844512 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9448/stat : 9448 (java) S 9385 9388 5667 0 -1 1077944384 1 13043 0 0 0 0 4 3 20 0 15 0 78264802 11104780288 63413 33554432000 4194304 4196468 140729173855040 140378254599536 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9449] ppid=9385 vsize=10844512 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9449/stat : 9449 (java) S 9385 9388 5667 0 -1 1077944384 2 13043 0 0 0 0 4 3 20 0 15 0 78264804 11104780288 63413 33554432000 4194304 4196468 140729173855040 140377650620752 140378903394203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9450] ppid=9385 vsize=10844512 memory=0 CPUtime=1.06 cores=0,2,4,6
/proc/9388/task/9450/stat : 9450 (java) S 9385 9388 5667 0 -1 1077944384 5346 13043 0 0 98 1 4 3 20 0 15 0 78264804 11104780288 63413 33554432000 4194304 4196468 140729173855040 140378328090992 140378903386754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9451] ppid=9385 vsize=10844512 memory=3467965074048636992 CPUtime=0.75 cores=0,2,4,6
/proc/9388/task/9451/stat : 9451 (java) S 9385 9388 5667 0 -1 1077944384 1871 13043 0 0 67 1 4 3 20 0 15 0 78264804 11104780288 63413 33554432000 4194304 4196468 140729173855040 140378327038192 140378903386754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9452] ppid=9385 vsize=10844512 memory=55 CPUtime=1.21 cores=0,2,4,6
/proc/9388/task/9452/stat : 9452 (java) S 9385 9388 5667 0 -1 1077944384 5598 13043 0 0 112 2 4 3 20 0 15 0 78264804 11104780288 63413 33554432000 4194304 4196468 140729173855040 140378325985392 140378903386754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9453] ppid=9385 vsize=10844512 memory=3470692292451393600 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9453/stat : 9453 (java) S 9385 9388 5667 0 -1 1077944384 3 13043 0 0 0 0 4 3 20 0 15 0 78264805 11104780288 63413 33554432000 4194304 4196468 140729173855040 140377180858592 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9454] ppid=9385 vsize=10844512 memory=6935649255759568960 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9454/stat : 9454 (java) S 9385 9388 5667 0 -1 1077944384 8 13043 0 0 0 0 4 3 20 0 15 0 78264805 11104780288 63413 33554432000 4194304 4196468 140729173855040 140378324933808 140378903386754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
Current children cumulated CPU time: 5.94 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 253652 KiB

[startup+4.44752 s]
# the end of solver process 9388 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=9.3767 s, system=0.276286 s

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

[startup+3.20084 s]
/proc/loadavg: 1.71 1.61 1.61 3/216 9454
/proc/meminfo: memFree=22067364/32770624 swapFree=67076992/67108860
[pid=9388] ppid=9385 vsize=10844512 memory=273884 CPUtime=6.14 cores=0,2,4,6
/proc/9388/stat : 9388 (java) S 9385 9388 5667 0 -1 1077944320 50485 13043 0 0 590 17 4 3 20 0 15 0 78264789 11104780288 68471 33554432000 4194304 4196468 140729173855040 140729173837584 140378903375607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
/proc/9388/statm: 2711128 68471 3511 1 0 2672781 0
[pid=9388/tid=9441] ppid=9385 vsize=10844512 memory=6525018278055845907 CPUtime=3.07 cores=0,2,4,6
/proc/9388/task/9441/stat : 9441 (java) R 9385 9388 5667 0 -1 4202560 32877 13043 0 0 291 9 4 3 20 0 15 0 78264799 11104780288 68471 33554432000 4194304 4196468 140729173855040 140378875206608 140378903387542 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9442] ppid=9385 vsize=10844512 memory=6935649255759570496 CPUtime=0.1 cores=0,2,4,6
/proc/9388/task/9442/stat : 9442 (java) S 9385 9388 5667 0 -1 1077944384 70 13043 0 0 3 0 4 3 20 0 15 0 78264799 11104780288 68471 33554432000 4194304 4196468 140729173855040 140378907617936 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9443] ppid=9385 vsize=10844512 memory=734122130331934768 CPUtime=0.1 cores=0,2,4,6
/proc/9388/task/9443/stat : 9443 (java) S 9385 9388 5667 0 -1 1077944384 82 13043 0 0 3 0 4 3 20 0 15 0 78264799 11104780288 68471 33554432000 4194304 4196468 140729173855040 140378795891216 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9444] ppid=9385 vsize=10844512 memory=7444843076533644388 CPUtime=0.1 cores=0,2,4,6
/proc/9388/task/9444/stat : 9444 (java) S 9385 9388 5667 0 -1 1077944384 216 13043 0 0 3 0 4 3 20 0 15 0 78264799 11104780288 68471 33554432000 4194304 4196468 140729173855040 140378794838416 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9445] ppid=9385 vsize=10844512 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/9388/task/9445/stat : 9445 (java) S 9385 9388 5667 0 -1 1077944384 73 13043 0 0 3 0 4 3 20 0 15 0 78264799 11104780288 68471 33554432000 4194304 4196468 140729173855040 140378793785616 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9446] ppid=9385 vsize=10844512 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/9388/task/9446/stat : 9446 (java) S 9385 9388 5667 0 -1 1077944384 2046 13043 0 0 3 0 4 3 20 0 15 0 78264801 11104780288 68471 33554432000 4194304 4196468 140729173855040 140378362702704 140378903386754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9447] ppid=9385 vsize=10844512 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9447/stat : 9447 (java) S 9385 9388 5667 0 -1 1077944384 37 13043 0 0 0 0 4 3 20 0 15 0 78264801 11104780288 68471 33554432000 4194304 4196468 140729173855040 140378361648736 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9448] ppid=9385 vsize=10844512 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9448/stat : 9448 (java) S 9385 9388 5667 0 -1 1077944384 1 13043 0 0 0 0 4 3 20 0 15 0 78264802 11104780288 68471 33554432000 4194304 4196468 140729173855040 140378254599552 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9449] ppid=9385 vsize=10844512 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9449/stat : 9449 (java) S 9385 9388 5667 0 -1 1077944384 2 13043 0 0 0 0 4 3 20 0 15 0 78264804 11104780288 68471 33554432000 4194304 4196468 140729173855040 140377650620752 140378903394203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9450] ppid=9385 vsize=10844512 memory=0 CPUtime=1.06 cores=0,2,4,6
/proc/9388/task/9450/stat : 9450 (java) R 9385 9388 5667 0 -1 4202560 5353 13043 0 0 98 1 4 3 20 0 15 0 78264804 11104780288 68471 33554432000 4194304 4196468 140729173855040 140378328090992 140378896360649 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9451] ppid=9385 vsize=10844512 memory=0 CPUtime=0.75 cores=0,2,4,6
/proc/9388/task/9451/stat : 9451 (java) R 9385 9388 5667 0 -1 1077944384 1882 13043 0 0 67 1 4 3 20 0 15 0 78264804 11104780288 68471 33554432000 4194304 4196468 140729173855040 140378327038192 140378903386754 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9452] ppid=9385 vsize=10844512 memory=0 CPUtime=1.23 cores=0,2,4,6
/proc/9388/task/9452/stat : 9452 (java) R 9385 9388 5667 0 -1 4202560 5648 13043 0 0 114 2 4 3 20 0 15 0 78264804 11104780288 68471 33554432000 4194304 4196468 140729173855040 140378325985392 140378881744196 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9453] ppid=9385 vsize=10844512 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9453/stat : 9453 (java) S 9385 9388 5667 0 -1 1077944384 3 13043 0 0 0 0 4 3 20 0 15 0 78264805 11104780288 68471 33554432000 4194304 4196468 140729173855040 140377180858592 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9454] ppid=9385 vsize=10844512 memory=244 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9454/stat : 9454 (java) S 9385 9388 5667 0 -1 1077944384 8 13043 0 0 0 0 4 3 20 0 15 0 78264805 11104780288 68471 33554432000 4194304 4196468 140729173855040 140378324933808 140378903386754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
Current children cumulated CPU time: 6.14 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 273884 KiB

[startup+4.00062 s]*
/proc/loadavg: 1.81 1.63 1.61 6/216 9454
/proc/meminfo: memFree=21970500/32770624 swapFree=67076992/67108860
[pid=9388] ppid=9385 vsize=10918988 memory=331868 CPUtime=8.29 cores=0,2,4,6
/proc/9388/stat : 9388 (java) S 9385 9388 5667 0 -1 1077944320 66512 13043 0 0 802 20 4 3 20 0 15 0 78264789 11181043712 82967 33554432000 4194304 4196468 140729173855040 140729173837584 140378903375607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
/proc/9388/statm: 2729747 82967 3517 1 0 2691400 0
[pid=9388/tid=9441] ppid=9385 vsize=10918988 memory=8112282956445269571 CPUtime=3.87 cores=0,2,4,6
/proc/9388/task/9441/stat : 9441 (java) R 9385 9388 5667 0 -1 4202560 43813 13043 0 0 370 10 4 3 20 0 15 0 78264799 11181043712 82967 33554432000 4194304 4196468 140729173855040 140378875189336 140378482559820 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9442] ppid=9385 vsize=10918988 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/9388/task/9442/stat : 9442 (java) S 9385 9388 5667 0 -1 1077944384 70 13043 0 0 3 0 4 3 20 0 15 0 78264799 11181043712 82967 33554432000 4194304 4196468 140729173855040 140378907617936 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9443] ppid=9385 vsize=10918988 memory=280892442734000 CPUtime=0.1 cores=0,2,4,6
/proc/9388/task/9443/stat : 9443 (java) S 9385 9388 5667 0 -1 1077944384 82 13043 0 0 3 0 4 3 20 0 15 0 78264799 11181043712 82967 33554432000 4194304 4196468 140729173855040 140378795891216 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9444] ppid=9385 vsize=10918988 memory=140446168966924 CPUtime=0.1 cores=0,2,4,6
/proc/9388/task/9444/stat : 9444 (java) S 9385 9388 5667 0 -1 1077944384 216 13043 0 0 3 0 4 3 20 0 15 0 78264799 11181043712 82967 33554432000 4194304 4196468 140729173855040 140378794838416 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9445] ppid=9385 vsize=10918988 memory=140446168969197 CPUtime=0.1 cores=0,2,4,6
/proc/9388/task/9445/stat : 9445 (java) S 9385 9388 5667 0 -1 1077944384 73 13043 0 0 3 0 4 3 20 0 15 0 78264799 11181043712 82967 33554432000 4194304 4196468 140729173855040 140378793785616 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9446] ppid=9385 vsize=10918988 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/9388/task/9446/stat : 9446 (java) S 9385 9388 5667 0 -1 1077944384 2046 13043 0 0 3 0 4 3 20 0 15 0 78264801 11181043712 82967 33554432000 4194304 4196468 140729173855040 140378362702704 140378903386754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9447] ppid=9385 vsize=10918988 memory=2240 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9447/stat : 9447 (java) S 9385 9388 5667 0 -1 1077944384 37 13043 0 0 0 0 4 3 20 0 15 0 78264801 11181043712 82967 33554432000 4194304 4196468 140729173855040 140378361648736 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9448] ppid=9385 vsize=10918988 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9448/stat : 9448 (java) S 9385 9388 5667 0 -1 1077944384 1 13043 0 0 0 0 4 3 20 0 15 0 78264802 11181043712 82967 33554432000 4194304 4196468 140729173855040 140378254599552 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9449] ppid=9385 vsize=10918988 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9449/stat : 9449 (java) S 9385 9388 5667 0 -1 1077944384 2 13043 0 0 0 0 4 3 20 0 15 0 78264804 11181043712 82967 33554432000 4194304 4196468 140729173855040 140377650620752 140378903394203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9450] ppid=9385 vsize=10918988 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/9388/task/9450/stat : 9450 (java) R 9385 9388 5667 0 -1 4202560 5583 13043 0 0 134 1 4 3 20 0 15 0 78264804 11181043712 82967 33554432000 4194304 4196468 140729173855040 140378328090992 140378882685580 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9451] ppid=9385 vsize=10918988 memory=10 CPUtime=1.42 cores=0,2,4,6
/proc/9388/task/9451/stat : 9451 (java) R 9385 9388 5667 0 -1 4202560 6070 13043 0 0 134 1 4 3 20 0 15 0 78264804 11181043712 82967 33554432000 4194304 4196468 140729173855040 140378327024352 140378886760400 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9452] ppid=9385 vsize=10918988 memory=140446350789499 CPUtime=1.54 cores=0,2,4,6
/proc/9388/task/9452/stat : 9452 (java) R 9385 9388 5667 0 -1 1077944384 6326 13043 0 0 144 3 4 3 20 0 15 0 78264804 11181043712 82967 33554432000 4194304 4196468 140729173855040 140378325985392 140378903386754 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9453] ppid=9385 vsize=10918988 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9453/stat : 9453 (java) S 9385 9388 5667 0 -1 1077944384 3 13043 0 0 0 0 4 3 20 0 15 0 78264805 11181043712 82967 33554432000 4194304 4196468 140729173855040 140377180858592 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9454] ppid=9385 vsize=10918988 memory=140446352020901 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9454/stat : 9454 (java) S 9385 9388 5667 0 -1 1077944384 8 13043 0 0 0 0 4 3 20 0 15 0 78264805 11181043712 82967 33554432000 4194304 4196468 140729173855040 140378324933808 140378903386754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
Current children cumulated CPU time: 8.29 s
Current children cumulated vsize: 10918988 KiB
Current children cumulated memory: 331868 KiB

[startup+4.40112 s]
/proc/loadavg: 1.81 1.63 1.61 6/216 9454
/proc/meminfo: memFree=21970500/32770624 swapFree=67076992/67108860
[pid=9388] ppid=9385 vsize=10916192 memory=333504 CPUtime=9.54 cores=0,2,4,6
/proc/9388/stat : 9388 (java) S 9385 9388 5667 0 -1 1077944320 69016 13043 0 0 925 22 4 3 20 0 15 0 78264789 11178180608 83376 33554432000 4194304 4196468 140729173855040 140729173837584 140378903375607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
/proc/9388/statm: 2729048 83376 3521 1 0 2690701 0
[pid=9388/tid=9441] ppid=9385 vsize=10916192 memory=8099279071866868837 CPUtime=4.26 cores=0,2,4,6
/proc/9388/task/9441/stat : 9441 (java) R 9385 9388 5667 0 -1 4202560 44217 13043 0 0 408 11 4 3 20 0 15 0 78264799 11178180608 83376 33554432000 4194304 4196468 140729173855040 140378875210776 140378472829685 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9442] ppid=9385 vsize=10916192 memory=6944652177228980320 CPUtime=0.1 cores=0,2,4,6
/proc/9388/task/9442/stat : 9442 (java) S 9385 9388 5667 0 -1 1077944384 70 13043 0 0 3 0 4 3 20 0 15 0 78264799 11178180608 83376 33554432000 4194304 4196468 140729173855040 140378907617936 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9443] ppid=9385 vsize=10916192 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/9388/task/9443/stat : 9443 (java) S 9385 9388 5667 0 -1 1077944384 82 13043 0 0 3 0 4 3 20 0 15 0 78264799 11178180608 83376 33554432000 4194304 4196468 140729173855040 140378795891216 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9444] ppid=9385 vsize=10916192 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/9388/task/9444/stat : 9444 (java) S 9385 9388 5667 0 -1 1077944384 216 13043 0 0 3 0 4 3 20 0 15 0 78264799 11178180608 83376 33554432000 4194304 4196468 140729173855040 140378794838416 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9445] ppid=9385 vsize=10916192 memory=576461251985632562 CPUtime=0.1 cores=0,2,4,6
/proc/9388/task/9445/stat : 9445 (java) S 9385 9388 5667 0 -1 1077944384 73 13043 0 0 3 0 4 3 20 0 15 0 78264799 11178180608 83376 33554432000 4194304 4196468 140729173855040 140378793785616 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9446] ppid=9385 vsize=10916192 memory=288291073518994255 CPUtime=0.1 cores=0,2,4,6
/proc/9388/task/9446/stat : 9446 (java) S 9385 9388 5667 0 -1 1077944384 2046 13043 0 0 3 0 4 3 20 0 15 0 78264801 11178180608 83376 33554432000 4194304 4196468 140729173855040 140378362702704 140378903386754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9447] ppid=9385 vsize=10916192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9447/stat : 9447 (java) S 9385 9388 5667 0 -1 1077944384 37 13043 0 0 0 0 4 3 20 0 15 0 78264801 11178180608 83376 33554432000 4194304 4196468 140729173855040 140378361648736 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9448] ppid=9385 vsize=10916192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9448/stat : 9448 (java) S 9385 9388 5667 0 -1 1077944384 1 13043 0 0 0 0 4 3 20 0 15 0 78264802 11178180608 83376 33554432000 4194304 4196468 140729173855040 140378254599552 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9449] ppid=9385 vsize=10916192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9449/stat : 9449 (java) S 9385 9388 5667 0 -1 1077944384 2 13043 0 0 0 0 4 3 20 0 15 0 78264804 11178180608 83376 33554432000 4194304 4196468 140729173855040 140377650620752 140378903394203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9450] ppid=9385 vsize=10916192 memory=-8970745359494625598 CPUtime=1.71 cores=0,2,4,6
/proc/9388/task/9450/stat : 9450 (java) R 9385 9388 5667 0 -1 4202560 5702 13043 0 0 162 2 4 3 20 0 15 0 78264804 11178180608 83376 33554432000 4194304 4196468 140729173855040 140378328078544 140378882614080 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9451] ppid=9385 vsize=10916192 memory=0 CPUtime=1.79 cores=0,2,4,6
/proc/9388/task/9451/stat : 9451 (java) R 9385 9388 5667 0 -1 4202560 7598 13043 0 0 170 2 4 3 20 0 15 0 78264804 11178180608 83376 33554432000 4194304 4196468 140729173855040 140378327028112 140378888257375 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9452] ppid=9385 vsize=10916192 memory=280892337993744 CPUtime=1.75 cores=0,2,4,6
/proc/9388/task/9452/stat : 9452 (java) R 9385 9388 5667 0 -1 4202560 6773 13043 0 0 165 3 4 3 20 0 15 0 78264804 11178180608 83376 33554432000 4194304 4196468 140729173855040 140378325985392 140378888541255 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9453] ppid=9385 vsize=10916192 memory=6872598998417432672 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9453/stat : 9453 (java) S 9385 9388 5667 0 -1 1077944384 3 13043 0 0 0 0 4 3 20 0 15 0 78264805 11178180608 83376 33554432000 4194304 4196468 140729173855040 140377180858592 140378903385813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
[pid=9388/tid=9454] ppid=9385 vsize=10916192 memory=6944652177228980320 CPUtime=0.07 cores=0,2,4,6
/proc/9388/task/9454/stat : 9454 (java) S 9385 9388 5667 0 -1 1077944384 9 13043 0 0 0 0 4 3 20 0 15 0 78264805 11178180608 83376 33554432000 4194304 4196468 140729173855040 140378324933808 140378903386754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18620416 140729173862571 140729173865820 140729173865820 140729173868495 0
Current children cumulated CPU time: 9.54 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 333504 KiB

Child status: 0
Real time (s): 4.44757
CPU time (s): 9.65298
CPU user time (s): 9.3767
CPU system time (s): 0.276286
CPU usage (%): 217.04
Max. virtual memory (cumulated for all children) (KiB): 10919048
Max. memory (cumulated for all children) (KiB): 334072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.3767
system time used= 0.276286
maximum resident set size= 335844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82164
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= 7402
involuntary context switches= 51


# summary of solver processes directly reported to runsolver:
#   pid: 9388
#   total CPU time (s): 9.65298
#   total CPU user time (s): 9.3767
#   total CPU system time (s): 0.276286

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045117 second user time and 0.087733 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-26 14:10:16
IDJOB=4296019
IDBENCH=141637
IDSOLVER=2751
FILE ID=node102/4296019-1532607016
RUNJOBID= node102-1532594593-7268
PBS_JOBID= 21021970
Free space on /tmp= 52720 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/SteelMillSlab/SteelMillSlab-m2-simple_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4296019-1532607016/watcher-4296019-1532607016 -o /tmp/evaluation-result-4296019-1532607016/solver-4296019-1532607016 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532594593-7268 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1376096206 -superng HOME/instance-4296019-1532607016.xml

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

MD5SUM BENCH= ea7dbfc1e7b5db2e963c0551f07c3a1e
RANDOM SEED=1376096206

node102.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.51
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.51
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.51
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.51
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:        22297960 kB
MemAvailable:   30043096 kB
Buffers:          190904 kB
Cached:          7790304 kB
SwapCached:         5304 kB
Active:          3270524 kB
Inactive:        6659924 kB
Active(anon):    1920436 kB
Inactive(anon):    53648 kB
Active(file):    1350088 kB
Inactive(file):  6606276 kB
Unevictable:        6616 kB
Mlocked:            6616 kB
SwapTotal:      67108860 kB
SwapFree:       67076992 kB
Dirty:             26368 kB
Writeback:             0 kB
AnonPages:       1951120 kB
Mapped:            46904 kB
Shmem:             21924 kB
Slab:             236768 kB
SReclaimable:     209212 kB
SUnreclaim:        27556 kB
KernelStack:        3504 kB
PageTables:         8984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3370204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1689600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52696 MiB
End job on node102 at 2018-07-26 14:10:21