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
• Node_Limit_With_Feasible_Solution
• Node_Limit_Without_Feasible_Solution
• Memory_Limit_With_Feasible_Solution
• Memory_Limit_Without_Feasible_Solution
• Found_Feasible_Solution
• Catastrophic_Error
• Parsing_Error