solutions: 4
nodes: 8  modelTime: 957  solveTime: 1592  totalTime: 2707  modelSize: 38675  readTime: 158