solutions: 4
nodes: 11  modelTime: 92  solveTime: 39  totalTime: 274  modelSize: 15470  readTime: 143