Re: [petsc-users] Segmentation fault inside PETSc