solutions: 6
nodes: 11  modelTime: 89  solveTime: 11  totalTime: 153  modelSize: 7735  readTime: 53