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