solutions: 4
nodes: 7  modelTime: 89  solveTime: 14  totalTime: 157  modelSize: 7735  readTime: 54