Hi Richard,
On searching for your issue i found below docs for your ref.Request you to please navigate with these and i also suggest you to try with RAM replacement for the server.
SEGFault on Kernel(?) ext4(?) or something like that
Raphael's blog: Explaining segmentation fault errors
Thanks,
Gaurav