solutions: 12
nodes: 25  modelTime: 145  solveTime: 66  totalTime: 401  modelSize: 15470  readTime: 190