runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3312999-1304182255/watcher-3312999-1304182255 -o /tmp/evaluation-result-3312999-1304182255/solver-3312999-1304182255 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312999-1304182255.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.95 8.12 8.06 1/175 29867
/proc/meminfo: memFree=30477612/32951124 swapFree=67111464/67111528
[pid=29867] ppid=29865 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/29867/stat : 29867 (java) R 29865 29867 29719 0 -1 4202496 928 0 0 0 0 0 0 0 25 0 1 0 608456132 23580672 415 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260015433493 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29867/statm: 5757 430 332 9 0 124 0
[startup+0.052212 s]
/proc/loadavg: 7.95 8.12 8.06 1/175 29867
/proc/meminfo: memFree=30477612/32951124 swapFree=67111464/67111528
[pid=29867] ppid=29865 vsize=15609528 CPUtime=0.04 cores=1,3,5,7
/proc/29867/stat : 29867 (java) S 29865 29867 29719 0 -1 4202496 3960 0 1 0 3 1 0 0 25 0 18 0 608456132 15984156672 3400 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29867/statm: 3902382 3400 1719 9 0 3893130 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15609528
[startup+0.101169 s]
/proc/loadavg: 7.95 8.12 8.06 1/175 29867
/proc/meminfo: memFree=30477612/32951124 swapFree=67111464/67111528
[pid=29867] ppid=29865 vsize=15676132 CPUtime=0.11 cores=1,3,5,7
/proc/29867/stat : 29867 (java) S 29865 29867 29719 0 -1 4202496 5537 0 1 0 9 2 0 0 25 0 18 0 608456132 16052359168 4953 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29867/statm: 3919033 4953 2116 9 0 3909752 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676132
[startup+0.301146 s]
/proc/loadavg: 7.95 8.12 8.06 1/175 29867
/proc/meminfo: memFree=30477612/32951124 swapFree=67111464/67111528
[pid=29867] ppid=29865 vsize=15681844 CPUtime=0.51 cores=1,3,5,7
/proc/29867/stat : 29867 (java) S 29865 29867 29719 0 -1 4202496 14722 0 1 0 48 3 0 0 25 0 18 0 608456132 16058208256 12870 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29867/statm: 3920461 12876 2206 9 0 3911180 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15681844
[startup+0.701055 s]
/proc/loadavg: 7.95 8.12 8.06 1/175 29867
/proc/meminfo: memFree=30477612/32951124 swapFree=67111464/67111528
[pid=29867] ppid=29865 vsize=15702504 CPUtime=1.21 cores=1,3,5,7
/proc/29867/stat : 29867 (java) S 29865 29867 29719 0 -1 4202496 42278 0 1 0 115 6 0 0 25 0 22 0 608456132 16079364096 38414 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29867/statm: 3925626 38418 2234 9 0 3916345 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 15702504
[startup+1.50088 s]
/proc/loadavg: 7.95 8.12 8.06 4/197 29889
/proc/meminfo: memFree=30310840/32951124 swapFree=67111464/67111528
[pid=29867] ppid=29865 vsize=15706820 CPUtime=3.57 cores=1,3,5,7
/proc/29867/stat : 29867 (java) S 29865 29867 29719 0 -1 4202496 55380 0 1 0 349 8 0 0 25 0 22 0 608456132 16083783680 46383 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29867/statm: 3926705 46383 2275 9 0 3917424 0
[pid=29867/tid=29869] ppid=29865 vsize=15706820 CPUtime=0.99 cores=1,3,5,7
/proc/29867/task/29869/stat : 29869 (java) S 29865 29867 29719 0 -1 4202560 32157 0 1 0 94 5 0 0 21 0 22 0 608456132 16083783680 46383 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29870] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29870/stat : 29870 (java) S 29865 29867 29719 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 608456133 16083783680 46383 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 3 0 0 0
[pid=29867/tid=29871] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29871/stat : 29871 (java) S 29865 29867 29719 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 608456133 16083783680 46383 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29872] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29872/stat : 29872 (java) S 29865 29867 29719 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 608456133 16083783680 46383 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 3 0 0 0
[pid=29867/tid=29873] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29873/stat : 29873 (java) S 29865 29867 29719 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 608456133 16083783680 46383 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 3 0 0 0
[pid=29867/tid=29874] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29874/stat : 29874 (java) S 29865 29867 29719 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 22 0 608456133 16083783680 46383 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29875] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29875/stat : 29875 (java) S 29865 29867 29719 0 -1 4202560 549 0 0 0 0 0 0 0 17 0 22 0 608456133 16083783680 46383 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29876] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29876/stat : 29876 (java) S 29865 29867 29719 0 -1 4202560 650 0 0 0 0 0 0 0 17 0 22 0 608456133 16083783680 46383 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29877] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29877/stat : 29877 (java) S 29865 29867 29719 0 -1 4202560 252 0 0 0 0 0 0 0 17 0 22 0 608456133 16083783680 46383 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29878] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29878/stat : 29878 (java) S 29865 29867 29719 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 608456134 16083783680 46383 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032212480 0 0 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29879] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29879/stat : 29879 (java) S 29865 29867 29719 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 608456134 16083783680 46383 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29880] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29880/stat : 29880 (java) S 29865 29867 29719 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 608456134 16083783680 46383 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29881] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29881/stat : 29881 (java) S 29865 29867 29719 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608456137 16083783680 46383 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032219569 0 4 0 16800975 18446604469240504512 0 0 -1 5 0 0 0
[pid=29867/tid=29882] ppid=29865 vsize=15706820 CPUtime=0.97 cores=1,3,5,7
/proc/29867/task/29882/stat : 29882 (java) S 29865 29867 29719 0 -1 4202560 13622 0 0 0 96 1 0 0 18 0 22 0 608456137 16083783680 46383 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 3 0 0 0
[pid=29867/tid=29883] ppid=29865 vsize=15706820 CPUtime=0.7 cores=1,3,5,7
/proc/29867/task/29883/stat : 29883 (java) S 29865 29867 29719 0 -1 4202560 5037 0 0 0 70 0 0 0 15 0 22 0 608456137 16083783680 46383 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 3 0 0 0
[pid=29867/tid=29884] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29884/stat : 29884 (java) S 29865 29867 29719 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608456137 16083783680 46383 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 5 0 0 0
[pid=29867/tid=29885] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29885/stat : 29885 (java) S 29865 29867 29719 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 608456137 16083783680 46383 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032212480 0 4 0 16800975 18446604469240504512 0 0 -1 5 0 0 0
[pid=29867/tid=29886] ppid=29865 vsize=15706820 CPUtime=0.33 cores=1,3,5,7
/proc/29867/task/29886/stat : 29886 (java) R 29865 29867 29719 0 -1 4202560 912 0 0 0 33 0 0 0 16 0 22 0 608456175 16083783680 46383 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 46912505805425 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29867/tid=29887] ppid=29865 vsize=15706820 CPUtime=0.23 cores=1,3,5,7
/proc/29867/task/29887/stat : 29887 (java) R 29865 29867 29719 0 -1 4202560 715 0 0 0 23 0 0 0 16 0 22 0 608456175 16083783680 46383 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 46912505891789 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29867/tid=29888] ppid=29865 vsize=15706820 CPUtime=0.06 cores=1,3,5,7
/proc/29867/task/29888/stat : 29888 (java) R 29865 29867 29719 0 -1 4202560 25 0 0 0 6 0 0 0 15 0 22 0 608456175 16083783680 46383 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 46912505855259 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29867/tid=29889] ppid=29865 vsize=15706820 CPUtime=0.23 cores=1,3,5,7
/proc/29867/task/29889/stat : 29889 (java) R 29865 29867 29719 0 -1 4202560 16 0 0 0 23 0 0 0 16 0 22 0 608456175 16083783680 46383 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 46912505928515 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 15706820
[startup+3.10158 s]
/proc/loadavg: 7.95 8.12 8.06 7/216 29933
/proc/meminfo: memFree=30238104/32951124 swapFree=67111464/67111528
[pid=29867] ppid=29865 vsize=15706820 CPUtime=9.94 cores=1,3,5,7
/proc/29867/stat : 29867 (java) S 29865 29867 29719 0 -1 4202496 109629 0 1 0 978 16 0 0 25 0 22 0 608456132 16083783680 100497 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29867/statm: 3926705 100497 2275 9 0 3917424 0
[pid=29867/tid=29869] ppid=29865 vsize=15706820 CPUtime=0.99 cores=1,3,5,7
/proc/29867/task/29869/stat : 29869 (java) S 29865 29867 29719 0 -1 4202560 32157 0 1 0 94 5 0 0 21 0 22 0 608456132 16083783680 100497 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29870] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29870/stat : 29870 (java) S 29865 29867 29719 0 -1 4202560 3418 0 0 0 0 0 0 0 15 0 22 0 608456133 16083783680 100497 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 3 0 0 0
[pid=29867/tid=29871] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29871/stat : 29871 (java) S 29865 29867 29719 0 -1 4202560 1236 0 0 0 0 0 0 0 15 0 22 0 608456133 16083783680 100497 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29872] ppid=29865 vsize=15706820 CPUtime=0.01 cores=1,3,5,7
/proc/29867/task/29872/stat : 29872 (java) S 29865 29867 29719 0 -1 4202560 4541 0 0 0 0 1 0 0 16 0 22 0 608456133 16083783680 100497 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29873] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29873/stat : 29873 (java) S 29865 29867 29719 0 -1 4202560 2913 0 0 0 0 0 0 0 15 0 22 0 608456133 16083783680 100497 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29874] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29874/stat : 29874 (java) S 29865 29867 29719 0 -1 4202560 3132 0 0 0 0 0 0 0 15 0 22 0 608456133 16083783680 100497 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29875] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29875/stat : 29875 (java) S 29865 29867 29719 0 -1 4202560 3080 0 0 0 0 0 0 0 16 0 22 0 608456133 16083783680 100497 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 3 0 0 0
[pid=29867/tid=29876] ppid=29865 vsize=15706820 CPUtime=0.02 cores=1,3,5,7
/proc/29867/task/29876/stat : 29876 (java) S 29865 29867 29719 0 -1 4202560 7042 0 0 0 1 1 0 0 16 0 22 0 608456133 16083783680 100497 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 3 0 0 0
[pid=29867/tid=29877] ppid=29865 vsize=15706820 CPUtime=0.01 cores=1,3,5,7
/proc/29867/task/29877/stat : 29877 (java) S 29865 29867 29719 0 -1 4202560 5446 0 0 0 1 0 0 0 16 0 22 0 608456133 16083783680 100497 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29878] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29878/stat : 29878 (java) S 29865 29867 29719 0 -1 4202560 235 0 0 0 0 0 0 0 16 0 22 0 608456134 16083783680 100497 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032212480 0 0 0 16800975 18446604469240504512 0 0 -1 5 0 0 0
[pid=29867/tid=29879] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29879/stat : 29879 (java) S 29865 29867 29719 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 608456134 16083783680 100497 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29880] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29880/stat : 29880 (java) S 29865 29867 29719 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 608456134 16083783680 100497 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29881] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29881/stat : 29881 (java) S 29865 29867 29719 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608456137 16083783680 100497 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032219569 0 4 0 16800975 18446604469240504512 0 0 -1 5 0 0 0
[pid=29867/tid=29882] ppid=29865 vsize=15706820 CPUtime=0.98 cores=1,3,5,7
/proc/29867/task/29882/stat : 29882 (java) S 29865 29867 29719 0 -1 4202560 13625 0 0 0 97 1 0 0 15 0 22 0 608456137 16083783680 100497 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29883] ppid=29865 vsize=15706820 CPUtime=0.72 cores=1,3,5,7
/proc/29867/task/29883/stat : 29883 (java) S 29865 29867 29719 0 -1 4202560 5041 0 0 0 72 0 0 0 15 0 22 0 608456137 16083783680 100497 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29884] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29884/stat : 29884 (java) S 29865 29867 29719 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608456137 16083783680 100497 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 5 0 0 0
[pid=29867/tid=29885] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29885/stat : 29885 (java) S 29865 29867 29719 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 608456137 16083783680 100499 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032212480 0 4 0 16800975 18446604469240504512 0 0 -1 5 0 0 0
[pid=29867/tid=29886] ppid=29865 vsize=15706820 CPUtime=1.9 cores=1,3,5,7
/proc/29867/task/29886/stat : 29886 (java) R 29865 29867 29719 0 -1 4202560 7265 0 0 0 189 1 0 0 17 0 22 0 608456175 16083783680 100500 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29867/tid=29887] ppid=29865 vsize=15706820 CPUtime=1.77 cores=1,3,5,7
/proc/29867/task/29887/stat : 29887 (java) R 29865 29867 29719 0 -1 4202560 6399 0 0 0 177 0 0 0 17 0 22 0 608456175 16083783680 100500 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 46912505946181 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29867/tid=29888] ppid=29865 vsize=15706820 CPUtime=1.61 cores=1,3,5,7
/proc/29867/task/29888/stat : 29888 (java) R 29865 29867 29719 0 -1 4202560 6379 0 0 0 161 0 0 0 17 0 22 0 608456175 16083783680 100500 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 46912505523299 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29867/tid=29889] ppid=29865 vsize=15706820 CPUtime=1.79 cores=1,3,5,7
/proc/29867/task/29889/stat : 29889 (java) R 29865 29867 29719 0 -1 4202560 6337 0 0 0 179 0 0 0 17 0 22 0 608456175 16083783680 100500 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 46912505891505 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 9.94
Current children cumulated vsize (KiB) 15706820
[startup+6.30102 s]
/proc/loadavg: 7.88 8.10 8.05 7/220 29937
/proc/meminfo: memFree=29069940/32951124 swapFree=67111464/67111528
[pid=29867] ppid=29865 vsize=15706820 CPUtime=22.69 cores=1,3,5,7
/proc/29867/stat : 29867 (java) S 29865 29867 29719 0 -1 4202496 335307 0 1 0 2224 45 0 0 25 0 22 0 608456132 16083783680 326076 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29867/statm: 3926705 326076 2285 9 0 3917424 0
[pid=29867/tid=29869] ppid=29865 vsize=15706820 CPUtime=0.99 cores=1,3,5,7
/proc/29867/task/29869/stat : 29869 (java) S 29865 29867 29719 0 -1 4202560 32157 0 1 0 94 5 0 0 21 0 22 0 608456132 16083783680 326076 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29870] ppid=29865 vsize=15706820 CPUtime=0.05 cores=1,3,5,7
/proc/29867/task/29870/stat : 29870 (java) S 29865 29867 29719 0 -1 4202560 14288 0 0 0 3 2 0 0 16 0 22 0 608456133 16083783680 326076 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 3 0 0 0
[pid=29867/tid=29871] ppid=29865 vsize=15706820 CPUtime=0.02 cores=1,3,5,7
/proc/29867/task/29871/stat : 29871 (java) S 29865 29867 29719 0 -1 4202560 8398 0 0 0 1 1 0 0 16 0 22 0 608456133 16083783680 326076 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29872] ppid=29865 vsize=15706820 CPUtime=0.02 cores=1,3,5,7
/proc/29867/task/29872/stat : 29872 (java) S 29865 29867 29719 0 -1 4202560 6246 0 0 0 1 1 0 0 15 0 22 0 608456133 16083783680 326076 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29873] ppid=29865 vsize=15706820 CPUtime=0.02 cores=1,3,5,7
/proc/29867/task/29873/stat : 29873 (java) S 29865 29867 29719 0 -1 4202560 5244 0 0 0 1 1 0 0 16 0 22 0 608456133 16083783680 326076 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29874] ppid=29865 vsize=15706820 CPUtime=0.07 cores=1,3,5,7
/proc/29867/task/29874/stat : 29874 (java) S 29865 29867 29719 0 -1 4202560 22139 0 0 0 4 3 0 0 16 0 22 0 608456133 16083783680 326076 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 3 0 0 0
[pid=29867/tid=29875] ppid=29865 vsize=15706820 CPUtime=0.06 cores=1,3,5,7
/proc/29867/task/29875/stat : 29875 (java) S 29865 29867 29719 0 -1 4202560 16652 0 0 0 3 3 0 0 16 0 22 0 608456133 16083783680 326076 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29876] ppid=29865 vsize=15706820 CPUtime=0.06 cores=1,3,5,7
/proc/29867/task/29876/stat : 29876 (java) S 29865 29867 29719 0 -1 4202560 17805 0 0 0 4 2 0 0 16 0 22 0 608456133 16083783680 326076 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29877] ppid=29865 vsize=15706820 CPUtime=0.05 cores=1,3,5,7
/proc/29867/task/29877/stat : 29877 (java) S 29865 29867 29719 0 -1 4202560 19155 0 0 0 3 2 0 0 16 0 22 0 608456133 16083783680 326076 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29878] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29878/stat : 29878 (java) S 29865 29867 29719 0 -1 4202560 816 0 0 0 0 0 0 0 15 0 22 0 608456134 16083783680 326076 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032212480 0 0 0 16800975 18446604469240504512 0 0 -1 5 0 0 0
[pid=29867/tid=29879] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29879/stat : 29879 (java) S 29865 29867 29719 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 608456134 16083783680 326076 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29880] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29880/stat : 29880 (java) S 29865 29867 29719 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 608456134 16083783680 326076 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29881] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29881/stat : 29881 (java) S 29865 29867 29719 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608456137 16083783680 326076 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032219569 0 4 0 16800975 18446604469240504512 0 0 -1 5 0 0 0
[pid=29867/tid=29882] ppid=29865 vsize=15706820 CPUtime=1.19 cores=1,3,5,7
/proc/29867/task/29882/stat : 29882 (java) S 29865 29867 29719 0 -1 4202560 13656 0 0 0 118 1 0 0 15 0 22 0 608456137 16083783680 326076 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=29867/tid=29887] ppid=29865 vsize=15706820 CPUtime=1107.79 cores=1,3,5,7
/proc/29867/task/29887/stat : 29887 (java) R 29865 29867 29719 0 -1 4202560 176438 0 0 0 110749 30 0 0 25 0 22 0 608456175 16083783680 155471 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 46912505868920 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29867/tid=29888] ppid=29865 vsize=15706820 CPUtime=1107.63 cores=1,3,5,7
/proc/29867/task/29888/stat : 29888 (java) R 29865 29867 29719 0 -1 4202560 195311 0 0 0 110731 32 0 0 25 0 22 0 608456175 16083783680 155471 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 46912505891148 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29867/tid=29889] ppid=29865 vsize=15706820 CPUtime=1108.34 cores=1,3,5,7
/proc/29867/task/29889/stat : 29889 (java) R 29865 29867 29719 0 -1 4202560 203247 0 0 0 110801 33 0 0 25 0 22 0 608456175 16083783680 155471 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 46912505928253 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4465.19
Current children cumulated vsize (KiB) 15706820
[startup+1182.3 s]
/proc/loadavg: 8.04 8.08 8.08 9/220 29978
/proc/meminfo: memFree=21594848/32951124 swapFree=67111464/67111528
[pid=29867] ppid=29865 vsize=15706820 CPUtime=4704.06 cores=1,3,5,7
/proc/29867/stat : 29867 (java) S 29865 29867 29719 0 -1 4202496 1483063 0 1 0 470071 335 0 0 25 0 22 0 608456132 16083783680 191762 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29867/statm: 3926705 191762 2298 9 0 3917424 0
[pid=29867/tid=29869] ppid=29865 vsize=15706820 CPUtime=0.99 cores=1,3,5,7
/proc/29867/task/29869/stat : 29869 (java) S 29865 29867 29719 0 -1 4202560 32157 0 1 0 94 5 0 0 21 0 22 0 608456132 16083783680 191762 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29870] ppid=29865 vsize=15706820 CPUtime=3.72 cores=1,3,5,7
/proc/29867/task/29870/stat : 29870 (java) S 29865 29867 29719 0 -1 4202560 76764 0 0 0 353 19 0 0 16 0 22 0 608456133 16083783680 191762 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29871] ppid=29865 vsize=15706820 CPUtime=3.67 cores=1,3,5,7
/proc/29867/task/29871/stat : 29871 (java) S 29865 29867 29719 0 -1 4202560 73441 0 0 0 350 17 0 0 15 0 22 0 608456133 16083783680 191762 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 5 0 0 0
[pid=29867/tid=29872] ppid=29865 vsize=15706820 CPUtime=3.64 cores=1,3,5,7
/proc/29867/task/29872/stat : 29872 (java) S 29865 29867 29719 0 -1 4202560 68542 0 0 0 349 15 0 0 15 0 22 0 608456133 16083783680 191762 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 3 0 0 0
[pid=29867/tid=29873] ppid=29865 vsize=15706820 CPUtime=3.69 cores=1,3,5,7
/proc/29867/task/29873/stat : 29873 (java) S 29865 29867 29719 0 -1 4202560 70428 0 0 0 351 18 0 0 15 0 22 0 608456133 16083783680 191762 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 5 0 0 0
[pid=29867/tid=29874] ppid=29865 vsize=15706820 CPUtime=3.74 cores=1,3,5,7
/proc/29867/task/29874/stat : 29874 (java) S 29865 29867 29719 0 -1 4202560 82386 0 0 0 356 18 0 0 15 0 22 0 608456133 16083783680 191762 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 5 0 0 0
[pid=29867/tid=29875] ppid=29865 vsize=15706820 CPUtime=3.77 cores=1,3,5,7
/proc/29867/task/29875/stat : 29875 (java) S 29865 29867 29719 0 -1 4202560 76625 0 0 0 359 18 0 0 16 0 22 0 608456133 16083783680 191762 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 3 0 0 0
[pid=29867/tid=29876] ppid=29865 vsize=15706820 CPUtime=3.67 cores=1,3,5,7
/proc/29867/task/29876/stat : 29876 (java) S 29865 29867 29719 0 -1 4202560 77865 0 0 0 350 17 0 0 15 0 22 0 608456133 16083783680 191762 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29877] ppid=29865 vsize=15706820 CPUtime=3.77 cores=1,3,5,7
/proc/29867/task/29877/stat : 29877 (java) S 29865 29867 29719 0 -1 4202560 81632 0 0 0 358 19 0 0 16 0 22 0 608456133 16083783680 191762 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29878] ppid=29865 vsize=15706820 CPUtime=1.64 cores=1,3,5,7
/proc/29867/task/29878/stat : 29878 (java) S 29865 29867 29719 0 -1 4202560 3845 0 0 0 118 46 0 0 15 0 22 0 608456134 16083783680 191762 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032212480 0 0 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29879] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29879/stat : 29879 (java) S 29865 29867 29719 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 608456134 16083783680 191762 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29880] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29880/stat : 29880 (java) S 29865 29867 29719 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 608456134 16083783680 191762 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29881] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29881/stat : 29881 (java) S 29865 29867 29719 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608456137 16083783680 191762 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032219569 0 4 0 16800975 18446604469240504512 0 0 -1 5 0 0 0
[pid=29867/tid=29882] ppid=29865 vsize=15706820 CPUtime=1.34 cores=1,3,5,7
/proc/29867/task/29882/stat : 29882 (java) S 29865 29867 29719 0 -1 4202560 13681 0 0 0 133 1 0 0 16 0 22 0 608456137 16083783680 191762 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29883] ppid=29865 vsize=15706820 CPUtime=0.86 cores=1,3,5,7
/proc/29867/task/29883/stat : 29883 (java) S 29865 29867 29719 0 -1 4202560 5057 0 0 0 86 0 0 0 15 0 22 0 608456137 16083783680 191762 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29884] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29884/stat : 29884 (java) S 29865 29867 29719 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608456137 16083783680 191762 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 5 0 0 0
[pid=29867/tid=29885] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29885/stat : 29885 (java) S 29865 29867 29719 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 608456137 16083783680 191762 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032212480 0 4 0 16800975 18446604469240504512 0 0 -1 5 0 0 0
[pid=29867/tid=29886] ppid=29865 vsize=15706820 CPUtime=1167.65 cores=1,3,5,7
/proc/29867/task/29886/stat : 29886 (java) R 29865 29867 29719 0 -1 4202560 186691 0 0 0 116735 30 0 0 25 0 22 0 608456175 16083783680 191762 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 46912506178689 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29867/tid=29887] ppid=29865 vsize=15706820 CPUtime=1167.07 cores=1,3,5,7
/proc/29867/task/29887/stat : 29887 (java) R 29865 29867 29719 0 -1 4202560 195653 0 0 0 116675 32 0 0 25 0 22 0 608456175 16083783680 191762 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 46912505891942 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29867/tid=29888] ppid=29865 vsize=15706820 CPUtime=1167.02 cores=1,3,5,7
/proc/29867/task/29888/stat : 29888 (java) R 29865 29867 29719 0 -1 4202560 213695 0 0 0 116668 34 0 0 25 0 22 0 608456175 16083783680 191762 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 46912505769088 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29867/tid=29889] ppid=29865 vsize=15706820 CPUtime=1167.64 cores=1,3,5,7
/proc/29867/task/29889/stat : 29889 (java) R 29865 29867 29719 0 -1 4202560 223152 0 0 0 116728 36 0 0 25 0 22 0 608456175 16083783680 191762 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 46912505868937 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4704.06
Current children cumulated vsize (KiB) 15706820
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1206.5 s]
/proc/loadavg: 8.10 8.09 8.08 9/220 29978
/proc/meminfo: memFree=21477772/32951124 swapFree=67111464/67111528
[pid=29867] ppid=29865 vsize=15706820 CPUtime=4800.38 cores=1,3,5,7
/proc/29867/stat : 29867 (java) S 29865 29867 29719 0 -1 4202496 1486510 0 1 0 479700 338 0 0 25 0 22 0 608456132 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29867/statm: 3926705 167556 2298 9 0 3917424 0
[pid=29867/tid=29869] ppid=29865 vsize=15706820 CPUtime=0.99 cores=1,3,5,7
/proc/29867/task/29869/stat : 29869 (java) S 29865 29867 29719 0 -1 4202560 32157 0 1 0 94 5 0 0 21 0 22 0 608456132 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29870] ppid=29865 vsize=15706820 CPUtime=3.8 cores=1,3,5,7
/proc/29867/task/29870/stat : 29870 (java) S 29865 29867 29719 0 -1 4202560 77315 0 0 0 361 19 0 0 15 0 22 0 608456133 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 5 0 0 0
[pid=29867/tid=29871] ppid=29865 vsize=15706820 CPUtime=3.73 cores=1,3,5,7
/proc/29867/task/29871/stat : 29871 (java) S 29865 29867 29719 0 -1 4202560 73802 0 0 0 356 17 0 0 15 0 22 0 608456133 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29872] ppid=29865 vsize=15706820 CPUtime=3.71 cores=1,3,5,7
/proc/29867/task/29872/stat : 29872 (java) S 29865 29867 29719 0 -1 4202560 68742 0 0 0 356 15 0 0 15 0 22 0 608456133 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 3 0 0 0
[pid=29867/tid=29873] ppid=29865 vsize=15706820 CPUtime=3.76 cores=1,3,5,7
/proc/29867/task/29873/stat : 29873 (java) S 29865 29867 29719 0 -1 4202560 70833 0 0 0 358 18 0 0 15 0 22 0 608456133 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29874] ppid=29865 vsize=15706820 CPUtime=3.84 cores=1,3,5,7
/proc/29867/task/29874/stat : 29874 (java) S 29865 29867 29719 0 -1 4202560 82771 0 0 0 365 19 0 0 15 0 22 0 608456133 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 5 0 0 0
[pid=29867/tid=29875] ppid=29865 vsize=15706820 CPUtime=3.85 cores=1,3,5,7
/proc/29867/task/29875/stat : 29875 (java) S 29865 29867 29719 0 -1 4202560 76928 0 0 0 366 19 0 0 16 0 22 0 608456133 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29876] ppid=29865 vsize=15706820 CPUtime=3.76 cores=1,3,5,7
/proc/29867/task/29876/stat : 29876 (java) S 29865 29867 29719 0 -1 4202560 78518 0 0 0 358 18 0 0 15 0 22 0 608456133 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 3 0 0 0
[pid=29867/tid=29877] ppid=29865 vsize=15706820 CPUtime=3.83 cores=1,3,5,7
/proc/29867/task/29877/stat : 29877 (java) S 29865 29867 29719 0 -1 4202560 82076 0 0 0 364 19 0 0 16 0 22 0 608456133 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 3 0 0 0
[pid=29867/tid=29878] ppid=29865 vsize=15706820 CPUtime=1.67 cores=1,3,5,7
/proc/29867/task/29878/stat : 29878 (java) S 29865 29867 29719 0 -1 4202560 3874 0 0 0 121 46 0 0 16 0 22 0 608456134 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032212480 0 0 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29879] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29879/stat : 29879 (java) S 29865 29867 29719 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 608456134 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29880] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29880/stat : 29880 (java) S 29865 29867 29719 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 608456134 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29881] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29881/stat : 29881 (java) S 29865 29867 29719 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608456137 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032219569 0 4 0 16800975 18446604469240504512 0 0 -1 5 0 0 0
[pid=29867/tid=29882] ppid=29865 vsize=15706820 CPUtime=1.34 cores=1,3,5,7
/proc/29867/task/29882/stat : 29882 (java) S 29865 29867 29719 0 -1 4202560 13681 0 0 0 133 1 0 0 16 0 22 0 608456137 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29883] ppid=29865 vsize=15706820 CPUtime=0.86 cores=1,3,5,7
/proc/29867/task/29883/stat : 29883 (java) S 29865 29867 29719 0 -1 4202560 5057 0 0 0 86 0 0 0 15 0 22 0 608456137 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29884] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29884/stat : 29884 (java) S 29865 29867 29719 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608456137 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 5 0 0 0
[pid=29867/tid=29885] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29885/stat : 29885 (java) S 29865 29867 29719 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 608456137 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032212480 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29886] ppid=29865 vsize=15706820 CPUtime=1191.6 cores=1,3,5,7
/proc/29867/task/29886/stat : 29886 (java) R 29865 29867 29719 0 -1 4202560 186718 0 0 0 119130 30 0 0 25 0 22 0 608456175 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 46912505523274 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29867/tid=29887] ppid=29865 vsize=15706820 CPUtime=1190.99 cores=1,3,5,7
/proc/29867/task/29887/stat : 29887 (java) R 29865 29867 29719 0 -1 4202560 195682 0 0 0 119067 32 0 0 25 0 22 0 608456175 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 46912505868987 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29867/tid=29888] ppid=29865 vsize=15706820 CPUtime=1190.89 cores=1,3,5,7
/proc/29867/task/29888/stat : 29888 (java) R 29865 29867 29719 0 -1 4202560 213716 0 0 0 119055 34 0 0 25 0 22 0 608456175 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 46912505805998 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29867/tid=29889] ppid=29865 vsize=15706820 CPUtime=1191.6 cores=1,3,5,7
/proc/29867/task/29889/stat : 29889 (java) R 29865 29867 29719 0 -1 4202560 223189 0 0 0 119124 36 0 0 25 0 22 0 608456175 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 46912506126514 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 15706820
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1206.5 s]
/proc/loadavg: 8.10 8.09 8.08 9/220 29978
/proc/meminfo: memFree=21477772/32951124 swapFree=67111464/67111528
[pid=29867] ppid=29865 vsize=15706820 CPUtime=4800.38 cores=1,3,5,7
/proc/29867/stat : 29867 (java) S 29865 29867 29719 0 -1 4202496 1486510 0 1 0 479700 338 0 0 25 0 22 0 608456132 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29867/statm: 3926705 167556 2298 9 0 3917424 0
[pid=29867/tid=29869] ppid=29865 vsize=15706820 CPUtime=0.99 cores=1,3,5,7
/proc/29867/task/29869/stat : 29869 (java) S 29865 29867 29719 0 -1 4202560 32157 0 1 0 94 5 0 0 21 0 22 0 608456132 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29870] ppid=29865 vsize=15706820 CPUtime=3.8 cores=1,3,5,7
/proc/29867/task/29870/stat : 29870 (java) S 29865 29867 29719 0 -1 4202560 77315 0 0 0 361 19 0 0 15 0 22 0 608456133 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 5 0 0 0
[pid=29867/tid=29871] ppid=29865 vsize=15706820 CPUtime=3.73 cores=1,3,5,7
/proc/29867/task/29871/stat : 29871 (java) S 29865 29867 29719 0 -1 4202560 73802 0 0 0 356 17 0 0 15 0 22 0 608456133 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29872] ppid=29865 vsize=15706820 CPUtime=3.71 cores=1,3,5,7
/proc/29867/task/29872/stat : 29872 (java) S 29865 29867 29719 0 -1 4202560 68742 0 0 0 356 15 0 0 15 0 22 0 608456133 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 3 0 0 0
[pid=29867/tid=29873] ppid=29865 vsize=15706820 CPUtime=3.76 cores=1,3,5,7
/proc/29867/task/29873/stat : 29873 (java) S 29865 29867 29719 0 -1 4202560 70833 0 0 0 358 18 0 0 15 0 22 0 608456133 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29874] ppid=29865 vsize=15706820 CPUtime=3.84 cores=1,3,5,7
/proc/29867/task/29874/stat : 29874 (java) S 29865 29867 29719 0 -1 4202560 82771 0 0 0 365 19 0 0 15 0 22 0 608456133 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 5 0 0 0
[pid=29867/tid=29875] ppid=29865 vsize=15706820 CPUtime=3.85 cores=1,3,5,7
/proc/29867/task/29875/stat : 29875 (java) S 29865 29867 29719 0 -1 4202560 76928 0 0 0 366 19 0 0 16 0 22 0 608456133 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29876] ppid=29865 vsize=15706820 CPUtime=3.76 cores=1,3,5,7
/proc/29867/task/29876/stat : 29876 (java) S 29865 29867 29719 0 -1 4202560 78518 0 0 0 358 18 0 0 15 0 22 0 608456133 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 3 0 0 0
[pid=29867/tid=29877] ppid=29865 vsize=15706820 CPUtime=3.83 cores=1,3,5,7
/proc/29867/task/29877/stat : 29877 (java) S 29865 29867 29719 0 -1 4202560 82076 0 0 0 364 19 0 0 16 0 22 0 608456133 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 3 0 0 0
[pid=29867/tid=29878] ppid=29865 vsize=15706820 CPUtime=1.67 cores=1,3,5,7
/proc/29867/task/29878/stat : 29878 (java) S 29865 29867 29719 0 -1 4202560 3874 0 0 0 121 46 0 0 16 0 22 0 608456134 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032212480 0 0 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29879] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29879/stat : 29879 (java) S 29865 29867 29719 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 608456134 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29880] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29880/stat : 29880 (java) S 29865 29867 29719 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 608456134 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29881] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29881/stat : 29881 (java) S 29865 29867 29719 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608456137 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032219569 0 4 0 16800975 18446604469240504512 0 0 -1 5 0 0 0
[pid=29867/tid=29882] ppid=29865 vsize=15706820 CPUtime=1.34 cores=1,3,5,7
/proc/29867/task/29882/stat : 29882 (java) S 29865 29867 29719 0 -1 4202560 13681 0 0 0 133 1 0 0 16 0 22 0 608456137 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 1 0 0 0
[pid=29867/tid=29883] ppid=29865 vsize=15706820 CPUtime=0.86 cores=1,3,5,7
/proc/29867/task/29883/stat : 29883 (java) S 29865 29867 29719 0 -1 4202560 5057 0 0 0 86 0 0 0 15 0 22 0 608456137 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29884] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29884/stat : 29884 (java) S 29865 29867 29719 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608456137 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032211865 0 4 0 16800975 18446604469240504512 0 0 -1 5 0 0 0
[pid=29867/tid=29885] ppid=29865 vsize=15706820 CPUtime=0 cores=1,3,5,7
/proc/29867/task/29885/stat : 29885 (java) S 29865 29867 29719 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 608456137 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 260032212480 0 4 0 16800975 18446604469240504512 0 0 -1 7 0 0 0
[pid=29867/tid=29886] ppid=29865 vsize=15706820 CPUtime=1191.6 cores=1,3,5,7
/proc/29867/task/29886/stat : 29886 (java) R 29865 29867 29719 0 -1 4202560 186718 0 0 0 119130 30 0 0 25 0 22 0 608456175 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 46912505523274 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29867/tid=29887] ppid=29865 vsize=15706820 CPUtime=1190.99 cores=1,3,5,7
/proc/29867/task/29887/stat : 29887 (java) R 29865 29867 29719 0 -1 4202560 195682 0 0 0 119067 32 0 0 25 0 22 0 608456175 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 46912505868987 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29867/tid=29888] ppid=29865 vsize=15706820 CPUtime=1190.89 cores=1,3,5,7
/proc/29867/task/29888/stat : 29888 (java) R 29865 29867 29719 0 -1 4202560 213716 0 0 0 119055 34 0 0 25 0 22 0 608456175 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 46912505805998 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29867/tid=29889] ppid=29865 vsize=15706820 CPUtime=1191.6 cores=1,3,5,7
/proc/29867/task/29889/stat : 29889 (java) R 29865 29867 29719 0 -1 4202560 223189 0 0 0 119124 36 0 0 25 0 22 0 608456175 16083783680 167556 33554432000 1073741824 1073778376 140734956175024 18446744073709551615 46912506126514 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 15706820
Child status: 143
Real time (s): 1206.55
CPU time (s): 4800.44
CPU user time (s): 4797.03
CPU system time (s): 3.41148
CPU usage (%): 397.867
Max. virtual memory (cumulated for all children) (KiB): 15709596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.03
system time used= 3.41148
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1486536
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 195444
involuntary context switches= 127105
runsolver used 2.07668 second user time and 4.56731 second system time
The end