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 (15291 MiB free)
memory of node 1: 16384 MiB (14996 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392019-1568319713/watcher-4392019-1568319713 -o /tmp/evaluation-result-4392019-1568319713/solver-4392019-1568319713 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568301421-20990 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=10026710 HOME/instance-4392019-1568319713.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=26830, runsolver pid=26827
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 1.31 1.38 1.41 3/223 26887
/proc/meminfo: memFree=31004204/32770624 swapFree=67003364/67108860
[pid=26830] ppid=26827 vsize=9972712 memory=18596 CPUtime=0.09 cores=0,2,4,6
/proc/26830/stat : 26830 (java) S 26827 26830 20959 0 -1 1077944320 4387 13126 0 0 1 0 5 3 20 0 6 0 408210998 10212057088 4649 33554432000 4194304 4196468 140737360681024 140737360663568 139750566022903 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
/proc/26830/statm: 2493178 4649 1935 1 0 2481616 0
[pid=26830/tid=26883] ppid=26827 vsize=9972712 memory=4279135704014094991 CPUtime=0.09 cores=0,2,4,6
/proc/26830/task/26883/stat : 26883 (java) R 26827 26830 20959 0 -1 4202560 2176 13126 0 0 1 0 5 3 20 0 6 0 408211007 10212057088 4649 33554432000 4194304 4196468 140737360681024 139750537859664 139750551334905 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26884] ppid=26827 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26884/stat : 26884 (java) S 26827 26830 20959 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 6 0 408211008 10212057088 4649 33554432000 4194304 4196468 140737360681024 139750570264976 139750566033109 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26885] ppid=26827 vsize=9972712 memory=139967929775744 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26885/stat : 26885 (java) S 26827 26830 20959 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 6 0 408211008 10212057088 4649 33554432000 4194304 4196468 140737360681024 139750458538256 139750566033109 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26886] ppid=26827 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26886/stat : 26886 (java) S 26827 26830 20959 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 6 0 408211008 10212057088 4649 33554432000 4194304 4196468 140737360681024 139750457485968 139750566033109 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26887] ppid=26827 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26887/stat : 26887 (java) S 26827 26830 20959 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 6 0 408211008 10212057088 4649 33554432000 4194304 4196468 140737360681024 139750456433168 139750566033109 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB
[startup+0.210248 s]*
/proc/loadavg: 1.31 1.38 1.41 3/232 26896
/proc/meminfo: memFree=30989072/32770624 swapFree=67003364/67108860
[pid=26830] ppid=26827 vsize=10818940 memory=38012 CPUtime=0.26 cores=0,2,4,6
/proc/26830/stat : 26830 (java) S 26827 26830 20959 0 -1 1077944320 6788 13126 0 0 17 1 5 3 20 0 15 0 408210998 11078594560 9503 33554432000 4194304 4196468 140737360681024 140737360663568 139750566022903 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
/proc/26830/statm: 2704735 9503 2983 1 0 2667149 0
[pid=26830/tid=26883] ppid=26827 vsize=10818940 memory=-6517102902069810590 CPUtime=0.2 cores=0,2,4,6
/proc/26830/task/26883/stat : 26883 (java) R 26827 26830 20959 0 -1 4202560 3298 13126 0 0 11 1 5 3 20 0 15 0 408211007 11078594560 9503 33554432000 4194304 4196468 140737360681024 139750537855824 139750550103390 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26884] ppid=26827 vsize=10818940 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26884/stat : 26884 (java) S 26827 26830 20959 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408211008 11078594560 9503 33554432000 4194304 4196468 140737360681024 139750570264976 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26885] ppid=26827 vsize=10818940 memory=139967929775744 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26885/stat : 26885 (java) S 26827 26830 20959 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408211008 11078594560 9503 33554432000 4194304 4196468 140737360681024 139750458538256 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26886] ppid=26827 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26886/stat : 26886 (java) S 26827 26830 20959 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408211008 11078594560 9503 33554432000 4194304 4196468 140737360681024 139750457485968 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26887] ppid=26827 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26887/stat : 26887 (java) S 26827 26830 20959 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408211008 11078594560 9503 33554432000 4194304 4196468 140737360681024 139750456433168 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26888] ppid=26827 vsize=10818940 memory=139967929775744 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26888/stat : 26888 (java) S 26827 26830 20959 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408211009 11078594560 9503 33554432000 4194304 4196468 140737360681024 139750025398896 139750566034050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26889] ppid=26827 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26889/stat : 26889 (java) S 26827 26830 20959 0 -1 1077944384 33 13126 0 0 0 0 5 3 20 0 15 0 408211010 11078594560 9503 33554432000 4194304 4196468 140737360681024 139750024344864 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26890] ppid=26827 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26890/stat : 26890 (java) S 26827 26830 20959 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408211010 11078594560 9503 33554432000 4194304 4196468 140737360681024 139749444544112 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26891] ppid=26827 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26891/stat : 26891 (java) S 26827 26830 20959 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 408211012 11078594560 9503 33554432000 4194304 4196468 140737360681024 139749137144400 139750566041499 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26892] ppid=26827 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26830/task/26892/stat : 26892 (java) S 26827 26830 20959 0 -1 1077944384 478 13126 0 0 1 0 5 3 20 0 15 0 408211013 11078594560 9503 33554432000 4194304 4196468 140737360681024 139749990787184 139750566034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26893] ppid=26827 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26893/stat : 26893 (java) S 26827 26830 20959 0 -1 1077944384 134 13126 0 0 0 0 5 3 20 0 15 0 408211013 11078594560 9503 33554432000 4194304 4196468 140737360681024 139749989734384 139750566034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26894] ppid=26827 vsize=10818940 memory=139967929775744 CPUtime=0.11 cores=0,2,4,6
/proc/26830/task/26894/stat : 26894 (java) R 26827 26830 20959 0 -1 4202560 628 13126 0 0 3 0 5 3 20 0 15 0 408211013 11078594560 9503 33554432000 4194304 4196468 140737360681024 139749988682096 139750544961360 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26895] ppid=26827 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26895/stat : 26895 (java) S 26827 26830 20959 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 408211013 11078594560 9503 33554432000 4194304 4196468 140737360681024 139749103585760 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26896] ppid=26827 vsize=10818940 memory=139967929775744 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26896/stat : 26896 (java) S 26827 26830 20959 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408211013 11078594560 9503 33554432000 4194304 4196468 140737360681024 139749987630000 139750566034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 38012 KiB
[startup+0.310643 s]*
/proc/loadavg: 1.31 1.38 1.41 3/232 26896
/proc/meminfo: memFree=30978844/32770624 swapFree=67003364/67108860
[pid=26830] ppid=26827 vsize=10820096 memory=49112 CPUtime=0.4 cores=0,2,4,6
/proc/26830/stat : 26830 (java) S 26827 26830 20959 0 -1 1077944320 10506 13126 0 0 29 3 5 3 20 0 15 0 408210998 11079778304 12278 33554432000 4194304 4196468 140737360681024 140737360663568 139750566022903 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
/proc/26830/statm: 2705024 12278 3237 1 0 2667149 0
[pid=26830/tid=26883] ppid=26827 vsize=10820244 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/26830/task/26883/stat : 26883 (java) R 26827 26830 20959 0 -1 4202560 7033 13126 0 0 19 2 5 3 20 0 15 0 408211007 11079929856 12343 33554432000 4194304 4196468 140737360681024 139750537843568 139750566044829 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26884] ppid=26827 vsize=10820244 memory=7228928657774891088 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26884/stat : 26884 (java) S 26827 26830 20959 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408211008 11079929856 12343 33554432000 4194304 4196468 140737360681024 139750570264976 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26885] ppid=26827 vsize=10820244 memory=2080 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26885/stat : 26885 (java) S 26827 26830 20959 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408211008 11079929856 12343 33554432000 4194304 4196468 140737360681024 139750458538256 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26886] ppid=26827 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26886/stat : 26886 (java) S 26827 26830 20959 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408211008 11079929856 12343 33554432000 4194304 4196468 140737360681024 139750457485968 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26887] ppid=26827 vsize=10820244 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26887/stat : 26887 (java) S 26827 26830 20959 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408211008 11079929856 12343 33554432000 4194304 4196468 140737360681024 139750456433168 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26888] ppid=26827 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26888/stat : 26888 (java) S 26827 26830 20959 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408211009 11079929856 12343 33554432000 4194304 4196468 140737360681024 139750025398896 139750566034050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26889] ppid=26827 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26889/stat : 26889 (java) S 26827 26830 20959 0 -1 1077944384 33 13126 0 0 0 0 5 3 20 0 15 0 408211010 11079929856 12343 33554432000 4194304 4196468 140737360681024 139750024344864 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26890] ppid=26827 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26890/stat : 26890 (java) S 26827 26830 20959 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408211010 11079929856 12343 33554432000 4194304 4196468 140737360681024 139749444544112 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26891] ppid=26827 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26891/stat : 26891 (java) S 26827 26830 20959 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 408211012 11079929856 12343 33554432000 4194304 4196468 140737360681024 139749137144400 139750566041499 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26892] ppid=26827 vsize=10820244 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/26830/task/26892/stat : 26892 (java) S 26827 26830 20959 0 -1 1077944384 480 13126 0 0 2 0 5 3 20 0 15 0 408211013 11079929856 12343 33554432000 4194304 4196468 140737360681024 139749990787184 139750566034050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26893] ppid=26827 vsize=10820244 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26830/task/26893/stat : 26893 (java) S 26827 26830 20959 0 -1 1077944384 134 13126 0 0 1 0 5 3 20 0 15 0 408211013 11079929856 12343 33554432000 4194304 4196468 140737360681024 139749989734384 139750566034050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26894] ppid=26827 vsize=10820244 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/26830/task/26894/stat : 26894 (java) S 26827 26830 20959 0 -1 1077944384 641 13126 0 0 5 0 5 3 20 0 15 0 408211013 11079929856 12343 33554432000 4194304 4196468 140737360681024 139749988682096 139750566034050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26895] ppid=26827 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26895/stat : 26895 (java) S 26827 26830 20959 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 408211013 11079929856 12343 33554432000 4194304 4196468 140737360681024 139749103585760 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26896] ppid=26827 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26896/stat : 26896 (java) S 26827 26830 20959 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408211013 11079929856 12343 33554432000 4194304 4196468 140737360681024 139749987630000 139750566034050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 49112 KiB
[startup+0.700721 s]
/proc/loadavg: 1.31 1.38 1.41 5/232 26896
/proc/meminfo: memFree=30962544/32770624 swapFree=67003364/67108860
[pid=26830] ppid=26827 vsize=10824340 memory=78780 CPUtime=1.15 cores=0,2,4,6
/proc/26830/stat : 26830 (java) S 26827 26830 20959 0 -1 1077944320 14521 13126 0 0 102 5 5 3 20 0 15 0 408210998 11084124160 19695 33554432000 4194304 4196468 140737360681024 140737360663568 139750566022903 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
/proc/26830/statm: 2706085 19695 3498 1 0 2668173 0
[pid=26830/tid=26883] ppid=26827 vsize=10824340 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/26830/task/26883/stat : 26883 (java) R 26827 26830 20959 0 -1 4202560 10213 13126 0 0 56 3 5 3 20 0 15 0 408211007 11084124160 19695 33554432000 4194304 4196468 140737360681024 139750537840864 139750552090873 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26884] ppid=26827 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26884/stat : 26884 (java) S 26827 26830 20959 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408211008 11084124160 19695 33554432000 4194304 4196468 140737360681024 139750570264976 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26885] ppid=26827 vsize=10824340 memory=3280 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26885/stat : 26885 (java) S 26827 26830 20959 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408211008 11084124160 19695 33554432000 4194304 4196468 140737360681024 139750458538256 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26886] ppid=26827 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26886/stat : 26886 (java) S 26827 26830 20959 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408211008 11084124160 19695 33554432000 4194304 4196468 140737360681024 139750457485968 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26887] ppid=26827 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26887/stat : 26887 (java) S 26827 26830 20959 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 408211008 11084124160 19695 33554432000 4194304 4196468 140737360681024 139750456433168 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26888] ppid=26827 vsize=10824340 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26888/stat : 26888 (java) S 26827 26830 20959 0 -1 1077944384 5 13126 0 0 0 0 5 3 20 0 15 0 408211009 11084124160 19695 33554432000 4194304 4196468 140737360681024 139750025398896 139750566034050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26889] ppid=26827 vsize=10824340 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26889/stat : 26889 (java) S 26827 26830 20959 0 -1 1077944384 33 13126 0 0 0 0 5 3 20 0 15 0 408211010 11084124160 19695 33554432000 4194304 4196468 140737360681024 139750024344864 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26890] ppid=26827 vsize=10824340 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26890/stat : 26890 (java) S 26827 26830 20959 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408211010 11084124160 19695 33554432000 4194304 4196468 140737360681024 139749444544112 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26891] ppid=26827 vsize=10824340 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26891/stat : 26891 (java) S 26827 26830 20959 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 408211012 11084124160 19695 33554432000 4194304 4196468 140737360681024 139749137144400 139750566041499 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26892] ppid=26827 vsize=10824340 memory=13252 CPUtime=0.23 cores=0,2,4,6
/proc/26830/task/26892/stat : 26892 (java) S 26827 26830 20959 0 -1 1077944384 833 13126 0 0 15 0 5 3 20 0 15 0 408211013 11084124160 19695 33554432000 4194304 4196468 140737360681024 139749990787184 139750566034050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26893] ppid=26827 vsize=10824340 memory=15460 CPUtime=0.2 cores=0,2,4,6
/proc/26830/task/26893/stat : 26893 (java) S 26827 26830 20959 0 -1 1077944384 417 13126 0 0 12 0 5 3 20 0 15 0 408211013 11084124160 19695 33554432000 4194304 4196468 140737360681024 139749989734384 139750566034050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26894] ppid=26827 vsize=10824340 memory=17668 CPUtime=0.25 cores=0,2,4,6
/proc/26830/task/26894/stat : 26894 (java) R 26827 26830 20959 0 -1 4202560 800 13126 0 0 17 0 5 3 20 0 15 0 408211013 11084124160 19695 33554432000 4194304 4196468 140737360681024 139749988682096 139750566034838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26895] ppid=26827 vsize=10824340 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26895/stat : 26895 (java) S 26827 26830 20959 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 408211013 11084124160 19695 33554432000 4194304 4196468 140737360681024 139749103585760 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26896] ppid=26827 vsize=10824340 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26896/stat : 26896 (java) S 26827 26830 20959 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408211013 11084124160 19695 33554432000 4194304 4196468 140737360681024 139749987630000 139750566034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 78780 KiB
[startup+1.50073 s]
/proc/loadavg: 1.31 1.38 1.41 4/232 26896
/proc/meminfo: memFree=30921944/32770624 swapFree=67003364/67108860
[pid=26830] ppid=26827 vsize=10834656 memory=166200 CPUtime=2.5 cores=0,2,4,6
/proc/26830/stat : 26830 (java) S 26827 26830 20959 0 -1 1077944320 21857 13126 0 0 233 9 5 3 20 0 15 0 408210998 11094687744 41550 33554432000 4194304 4196468 140737360681024 140737360663568 139750566022903 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
/proc/26830/statm: 2708664 41550 3573 1 0 2670733 0
[pid=26830/tid=26883] ppid=26827 vsize=10834656 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/26830/task/26883/stat : 26883 (java) R 26827 26830 20959 0 -1 4202560 15358 13126 0 0 130 5 5 3 20 0 15 0 408211007 11094687744 41550 33554432000 4194304 4196468 140737360681024 139750537817744 139750550103390 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26884] ppid=26827 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26830/task/26884/stat : 26884 (java) S 26827 26830 20959 0 -1 1077944384 17 13126 0 0 1 0 5 3 20 0 15 0 408211008 11094687744 41550 33554432000 4194304 4196468 140737360681024 139750570264976 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26885] ppid=26827 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26830/task/26885/stat : 26885 (java) S 26827 26830 20959 0 -1 1077944384 326 13126 0 0 1 0 5 3 20 0 15 0 408211008 11094687744 41550 33554432000 4194304 4196468 140737360681024 139750458538256 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26886] ppid=26827 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26830/task/26886/stat : 26886 (java) S 26827 26830 20959 0 -1 1077944384 58 13126 0 0 1 0 5 3 20 0 15 0 408211008 11094687744 41550 33554432000 4194304 4196468 140737360681024 139750457485968 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26887] ppid=26827 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26830/task/26887/stat : 26887 (java) S 26827 26830 20959 0 -1 1077944384 87 13126 0 0 1 0 5 3 20 0 15 0 408211008 11094687744 41550 33554432000 4194304 4196468 140737360681024 139750456433168 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26888] ppid=26827 vsize=10834656 memory=-7965959130280075168 CPUtime=0.09 cores=0,2,4,6
/proc/26830/task/26888/stat : 26888 (java) S 26827 26830 20959 0 -1 1077944384 475 13126 0 0 1 0 5 3 20 0 15 0 408211009 11094687744 41550 33554432000 4194304 4196468 140737360681024 139750025398896 139750566034050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26889] ppid=26827 vsize=10834656 memory=279935633664256 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26889/stat : 26889 (java) S 26827 26830 20959 0 -1 1077944384 34 13126 0 0 0 0 5 3 20 0 15 0 408211010 11094687744 41550 33554432000 4194304 4196468 140737360681024 139750024344928 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26890] ppid=26827 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26890/stat : 26890 (java) S 26827 26830 20959 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408211010 11094687744 41550 33554432000 4194304 4196468 140737360681024 139749444544128 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26891] ppid=26827 vsize=10834656 memory=8252 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26891/stat : 26891 (java) S 26827 26830 20959 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 408211012 11094687744 41550 33554432000 4194304 4196468 140737360681024 139749137144400 139750566041499 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26892] ppid=26827 vsize=10834656 memory=5912 CPUtime=0.36 cores=0,2,4,6
/proc/26830/task/26892/stat : 26892 (java) S 26827 26830 20959 0 -1 1077944384 1107 13126 0 0 28 0 5 3 20 0 15 0 408211013 11094687744 41550 33554432000 4194304 4196468 140737360681024 139749990787184 139750566034050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26893] ppid=26827 vsize=10834656 memory=1056 CPUtime=0.33 cores=0,2,4,6
/proc/26830/task/26893/stat : 26893 (java) S 26827 26830 20959 0 -1 1077944384 606 13126 0 0 25 0 5 3 20 0 15 0 408211013 11094687744 41550 33554432000 4194304 4196468 140737360681024 139749989734384 139750566034050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26894] ppid=26827 vsize=10834656 memory=1540 CPUtime=0.5 cores=0,2,4,6
/proc/26830/task/26894/stat : 26894 (java) S 26827 26830 20959 0 -1 1077944384 1575 13126 0 0 42 0 5 3 20 0 15 0 408211013 11094687744 41550 33554432000 4194304 4196468 140737360681024 139749988682096 139750566034050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26895] ppid=26827 vsize=10834656 memory=728 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26895/stat : 26895 (java) S 26827 26830 20959 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 408211013 11094687744 41550 33554432000 4194304 4196468 140737360681024 139749103585760 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26896] ppid=26827 vsize=10834656 memory=3436 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26896/stat : 26896 (java) S 26827 26830 20959 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408211013 11094687744 41550 33554432000 4194304 4196468 140737360681024 139749987630000 139750566034050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
Current children cumulated memory: 248084 KiB
[startup+3.91666 s]
# the end of solver process 26830 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.13188 s, system=0.232495 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20649 s]
/proc/loadavg: 1.28 1.38 1.41 5/232 26896
/proc/meminfo: memFree=30767156/32770624 swapFree=67003364/67108860
[pid=26830] ppid=26827 vsize=10844916 memory=248732 CPUtime=7.12 cores=0,2,4,6
/proc/26830/stat : 26830 (java) S 26827 26830 20959 0 -1 1077944320 37857 13126 0 0 688 16 5 3 20 0 15 0 408210998 11105193984 62183 33554432000 4194304 4196468 140737360681024 140737360663568 139750566022903 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
/proc/26830/statm: 2711229 62183 3606 1 0 2673293 0
[pid=26830/tid=26883] ppid=26827 vsize=10844916 memory=0 CPUtime=3.08 cores=0,2,4,6
/proc/26830/task/26883/stat : 26883 (java) R 26827 26830 20959 0 -1 4202560 20141 13126 0 0 293 7 5 3 20 0 15 0 408211007 11105193984 62183 33554432000 4194304 4196468 140737360681024 139750537858248 139750145102339 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26884] ppid=26827 vsize=10844916 memory=6656426216303648864 CPUtime=0.11 cores=0,2,4,6
/proc/26830/task/26884/stat : 26884 (java) S 26827 26830 20959 0 -1 1077944384 61 13126 0 0 3 0 5 3 20 0 15 0 408211008 11105193984 62183 33554432000 4194304 4196468 140737360681024 139750570264976 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26885] ppid=26827 vsize=10844916 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/26830/task/26885/stat : 26885 (java) S 26827 26830 20959 0 -1 1077944384 334 13126 0 0 3 0 5 3 20 0 15 0 408211008 11105193984 62183 33554432000 4194304 4196468 140737360681024 139750458538256 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26886] ppid=26827 vsize=10844916 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/26830/task/26886/stat : 26886 (java) S 26827 26830 20959 0 -1 1077944384 73 13126 0 0 3 0 5 3 20 0 15 0 408211008 11105193984 62183 33554432000 4194304 4196468 140737360681024 139750457485968 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26887] ppid=26827 vsize=10844916 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/26830/task/26887/stat : 26887 (java) S 26827 26830 20959 0 -1 1077944384 112 13126 0 0 3 0 5 3 20 0 15 0 408211008 11105193984 62183 33554432000 4194304 4196468 140737360681024 139750456433168 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26888] ppid=26827 vsize=10844916 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/26830/task/26888/stat : 26888 (java) S 26827 26830 20959 0 -1 1077944384 1644 13126 0 0 3 0 5 3 20 0 15 0 408211009 11105193984 62183 33554432000 4194304 4196468 140737360681024 139750025398896 139750566034050 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26889] ppid=26827 vsize=10844916 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26889/stat : 26889 (java) S 26827 26830 20959 0 -1 1077944384 37 13126 0 0 0 0 5 3 20 0 15 0 408211010 11105193984 62183 33554432000 4194304 4196468 140737360681024 139750024344928 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26890] ppid=26827 vsize=10844916 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26890/stat : 26890 (java) S 26827 26830 20959 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408211010 11105193984 62183 33554432000 4194304 4196468 140737360681024 139749444544128 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26891] ppid=26827 vsize=10844916 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26891/stat : 26891 (java) S 26827 26830 20959 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 408211012 11105193984 62183 33554432000 4194304 4196468 140737360681024 139749137144400 139750566041499 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26892] ppid=26827 vsize=10844916 memory=0 CPUtime=1.49 cores=0,2,4,6
/proc/26830/task/26892/stat : 26892 (java) R 26827 26830 20959 0 -1 4202560 4431 13126 0 0 141 0 5 3 20 0 15 0 408211013 11105193984 62183 33554432000 4194304 4196468 140737360681024 139749990766976 139750544039895 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26893] ppid=26827 vsize=10844916 memory=1036 CPUtime=1.14 cores=0,2,4,6
/proc/26830/task/26893/stat : 26893 (java) R 26827 26830 20959 0 -1 4202560 2922 13126 0 0 105 1 5 3 20 0 15 0 408211013 11105193984 62183 33554432000 4194304 4196468 140737360681024 139749989720816 139750543618017 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26894] ppid=26827 vsize=10844916 memory=14008 CPUtime=1.4 cores=0,2,4,6
/proc/26830/task/26894/stat : 26894 (java) S 26827 26830 20959 0 -1 1077944384 5881 13126 0 0 129 3 5 3 20 0 15 0 408211013 11105193984 62183 33554432000 4194304 4196468 140737360681024 139749988682096 139750566034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26895] ppid=26827 vsize=10844916 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26895/stat : 26895 (java) S 26827 26830 20959 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 408211013 11105193984 62183 33554432000 4194304 4196468 140737360681024 139749103585760 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26896] ppid=26827 vsize=10844916 memory=6788 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26896/stat : 26896 (java) S 26827 26830 20959 0 -1 1077944384 8 13126 0 0 0 0 5 3 20 0 15 0 408211013 11105193984 62183 33554432000 4194304 4196468 140737360681024 139749987630000 139750566034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
Current children cumulated CPU time: 7.12 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 248732 KiB
[startup+3.60149 s]
/proc/loadavg: 1.28 1.38 1.41 5/232 26896
/proc/meminfo: memFree=30767156/32770624 swapFree=67003364/67108860
[pid=26830] ppid=26827 vsize=10844916 memory=270596 CPUtime=8.38 cores=0,2,4,6
/proc/26830/stat : 26830 (java) S 26827 26830 20959 0 -1 1077944320 47217 13126 0 0 812 18 5 3 20 0 15 0 408210998 11105193984 67649 33554432000 4194304 4196468 140737360681024 140737360663568 139750566022903 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
/proc/26830/statm: 2711229 67649 3606 1 0 2673293 0
[pid=26830/tid=26883] ppid=26827 vsize=10844916 memory=0 CPUtime=3.47 cores=0,2,4,6
/proc/26830/task/26883/stat : 26883 (java) R 26827 26830 20959 0 -1 4202560 21345 13126 0 0 332 7 5 3 20 0 15 0 408211007 11105193984 67649 33554432000 4194304 4196468 140737360681024 139750537843936 139750145826976 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26884] ppid=26827 vsize=10844916 memory=279935634456224 CPUtime=0.11 cores=0,2,4,6
/proc/26830/task/26884/stat : 26884 (java) S 26827 26830 20959 0 -1 1077944384 61 13126 0 0 3 0 5 3 20 0 15 0 408211008 11105193984 67649 33554432000 4194304 4196468 140737360681024 139750570264976 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26885] ppid=26827 vsize=10844916 memory=139967817230384 CPUtime=0.11 cores=0,2,4,6
/proc/26830/task/26885/stat : 26885 (java) S 26827 26830 20959 0 -1 1077944384 334 13126 0 0 3 0 5 3 20 0 15 0 408211008 11105193984 67649 33554432000 4194304 4196468 140737360681024 139750458538256 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26886] ppid=26827 vsize=10844916 memory=6791534058613427641 CPUtime=0.11 cores=0,2,4,6
/proc/26830/task/26886/stat : 26886 (java) S 26827 26830 20959 0 -1 1077944384 73 13126 0 0 3 0 5 3 20 0 15 0 408211008 11105193984 67649 33554432000 4194304 4196468 140737360681024 139750457485968 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26887] ppid=26827 vsize=10844916 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/26830/task/26887/stat : 26887 (java) S 26827 26830 20959 0 -1 1077944384 112 13126 0 0 3 0 5 3 20 0 15 0 408211008 11105193984 67649 33554432000 4194304 4196468 140737360681024 139750456433168 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26888] ppid=26827 vsize=10844916 memory=-9174445032661854264 CPUtime=0.11 cores=0,2,4,6
/proc/26830/task/26888/stat : 26888 (java) S 26827 26830 20959 0 -1 1077944384 2755 13126 0 0 3 0 5 3 20 0 15 0 408211009 11105193984 67649 33554432000 4194304 4196468 140737360681024 139750025398896 139750566034050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26889] ppid=26827 vsize=10844916 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26889/stat : 26889 (java) S 26827 26830 20959 0 -1 1077944384 37 13126 0 0 0 0 5 3 20 0 15 0 408211010 11105193984 67649 33554432000 4194304 4196468 140737360681024 139750024344928 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26890] ppid=26827 vsize=10844916 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26890/stat : 26890 (java) S 26827 26830 20959 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408211010 11105193984 67649 33554432000 4194304 4196468 140737360681024 139749444544128 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26891] ppid=26827 vsize=10844916 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26891/stat : 26891 (java) S 26827 26830 20959 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 408211012 11105193984 67649 33554432000 4194304 4196468 140737360681024 139749137144400 139750566041499 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26892] ppid=26827 vsize=10844916 memory=-7022074515825631275 CPUtime=1.89 cores=0,2,4,6
/proc/26830/task/26892/stat : 26892 (java) R 26827 26830 20959 0 -1 4202560 8759 13126 0 0 180 1 5 3 20 0 15 0 408211013 11105193984 67649 33554432000 4194304 4196468 140737360681024 139749990773208 139750551149111 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26893] ppid=26827 vsize=10844916 memory=8292088533921144977 CPUtime=1.53 cores=0,2,4,6
/proc/26830/task/26893/stat : 26893 (java) R 26827 26830 20959 0 -1 4202560 5102 13126 0 0 143 2 5 3 20 0 15 0 408211013 11105193984 67649 33554432000 4194304 4196468 140737360681024 139749989720408 139750547542213 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26894] ppid=26827 vsize=10844916 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/26830/task/26894/stat : 26894 (java) S 26827 26830 20959 0 -1 1077944384 6418 13126 0 0 136 3 5 3 20 0 15 0 408211013 11105193984 67649 33554432000 4194304 4196468 140737360681024 139749988682096 139750566034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26895] ppid=26827 vsize=10844916 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26895/stat : 26895 (java) S 26827 26830 20959 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 408211013 11105193984 67649 33554432000 4194304 4196468 140737360681024 139749103585760 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26896] ppid=26827 vsize=10844916 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26896/stat : 26896 (java) S 26827 26830 20959 0 -1 1077944384 8 13126 0 0 0 0 5 3 20 0 15 0 408211013 11105193984 67649 33554432000 4194304 4196468 140737360681024 139749987630000 139750566034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
Current children cumulated CPU time: 8.38 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 270596 KiB
[startup+3.80153 s]
/proc/loadavg: 1.28 1.38 1.41 5/232 26896
/proc/meminfo: memFree=30767156/32770624 swapFree=67003364/67108860
[pid=26830] ppid=26827 vsize=10844916 memory=273504 CPUtime=9.03 cores=0,2,4,6
/proc/26830/stat : 26830 (java) S 26827 26830 20959 0 -1 1077944320 48017 13126 0 0 877 18 5 3 20 0 15 0 408210998 11105193984 68376 33554432000 4194304 4196468 140737360681024 140737360663568 139750566022903 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
/proc/26830/statm: 2711229 68376 3606 1 0 2673293 0
[pid=26830/tid=26883] ppid=26827 vsize=10844916 memory=0 CPUtime=3.67 cores=0,2,4,6
/proc/26830/task/26883/stat : 26883 (java) R 26827 26830 20959 0 -1 4202560 21367 13126 0 0 352 7 5 3 20 0 15 0 408211007 11105193984 68376 33554432000 4194304 4196468 140737360681024 139750537857344 139750566034838 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26884] ppid=26827 vsize=10844916 memory=279935633588464 CPUtime=0.11 cores=0,2,4,6
/proc/26830/task/26884/stat : 26884 (java) S 26827 26830 20959 0 -1 1077944384 61 13126 0 0 3 0 5 3 20 0 15 0 408211008 11105193984 68376 33554432000 4194304 4196468 140737360681024 139750570264976 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26885] ppid=26827 vsize=10844916 memory=7013908267364280426 CPUtime=0.11 cores=0,2,4,6
/proc/26830/task/26885/stat : 26885 (java) S 26827 26830 20959 0 -1 1077944384 334 13126 0 0 3 0 5 3 20 0 15 0 408211008 11105193984 68376 33554432000 4194304 4196468 140737360681024 139750458538256 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26886] ppid=26827 vsize=10844916 memory=7732792063624965218 CPUtime=0.11 cores=0,2,4,6
/proc/26830/task/26886/stat : 26886 (java) S 26827 26830 20959 0 -1 1077944384 73 13126 0 0 3 0 5 3 20 0 15 0 408211008 11105193984 68376 33554432000 4194304 4196468 140737360681024 139750457485968 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26887] ppid=26827 vsize=10844916 memory=1440 CPUtime=0.11 cores=0,2,4,6
/proc/26830/task/26887/stat : 26887 (java) S 26827 26830 20959 0 -1 1077944384 112 13126 0 0 3 0 5 3 20 0 15 0 408211008 11105193984 68376 33554432000 4194304 4196468 140737360681024 139750456433168 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26888] ppid=26827 vsize=10844916 memory=1984 CPUtime=0.11 cores=0,2,4,6
/proc/26830/task/26888/stat : 26888 (java) S 26827 26830 20959 0 -1 1077944384 2755 13126 0 0 3 0 5 3 20 0 15 0 408211009 11105193984 68376 33554432000 4194304 4196468 140737360681024 139750025398896 139750566034050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26889] ppid=26827 vsize=10844916 memory=2376 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26889/stat : 26889 (java) S 26827 26830 20959 0 -1 1077944384 37 13126 0 0 0 0 5 3 20 0 15 0 408211010 11105193984 68376 33554432000 4194304 4196468 140737360681024 139750024344928 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26890] ppid=26827 vsize=10844916 memory=1768 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26890/stat : 26890 (java) S 26827 26830 20959 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 408211010 11105193984 68376 33554432000 4194304 4196468 140737360681024 139749444544128 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26891] ppid=26827 vsize=10844916 memory=111628 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26891/stat : 26891 (java) S 26827 26830 20959 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 408211012 11105193984 68376 33554432000 4194304 4196468 140737360681024 139749137144400 139750566041499 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26892] ppid=26827 vsize=10844916 memory=804 CPUtime=2.09 cores=0,2,4,6
/proc/26830/task/26892/stat : 26892 (java) R 26827 26830 20959 0 -1 4202560 8890 13126 0 0 200 1 5 3 20 0 15 0 408211013 11105193984 68376 33554432000 4194304 4196468 140737360681024 139749990773200 139750545290368 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26893] ppid=26827 vsize=10844916 memory=1660 CPUtime=1.73 cores=0,2,4,6
/proc/26830/task/26893/stat : 26893 (java) R 26827 26830 20959 0 -1 4202560 5395 13126 0 0 163 2 5 3 20 0 15 0 408211013 11105193984 68376 33554432000 4194304 4196468 140737360681024 139749989726872 139750551132940 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26894] ppid=26827 vsize=10844916 memory=1804 CPUtime=1.52 cores=0,2,4,6
/proc/26830/task/26894/stat : 26894 (java) S 26827 26830 20959 0 -1 1077944384 6776 13126 0 0 141 3 5 3 20 0 15 0 408211013 11105193984 68376 33554432000 4194304 4196468 140737360681024 139749988682096 139750566034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26895] ppid=26827 vsize=10844916 memory=920 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26895/stat : 26895 (java) S 26827 26830 20959 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 408211013 11105193984 68425 33554432000 4194304 4196468 140737360681024 139749103585760 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26896] ppid=26827 vsize=10844916 memory=3848 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26896/stat : 26896 (java) S 26827 26830 20959 0 -1 1077944384 8 13126 0 0 0 0 5 3 20 0 15 0 408211013 11105193984 68425 33554432000 4194304 4196468 140737360681024 139749987630000 139750566034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
Current children cumulated CPU time: 9.03 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 273504 KiB
[startup+3.90066 s]
/proc/loadavg: 1.28 1.38 1.41 5/232 26896
/proc/meminfo: memFree=30767156/32770624 swapFree=67003364/67108860
[pid=26830] ppid=26827 vsize=10943224 memory=294840 CPUtime=9.34 cores=0,2,4,6
/proc/26830/stat : 26830 (java) S 26827 26830 20959 0 -1 1077944320 48390 13126 0 0 907 19 5 3 20 0 14 0 408210998 11205861376 73710 33554432000 4194304 4196468 140737360681024 140737360663568 139750566022903 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
/proc/26830/statm: 2735806 73710 3609 1 0 2697870 0
[pid=26830/tid=26883] ppid=26827 vsize=10943224 memory=279935633592832 CPUtime=3.76 cores=0,2,4,6
/proc/26830/task/26883/stat : 26883 (java) S 26827 26830 20959 0 -1 1077944384 21446 13126 0 0 361 7 5 3 20 0 14 0 408211007 11205861376 73710 33554432000 4194304 4196468 140737360681024 139750537866384 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26884] ppid=26827 vsize=10943224 memory=13807 CPUtime=0.11 cores=0,2,4,6
/proc/26830/task/26884/stat : 26884 (java) S 26827 26830 20959 0 -1 1077944384 61 13126 0 0 3 0 5 3 20 0 14 0 408211008 11205861376 73710 33554432000 4194304 4196468 140737360681024 139750570264976 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26885] ppid=26827 vsize=10943224 memory=279935633929952 CPUtime=0.11 cores=0,2,4,6
/proc/26830/task/26885/stat : 26885 (java) S 26827 26830 20959 0 -1 1077944384 334 13126 0 0 3 0 5 3 20 0 14 0 408211008 11205861376 73710 33554432000 4194304 4196468 140737360681024 139750458538256 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26886] ppid=26827 vsize=10943224 memory=7523657281174911590 CPUtime=0.11 cores=0,2,4,6
/proc/26830/task/26886/stat : 26886 (java) S 26827 26830 20959 0 -1 1077944384 73 13126 0 0 3 0 5 3 20 0 14 0 408211008 11205861376 73710 33554432000 4194304 4196468 140737360681024 139750457485968 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26887] ppid=26827 vsize=10943224 memory=6226342373513248864 CPUtime=0.11 cores=0,2,4,6
/proc/26830/task/26887/stat : 26887 (java) S 26827 26830 20959 0 -1 1077944384 112 13126 0 0 3 0 5 3 20 0 14 0 408211008 11205861376 73710 33554432000 4194304 4196468 140737360681024 139750456433168 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26888] ppid=26827 vsize=10943224 memory=6791534058613427641 CPUtime=0.11 cores=0,2,4,6
/proc/26830/task/26888/stat : 26888 (java) S 26827 26830 20959 0 -1 1077944384 2755 13126 0 0 3 0 5 3 20 0 14 0 408211009 11205861376 73710 33554432000 4194304 4196468 140737360681024 139750025399104 139750566034050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26889] ppid=26827 vsize=10943224 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26889/stat : 26889 (java) S 26827 26830 20959 0 -1 1077944384 37 13126 0 0 0 0 5 3 20 0 14 0 408211010 11205861376 73710 33554432000 4194304 4196468 140737360681024 139750024344928 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26890] ppid=26827 vsize=10943224 memory=4639082993419309137 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26890/stat : 26890 (java) S 26827 26830 20959 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 14 0 408211010 11205861376 73710 33554432000 4194304 4196468 140737360681024 139749444544128 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26891] ppid=26827 vsize=10943224 memory=7301856090349791568 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26891/stat : 26891 (java) S 26827 26830 20959 0 -1 1077944384 6 13126 0 0 0 0 5 3 20 0 14 0 408211012 11205861376 73710 33554432000 4194304 4196468 140737360681024 139749137144048 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26892] ppid=26827 vsize=10943224 memory=7295945012877086806 CPUtime=2.18 cores=0,2,4,6
/proc/26830/task/26892/stat : 26892 (java) S 26827 26830 20959 0 -1 1077944384 9058 13126 0 0 209 1 5 3 20 0 14 0 408211013 11205861376 73710 33554432000 4194304 4196468 140737360681024 139749990787184 139750566034050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26893] ppid=26827 vsize=10943224 memory=0 CPUtime=1.82 cores=0,2,4,6
/proc/26830/task/26893/stat : 26893 (java) S 26827 26830 20959 0 -1 1077944384 5435 13126 0 0 172 2 5 3 20 0 14 0 408211013 11205861376 73710 33554432000 4194304 4196468 140737360681024 139749989719504 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26894] ppid=26827 vsize=10943224 memory=5936659533912894824 CPUtime=1.55 cores=0,2,4,6
/proc/26830/task/26894/stat : 26894 (java) S 26827 26830 20959 0 -1 1077944384 6832 13126 0 0 144 3 5 3 20 0 14 0 408211013 11205861376 73710 33554432000 4194304 4196468 140737360681024 139749988682096 139750566034050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
[pid=26830/tid=26895] ppid=26827 vsize=10943224 memory=5787214926557761634 CPUtime=0.08 cores=0,2,4,6
/proc/26830/task/26895/stat : 26895 (java) S 26827 26830 20959 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 14 0 408211013 11205861376 73710 33554432000 4194304 4196468 140737360681024 139749103585760 139750566033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18808832 140737360685815 140737360688325 140737360688325 140737360691151 0
Current children cumulated CPU time: 9.34 s
Current children cumulated vsize: 10943224 KiB
Current children cumulated memory: 294840 KiB
Child status: 0
Real time (s): 3.91671
CPU time (s): 9.36437
CPU user time (s): 9.13188
CPU system time (s): 0.232495
CPU usage (%): 239.088
Max. virtual memory (cumulated for all children) (KiB): 10943224
Max. memory (cumulated for all children) (KiB): 294840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.13188
system time used= 0.232495
maximum resident set size= 296840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61548
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= 6195
involuntary context switches= 48
# summary of solver processes directly reported to runsolver:
# pid: 26830
# total CPU time (s): 9.36437
# total CPU user time (s): 9.13188
# total CPU system time (s): 0.232495
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043633 second user time and 0.082484 second system time
The end