solutions: 5
nodes: 11  modelTime: 1207  solveTime: 1099  totalTime: 2523  modelSize: 116050  readTime: 217