We should have a nice and standard termination status. See for instance:

https://github.com/infiniteopt/InfiniteExaModels.jl/blob/4ed87aca42af1eac3a58a84ad41ed6396913ac42/src/infiniteopt_backend.jl#L313-L334

Consider MathOptInterface: https://jump.dev/MathOptInterface.jl/stable/reference/models/#MathOptInterface.TerminationStatus