PetscManager initialization check