A solver and the number of its instances per status message, for example { SolverName: "SCIP", Failed: 2 }.
{ SolverName: "SCIP", Failed: 2 }
Optional
A solver and the number of its instances per status message, for example
{ SolverName: "SCIP", Failed: 2 }.