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 (9416 MiB free)
memory of node 1: 16384 MiB (11363 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392071-1568313135/watcher-4392071-1568313135 -o /tmp/evaluation-result-4392071-1568313135/solver-4392071-1568313135 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568306047-10997 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1005408468 HOME/instance-4392071-1568313135.xml
running on 4 cores: 0,2,4,6
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=13729, runsolver pid=13726
Current StackSize limit: 8192 KiB
[startup+0.100169 s]*
/proc/loadavg: 2.08 1.61 1.48 3/219 13786
/proc/meminfo: memFree=21272120/32770624 swapFree=66939824/67108860
[pid=13729] ppid=13726 vsize=9972712 memory=18328 CPUtime=0.1 cores=0,2,4,6
/proc/13729/stat : 13729 (java) S 13726 13729 9865 0 -1 1077944320 4326 13316 0 0 1 1 5 3 20 0 6 0 407228436 10212057088 4582 33554432000 4194304 4196468 140723975545920 140723975528464 139749035773687 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
/proc/13729/statm: 2493178 4582 1931 1 0 2481616 0
[pid=13729/tid=13782] ppid=13726 vsize=9972712 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6
/proc/13729/task/13782/stat : 13782 (java) R 13726 13729 9865 0 -1 4202560 2124 13316 0 0 1 0 5 3 20 0 6 0 407228445 10212057088 4582 33554432000 4194304 4196468 140723975545920 139749007610448 139749028010814 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13783] ppid=13726 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13783/stat : 13783 (java) S 13726 13729 9865 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 6 0 407228446 10212057088 4582 33554432000 4194304 4196468 140723975545920 139749040016400 139749035783893 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13784] ppid=13726 vsize=9972712 memory=140527028229760 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13784/stat : 13784 (java) S 13726 13729 9865 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 6 0 407228446 10212057088 4582 33554432000 4194304 4196468 140723975545920 139748928289936 139749035783893 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13785] ppid=13726 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13785/stat : 13785 (java) S 13726 13729 9865 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 6 0 407228446 10212057088 4582 33554432000 4194304 4196468 140723975545920 139748927236880 139749035783893 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13786] ppid=13726 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13786/stat : 13786 (java) S 13726 13729 9865 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 6 0 407228446 10212057088 4582 33554432000 4194304 4196468 140723975545920 139748926184336 139749035783893 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB
[startup+0.210213 s]*
/proc/loadavg: 2.08 1.61 1.48 3/228 13795
/proc/meminfo: memFree=21253424/32770624 swapFree=66939824/67108860
[pid=13729] ppid=13726 vsize=10818940 memory=37752 CPUtime=0.26 cores=0,2,4,6
/proc/13729/stat : 13729 (java) S 13726 13729 9865 0 -1 1077944320 6737 13316 0 0 16 2 5 3 20 0 15 0 407228436 11078594560 9438 33554432000 4194304 4196468 140723975545920 140723975528464 139749035773687 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
/proc/13729/statm: 2704735 9438 2984 1 0 2667149 0
[pid=13729/tid=13782] ppid=13726 vsize=10818940 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/13729/task/13782/stat : 13782 (java) R 13726 13729 9865 0 -1 4202560 3249 13316 0 0 11 1 5 3 20 0 15 0 407228445 11078594560 9438 33554432000 4194304 4196468 140723975545920 139749007606824 139749035795613 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13783] ppid=13726 vsize=10818940 memory=365 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13783/stat : 13783 (java) S 13726 13729 9865 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 407228446 11078594560 9438 33554432000 4194304 4196468 140723975545920 139749040016400 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13784] ppid=13726 vsize=10818940 memory=140527031197713 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13784/stat : 13784 (java) S 13726 13729 9865 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 407228446 11078594560 9438 33554432000 4194304 4196468 140723975545920 139748928289936 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13785] ppid=13726 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13785/stat : 13785 (java) S 13726 13729 9865 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 407228446 11078594560 9438 33554432000 4194304 4196468 140723975545920 139748927236880 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13786] ppid=13726 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13786/stat : 13786 (java) S 13726 13729 9865 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 407228446 11078594560 9438 33554432000 4194304 4196468 140723975545920 139748926184336 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13787] ppid=13726 vsize=10818940 memory=140527028229760 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13787/stat : 13787 (java) S 13726 13729 9865 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 407228447 11078594560 9438 33554432000 4194304 4196468 140723975545920 139748495276272 139749035784834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13788] ppid=13726 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13788/stat : 13788 (java) S 13726 13729 9865 0 -1 1077944384 33 13316 0 0 0 0 5 3 20 0 15 0 407228448 11078594560 9438 33554432000 4194304 4196468 140723975545920 139748494222496 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13789] ppid=13726 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13789/stat : 13789 (java) S 13726 13729 9865 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 407228448 11078594560 9438 33554432000 4194304 4196468 140723975545920 139747901039344 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13790] ppid=13726 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13790/stat : 13790 (java) S 13726 13729 9865 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 407228451 11078594560 9438 33554432000 4194304 4196468 140723975545920 139747593639888 139749035792283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13791] ppid=13726 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13729/task/13791/stat : 13791 (java) S 13726 13729 9865 0 -1 1077944384 357 13316 0 0 1 0 5 3 20 0 15 0 407228451 11078594560 9438 33554432000 4194304 4196468 140723975545920 139748460665584 139749035784834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13792] ppid=13726 vsize=10818940 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/13729/task/13792/stat : 13792 (java) S 13726 13729 9865 0 -1 1077944384 276 13316 0 0 1 0 5 3 20 0 15 0 407228451 11078594560 9438 33554432000 4194304 4196468 140723975545920 139748459613040 139749035784834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13793] ppid=13726 vsize=10818940 memory=140527028229760 CPUtime=0.11 cores=0,2,4,6
/proc/13729/task/13793/stat : 13793 (java) S 13726 13729 9865 0 -1 1077944384 610 13316 0 0 3 0 5 3 20 0 15 0 407228451 11078594560 9438 33554432000 4194304 4196468 140723975545920 139748458559984 139749035784834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13794] ppid=13726 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13794/stat : 13794 (java) S 13726 13729 9865 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 407228451 11078594560 9438 33554432000 4194304 4196468 140723975545920 139747560082272 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13795] ppid=13726 vsize=10818940 memory=140527028229760 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13795/stat : 13795 (java) S 13726 13729 9865 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 407228451 11078594560 9438 33554432000 4194304 4196468 140723975545920 139748457507376 139749035784834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 37752 KiB
[startup+0.310524 s]*
/proc/loadavg: 2.08 1.61 1.48 3/228 13795
/proc/meminfo: memFree=21241940/32770624 swapFree=66939824/67108860
[pid=13729] ppid=13726 vsize=10820096 memory=47060 CPUtime=0.4 cores=0,2,4,6
/proc/13729/stat : 13729 (java) S 13726 13729 9865 0 -1 1077944320 10502 13316 0 0 28 4 5 3 20 0 15 0 407228436 11079778304 11765 33554432000 4194304 4196468 140723975545920 140723975528464 139749035773687 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
/proc/13729/statm: 2705024 11765 3238 1 0 2667149 0
[pid=13729/tid=13782] ppid=13726 vsize=10820096 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/13729/task/13782/stat : 13782 (java) R 13726 13729 9865 0 -1 4202560 6993 13316 0 0 19 2 5 3 20 0 15 0 407228445 11079778304 11765 33554432000 4194304 4196468 140723975545920 139749007601360 139749035795613 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13783] ppid=13726 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13783/stat : 13783 (java) S 13726 13729 9865 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 407228446 11079778304 11765 33554432000 4194304 4196468 140723975545920 139749040016400 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13784] ppid=13726 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13784/stat : 13784 (java) S 13726 13729 9865 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 407228446 11079778304 11765 33554432000 4194304 4196468 140723975545920 139748928289936 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13785] ppid=13726 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13785/stat : 13785 (java) S 13726 13729 9865 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 407228446 11079778304 11765 33554432000 4194304 4196468 140723975545920 139748927236880 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13786] ppid=13726 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13786/stat : 13786 (java) S 13726 13729 9865 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 407228446 11079778304 11765 33554432000 4194304 4196468 140723975545920 139748926184336 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13787] ppid=13726 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13787/stat : 13787 (java) S 13726 13729 9865 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 407228447 11079778304 11765 33554432000 4194304 4196468 140723975545920 139748495276272 139749035784834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13788] ppid=13726 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13788/stat : 13788 (java) S 13726 13729 9865 0 -1 1077944384 33 13316 0 0 0 0 5 3 20 0 15 0 407228448 11079778304 11765 33554432000 4194304 4196468 140723975545920 139748494222496 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13789] ppid=13726 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13789/stat : 13789 (java) S 13726 13729 9865 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 407228448 11079778304 11765 33554432000 4194304 4196468 140723975545920 139747901039344 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13790] ppid=13726 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13790/stat : 13790 (java) S 13726 13729 9865 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 407228451 11079778304 11765 33554432000 4194304 4196468 140723975545920 139747593639888 139749035792283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13791] ppid=13726 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13729/task/13791/stat : 13791 (java) S 13726 13729 9865 0 -1 1077944384 358 13316 0 0 1 0 5 3 20 0 15 0 407228451 11079778304 11765 33554432000 4194304 4196468 140723975545920 139748460665584 139749035784834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13792] ppid=13726 vsize=10820096 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/13729/task/13792/stat : 13792 (java) S 13726 13729 9865 0 -1 1077944384 277 13316 0 0 1 0 5 3 20 0 15 0 407228451 11079778304 11765 33554432000 4194304 4196468 140723975545920 139748459613040 139749035784834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13793] ppid=13726 vsize=10820096 memory=140527028229760 CPUtime=0.13 cores=0,2,4,6
/proc/13729/task/13793/stat : 13793 (java) S 13726 13729 9865 0 -1 1077944384 620 13316 0 0 5 0 5 3 20 0 15 0 407228451 11079778304 11765 33554432000 4194304 4196468 140723975545920 139748458559984 139749035784834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13794] ppid=13726 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13794/stat : 13794 (java) S 13726 13729 9865 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 407228451 11079778304 11765 33554432000 4194304 4196468 140723975545920 139747560082272 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13795] ppid=13726 vsize=10820096 memory=140527028229760 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13795/stat : 13795 (java) S 13726 13729 9865 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 407228451 11079778304 11765 33554432000 4194304 4196468 140723975545920 139748457507376 139749035784834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 47060 KiB
[startup+0.701357 s]
/proc/loadavg: 2.08 1.61 1.48 5/228 13795
/proc/meminfo: memFree=21229952/32770624 swapFree=66939824/67108860
[pid=13729] ppid=13726 vsize=10824340 memory=78088 CPUtime=1.14 cores=0,2,4,6
/proc/13729/stat : 13729 (java) S 13726 13729 9865 0 -1 1077944320 14328 13316 0 0 100 6 5 3 20 0 15 0 407228436 11084124160 19522 33554432000 4194304 4196468 140723975545920 140723975528464 139749035773687 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
/proc/13729/statm: 2706085 19522 3495 1 0 2668173 0
[pid=13729/tid=13782] ppid=13726 vsize=10824340 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/13729/task/13782/stat : 13782 (java) R 13726 13729 9865 0 -1 4202560 10034 13316 0 0 55 4 5 3 20 0 15 0 407228445 11084124160 19522 33554432000 4194304 4196468 140723975545920 139749007601344 139749019854174 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13783] ppid=13726 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13783/stat : 13783 (java) S 13726 13729 9865 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 407228446 11084124160 19522 33554432000 4194304 4196468 140723975545920 139749040016400 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13784] ppid=13726 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13784/stat : 13784 (java) S 13726 13729 9865 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 407228446 11084124160 19522 33554432000 4194304 4196468 140723975545920 139748928289936 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13785] ppid=13726 vsize=10824340 memory=140526900883664 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13785/stat : 13785 (java) S 13726 13729 9865 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 407228446 11084124160 19522 33554432000 4194304 4196468 140723975545920 139748927236880 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13786] ppid=13726 vsize=10824340 memory=140527034958443 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13786/stat : 13786 (java) S 13726 13729 9865 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 407228446 11084124160 19522 33554432000 4194304 4196468 140723975545920 139748926184336 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13787] ppid=13726 vsize=10824340 memory=1064 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13787/stat : 13787 (java) S 13726 13729 9865 0 -1 1077944384 5 13316 0 0 0 0 5 3 20 0 15 0 407228447 11084124160 19522 33554432000 4194304 4196468 140723975545920 139748495276272 139749035784834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13788] ppid=13726 vsize=10824340 memory=7014751519650698577 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13788/stat : 13788 (java) S 13726 13729 9865 0 -1 1077944384 33 13316 0 0 0 0 5 3 20 0 15 0 407228448 11084124160 19522 33554432000 4194304 4196468 140723975545920 139748494222496 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13789] ppid=13726 vsize=10824340 memory=7885636184287302246 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13789/stat : 13789 (java) S 13726 13729 9865 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 407228448 11084124160 19522 33554432000 4194304 4196468 140723975545920 139747901039344 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13790] ppid=13726 vsize=10824340 memory=14056 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13790/stat : 13790 (java) S 13726 13729 9865 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 407228451 11084124160 19522 33554432000 4194304 4196468 140723975545920 139747593639888 139749035792283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13791] ppid=13726 vsize=10824340 memory=2116 CPUtime=0.23 cores=0,2,4,6
/proc/13729/task/13791/stat : 13791 (java) S 13726 13729 9865 0 -1 1077944384 744 13316 0 0 15 0 5 3 20 0 15 0 407228451 11084124160 19522 33554432000 4194304 4196468 140723975545920 139748460665584 139749035784834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13792] ppid=13726 vsize=10824340 memory=520 CPUtime=0.19 cores=0,2,4,6
/proc/13729/task/13792/stat : 13792 (java) S 13726 13729 9865 0 -1 1077944384 513 13316 0 0 11 0 5 3 20 0 15 0 407228451 11084124160 19522 33554432000 4194304 4196468 140723975545920 139748459613040 139749035784834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13793] ppid=13726 vsize=10824340 memory=1560 CPUtime=0.25 cores=0,2,4,6
/proc/13729/task/13793/stat : 13793 (java) S 13726 13729 9865 0 -1 1077944384 780 13316 0 0 17 0 5 3 20 0 15 0 407228451 11084124160 19522 33554432000 4194304 4196468 140723975545920 139748458559984 139749035784834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13794] ppid=13726 vsize=10824340 memory=924 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13794/stat : 13794 (java) S 13726 13729 9865 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 407228451 11084124160 19522 33554432000 4194304 4196468 140723975545920 139747560082272 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13795] ppid=13726 vsize=10824340 memory=3688 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13795/stat : 13795 (java) S 13726 13729 9865 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 407228451 11084124160 19522 33554432000 4194304 4196468 140723975545920 139748457507376 139749035784834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 78088 KiB
[startup+1.50073 s]
/proc/loadavg: 2.08 1.61 1.48 4/228 13795
/proc/meminfo: memFree=21184172/32770624 swapFree=66939824/67108860
[pid=13729] ppid=13726 vsize=10834656 memory=176264 CPUtime=2.69 cores=0,2,4,6
/proc/13729/stat : 13729 (java) S 13726 13729 9865 0 -1 1077944320 25083 13316 0 0 251 10 5 3 20 0 15 0 407228436 11094687744 44066 33554432000 4194304 4196468 140723975545920 140723975528464 139749035773687 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
/proc/13729/statm: 2708664 44066 3582 1 0 2670733 0
[pid=13729/tid=13782] ppid=13726 vsize=10834656 memory=172532 CPUtime=1.44 cores=0,2,4,6
/proc/13729/task/13782/stat : 13782 (java) R 13726 13729 9865 0 -1 4202560 15608 13316 0 0 130 6 5 3 20 0 15 0 407228445 11094687744 44066 33554432000 4194304 4196468 140723975545920 139749007580416 139749017638831 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13783] ppid=13726 vsize=10834656 memory=6944656592455359580 CPUtime=0.09 cores=0,2,4,6
/proc/13729/task/13783/stat : 13783 (java) S 13726 13729 9865 0 -1 1077944384 86 13316 0 0 1 0 5 3 20 0 15 0 407228446 11094687744 44066 33554432000 4194304 4196468 140723975545920 139749040016400 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13784] ppid=13726 vsize=10834656 memory=7976406965554101975 CPUtime=0.09 cores=0,2,4,6
/proc/13729/task/13784/stat : 13784 (java) S 13726 13729 9865 0 -1 1077944384 307 13316 0 0 1 0 5 3 20 0 15 0 407228446 11094687744 44066 33554432000 4194304 4196468 140723975545920 139748928289936 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13785] ppid=13726 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13729/task/13785/stat : 13785 (java) S 13726 13729 9865 0 -1 1077944384 28 13316 0 0 1 0 5 3 20 0 15 0 407228446 11094687744 44066 33554432000 4194304 4196468 140723975545920 139748927236880 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13786] ppid=13726 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13729/task/13786/stat : 13786 (java) S 13726 13729 9865 0 -1 1077944384 68 13316 0 0 1 0 5 3 20 0 15 0 407228446 11094687744 44066 33554432000 4194304 4196468 140723975545920 139748926184336 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13787] ppid=13726 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13729/task/13787/stat : 13787 (java) S 13726 13729 9865 0 -1 1077944384 1421 13316 0 0 1 0 5 3 20 0 15 0 407228447 11094687744 44066 33554432000 4194304 4196468 140723975545920 139748495276272 139749035784834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13788] ppid=13726 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13788/stat : 13788 (java) S 13726 13729 9865 0 -1 1077944384 33 13316 0 0 0 0 5 3 20 0 15 0 407228448 11094687744 44066 33554432000 4194304 4196468 140723975545920 139748494222560 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13789] ppid=13726 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13789/stat : 13789 (java) S 13726 13729 9865 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 407228448 11094687744 44066 33554432000 4194304 4196468 140723975545920 139747901039344 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13790] ppid=13726 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13790/stat : 13790 (java) S 13726 13729 9865 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 407228451 11094687744 44066 33554432000 4194304 4196468 140723975545920 139747593639888 139749035792283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13791] ppid=13726 vsize=10834656 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/13729/task/13791/stat : 13791 (java) S 13726 13729 9865 0 -1 1077944384 1715 13316 0 0 35 0 5 3 20 0 15 0 407228451 11094687744 44066 33554432000 4194304 4196468 140723975545920 139748460665584 139749035784834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13792] ppid=13726 vsize=10834656 memory=4580 CPUtime=0.43 cores=0,2,4,6
/proc/13729/task/13792/stat : 13792 (java) S 13726 13729 9865 0 -1 1077944384 1682 13316 0 0 35 0 5 3 20 0 15 0 407228451 11094687744 44066 33554432000 4194304 4196468 140723975545920 139748459613040 139749035784834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13793] ppid=13726 vsize=10834656 memory=7517476922023830123 CPUtime=0.51 cores=0,2,4,6
/proc/13729/task/13793/stat : 13793 (java) S 13726 13729 9865 0 -1 1077944384 1921 13316 0 0 43 0 5 3 20 0 15 0 407228451 11094687744 44066 33554432000 4194304 4196468 140723975545920 139748458559984 139749035784834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13794] ppid=13726 vsize=10834656 memory=7597132098393106257 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13794/stat : 13794 (java) S 13726 13729 9865 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 407228451 11094687744 44066 33554432000 4194304 4196468 140723975545920 139747560082272 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13795] ppid=13726 vsize=10834656 memory=7446543015968008035 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13795/stat : 13795 (java) S 13726 13729 9865 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 407228451 11094687744 44066 33554432000 4194304 4196468 140723975545920 139748457507376 139749035784834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 10834656 KiB
Current children cumulated memory: 176264 KiB
[startup+3.11073 s]
/proc/loadavg: 2.08 1.61 1.48 6/228 13795
/proc/meminfo: memFree=21031340/32770624 swapFree=66939824/67108860
[pid=13729] ppid=13726 vsize=10844916 memory=263484 CPUtime=7.01 cores=0,2,4,6
/proc/13729/stat : 13729 (java) S 13726 13729 9865 0 -1 1077944320 43149 13316 0 0 676 17 5 3 20 0 15 0 407228436 11105193984 65871 33554432000 4194304 4196468 140723975545920 140723975528464 139749035773687 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
/proc/13729/statm: 2711229 65871 3607 1 0 2673293 0
[pid=13729/tid=13782] ppid=13726 vsize=10844916 memory=6147502969494923877 CPUtime=2.99 cores=0,2,4,6
/proc/13729/task/13782/stat : 13782 (java) R 13726 13729 9865 0 -1 4202560 22491 13316 0 0 283 8 5 3 20 0 15 0 407228445 11105193984 65871 33554432000 4194304 4196468 140723975545920 139749007607488 139748597389788 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13783] ppid=13726 vsize=10844916 memory=1 CPUtime=0.11 cores=0,2,4,6
/proc/13729/task/13783/stat : 13783 (java) S 13726 13729 9865 0 -1 1077944384 209 13316 0 0 3 0 5 3 20 0 15 0 407228446 11105193984 65871 33554432000 4194304 4196468 140723975545920 139749040016400 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13784] ppid=13726 vsize=10844916 memory=1 CPUtime=0.11 cores=0,2,4,6
/proc/13729/task/13784/stat : 13784 (java) S 13726 13729 9865 0 -1 1077944384 348 13316 0 0 3 0 5 3 20 0 15 0 407228446 11105193984 65871 33554432000 4194304 4196468 140723975545920 139748928289936 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13785] ppid=13726 vsize=10844916 memory=1 CPUtime=0.11 cores=0,2,4,6
/proc/13729/task/13785/stat : 13785 (java) S 13726 13729 9865 0 -1 1077944384 52 13316 0 0 3 0 5 3 20 0 15 0 407228446 11105193984 65871 33554432000 4194304 4196468 140723975545920 139748927236880 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13786] ppid=13726 vsize=10844916 memory=1 CPUtime=0.11 cores=0,2,4,6
/proc/13729/task/13786/stat : 13786 (java) S 13726 13729 9865 0 -1 1077944384 85 13316 0 0 3 0 5 3 20 0 15 0 407228446 11105193984 65871 33554432000 4194304 4196468 140723975545920 139748926184336 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13787] ppid=13726 vsize=10844916 memory=1 CPUtime=0.11 cores=0,2,4,6
/proc/13729/task/13787/stat : 13787 (java) S 13726 13729 9865 0 -1 1077944384 3077 13316 0 0 3 0 5 3 20 0 15 0 407228447 11105193984 65871 33554432000 4194304 4196468 140723975545920 139748495276272 139749035784834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13788] ppid=13726 vsize=10844916 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13788/stat : 13788 (java) S 13726 13729 9865 0 -1 1077944384 37 13316 0 0 0 0 5 3 20 0 15 0 407228448 11105193984 65871 33554432000 4194304 4196468 140723975545920 139748494222560 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13789] ppid=13726 vsize=10844916 memory=181472 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13789/stat : 13789 (java) S 13726 13729 9865 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 407228448 11105193984 65871 33554432000 4194304 4196468 140723975545920 139747901039360 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13790] ppid=13726 vsize=10844916 memory=4206468019014099040 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13790/stat : 13790 (java) S 13726 13729 9865 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 407228451 11105193984 65871 33554432000 4194304 4196468 140723975545920 139747593639888 139749035792283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13791] ppid=13726 vsize=10844916 memory=-7531822216213012384 CPUtime=1.28 cores=0,2,4,6
/proc/13729/task/13791/stat : 13791 (java) R 13726 13729 9865 0 -1 4202560 4003 13316 0 0 119 1 5 3 20 0 15 0 407228451 11105193984 65871 33554432000 4194304 4196468 140723975545920 139748460655376 139749015121728 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13792] ppid=13726 vsize=10844916 memory=6944656592452807323 CPUtime=1.37 cores=0,2,4,6
/proc/13729/task/13792/stat : 13792 (java) R 13726 13729 9865 0 -1 4202560 5041 13316 0 0 128 1 5 3 20 0 15 0 407228451 11105193984 65871 33554432000 4194304 4196468 140723975545920 139748459599264 139749028877329 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13793] ppid=13726 vsize=10844916 memory=7450477046829049699 CPUtime=1.36 cores=0,2,4,6
/proc/13729/task/13793/stat : 13793 (java) R 13726 13729 9865 0 -1 4202560 5585 13316 0 0 127 1 5 3 20 0 15 0 407228451 11105193984 65871 33554432000 4194304 4196468 140723975545920 139748458552592 139749021488395 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13794] ppid=13726 vsize=10844916 memory=6935650410838380624 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13794/stat : 13794 (java) S 13726 13729 9865 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 407228451 11105193984 65871 33554432000 4194304 4196468 140723975545920 139747560082272 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13795] ppid=13726 vsize=10844916 memory=7522796337753713764 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13795/stat : 13795 (java) S 13726 13729 9865 0 -1 1077944384 7 13316 0 0 0 0 5 3 20 0 15 0 407228451 11105193984 65871 33554432000 4194304 4196468 140723975545920 139748457507376 139749035784834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
Current children cumulated CPU time: 7.01 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 263484 KiB
[startup+4.21057 s]
# the end of solver process 13729 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.0877 s, system=0.26087 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20089 s]
/proc/loadavg: 2.08 1.61 1.48 6/228 13795
/proc/meminfo: memFree=21031340/32770624 swapFree=66939824/67108860
[pid=13729] ppid=13726 vsize=10844916 memory=264884 CPUtime=7.23 cores=0,2,4,6
/proc/13729/stat : 13729 (java) S 13726 13729 9865 0 -1 1077944320 43582 13316 0 0 698 17 5 3 20 0 15 0 407228436 11105193984 66221 33554432000 4194304 4196468 140723975545920 140723975528464 139749035773687 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
/proc/13729/statm: 2711229 66221 3607 1 0 2673293 0
[pid=13729/tid=13782] ppid=13726 vsize=10844916 memory=-6876588627878687573 CPUtime=3.08 cores=0,2,4,6
/proc/13729/task/13782/stat : 13782 (java) R 13726 13729 9865 0 -1 4202560 22780 13316 0 0 292 8 5 3 20 0 15 0 407228445 11105193984 66221 33554432000 4194304 4196468 140723975545920 139749007603616 139749019817317 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13783] ppid=13726 vsize=10844916 memory=-7812736537705029536 CPUtime=0.11 cores=0,2,4,6
/proc/13729/task/13783/stat : 13783 (java) S 13726 13729 9865 0 -1 1077944384 209 13316 0 0 3 0 5 3 20 0 15 0 407228446 11105193984 66221 33554432000 4194304 4196468 140723975545920 139749040016400 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13784] ppid=13726 vsize=10844916 memory=7681407940103534239 CPUtime=0.11 cores=0,2,4,6
/proc/13729/task/13784/stat : 13784 (java) S 13726 13729 9865 0 -1 1077944384 348 13316 0 0 3 0 5 3 20 0 15 0 407228446 11105193984 66221 33554432000 4194304 4196468 140723975545920 139748928289936 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13785] ppid=13726 vsize=10844916 memory=6655300316396806240 CPUtime=0.11 cores=0,2,4,6
/proc/13729/task/13785/stat : 13785 (java) S 13726 13729 9865 0 -1 1077944384 52 13316 0 0 3 0 5 3 20 0 15 0 407228446 11105193984 66221 33554432000 4194304 4196468 140723975545920 139748927236880 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13786] ppid=13726 vsize=10844916 memory=6656426216303648864 CPUtime=0.11 cores=0,2,4,6
/proc/13729/task/13786/stat : 13786 (java) S 13726 13729 9865 0 -1 1077944384 85 13316 0 0 3 0 5 3 20 0 15 0 407228446 11105193984 66221 33554432000 4194304 4196468 140723975545920 139748926184336 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13787] ppid=13726 vsize=10844916 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/13729/task/13787/stat : 13787 (java) S 13726 13729 9865 0 -1 1077944384 3078 13316 0 0 3 0 5 3 20 0 15 0 407228447 11105193984 66221 33554432000 4194304 4196468 140723975545920 139748495276272 139749035784834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13788] ppid=13726 vsize=10844916 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13788/stat : 13788 (java) S 13726 13729 9865 0 -1 1077944384 37 13316 0 0 0 0 5 3 20 0 15 0 407228448 11105193984 66221 33554432000 4194304 4196468 140723975545920 139748494222560 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13789] ppid=13726 vsize=10844916 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13789/stat : 13789 (java) S 13726 13729 9865 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 407228448 11105193984 66221 33554432000 4194304 4196468 140723975545920 139747901039360 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13790] ppid=13726 vsize=10844916 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13790/stat : 13790 (java) S 13726 13729 9865 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 407228451 11105193984 66221 33554432000 4194304 4196468 140723975545920 139747593639888 139749035792283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13791] ppid=13726 vsize=10844916 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/13729/task/13791/stat : 13791 (java) S 13726 13729 9865 0 -1 1077944384 4032 13316 0 0 123 1 5 3 20 0 15 0 407228451 11105193984 66221 33554432000 4194304 4196468 140723975545920 139748460665584 139749035784834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13792] ppid=13726 vsize=10844916 memory=2241 CPUtime=1.41 cores=0,2,4,6
/proc/13729/task/13792/stat : 13792 (java) S 13726 13729 9865 0 -1 1077944384 5069 13316 0 0 132 1 5 3 20 0 15 0 407228451 11105193984 66221 33554432000 4194304 4196468 140723975545920 139748459613040 139749035784834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13793] ppid=13726 vsize=10844916 memory=2244 CPUtime=1.4 cores=0,2,4,6
/proc/13729/task/13793/stat : 13793 (java) R 13726 13729 9865 0 -1 4202560 5675 13316 0 0 131 1 5 3 20 0 15 0 407228451 11105193984 66221 33554432000 4194304 4196468 140723975545920 139748458559984 139749028873534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13794] ppid=13726 vsize=10844916 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13794/stat : 13794 (java) S 13726 13729 9865 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 407228451 11105193984 66221 33554432000 4194304 4196468 140723975545920 139747560082272 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13795] ppid=13726 vsize=10844916 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13795/stat : 13795 (java) S 13726 13729 9865 0 -1 1077944384 7 13316 0 0 0 0 5 3 20 0 15 0 407228451 11105193984 66221 33554432000 4194304 4196468 140723975545920 139748457507376 139749035784834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
Current children cumulated CPU time: 7.23 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 264884 KiB
[startup+4.00173 s]*
/proc/loadavg: 2.08 1.61 1.48 6/228 13795
/proc/meminfo: memFree=21010268/32770624 swapFree=66939824/67108860
[pid=13729] ppid=13726 vsize=10849012 memory=281540 CPUtime=9.73 cores=0,2,4,6
/proc/13729/stat : 13729 (java) S 13726 13729 9865 0 -1 1077944320 45765 13316 0 0 945 20 5 3 20 0 15 0 407228436 11109388288 70385 33554432000 4194304 4196468 140723975545920 140723975528464 139749035773687 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
/proc/13729/statm: 2712253 70385 3616 1 0 2674317 0
[pid=13729/tid=13782] ppid=13726 vsize=10849012 memory=8317482817917895235 CPUtime=3.89 cores=0,2,4,6
/proc/13729/task/13782/stat : 13782 (java) R 13726 13729 9865 0 -1 4202560 23566 13316 0 0 371 10 5 3 20 0 15 0 407228445 11109388288 70385 33554432000 4194304 4196468 140723975545920 139749007605872 139748604122085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13783] ppid=13726 vsize=10849012 memory=4872558044660077418 CPUtime=0.11 cores=0,2,4,6
/proc/13729/task/13783/stat : 13783 (java) S 13726 13729 9865 0 -1 1077944384 209 13316 0 0 3 0 5 3 20 0 15 0 407228446 11109388288 70385 33554432000 4194304 4196468 140723975545920 139749040016400 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13784] ppid=13726 vsize=10849012 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/13729/task/13784/stat : 13784 (java) S 13726 13729 9865 0 -1 1077944384 348 13316 0 0 3 0 5 3 20 0 15 0 407228446 11109388288 70385 33554432000 4194304 4196468 140723975545920 139748928289936 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13785] ppid=13726 vsize=10849012 memory=-3040564339240289162 CPUtime=0.11 cores=0,2,4,6
/proc/13729/task/13785/stat : 13785 (java) S 13726 13729 9865 0 -1 1077944384 52 13316 0 0 3 0 5 3 20 0 15 0 407228446 11109388288 70385 33554432000 4194304 4196468 140723975545920 139748927236880 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13786] ppid=13726 vsize=10849012 memory=6943526294502006880 CPUtime=0.11 cores=0,2,4,6
/proc/13729/task/13786/stat : 13786 (java) S 13726 13729 9865 0 -1 1077944384 85 13316 0 0 3 0 5 3 20 0 15 0 407228446 11109388288 70385 33554432000 4194304 4196468 140723975545920 139748926184336 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13787] ppid=13726 vsize=10849012 memory=6944656592387989600 CPUtime=0.11 cores=0,2,4,6
/proc/13729/task/13787/stat : 13787 (java) S 13726 13729 9865 0 -1 1077944384 3078 13316 0 0 3 0 5 3 20 0 15 0 407228447 11109388288 70385 33554432000 4194304 4196468 140723975545920 139748495276272 139749035784834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13788] ppid=13726 vsize=10849012 memory=-7161732098442470212 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13788/stat : 13788 (java) S 13726 13729 9865 0 -1 1077944384 37 13316 0 0 0 0 5 3 20 0 15 0 407228448 11109388288 70385 33554432000 4194304 4196468 140723975545920 139748494222560 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13789] ppid=13726 vsize=10849012 memory=7445129005055890800 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13789/stat : 13789 (java) S 13726 13729 9865 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 407228448 11109388288 70385 33554432000 4194304 4196468 140723975545920 139747901039360 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13790] ppid=13726 vsize=10849012 memory=3053811428158493008 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13790/stat : 13790 (java) S 13726 13729 9865 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 407228451 11109388288 70385 33554432000 4194304 4196468 140723975545920 139747593639888 139749035792283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13791] ppid=13726 vsize=10849012 memory=6940425714476859492 CPUtime=1.96 cores=0,2,4,6
/proc/13729/task/13791/stat : 13791 (java) R 13726 13729 9865 0 -1 4202560 4245 13316 0 0 186 2 5 3 20 0 15 0 407228451 11109388288 70385 33554432000 4194304 4196468 140723975545920 139748460652816 139749015428912 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13792] ppid=13726 vsize=10849012 memory=3054355819557830758 CPUtime=2.06 cores=0,2,4,6
/proc/13729/task/13792/stat : 13792 (java) R 13726 13729 9865 0 -1 4202560 5296 13316 0 0 197 1 5 3 20 0 15 0 407228451 11109388288 70385 33554432000 4194304 4196468 140723975545920 139748459605160 139749019267891 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13793] ppid=13726 vsize=10849012 memory=3467841327271012672 CPUtime=1.82 cores=0,2,4,6
/proc/13729/task/13793/stat : 13793 (java) S 13726 13729 9865 0 -1 1077944384 6628 13316 0 0 172 2 5 3 20 0 15 0 407228451 11109388288 70385 33554432000 4194304 4196468 140723975545920 139748458559984 139749035784834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13794] ppid=13726 vsize=10849012 memory=-9001734013606258791 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13794/stat : 13794 (java) S 13726 13729 9865 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 407228451 11109388288 70385 33554432000 4194304 4196468 140723975545920 139747560082272 139749035783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
[pid=13729/tid=13795] ppid=13726 vsize=10849012 memory=-7384994778349281184 CPUtime=0.08 cores=0,2,4,6
/proc/13729/task/13795/stat : 13795 (java) S 13726 13729 9865 0 -1 1077944384 7 13316 0 0 0 0 5 3 20 0 15 0 407228451 11109388288 70385 33554432000 4194304 4196468 140723975545920 139748457507376 139749035784834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38928384 140723975547637 140723975550149 140723975550149 140723975552975 0
Current children cumulated CPU time: 9.73 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 281540 KiB
[startup+4.20066 s]*
/proc/loadavg: 2.08 1.61 1.48 3/215 13796
/proc/meminfo: memFree=21188356/32770624 swapFree=66939824/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 4.2106
CPU time (s): 10.3485
CPU user time (s): 10.0877
CPU system time (s): 0.26087
CPU usage (%): 245.773
Max. virtual memory (cumulated for all children) (KiB): 10849012
Max. memory (cumulated for all children) (KiB): 306564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.0877
system time used= 0.26087
maximum resident set size= 309004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59377
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= 6998
involuntary context switches= 57
# summary of solver processes directly reported to runsolver:
# pid: 13729
# total CPU time (s): 10.3485
# total CPU user time (s): 10.0877
# total CPU system time (s): 0.26087
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05939 second user time and 0.075887 second system time
The end