solutions: 4
nodes: 8  modelTime: 119  solveTime: 23  totalTime: 257  modelSize: 7735  readTime: 115