solutions: 6
nodes: 11  modelTime: 105  solveTime: 52  totalTime: 302  modelSize: 15470  readTime: 144