detected memory leak in petsc_ksp_module