MinizincSolver.solver_status
You're seeing just the function
solver_status
, go back to MinizincSolver module for more information.
Link to this function
solver_status(solver_pid)
Get solver status