[petsc-users] PETSC ERROR: Caught signal number 15 Terminate