[1] PetscInfoSetFile(): Opened PetscInfo file ex182info.1