[0] PetscFinalize(): PetscFinalize() called
[0] PetscInfoSetFile(): Opened PetscInfo file ex182info.0