Return MOI.TIME_LIMIT when the solver times out (#46)

Author: zengjian-hu-rai

src/optimize.jl

@@ -236,6 +236,10 @@ function MOI.get(model::Optimizer, ::MOI.TerminationStatus)
         else
             return MOI.OPTIMAL
         end
+    elseif model.solver_status == "UNKNOWN" &&
+           model.time_limit_sec !== nothing &&
+           model.solve_time_sec >= model.time_limit_sec
+        return MOI.TIME_LIMIT   # The solver timed out
     else
         return MOI.OTHER_ERROR
     end

test/runtests.jl

@@ -1432,7 +1432,7 @@ function test_highs_optimization_time_limit()
     MOI.set(solver, MOI.TimeLimitSec(), 9e-4) # Very small limit
     index_map, _ = MOI.optimize!(solver, model)
     @test !isnan(MOI.get(solver, MOI.SolveTimeSec()))
-    @test MOI.get(solver, MOI.TerminationStatus()) === MOI.OTHER_ERROR
+    @test MOI.get(solver, MOI.TerminationStatus()) === MOI.TIME_LIMIT
     solver = MiniZinc.Optimizer{Float64}("highs")
     MOI.set(solver, MOI.TimeLimitSec(), 100)
     index_map, _ = MOI.optimize!(solver, model)