solutions: 2
nodes: 7  modelTime: 957  solveTime: 4055  totalTime: 5165  modelSize: 92856  readTime: 152