solutions: 6
nodes: 11  modelTime: 116  solveTime: 32  totalTime: 283  modelSize: 7735  readTime: 135