Exit Flags

The solver can print the following exit status messages to the solution (.octsol) file upon termination:

  • Global_Solution_Status_Undefined
  • Solved_To_Global_Optimality
  • Proved_Global_Infeasibility
  • Found_Solution_For_CS_Problem (CS stands for constraint satisfaction)
  • Timeout_With_Feasible_Solution
  • Timeout_Without_Feasible_Solution
  • Interrupted_With_Feasible_Solution
  • Interrupted_Without_Feasible_Solution
  • Iteration_Limit_With_Feasible_Solution
  • Iteration_Limit_Without_Feasible_Solution
  • Memory_Limit_With_Feasible_Solution
  • Memory_Limit_Without_Feasible_Solution
  • Found_Feasible_Solution
  • Catastrophic_Error
  • Parsing_Error
  • Request_Error
  • Server_Termination
  • User_Termination
  • Authentication_Failure

sf/sf1002