GRBBatch.writeJSONSolution()

void writeJSONSolution ( String filename )