solutions: 8
nodes: 17  modelTime: 1172  solveTime: 2396  totalTime: 3751  modelSize: 69637  readTime: 183