Parsing of the solver's JSON output