solutions: 2
nodes: 7  modelTime: 1170  solveTime: 6038  totalTime: 7411  modelSize: 116050  readTime: 203