solutions: 6
nodes: 11  modelTime: 163  solveTime: 104  totalTime: 541  modelSize: 15470  readTime: 274