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