solutions: 7
nodes: 17  modelTime: 948  solveTime: 4516  totalTime: 5614  modelSize: 92832  readTime: 150