solutions: 2
nodes: 5  modelTime: 1393  solveTime: 8512  totalTime: 10327  modelSize: 116111  readTime: 422