CURRENT: core dumped no process name

[Konstantin Belousov]

On Tue, Nov 28, 2017 at 10:37:45AM +0700, Alex V. Petrov wrote:
> SUBJ:
> Nov 28 10:28:38 alex kernel: 1001: exited on signal 11 (core dumped)
> It was a thunerbird
> 
> 
> 12.0-CURRENT #0 r326286
> kernel GENERIC-NODEBUG

The format strings is following:
"pid %d (%s), uid %d: exited on signal %d%s\n"
In other words, your line misses whole prefix, I suppose that '1001:' part
is uid printout.

Where do you see this line ?  Is it from /var/log/messages, remote syslog
service, console ?