MinizincHandler.handle_summary

You're seeing just the callback handle_summary, go back to MinizincHandler module for more information.
Link to this callback

handle_summary(summary)

Specs

handle_summary(summary :: map()) :: any()