runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3687626-1337872852/watcher-3687626-1337872852 -o /tmp/evaluation-result-3687626-1337872852/solver-3687626-1337872852 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687626-1337872852.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 3.78 3.72 2.45 4/198 23034
/proc/meminfo: memFree=25125980/32873648 swapFree=6864/6864
[pid=23034] ppid=23032 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23034/stat : 23034 (java) D 23032 23034 22184 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 253411189 9515008 175 33554432000 1073741824 1073778376 140734440836112 140734440818840 226084340624 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/23034/statm: 2323 175 133 9 0 71 0
[startup+0.0155359 s]
/proc/loadavg: 3.78 3.72 2.45 4/198 23034
/proc/meminfo: memFree=25125980/32873648 swapFree=6864/6864
[pid=23034] ppid=23032 vsize=96268 CPUtime=0 cores=1,3,5,7
/proc/23034/stat : 23034 (java) S 23032 23034 22184 0 -1 4202496 1289 0 0 0 0 0 0 0 20 0 2 0 253411189 98578432 990 33554432000 1073741824 1073778376 140734681029984 140734681021120 226087698493 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23034/statm: 24067 990 755 9 0 16773 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 96268
[startup+0.100175 s]
/proc/loadavg: 3.78 3.72 2.45 4/198 23034
/proc/meminfo: memFree=25125980/32873648 swapFree=6864/6864
[pid=23034] ppid=23032 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/23034/stat : 23034 (java) S 23032 23034 22184 0 -1 4202496 4311 0 1 0 8 1 0 0 20 0 18 0 253411189 9787813888 5501 33554432000 1073741824 1073778376 140734681029984 140734681021120 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23034/statm: 2389603 5501 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300171 s]
/proc/loadavg: 3.78 3.72 2.45 4/198 23034
/proc/meminfo: memFree=25125980/32873648 swapFree=6864/6864
[pid=23034] ppid=23032 vsize=9558412 CPUtime=0.46 cores=1,3,5,7
/proc/23034/stat : 23034 (java) S 23032 23034 22184 0 -1 4202496 5389 0 1 0 45 1 0 0 20 0 18 0 253411189 9787813888 8322 33554432000 1073741824 1073778376 140734681029984 140734681021120 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23034/statm: 2389603 8322 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412
[startup+0.700172 s]
/proc/loadavg: 3.78 3.72 2.45 4/198 23034
/proc/meminfo: memFree=25125980/32873648 swapFree=6864/6864
[pid=23034] ppid=23032 vsize=9824668 CPUtime=0.87 cores=1,3,5,7
/proc/23034/stat : 23034 (java) S 23032 23034 22184 0 -1 4202496 13222 0 1 0 82 5 0 0 20 0 19 0 253411189 10060460032 15188 33554432000 1073741824 1073778376 140734681029984 140734681021120 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23034/statm: 2456167 15188 2242 9 0 2446860 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 9824668
[startup+1.50063 s]
/proc/loadavg: 3.78 3.72 2.45 5/217 23059
/proc/meminfo: memFree=25068632/32873648 swapFree=6864/6864
[pid=23034] ppid=23032 vsize=9824668 CPUtime=2.03 cores=1,3,5,7
/proc/23034/stat : 23034 (java) S 23032 23034 22184 0 -1 4202496 15764 0 1 0 195 8 0 0 20 0 22 0 253411189 10060460032 18557 33554432000 1073741824 1073778376 140734681029984 140734681021120 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23034/statm: 2456167 18557 2252 9 0 2446860 0
[pid=23034/tid=23036] ppid=23032 vsize=9824668 CPUtime=0.32 cores=1,3,5,7
/proc/23034/task/23036/stat : 23036 (java) S 23032 23034 22184 0 -1 4202560 2481 0 1 0 30 2 0 0 20 0 22 0 253411190 10060460032 18557 33554432000 1073741824 1073778376 140734681029984 140666436875256 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23037] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23037/stat : 23037 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411192 10060460032 18557 33554432000 1073741824 1073778376 140734681029984 140666425936680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23038] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23038/stat : 23038 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411192 10060460032 18557 33554432000 1073741824 1073778376 140734681029984 140666424883880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23039] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23039/stat : 23039 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411192 10060460032 18557 33554432000 1073741824 1073778376 140734681029984 140666423831592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23034/tid=23040] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23040/stat : 23040 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411192 10060460032 18557 33554432000 1073741824 1073778376 140734681029984 140666422778792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23041] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23041/stat : 23041 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411192 10060460032 18557 33554432000 1073741824 1073778376 140734681029984 140666421725480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23042] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23042/stat : 23042 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411192 10060460032 18557 33554432000 1073741824 1073778376 140734681029984 140666275051688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23043] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23043/stat : 23043 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411192 10060460032 18557 33554432000 1073741824 1073778376 140734681029984 140666273999400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23034/tid=23044] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23044/stat : 23044 (java) S 23032 23034 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253411192 10060460032 18557 33554432000 1073741824 1073778376 140734681029984 140666272946600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23045] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23045/stat : 23045 (java) S 23032 23034 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253411193 10060460032 18557 33554432000 1073741824 1073778376 140734681029984 140666260749032 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23046] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23046/stat : 23046 (java) S 23032 23034 22184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253411193 10060460032 18557 33554432000 1073741824 1073778376 140734681029984 140666259695096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23047] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23047/stat : 23047 (java) S 23032 23034 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253411193 10060460032 18557 33554432000 1073741824 1073778376 140734681029984 140666258642696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23048] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23048/stat : 23048 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411195 10060460032 18557 33554432000 1073741824 1073778376 140734681029984 140666257591184 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23049] ppid=23032 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/23034/task/23049/stat : 23049 (java) S 23032 23034 22184 0 -1 4202560 3999 0 0 0 41 0 0 0 20 0 22 0 253411195 10060460032 18557 33554432000 1073741824 1073778376 140734681029984 140666256537784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23050] ppid=23032 vsize=9824668 CPUtime=0.61 cores=1,3,5,7
/proc/23034/task/23050/stat : 23050 (java) S 23032 23034 22184 0 -1 4202560 7926 0 0 0 59 2 0 0 20 0 22 0 253411195 10060460032 18557 33554432000 1073741824 1073778376 140734681029984 140666255484984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23051] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23051/stat : 23051 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411195 10060460032 18557 33554432000 1073741824 1073778376 140734681029984 140666254432888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23052] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23052/stat : 23052 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411196 10060460032 18557 33554432000 1073741824 1073778376 140734681029984 140666253380296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23059] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23059/stat : 23059 (java) S 23032 23034 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253411275 10060460032 18557 33554432000 1073741824 1073778376 140734681029984 140666248643752 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 9824668
[startup+3.10065 s]
/proc/loadavg: 3.78 3.72 2.45 3/217 23062
/proc/meminfo: memFree=25040480/32873648 swapFree=6864/6864
[pid=23034] ppid=23032 vsize=9824668 CPUtime=4.51 cores=1,3,5,7
/proc/23034/stat : 23034 (java) S 23032 23034 22184 0 -1 4202496 19991 0 1 0 439 12 0 0 20 0 19 0 253411189 10060460032 32668 33554432000 1073741824 1073778376 140734681029984 140734681021120 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23034/statm: 2456167 32668 2257 9 0 2446860 0
[pid=23034/tid=23036] ppid=23032 vsize=9824668 CPUtime=0.32 cores=1,3,5,7
/proc/23034/task/23036/stat : 23036 (java) S 23032 23034 22184 0 -1 4202560 2483 0 1 0 30 2 0 0 20 0 19 0 253411190 10060460032 32668 33554432000 1073741824 1073778376 140734681029984 140666436875256 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23037] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23037/stat : 23037 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253411192 10060460032 32668 33554432000 1073741824 1073778376 140734681029984 140666425936680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23038] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23038/stat : 23038 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253411192 10060460032 32668 33554432000 1073741824 1073778376 140734681029984 140666424883880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23039] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23039/stat : 23039 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253411192 10060460032 32668 33554432000 1073741824 1073778376 140734681029984 140666423831592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23034/tid=23040] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23040/stat : 23040 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253411192 10060460032 32668 33554432000 1073741824 1073778376 140734681029984 140666422778792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23041] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23041/stat : 23041 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253411192 10060460032 32668 33554432000 1073741824 1073778376 140734681029984 140666421725480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23042] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23042/stat : 23042 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253411192 10060460032 32668 33554432000 1073741824 1073778376 140734681029984 140666275051688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23043] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23043/stat : 23043 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253411192 10060460032 32668 33554432000 1073741824 1073778376 140734681029984 140666273999400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23034/tid=23044] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23044/stat : 23044 (java) S 23032 23034 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253411192 10060460032 32668 33554432000 1073741824 1073778376 140734681029984 140666272946600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23045] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23045/stat : 23045 (java) S 23032 23034 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253411193 10060460032 32668 33554432000 1073741824 1073778376 140734681029984 140666260749032 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23046] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23046/stat : 23046 (java) S 23032 23034 22184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253411193 10060460032 32668 33554432000 1073741824 1073778376 140734681029984 140666259695096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23047] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23047/stat : 23047 (java) S 23032 23034 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253411193 10060460032 32668 33554432000 1073741824 1073778376 140734681029984 140666258642696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23048] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23048/stat : 23048 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253411195 10060460032 32668 33554432000 1073741824 1073778376 140734681029984 140666257591184 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23049] ppid=23032 vsize=9824668 CPUtime=0.5 cores=1,3,5,7
/proc/23034/task/23049/stat : 23049 (java) S 23032 23034 22184 0 -1 4202560 4516 0 0 0 50 0 0 0 20 0 19 0 253411195 10060460032 32668 33554432000 1073741824 1073778376 140734681029984 140666256537784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23050] ppid=23032 vsize=9824668 CPUtime=0.86 cores=1,3,5,7
/proc/23034/task/23050/stat : 23050 (java) R 23032 23034 22184 0 -1 4202560 11586 0 0 0 84 2 0 0 20 0 19 0 253411195 10060460032 32668 33554432000 1073741824 1073778376 140734681029984 140666255484864 140666440992163 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23051] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23051/stat : 23051 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253411195 10060460032 32668 33554432000 1073741824 1073778376 140734681029984 140666254432888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23052] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23052/stat : 23052 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253411196 10060460032 32668 33554432000 1073741824 1073778376 140734681029984 140666253380296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23062] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23062/stat : 23062 (java) S 23032 23034 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253411325 10060460032 32668 33554432000 1073741824 1073778376 140734681029984 140666249696552 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.51
Current children cumulated vsize (KiB) 9824668
[startup+6.30073 s]
/proc/loadavg: 3.79 3.72 2.46 7/220 23068
/proc/meminfo: memFree=24935564/32873648 swapFree=6864/6864
[pid=23034] ppid=23032 vsize=9824668 CPUtime=10.72 cores=1,3,5,7
/proc/23034/stat : 23034 (java) S 23032 23034 22184 0 -1 4202496 20620 0 1 0 1053 19 0 0 20 0 22 0 253411189 10060460032 60496 33554432000 1073741824 1073778376 140734681029984 140734681021120 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23034/statm: 2456167 60496 2284 9 0 2446860 0
[pid=23034/tid=23036] ppid=23032 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/23034/task/23036/stat : 23036 (java) S 23032 23034 22184 0 -1 4202560 2483 0 1 0 31 2 0 0 20 0 22 0 253411190 10060460032 60496 33554432000 1073741824 1073778376 140734681029984 140666436875256 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23037] ppid=23032 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/23034/task/23037/stat : 23037 (java) S 23032 23034 22184 0 -1 4202560 111 0 0 0 0 1 0 0 20 0 22 0 253411192 10060460032 60496 33554432000 1073741824 1073778376 140734681029984 140666425936680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23038] ppid=23032 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/23034/task/23038/stat : 23038 (java) S 23032 23034 22184 0 -1 4202560 137 0 0 0 0 1 0 0 20 0 22 0 253411192 10060460032 60496 33554432000 1073741824 1073778376 140734681029984 140666424883880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23039] ppid=23032 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/23034/task/23039/stat : 23039 (java) S 23032 23034 22184 0 -1 4202560 185 0 0 0 2 0 0 0 20 0 22 0 253411192 10060460032 60496 33554432000 1073741824 1073778376 140734681029984 140666423831592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23040] ppid=23032 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/23034/task/23040/stat : 23040 (java) S 23032 23034 22184 0 -1 4202560 67 0 0 0 0 1 0 0 20 0 22 0 253411192 10060460032 60496 33554432000 1073741824 1073778376 140734681029984 140666422778792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23041] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23041/stat : 23041 (java) S 23032 23034 22184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253411192 10060460032 60496 33554432000 1073741824 1073778376 140734681029984 140666421725480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23034/tid=23042] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23042/stat : 23042 (java) S 23032 23034 22184 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 22 0 253411192 10060460032 60496 33554432000 1073741824 1073778376 140734681029984 140666275051688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23034/tid=23043] ppid=23032 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/23034/task/23043/stat : 23043 (java) S 23032 23034 22184 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 253411192 10060460032 60496 33554432000 1073741824 1073778376 140734681029984 140666273999400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23044] ppid=23032 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/23034/task/23044/stat : 23044 (java) S 23032 23034 22184 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 253411192 10060460032 60496 33554432000 1073741824 1073778376 140734681029984 140666272946600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23045] ppid=23032 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/23034/task/23045/stat : 23045 (java) S 23032 23034 22184 0 -1 4202560 42 0 0 0 4 0 0 0 20 0 22 0 253411193 10060460032 60496 33554432000 1073741824 1073778376 140734681029984 140666260749032 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23046] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23046/stat : 23046 (java) S 23032 23034 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253411193 10060460032 60496 33554432000 1073741824 1073778376 140734681029984 140666259695096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23047] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23047/stat : 23047 (java) S 23032 23034 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253411193 10060460032 60496 33554432000 1073741824 1073778376 140734681029984 140666258642696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23048] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23048/stat : 23048 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411195 10060460032 60496 33554432000 1073741824 1073778376 140734681029984 140666257591184 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23049] ppid=23032 vsize=9824668 CPUtime=0.62 cores=1,3,5,7
/proc/23034/task/23049/stat : 23049 (java) S 23032 23034 22184 0 -1 4202560 4524 0 0 0 62 0 0 0 20 0 22 0 253411195 10060460032 60496 33554432000 1073741824 1073778376 140734681029984 140666256537784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23050] ppid=23032 vsize=9824668 CPUtime=1.04 cores=1,3,5,7
/proc/23034/task/23050/stat : 23050 (java) S 23032 23034 22184 0 -1 4202560 11589 0 0 0 102 2 0 0 20 0 22 0 253411195 10060460032 60496 33554432000 1073741824 1073778376 140734681029984 140666255484984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23051] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23051/stat : 23051 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411195 10060460032 60496 33554432000 1073741824 1073778376 140734681029984 140666254432888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23052] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23052/stat : 23052 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411196 10060460032 60496 33554432000 1073741824 1073778376 140734681029984 140666253380296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23062] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23062/stat : 23062 (java) S 23032 23034 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253411325 10060460032 60496 33554432000 1073741824 1073778376 140734681029984 140666249696552 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23034/tid=23066] ppid=23032 vsize=9824668 CPUtime=2.8 cores=1,3,5,7
/proc/23034/task/23066/stat : 23066 (java) R 23032 23034 22184 0 -1 4202560 13 0 0 0 280 0 0 0 20 0 22 0 253411525 10060460032 60496 33554432000 1073741824 1073778376 140734681029984 140666251272288 140666303399131 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=23034/tid=23067] ppid=23032 vsize=9824668 CPUtime=2.82 cores=1,3,5,7
/proc/23034/task/23067/stat : 23067 (java) R 23032 23034 22184 0 -1 4202560 14 0 0 0 282 0 0 0 20 0 22 0 253411525 10060460032 60496 33554432000 1073741824 1073778376 140734681029984 140666252323384 140666303369597 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
[pid=23034/tid=23249] ppid=23032 vsize=9824668 CPUtime=303.66 cores=1,3,5,7
/proc/23034/task/23249/stat : 23249 (java) R 23032 23034 22184 0 -1 4202560 8 0 0 0 30362 4 0 0 20 0 22 0 253464340 10060460032 849917 33554432000 1073741824 1073778376 140734681029984 140666251271728 140666303475429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23250] ppid=23032 vsize=9824668 CPUtime=303.6 cores=1,3,5,7
/proc/23034/task/23250/stat : 23250 (java) R 23032 23034 22184 0 -1 4202560 16 0 0 0 30356 4 0 0 20 0 22 0 253464340 10060460032 849917 33554432000 1073741824 1073778376 140734681029984 140666252323232 140666303779098 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23251] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23251/stat : 23251 (java) S 23032 23034 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253464340 10060460032 849917 33554432000 1073741824 1073778376 140734681029984 140666248644008 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1685.34
Current children cumulated vsize (KiB) 9824668
[startup+1002.3 s]
/proc/loadavg: 3.49 3.52 3.13 5/219 23262
/proc/meminfo: memFree=21951148/32873648 swapFree=6864/6864
[pid=23034] ppid=23032 vsize=9824668 CPUtime=1796.59 cores=1,3,5,7
/proc/23034/stat : 23034 (java) S 23032 23034 22184 0 -1 4202496 40578 0 1 0 179398 261 0 0 20 0 22 0 253411189 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140734681021120 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23034/statm: 2456167 915082 2286 9 0 2446860 0
[pid=23034/tid=23036] ppid=23032 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/23034/task/23036/stat : 23036 (java) S 23032 23034 22184 0 -1 4202560 2589 0 1 0 38 3 0 0 20 0 22 0 253411190 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666436875256 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23037] ppid=23032 vsize=9824668 CPUtime=4.4 cores=1,3,5,7
/proc/23034/task/23037/stat : 23037 (java) S 23032 23034 22184 0 -1 4202560 1082 0 0 0 416 24 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666425936680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23038] ppid=23032 vsize=9824668 CPUtime=4.26 cores=1,3,5,7
/proc/23034/task/23038/stat : 23038 (java) S 23032 23034 22184 0 -1 4202560 1417 0 0 0 408 18 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666424883880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23039] ppid=23032 vsize=9824668 CPUtime=4.29 cores=1,3,5,7
/proc/23034/task/23039/stat : 23039 (java) S 23032 23034 22184 0 -1 4202560 825 0 0 0 414 15 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666423831592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23040] ppid=23032 vsize=9824668 CPUtime=4.35 cores=1,3,5,7
/proc/23034/task/23040/stat : 23040 (java) S 23032 23034 22184 0 -1 4202560 706 0 0 0 415 20 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666422778792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23041] ppid=23032 vsize=9824668 CPUtime=4.46 cores=1,3,5,7
/proc/23034/task/23041/stat : 23041 (java) S 23032 23034 22184 0 -1 4202560 933 0 0 0 431 15 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666421725480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23042] ppid=23032 vsize=9824668 CPUtime=4.7 cores=1,3,5,7
/proc/23034/task/23042/stat : 23042 (java) S 23032 23034 22184 0 -1 4202560 875 0 0 0 455 15 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666275051688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23043] ppid=23032 vsize=9824668 CPUtime=4.4 cores=1,3,5,7
/proc/23034/task/23043/stat : 23043 (java) S 23032 23034 22184 0 -1 4202560 851 0 0 0 423 17 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666273999400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23044] ppid=23032 vsize=9824668 CPUtime=4.17 cores=1,3,5,7
/proc/23034/task/23044/stat : 23044 (java) S 23032 23034 22184 0 -1 4202560 653 0 0 0 399 18 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666272946600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23045] ppid=23032 vsize=9824668 CPUtime=215.64 cores=1,3,5,7
/proc/23034/task/23045/stat : 23045 (java) S 23032 23034 22184 0 -1 4202560 5431 0 0 0 21526 38 0 0 20 0 22 0 253411193 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666260749032 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23046] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23046/stat : 23046 (java) S 23032 23034 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253411193 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666259695096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23034/tid=23047] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23047/stat : 23047 (java) S 23032 23034 22184 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 22 0 253411193 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666258642696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23034/tid=23048] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23048/stat : 23048 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411195 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666257591184 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23049] ppid=23032 vsize=9824668 CPUtime=1.43 cores=1,3,5,7
/proc/23034/task/23049/stat : 23049 (java) S 23032 23034 22184 0 -1 4202560 11027 0 0 0 141 2 0 0 20 0 22 0 253411195 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666256537784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23050] ppid=23032 vsize=9824668 CPUtime=1.2 cores=1,3,5,7
/proc/23034/task/23050/stat : 23050 (java) S 23032 23034 22184 0 -1 4202560 11599 0 0 0 118 2 0 0 20 0 22 0 253411195 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666255484984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23034/tid=23051] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23051/stat : 23051 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411195 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666254432888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23052] ppid=23032 vsize=9824668 CPUtime=0.37 cores=1,3,5,7
/proc/23034/task/23052/stat : 23052 (java) S 23032 23034 22184 0 -1 4202560 56 0 0 0 14 23 0 0 20 0 22 0 253411196 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666253380296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23062] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23062/stat : 23062 (java) S 23032 23034 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253411325 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666249696552 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23034/tid=23249] ppid=23032 vsize=9824668 CPUtime=353.03 cores=1,3,5,7
/proc/23034/task/23249/stat : 23249 (java) R 23032 23034 22184 0 -1 4202560 15 0 0 0 35298 5 0 0 20 0 22 0 253464340 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666251271728 140666303398718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23250] ppid=23032 vsize=9824668 CPUtime=352.99 cores=1,3,5,7
/proc/23034/task/23250/stat : 23250 (java) R 23032 23034 22184 0 -1 4202560 16 0 0 0 35294 5 0 0 20 0 22 0 253464340 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666252323344 140666303320523 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23251] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23251/stat : 23251 (java) S 23032 23034 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253464340 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666248644008 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1004.1 s]
/proc/loadavg: 3.49 3.52 3.13 5/219 23262
/proc/meminfo: memFree=21951148/32873648 swapFree=6864/6864
[pid=23034] ppid=23032 vsize=9824668 CPUtime=1800.2 cores=1,3,5,7
/proc/23034/stat : 23034 (java) S 23032 23034 22184 0 -1 4202496 40580 0 1 0 179759 261 0 0 20 0 22 0 253411189 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140734681021120 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23034/statm: 2456167 915082 2286 9 0 2446860 0
[pid=23034/tid=23036] ppid=23032 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/23034/task/23036/stat : 23036 (java) S 23032 23034 22184 0 -1 4202560 2589 0 1 0 38 3 0 0 20 0 22 0 253411190 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666436875256 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23037] ppid=23032 vsize=9824668 CPUtime=4.4 cores=1,3,5,7
/proc/23034/task/23037/stat : 23037 (java) S 23032 23034 22184 0 -1 4202560 1082 0 0 0 416 24 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666425936680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23038] ppid=23032 vsize=9824668 CPUtime=4.26 cores=1,3,5,7
/proc/23034/task/23038/stat : 23038 (java) S 23032 23034 22184 0 -1 4202560 1417 0 0 0 408 18 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666424883880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23039] ppid=23032 vsize=9824668 CPUtime=4.29 cores=1,3,5,7
/proc/23034/task/23039/stat : 23039 (java) S 23032 23034 22184 0 -1 4202560 825 0 0 0 414 15 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666423831592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23040] ppid=23032 vsize=9824668 CPUtime=4.35 cores=1,3,5,7
/proc/23034/task/23040/stat : 23040 (java) S 23032 23034 22184 0 -1 4202560 706 0 0 0 415 20 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666422778792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23041] ppid=23032 vsize=9824668 CPUtime=4.46 cores=1,3,5,7
/proc/23034/task/23041/stat : 23041 (java) S 23032 23034 22184 0 -1 4202560 933 0 0 0 431 15 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666421725480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23042] ppid=23032 vsize=9824668 CPUtime=4.7 cores=1,3,5,7
/proc/23034/task/23042/stat : 23042 (java) S 23032 23034 22184 0 -1 4202560 875 0 0 0 455 15 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666275051688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23043] ppid=23032 vsize=9824668 CPUtime=4.4 cores=1,3,5,7
/proc/23034/task/23043/stat : 23043 (java) S 23032 23034 22184 0 -1 4202560 851 0 0 0 423 17 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666273999400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23044] ppid=23032 vsize=9824668 CPUtime=4.17 cores=1,3,5,7
/proc/23034/task/23044/stat : 23044 (java) S 23032 23034 22184 0 -1 4202560 653 0 0 0 399 18 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666272946600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23045] ppid=23032 vsize=9824668 CPUtime=215.64 cores=1,3,5,7
/proc/23034/task/23045/stat : 23045 (java) S 23032 23034 22184 0 -1 4202560 5431 0 0 0 21526 38 0 0 20 0 22 0 253411193 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666260749032 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23046] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23046/stat : 23046 (java) S 23032 23034 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253411193 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666259695096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23034/tid=23047] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23047/stat : 23047 (java) S 23032 23034 22184 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 22 0 253411193 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666258642696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23034/tid=23048] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23048/stat : 23048 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411195 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666257591184 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23049] ppid=23032 vsize=9824668 CPUtime=1.43 cores=1,3,5,7
/proc/23034/task/23049/stat : 23049 (java) S 23032 23034 22184 0 -1 4202560 11027 0 0 0 141 2 0 0 20 0 22 0 253411195 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666256537784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23050] ppid=23032 vsize=9824668 CPUtime=1.2 cores=1,3,5,7
/proc/23034/task/23050/stat : 23050 (java) S 23032 23034 22184 0 -1 4202560 11599 0 0 0 118 2 0 0 20 0 22 0 253411195 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666255484984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23034/tid=23051] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23051/stat : 23051 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411195 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666254432888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23052] ppid=23032 vsize=9824668 CPUtime=0.38 cores=1,3,5,7
/proc/23034/task/23052/stat : 23052 (java) S 23032 23034 22184 0 -1 4202560 58 0 0 0 14 24 0 0 20 0 22 0 253411196 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666253380296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23062] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23062/stat : 23062 (java) S 23032 23034 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253411325 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666249696552 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23034/tid=23249] ppid=23032 vsize=9824668 CPUtime=354.84 cores=1,3,5,7
/proc/23034/task/23249/stat : 23249 (java) R 23032 23034 22184 0 -1 4202560 15 0 0 0 35479 5 0 0 20 0 22 0 253464340 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666251271728 140666303398718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23250] ppid=23032 vsize=9824668 CPUtime=354.79 cores=1,3,5,7
/proc/23034/task/23250/stat : 23250 (java) R 23032 23034 22184 0 -1 4202560 16 0 0 0 35474 5 0 0 20 0 22 0 253464340 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666252323344 140666303320188 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23251] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23251/stat : 23251 (java) S 23032 23034 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253464340 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666248644008 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1004.1 s]
/proc/loadavg: 3.49 3.52 3.13 5/219 23262
/proc/meminfo: memFree=21951148/32873648 swapFree=6864/6864
[pid=23034] ppid=23032 vsize=9824668 CPUtime=1800.2 cores=1,3,5,7
/proc/23034/stat : 23034 (java) S 23032 23034 22184 0 -1 4202496 40580 0 1 0 179759 261 0 0 20 0 22 0 253411189 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140734681021120 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23034/statm: 2456167 915082 2286 9 0 2446860 0
[pid=23034/tid=23036] ppid=23032 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/23034/task/23036/stat : 23036 (java) S 23032 23034 22184 0 -1 4202560 2589 0 1 0 38 3 0 0 20 0 22 0 253411190 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666436875256 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23037] ppid=23032 vsize=9824668 CPUtime=4.4 cores=1,3,5,7
/proc/23034/task/23037/stat : 23037 (java) S 23032 23034 22184 0 -1 4202560 1082 0 0 0 416 24 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666425936680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23038] ppid=23032 vsize=9824668 CPUtime=4.26 cores=1,3,5,7
/proc/23034/task/23038/stat : 23038 (java) S 23032 23034 22184 0 -1 4202560 1417 0 0 0 408 18 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666424883880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23039] ppid=23032 vsize=9824668 CPUtime=4.29 cores=1,3,5,7
/proc/23034/task/23039/stat : 23039 (java) S 23032 23034 22184 0 -1 4202560 825 0 0 0 414 15 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666423831592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23040] ppid=23032 vsize=9824668 CPUtime=4.35 cores=1,3,5,7
/proc/23034/task/23040/stat : 23040 (java) S 23032 23034 22184 0 -1 4202560 706 0 0 0 415 20 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666422778792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23041] ppid=23032 vsize=9824668 CPUtime=4.46 cores=1,3,5,7
/proc/23034/task/23041/stat : 23041 (java) S 23032 23034 22184 0 -1 4202560 933 0 0 0 431 15 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666421725480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23042] ppid=23032 vsize=9824668 CPUtime=4.7 cores=1,3,5,7
/proc/23034/task/23042/stat : 23042 (java) S 23032 23034 22184 0 -1 4202560 875 0 0 0 455 15 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666275051688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23043] ppid=23032 vsize=9824668 CPUtime=4.4 cores=1,3,5,7
/proc/23034/task/23043/stat : 23043 (java) S 23032 23034 22184 0 -1 4202560 851 0 0 0 423 17 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666273999400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23044] ppid=23032 vsize=9824668 CPUtime=4.17 cores=1,3,5,7
/proc/23034/task/23044/stat : 23044 (java) S 23032 23034 22184 0 -1 4202560 653 0 0 0 399 18 0 0 20 0 22 0 253411192 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666272946600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23045] ppid=23032 vsize=9824668 CPUtime=215.64 cores=1,3,5,7
/proc/23034/task/23045/stat : 23045 (java) S 23032 23034 22184 0 -1 4202560 5431 0 0 0 21526 38 0 0 20 0 22 0 253411193 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666260749032 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23046] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23046/stat : 23046 (java) S 23032 23034 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253411193 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666259695096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23034/tid=23047] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23047/stat : 23047 (java) S 23032 23034 22184 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 22 0 253411193 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666258642696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23034/tid=23048] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23048/stat : 23048 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411195 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666257591184 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23049] ppid=23032 vsize=9824668 CPUtime=1.43 cores=1,3,5,7
/proc/23034/task/23049/stat : 23049 (java) S 23032 23034 22184 0 -1 4202560 11027 0 0 0 141 2 0 0 20 0 22 0 253411195 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666256537784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23050] ppid=23032 vsize=9824668 CPUtime=1.2 cores=1,3,5,7
/proc/23034/task/23050/stat : 23050 (java) S 23032 23034 22184 0 -1 4202560 11599 0 0 0 118 2 0 0 20 0 22 0 253411195 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666255484984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23034/tid=23051] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23051/stat : 23051 (java) S 23032 23034 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411195 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666254432888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23034/tid=23052] ppid=23032 vsize=9824668 CPUtime=0.38 cores=1,3,5,7
/proc/23034/task/23052/stat : 23052 (java) S 23032 23034 22184 0 -1 4202560 58 0 0 0 14 24 0 0 20 0 22 0 253411196 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666253380296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23062] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23062/stat : 23062 (java) S 23032 23034 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253411325 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666249696552 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23034/tid=23249] ppid=23032 vsize=9824668 CPUtime=354.84 cores=1,3,5,7
/proc/23034/task/23249/stat : 23249 (java) R 23032 23034 22184 0 -1 4202560 15 0 0 0 35479 5 0 0 20 0 22 0 253464340 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666251271728 140666303398718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23034/tid=23250] ppid=23032 vsize=9824668 CPUtime=354.79 cores=1,3,5,7
/proc/23034/task/23250/stat : 23250 (java) R 23032 23034 22184 0 -1 4202560 16 0 0 0 35474 5 0 0 20 0 22 0 253464340 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666252323344 140666303320188 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23034/tid=23251] ppid=23032 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23034/task/23251/stat : 23251 (java) S 23032 23034 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253464340 10060460032 915082 33554432000 1073741824 1073778376 140734681029984 140666248644008 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 9824668
Child status: 143
Real time (s): 1004.16
CPU time (s): 1800.56
CPU user time (s): 1797.62
CPU system time (s): 2.94055
CPU usage (%): 179.311
Max. virtual memory (cumulated for all children) (KiB): 9826564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.62
system time used= 2.94055
maximum resident set size= 3660440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40613
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28858
involuntary context switches= 49027
runsolver used 3.61045 second user time and 9.14561 second system time
The end