solutions: 3
nodes: 8  modelTime: 1253  solveTime: 611  totalTime: 2177  modelSize: 92834  readTime: 313