solutions: 8
nodes: 17  modelTime: 126  solveTime: 32  totalTime: 341  modelSize: 7735  readTime: 183