solutions: 9
nodes: 17  modelTime: 1066  solveTime: 5571  totalTime: 6851  modelSize: 116050  readTime: 214