solutions: 9
nodes: 17  modelTime: 1572  solveTime: 820  totalTime: 2569  modelSize: 116066  readTime: 177