solutions: 1
nodes: 6  modelTime: 939  solveTime: 509  totalTime: 1624  modelSize: 54147  readTime: 176