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-3687956-1337874895/watcher-3687956-1337874895 -o /tmp/evaluation-result-3687956-1337874895/solver-3687956-1337874895 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687956-1337874895.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.80 3.90 3.69 4/197 23157
/proc/meminfo: memFree=25565512/32873648 swapFree=6336/6336
[pid=23157] ppid=23155 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23157/stat : 23157 (java) R 23155 23157 22409 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 253616735 9515008 184 33554432000 1073741824 1073778376 140737165414544 140737165405768 213866147255 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23157/statm: 2325 184 142 9 0 73 0
[startup+0.049756 s]
/proc/loadavg: 3.80 3.90 3.69 4/197 23157
/proc/meminfo: memFree=25565512/32873648 swapFree=6336/6336
[pid=23157] ppid=23155 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/23157/stat : 23157 (java) S 23155 23157 22409 0 -1 4202496 3061 0 1 0 2 0 0 0 20 0 13 0 253616735 9446973440 3759 33554432000 1073741824 1073778376 140736935709232 140736935700368 213869690941 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23157/statm: 2306390 3759 1707 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100309 s]
/proc/loadavg: 3.80 3.90 3.69 4/197 23157
/proc/meminfo: memFree=25565512/32873648 swapFree=6336/6336
[pid=23157] ppid=23155 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/23157/stat : 23157 (java) S 23155 23157 22409 0 -1 4202496 4331 0 1 0 8 1 0 0 20 0 18 0 253616735 9787813888 5527 33554432000 1073741824 1073778376 140736935709232 140736935700368 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23157/statm: 2389603 5527 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300175 s]
/proc/loadavg: 3.80 3.90 3.69 4/197 23157
/proc/meminfo: memFree=25565512/32873648 swapFree=6336/6336
[pid=23157] ppid=23155 vsize=9559436 CPUtime=0.53 cores=1,3,5,7
/proc/23157/stat : 23157 (java) S 23155 23157 22409 0 -1 4202496 7492 0 1 0 51 2 0 0 20 0 18 0 253616735 9788862464 10644 33554432000 1073741824 1073778376 140736935709232 140736935700368 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23157/statm: 2389859 10653 2219 9 0 2380552 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9559436
[startup+0.700188 s]
/proc/loadavg: 3.80 3.90 3.69 4/197 23157
/proc/meminfo: memFree=25565512/32873648 swapFree=6336/6336
[pid=23157] ppid=23155 vsize=9824668 CPUtime=1.7 cores=1,3,5,7
/proc/23157/stat : 23157 (java) S 23155 23157 22409 0 -1 4202496 15815 0 1 0 166 4 0 0 20 0 22 0 253616735 10060460032 30731 33554432000 1073741824 1073778376 140736935709232 140736935700368 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23157/statm: 2456167 30731 2248 9 0 2446860 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 9824668
[startup+1.50074 s]
/proc/loadavg: 3.80 3.90 3.69 7/219 23179
/proc/meminfo: memFree=25426132/32873648 swapFree=6336/6336
[pid=23157] ppid=23155 vsize=9824668 CPUtime=4.28 cores=1,3,5,7
/proc/23157/stat : 23157 (java) S 23155 23157 22409 0 -1 4202496 17665 0 1 0 421 7 0 0 20 0 22 0 253616735 10060460032 50358 33554432000 1073741824 1073778376 140736935709232 140736935700368 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23157/statm: 2456167 50358 2269 9 0 2446860 0
[pid=23157/tid=23159] ppid=23155 vsize=9824668 CPUtime=0.51 cores=1,3,5,7
/proc/23157/task/23159/stat : 23159 (java) S 23155 23157 22409 0 -1 4202560 2485 0 1 0 49 2 0 0 20 0 22 0 253616736 10060460032 50358 33554432000 1073741824 1073778376 140736935709232 139992934659064 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23160] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23160/stat : 23160 (java) R 23155 23157 22409 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253616737 10060460032 50358 33554432000 1073741824 1073778376 140736935709232 139992923720104 139992938820275 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23157/tid=23161] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23161/stat : 23161 (java) R 23155 23157 22409 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253616737 10060460032 50358 33554432000 1073741824 1073778376 140736935709232 139992922667560 139992938820275 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23162] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23162/stat : 23162 (java) S 23155 23157 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253616737 10060460032 50358 33554432000 1073741824 1073778376 140736935709232 139992921614504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23163] ppid=23155 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/23157/task/23163/stat : 23163 (java) S 23155 23157 22409 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 253616737 10060460032 50358 33554432000 1073741824 1073778376 140736935709232 139992920561960 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23164] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23164/stat : 23164 (java) R 23155 23157 22409 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253616737 10060460032 50358 33554432000 1073741824 1073778376 140736935709232 139992919509928 213869704252 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23165] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23165/stat : 23165 (java) S 23155 23157 22409 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253616737 10060460032 50358 33554432000 1073741824 1073778376 140736935709232 139992918457384 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23166] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23166/stat : 23166 (java) S 23155 23157 22409 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253616737 10060460032 50358 33554432000 1073741824 1073778376 140736935709232 139992917404328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23167] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23167/stat : 23167 (java) S 23155 23157 22409 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253616737 10060460032 50358 33554432000 1073741824 1073778376 140736935709232 139992770493224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23168] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23168/stat : 23168 (java) S 23155 23157 22409 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 253616738 10060460032 50358 33554432000 1073741824 1073778376 140736935709232 139992758293864 213869704252 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23157/tid=23169] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23169/stat : 23169 (java) S 23155 23157 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253616739 10060460032 50358 33554432000 1073741824 1073778376 140736935709232 139992757241208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23170] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23170/stat : 23170 (java) S 23155 23157 22409 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253616739 10060460032 50358 33554432000 1073741824 1073778376 140736935709232 139992756188040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23171] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23171/stat : 23171 (java) S 23155 23157 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253616741 10060460032 50358 33554432000 1073741824 1073778376 140736935709232 139992755136784 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23157/tid=23172] ppid=23155 vsize=9824668 CPUtime=0.9 cores=1,3,5,7
/proc/23157/task/23172/stat : 23172 (java) R 23155 23157 22409 0 -1 4202560 8687 0 0 0 90 0 0 0 20 0 22 0 253616741 10060460032 50358 33554432000 1073741824 1073778376 140736935709232 139992754061912 139992940620964 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23173] ppid=23155 vsize=9824668 CPUtime=0.89 cores=1,3,5,7
/proc/23157/task/23173/stat : 23173 (java) S 23155 23157 22409 0 -1 4202560 5009 0 0 0 87 2 0 0 20 0 22 0 253616741 10060460032 50358 33554432000 1073741824 1073778376 140736935709232 139992753008120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23174] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23174/stat : 23174 (java) S 23155 23157 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253616741 10060460032 50358 33554432000 1073741824 1073778376 140736935709232 139992751979256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23157/tid=23175] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23175/stat : 23175 (java) S 23155 23157 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253616741 10060460032 50358 33554432000 1073741824 1073778376 140736935709232 139992750926920 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23176] ppid=23155 vsize=9824668 CPUtime=0.89 cores=1,3,5,7
/proc/23157/task/23176/stat : 23176 (java) S 23155 23157 22409 0 -1 4202560 39 0 0 0 89 0 0 0 20 0 22 0 253616790 10060460032 50358 33554432000 1073741824 1073778376 140736935709232 139992749871576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23157/tid=23177] ppid=23155 vsize=9824668 CPUtime=0.9 cores=1,3,5,7
/proc/23157/task/23177/stat : 23177 (java) S 23155 23157 22409 0 -1 4202560 103 0 0 0 90 0 0 0 20 0 22 0 253616790 10060460032 50358 33554432000 1073741824 1073778376 140736935709232 139992748816808 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23178] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23178/stat : 23178 (java) S 23155 23157 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253616794 10060460032 50870 33554432000 1073741824 1073778376 140736935709232 139992747766568 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23179] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23179/stat : 23179 (java) S 23155 23157 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253616794 10060460032 50870 33554432000 1073741824 1073778376 140736935709232 139992746714024 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 9824668
[startup+3.10087 s]
/proc/loadavg: 3.80 3.90 3.69 4/219 23179
/proc/meminfo: memFree=25317528/32873648 swapFree=6336/6336
[pid=23157] ppid=23155 vsize=9824668 CPUtime=7.68 cores=1,3,5,7
/proc/23157/stat : 23157 (java) S 23155 23157 22409 0 -1 4202496 21196 0 1 0 756 12 0 0 20 0 22 0 253616735 10060460032 70700 33554432000 1073741824 1073778376 140736935709232 140736935700368 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23157/statm: 2456167 70700 2277 9 0 2446860 0
[pid=23157/tid=23159] ppid=23155 vsize=9824668 CPUtime=0.51 cores=1,3,5,7
/proc/23157/task/23159/stat : 23159 (java) S 23155 23157 22409 0 -1 4202560 2486 0 1 0 49 2 0 0 20 0 22 0 253616736 10060460032 70700 33554432000 1073741824 1073778376 140736935709232 139992934659064 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23160] ppid=23155 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/23157/task/23160/stat : 23160 (java) S 23155 23157 22409 0 -1 4202560 112 0 0 0 3 1 0 0 20 0 22 0 253616737 10060460032 70700 33554432000 1073741824 1073778376 140736935709232 139992923720104 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23161] ppid=23155 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/23157/task/23161/stat : 23161 (java) S 23155 23157 22409 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 22 0 253616737 10060460032 70700 33554432000 1073741824 1073778376 140736935709232 139992922667560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23157/tid=23162] ppid=23155 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/23157/task/23162/stat : 23162 (java) S 23155 23157 22409 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 253616737 10060460032 70700 33554432000 1073741824 1073778376 140736935709232 139992921614504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23163] ppid=23155 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/23157/task/23163/stat : 23163 (java) S 23155 23157 22409 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 253616737 10060460032 70700 33554432000 1073741824 1073778376 140736935709232 139992920561960 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23164] ppid=23155 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/23157/task/23164/stat : 23164 (java) S 23155 23157 22409 0 -1 4202560 112 0 0 0 3 2 0 0 20 0 22 0 253616737 10060460032 70700 33554432000 1073741824 1073778376 140736935709232 139992919509928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23157/tid=23165] ppid=23155 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/23157/task/23165/stat : 23165 (java) S 23155 23157 22409 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 253616737 10060460032 70700 33554432000 1073741824 1073778376 140736935709232 139992918457384 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23157/tid=23166] ppid=23155 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/23157/task/23166/stat : 23166 (java) S 23155 23157 22409 0 -1 4202560 89 0 0 0 1 0 0 0 20 0 22 0 253616737 10060460032 70700 33554432000 1073741824 1073778376 140736935709232 139992917404328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23157/tid=23167] ppid=23155 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/23157/task/23167/stat : 23167 (java) S 23155 23157 22409 0 -1 4202560 97 0 0 0 2 0 0 0 20 0 22 0 253616737 10060460032 70700 33554432000 1073741824 1073778376 140736935709232 139992770493224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23168] ppid=23155 vsize=9824668 CPUtime=0.21 cores=1,3,5,7
/proc/23157/task/23168/stat : 23168 (java) S 23155 23157 22409 0 -1 4202560 109 0 0 0 21 0 0 0 20 0 22 0 253616738 10060460032 70700 33554432000 1073741824 1073778376 140736935709232 139992758294888 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23157/tid=23169] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23169/stat : 23169 (java) S 23155 23157 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253616739 10060460032 70700 33554432000 1073741824 1073778376 140736935709232 139992757241208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23170] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23170/stat : 23170 (java) S 23155 23157 22409 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253616739 10060460032 70700 33554432000 1073741824 1073778376 140736935709232 139992756188040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23171] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23171/stat : 23171 (java) S 23155 23157 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253616741 10060460032 70700 33554432000 1073741824 1073778376 140736935709232 139992755136784 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23157/tid=23172] ppid=23155 vsize=9824668 CPUtime=1.12 cores=1,3,5,7
/proc/23157/task/23172/stat : 23172 (java) S 23155 23157 22409 0 -1 4202560 11768 0 0 0 111 1 0 0 20 0 22 0 253616741 10060460032 70700 33554432000 1073741824 1073778376 140736935709232 139992754084664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23157/tid=23173] ppid=23155 vsize=9824668 CPUtime=1.01 cores=1,3,5,7
/proc/23157/task/23173/stat : 23173 (java) S 23155 23157 22409 0 -1 4202560 5014 0 0 0 99 2 0 0 20 0 22 0 253616741 10060460032 70700 33554432000 1073741824 1073778376 140736935709232 139992753032120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23174] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23174/stat : 23174 (java) S 23155 23157 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253616741 10060460032 70700 33554432000 1073741824 1073778376 140736935709232 139992751979256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23157/tid=23175] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23175/stat : 23175 (java) S 23155 23157 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253616741 10060460032 70700 33554432000 1073741824 1073778376 140736935709232 139992750926920 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23176] ppid=23155 vsize=9824668 CPUtime=2.2 cores=1,3,5,7
/proc/23157/task/23176/stat : 23176 (java) R 23155 23157 22409 0 -1 4202560 40 0 0 0 220 0 0 0 20 0 22 0 253616790 10060460032 70700 33554432000 1073741824 1073778376 140736935709232 139992749871416 139992799026879 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23177] ppid=23155 vsize=9824668 CPUtime=2.21 cores=1,3,5,7
/proc/23157/task/23177/stat : 23177 (java) R 23155 23157 22409 0 -1 4202560 109 0 0 0 220 1 0 0 20 0 22 0 253616790 10060460032 70700 33554432000 1073741824 1073778376 140736935709232 139992748817592 139992798796424 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23178] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23178/stat : 23178 (java) S 23155 23157 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253616794 10060460032 70700 33554432000 1073741824 1073778376 140736935709232 139992747766568 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23179] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23179/stat : 23179 (java) S 23155 23157 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253616794 10060460032 70700 33554432000 1073741824 1073778376 140736935709232 139992746714024 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.68
Current children cumulated vsize (KiB) 9824668
[startup+6.30086 s]
/proc/loadavg: 3.89 3.92 3.70 5/219 23179
/proc/meminfo: memFree=25157536/32873648 swapFree=6336/6336
[pid=23157] ppid=23155 vsize=9824668 CPUtime=14.58 cores=1,3,5,7
/proc/23157/stat : 23157 (java) S 23155 23157 22409 0 -1 4202496 32722 0 1 0 1441 17 0 0 20 0 22 0 253616735 10060460032 120042 33554432000 1073741824 1073778376 140736935709232 140736935700368 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23157/statm: 2456167 120042 2277 9 0 2446860 0
[pid=23157/tid=23159] ppid=23155 vsize=9824668 CPUtime=0.51 cores=1,3,5,7
/proc/23157/task/23159/stat : 23159 (java) S 23155 23157 22409 0 -1 4202560 2486 0 1 0 49 2 0 0 20 0 22 0 253616736 10060460032 120042 33554432000 1073741824 1073778376 140736935709232 139992934659064 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23160] ppid=23155 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/23157/task/23160/stat : 23160 (java) S 23155 23157 22409 0 -1 4202560 121 0 0 0 4 2 0 0 20 0 22 0 253616737 10060460032 120042 33554432000 1073741824 1073778376 140736935709232 139992923720104 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23161] ppid=23155 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/23157/task/23161/stat : 23161 (java) S 23155 23157 22409 0 -1 4202560 26 0 0 0 4 0 0 0 20 0 22 0 253616737 10060460032 120042 33554432000 1073741824 1073778376 140736935709232 139992922667560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23162] ppid=23155 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/23157/task/23162/stat : 23162 (java) S 23155 23157 22409 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 253616737 10060460032 120042 33554432000 1073741824 1073778376 140736935709232 139992921614504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23163] ppid=23155 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/23157/task/23163/stat : 23163 (java) S 23155 23157 22409 0 -1 4202560 30 0 0 0 5 0 0 0 20 0 22 0 253616737 10060460032 120042 33554432000 1073741824 1073778376 140736935709232 139992920561960 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23157/tid=23164] ppid=23155 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/23157/task/23164/stat : 23164 (java) S 23155 23157 22409 0 -1 4202560 113 0 0 0 5 2 0 0 20 0 22 0 253616737 10060460032 120042 33554432000 1073741824 1073778376 140736935709232 139992919509928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23165] ppid=23155 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/23157/task/23165/stat : 23165 (java) S 23155 23157 22409 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 22 0 253616737 10060460032 120042 33554432000 1073741824 1073778376 140736935709232 139992918457384 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23157/tid=23166] ppid=23155 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/23157/task/23166/stat : 23166 (java) S 23155 23157 22409 0 -1 4202560 98 0 0 0 3 0 0 0 20 0 22 0 253616737 10060460032 120042 33554432000 1073741824 1073778376 140736935709232 139992917404328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23167] ppid=23155 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/23157/task/23167/stat : 23167 (java) S 23155 23157 22409 0 -1 4202560 109 0 0 0 5 0 0 0 20 0 22 0 253616737 10060460032 120042 33554432000 1073741824 1073778376 140736935709232 139992770493224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23168] ppid=23155 vsize=9824668 CPUtime=0.64 cores=1,3,5,7
/proc/23157/task/23168/stat : 23168 (java) S 23155 23157 22409 0 -1 4202560 252 0 0 0 64 0 0 0 20 0 22 0 253616738 10060460032 120042 33554432000 1073741824 1073778376 140736935709232 139992758294888 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23157/tid=23169] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23169/stat : 23169 (java) S 23155 23157 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253616739 10060460032 120042 33554432000 1073741824 1073778376 140736935709232 139992757241208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23170] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23170/stat : 23170 (java) S 23155 23157 22409 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253616739 10060460032 120042 33554432000 1073741824 1073778376 140736935709232 139992756188040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23171] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23171/stat : 23171 (java) S 23155 23157 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253616741 10060460032 120042 33554432000 1073741824 1073778376 140736935709232 139992755136784 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23157/tid=23172] ppid=23155 vsize=9824668 CPUtime=1.27 cores=1,3,5,7
/proc/23157/task/23172/stat : 23172 (java) S 23155 23157 22409 0 -1 4202560 11768 0 0 0 126 1 0 0 20 0 22 0 253616741 10060460032 120042 33554432000 1073741824 1073778376 140736935709232 139992754084664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
/proc/23157/statm: 2456167 850117 2278 9 0 2446860 0
[pid=23157/tid=23159] ppid=23155 vsize=9824668 CPUtime=0.55 cores=1,3,5,7
/proc/23157/task/23159/stat : 23159 (java) S 23155 23157 22409 0 -1 4202560 2547 0 1 0 52 3 0 0 20 0 22 0 253616736 10060460032 850117 33554432000 1073741824 1073778376 140736935709232 139992934659064 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23157/tid=23160] ppid=23155 vsize=9824668 CPUtime=1.59 cores=1,3,5,7
/proc/23157/task/23160/stat : 23160 (java) S 23155 23157 22409 0 -1 4202560 634 0 0 0 149 10 0 0 20 0 22 0 253616737 10060460032 850117 33554432000 1073741824 1073778376 140736935709232 139992923720104 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23157/tid=23161] ppid=23155 vsize=9824668 CPUtime=1.41 cores=1,3,5,7
/proc/23157/task/23161/stat : 23161 (java) S 23155 23157 22409 0 -1 4202560 741 0 0 0 133 8 0 0 20 0 22 0 253616737 10060460032 850117 33554432000 1073741824 1073778376 140736935709232 139992922667560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23162] ppid=23155 vsize=9824668 CPUtime=1.36 cores=1,3,5,7
/proc/23157/task/23162/stat : 23162 (java) S 23155 23157 22409 0 -1 4202560 593 0 0 0 129 7 0 0 20 0 22 0 253616737 10060460032 850117 33554432000 1073741824 1073778376 140736935709232 139992921614504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23163] ppid=23155 vsize=9824668 CPUtime=1.62 cores=1,3,5,7
/proc/23157/task/23163/stat : 23163 (java) S 23155 23157 22409 0 -1 4202560 571 0 0 0 153 9 0 0 20 0 22 0 253616737 10060460032 850117 33554432000 1073741824 1073778376 140736935709232 139992920561960 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23164] ppid=23155 vsize=9824668 CPUtime=1.43 cores=1,3,5,7
/proc/23157/task/23164/stat : 23164 (java) S 23155 23157 22409 0 -1 4202560 580 0 0 0 133 10 0 0 20 0 22 0 253616737 10060460032 850117 33554432000 1073741824 1073778376 140736935709232 139992919509928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23165] ppid=23155 vsize=9824668 CPUtime=1.41 cores=1,3,5,7
/proc/23157/task/23165/stat : 23165 (java) S 23155 23157 22409 0 -1 4202560 503 0 0 0 132 9 0 0 20 0 22 0 253616737 10060460032 850117 33554432000 1073741824 1073778376 140736935709232 139992918457384 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23166] ppid=23155 vsize=9824668 CPUtime=1.44 cores=1,3,5,7
/proc/23157/task/23166/stat : 23166 (java) S 23155 23157 22409 0 -1 4202560 485 0 0 0 137 7 0 0 20 0 22 0 253616737 10060460032 850117 33554432000 1073741824 1073778376 140736935709232 139992917404328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23167] ppid=23155 vsize=9824668 CPUtime=1.48 cores=1,3,5,7
/proc/23157/task/23167/stat : 23167 (java) S 23155 23157 22409 0 -1 4202560 580 0 0 0 140 8 0 0 20 0 22 0 253616737 10060460032 850117 33554432000 1073741824 1073778376 140736935709232 139992770493224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23168] ppid=23155 vsize=9824668 CPUtime=38.61 cores=1,3,5,7
/proc/23157/task/23168/stat : 23168 (java) S 23155 23157 22409 0 -1 4202560 2175 0 0 0 3832 29 0 0 20 0 22 0 253616738 10060460032 850117 33554432000 1073741824 1073778376 140736935709232 139992758294888 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23157/tid=23169] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23169/stat : 23169 (java) S 23155 23157 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253616739 10060460032 850117 33554432000 1073741824 1073778376 140736935709232 139992757241208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23170] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23170/stat : 23170 (java) S 23155 23157 22409 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253616739 10060460032 850117 33554432000 1073741824 1073778376 140736935709232 139992756188040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23171] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23171/stat : 23171 (java) S 23155 23157 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253616741 10060460032 850117 33554432000 1073741824 1073778376 140736935709232 139992755136784 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23157/tid=23172] ppid=23155 vsize=9824668 CPUtime=2.24 cores=1,3,5,7
/proc/23157/task/23172/stat : 23172 (java) S 23155 23157 22409 0 -1 4202560 18303 0 0 0 222 2 0 0 20 0 22 0 253616741 10060460032 850117 33554432000 1073741824 1073778376 140736935709232 139992754084664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23157/tid=23173] ppid=23155 vsize=9824668 CPUtime=1.91 cores=1,3,5,7
/proc/23157/task/23173/stat : 23173 (java) S 23155 23157 22409 0 -1 4202560 16093 0 0 0 188 3 0 0 20 0 22 0 253616741 10060460032 850117 33554432000 1073741824 1073778376 140736935709232 139992753032120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23174] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23174/stat : 23174 (java) S 23155 23157 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253616741 10060460032 850117 33554432000 1073741824 1073778376 140736935709232 139992751979256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23157/tid=23175] ppid=23155 vsize=9824668 CPUtime=0.31 cores=1,3,5,7
/proc/23157/task/23175/stat : 23175 (java) S 23155 23157 22409 0 -1 4202560 51 0 0 0 10 21 0 0 20 0 22 0 253616741 10060460032 850117 33554432000 1073741824 1073778376 140736935709232 139992750926920 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23176] ppid=23155 vsize=9824668 CPUtime=837.43 cores=1,3,5,7
/proc/23157/task/23176/stat : 23176 (java) R 23155 23157 22409 0 -1 4202560 190 0 0 0 83728 15 0 0 20 0 22 0 253616790 10060460032 850117 33554432000 1073741824 1073778376 140736935709232 139992749871456 139992798948299 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23177] ppid=23155 vsize=9824668 CPUtime=837.52 cores=1,3,5,7
/proc/23157/task/23177/stat : 23177 (java) R 23155 23157 22409 0 -1 4202560 1960 0 0 0 83704 48 0 0 20 0 22 0 253616790 10060460032 850117 33554432000 1073741824 1073778376 140736935709232 139992748816912 139992799067154 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23178] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23178/stat : 23178 (java) S 23155 23157 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253616794 10060460032 850117 33554432000 1073741824 1073778376 140736935709232 139992747766568 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23179] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23179/stat : 23179 (java) S 23155 23157 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253616794 10060460032 850117 33554432000 1073741824 1073778376 140736935709232 139992746714024 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1734.63
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+915.501 s]
/proc/loadavg: 4.24 4.06 3.88 5/220 23274
/proc/meminfo: memFree=21338804/32873648 swapFree=6336/6336
[pid=23157] ppid=23155 vsize=9824668 CPUtime=1800.12 cores=1,3,5,7
/proc/23157/stat : 23157 (java) S 23155 23157 22409 0 -1 4202496 47219 0 1 0 179848 164 0 0 20 0 22 0 253616735 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 140736935700368 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23157/statm: 2456167 851158 2278 9 0 2446860 0
[pid=23157/tid=23159] ppid=23155 vsize=9824668 CPUtime=0.55 cores=1,3,5,7
/proc/23157/task/23159/stat : 23159 (java) S 23155 23157 22409 0 -1 4202560 2549 0 1 0 52 3 0 0 20 0 22 0 253616736 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992934659064 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23157/tid=23160] ppid=23155 vsize=9824668 CPUtime=1.61 cores=1,3,5,7
/proc/23157/task/23160/stat : 23160 (java) S 23155 23157 22409 0 -1 4202560 651 0 0 0 151 10 0 0 20 0 22 0 253616737 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992923720104 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23157/tid=23161] ppid=23155 vsize=9824668 CPUtime=1.41 cores=1,3,5,7
/proc/23157/task/23161/stat : 23161 (java) S 23155 23157 22409 0 -1 4202560 741 0 0 0 133 8 0 0 20 0 22 0 253616737 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992922667560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23157/tid=23162] ppid=23155 vsize=9824668 CPUtime=1.36 cores=1,3,5,7
/proc/23157/task/23162/stat : 23162 (java) S 23155 23157 22409 0 -1 4202560 593 0 0 0 129 7 0 0 20 0 22 0 253616737 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992921614504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23163] ppid=23155 vsize=9824668 CPUtime=1.63 cores=1,3,5,7
/proc/23157/task/23163/stat : 23163 (java) S 23155 23157 22409 0 -1 4202560 571 0 0 0 154 9 0 0 20 0 22 0 253616737 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992920561960 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23164] ppid=23155 vsize=9824668 CPUtime=1.44 cores=1,3,5,7
/proc/23157/task/23164/stat : 23164 (java) S 23155 23157 22409 0 -1 4202560 580 0 0 0 134 10 0 0 20 0 22 0 253616737 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992919509928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23157/tid=23165] ppid=23155 vsize=9824668 CPUtime=1.43 cores=1,3,5,7
/proc/23157/task/23165/stat : 23165 (java) S 23155 23157 22409 0 -1 4202560 503 0 0 0 134 9 0 0 20 0 22 0 253616737 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992918457384 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23166] ppid=23155 vsize=9824668 CPUtime=1.46 cores=1,3,5,7
/proc/23157/task/23166/stat : 23166 (java) S 23155 23157 22409 0 -1 4202560 485 0 0 0 139 7 0 0 20 0 22 0 253616737 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992917404328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23167] ppid=23155 vsize=9824668 CPUtime=1.49 cores=1,3,5,7
/proc/23157/task/23167/stat : 23167 (java) S 23155 23157 22409 0 -1 4202560 580 0 0 0 141 8 0 0 20 0 22 0 253616737 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992770493224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23168] ppid=23155 vsize=9824668 CPUtime=39.58 cores=1,3,5,7
/proc/23157/task/23168/stat : 23168 (java) S 23155 23157 22409 0 -1 4202560 2179 0 0 0 3927 31 0 0 20 0 22 0 253616738 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992758294888 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23157/tid=23169] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23169/stat : 23169 (java) S 23155 23157 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253616739 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992757241208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23170] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23170/stat : 23170 (java) S 23155 23157 22409 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253616739 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992756188040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23171] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23171/stat : 23171 (java) S 23155 23157 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253616741 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992755136784 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23157/tid=23172] ppid=23155 vsize=9824668 CPUtime=2.24 cores=1,3,5,7
/proc/23157/task/23172/stat : 23172 (java) S 23155 23157 22409 0 -1 4202560 18303 0 0 0 222 2 0 0 20 0 22 0 253616741 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992754084664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23157/tid=23173] ppid=23155 vsize=9824668 CPUtime=1.91 cores=1,3,5,7
/proc/23157/task/23173/stat : 23173 (java) S 23155 23157 22409 0 -1 4202560 16093 0 0 0 188 3 0 0 20 0 22 0 253616741 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992753032120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23174] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23174/stat : 23174 (java) S 23155 23157 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253616741 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992751979256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23157/tid=23175] ppid=23155 vsize=9824668 CPUtime=0.32 cores=1,3,5,7
/proc/23157/task/23175/stat : 23175 (java) S 23155 23157 22409 0 -1 4202560 53 0 0 0 11 21 0 0 20 0 22 0 253616741 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992750926920 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23176] ppid=23155 vsize=9824668 CPUtime=869.55 cores=1,3,5,7
/proc/23157/task/23176/stat : 23176 (java) R 23155 23157 22409 0 -1 4202560 190 0 0 0 86939 16 0 0 20 0 22 0 253616790 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992749871456 139992798892574 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23177] ppid=23155 vsize=9824668 CPUtime=869.67 cores=1,3,5,7
/proc/23157/task/23177/stat : 23177 (java) R 23155 23157 22409 0 -1 4202560 1960 0 0 0 86918 49 0 0 20 0 22 0 253616790 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992748816912 139992799067159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23178] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23178/stat : 23178 (java) S 23155 23157 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253616794 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992747766568 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23179] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23179/stat : 23179 (java) S 23155 23157 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253616794 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992746714024 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
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+915.501 s]
/proc/loadavg: 4.24 4.06 3.88 5/220 23274
/proc/meminfo: memFree=21338804/32873648 swapFree=6336/6336
[pid=23157] ppid=23155 vsize=9824668 CPUtime=1800.12 cores=1,3,5,7
/proc/23157/stat : 23157 (java) S 23155 23157 22409 0 -1 4202496 47219 0 1 0 179848 164 0 0 20 0 22 0 253616735 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 140736935700368 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23157/statm: 2456167 851158 2278 9 0 2446860 0
[pid=23157/tid=23159] ppid=23155 vsize=9824668 CPUtime=0.55 cores=1,3,5,7
/proc/23157/task/23159/stat : 23159 (java) S 23155 23157 22409 0 -1 4202560 2549 0 1 0 52 3 0 0 20 0 22 0 253616736 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992934659064 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23157/tid=23160] ppid=23155 vsize=9824668 CPUtime=1.61 cores=1,3,5,7
/proc/23157/task/23160/stat : 23160 (java) S 23155 23157 22409 0 -1 4202560 651 0 0 0 151 10 0 0 20 0 22 0 253616737 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992923720104 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23157/tid=23161] ppid=23155 vsize=9824668 CPUtime=1.41 cores=1,3,5,7
/proc/23157/task/23161/stat : 23161 (java) S 23155 23157 22409 0 -1 4202560 741 0 0 0 133 8 0 0 20 0 22 0 253616737 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992922667560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23157/tid=23162] ppid=23155 vsize=9824668 CPUtime=1.36 cores=1,3,5,7
/proc/23157/task/23162/stat : 23162 (java) S 23155 23157 22409 0 -1 4202560 593 0 0 0 129 7 0 0 20 0 22 0 253616737 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992921614504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23163] ppid=23155 vsize=9824668 CPUtime=1.63 cores=1,3,5,7
/proc/23157/task/23163/stat : 23163 (java) S 23155 23157 22409 0 -1 4202560 571 0 0 0 154 9 0 0 20 0 22 0 253616737 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992920561960 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23164] ppid=23155 vsize=9824668 CPUtime=1.44 cores=1,3,5,7
/proc/23157/task/23164/stat : 23164 (java) S 23155 23157 22409 0 -1 4202560 580 0 0 0 134 10 0 0 20 0 22 0 253616737 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992919509928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23157/tid=23165] ppid=23155 vsize=9824668 CPUtime=1.43 cores=1,3,5,7
/proc/23157/task/23165/stat : 23165 (java) S 23155 23157 22409 0 -1 4202560 503 0 0 0 134 9 0 0 20 0 22 0 253616737 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992918457384 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23166] ppid=23155 vsize=9824668 CPUtime=1.46 cores=1,3,5,7
/proc/23157/task/23166/stat : 23166 (java) S 23155 23157 22409 0 -1 4202560 485 0 0 0 139 7 0 0 20 0 22 0 253616737 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992917404328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23167] ppid=23155 vsize=9824668 CPUtime=1.49 cores=1,3,5,7
/proc/23157/task/23167/stat : 23167 (java) S 23155 23157 22409 0 -1 4202560 580 0 0 0 141 8 0 0 20 0 22 0 253616737 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992770493224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23168] ppid=23155 vsize=9824668 CPUtime=39.58 cores=1,3,5,7
/proc/23157/task/23168/stat : 23168 (java) S 23155 23157 22409 0 -1 4202560 2179 0 0 0 3927 31 0 0 20 0 22 0 253616738 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992758294888 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23157/tid=23169] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23169/stat : 23169 (java) S 23155 23157 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253616739 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992757241208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23170] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23170/stat : 23170 (java) S 23155 23157 22409 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253616739 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992756188040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23171] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23171/stat : 23171 (java) S 23155 23157 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253616741 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992755136784 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23157/tid=23172] ppid=23155 vsize=9824668 CPUtime=2.24 cores=1,3,5,7
/proc/23157/task/23172/stat : 23172 (java) S 23155 23157 22409 0 -1 4202560 18303 0 0 0 222 2 0 0 20 0 22 0 253616741 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992754084664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23157/tid=23173] ppid=23155 vsize=9824668 CPUtime=1.91 cores=1,3,5,7
/proc/23157/task/23173/stat : 23173 (java) S 23155 23157 22409 0 -1 4202560 16093 0 0 0 188 3 0 0 20 0 22 0 253616741 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992753032120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23174] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23174/stat : 23174 (java) S 23155 23157 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253616741 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992751979256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23157/tid=23175] ppid=23155 vsize=9824668 CPUtime=0.32 cores=1,3,5,7
/proc/23157/task/23175/stat : 23175 (java) S 23155 23157 22409 0 -1 4202560 53 0 0 0 11 21 0 0 20 0 22 0 253616741 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992750926920 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23176] ppid=23155 vsize=9824668 CPUtime=869.55 cores=1,3,5,7
/proc/23157/task/23176/stat : 23176 (java) R 23155 23157 22409 0 -1 4202560 190 0 0 0 86939 16 0 0 20 0 22 0 253616790 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992749871456 139992798892574 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23157/tid=23177] ppid=23155 vsize=9824668 CPUtime=869.67 cores=1,3,5,7
/proc/23157/task/23177/stat : 23177 (java) R 23155 23157 22409 0 -1 4202560 1960 0 0 0 86918 49 0 0 20 0 22 0 253616790 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992748816912 139992799067159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23178] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23178/stat : 23178 (java) S 23155 23157 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253616794 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992747766568 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23157/tid=23179] ppid=23155 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23157/task/23179/stat : 23179 (java) S 23155 23157 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253616794 10060460032 851158 33554432000 1073741824 1073778376 140736935709232 139992746714024 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 9824668
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23157 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=977274
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=103680
# CPU time returned by wait4() is 1796.08
# while last known CPU time is 1800.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 915.566
CPU time (s): 1800.12
CPU user time (s): 1798.48
CPU system time (s): 1.64
CPU usage (%): 196.613
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.98
system time used= 2.10368
maximum resident set size= 3404760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47258
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26186
involuntary context switches= 32790
runsolver used 3.41048 second user time and 8.42472 second system time
The end