solutions: 6
nodes: 9  modelTime: 1176  solveTime: 2383  totalTime: 3725  modelSize: 69656  readTime: 165