solutions: 8
nodes: 15  modelTime: 119  solveTime: 25  totalTime: 241  modelSize: 7735  readTime: 97