solutions: 4
nodes: 6  modelTime: 122  solveTime: 27  totalTime: 256  modelSize: 7735  readTime: 107