Oct  9 13:05:35 dfbsd kernel: pid 10767 (kernel.debug), uid 0: exited on signal 4 (core dumped)
Oct  9 13:12:22 dfbsd kernel: pid 10991 (kernel.debug), uid 0: exited on signal 4 (core dumped)
Oct  9 13:14:01 dfbsd kernel: pid 11064 (kernel.debug), uid 0: exited on signal 4 (core dumped)
Oct  9 13:15:22 dfbsd kernel: pid 11114 (kernel.debug), uid 0: exited on signal 4 (core dumped)
Oct  9 13:45:11 dfbsd kernel: pid 36359 (kernel.debug), uid 0: exited on signal 4 (core dumped)