diff --git a/Solver/MISolver.cc b/Solver/MISolver.cc
index ca6604a2b429abcbf0a20e38b5dbc870f9b06659..16b7a0daf80f0fd20242dd8efe72fe12c3903c34 100644
--- a/Solver/MISolver.cc
+++ b/Solver/MISolver.cc
@@ -203,10 +203,12 @@ MISolver::solve_cplex(
   }
   catch (IloException& e)
   {
+    PROGRESS_RESUME_ABORT; // resume a processed abort request
     DEB_warning(2, "CPLEX Concert exception caught: " << e.getMessage() )
   }
   catch (...)
   {
+    PROGRESS_RESUME_ABORT; // resume a processed abort request
     DEB_warning(1, "CPLEX Unknown exception caught" )
   }
 
@@ -836,10 +838,12 @@ MISolver::solve_gurobi(
   }
   catch(GRBException& e)
   {
+    PROGRESS_RESUME_ABORT; // resume a processed abort request
     DEB_warning(2, "Error code = " << e.getErrorCode() << "[" << e.getMessage() << "]\n")
   }
   catch(...)
   {
+    PROGRESS_RESUME_ABORT; // resume a processed abort request
     DEB_warning(1, "Exception during optimization")
   }