solutions: 8
nodes: 15  modelTime: 88  solveTime: 17  totalTime: 177  modelSize: 7735  readTime: 72