solutions: 9
nodes: 17  modelTime: 149  solveTime: 84  totalTime: 447  modelSize: 15470  readTime: 214