solutions: 4
nodes: 8  modelTime: 565  solveTime: 463  totalTime: 1105  modelSize: 23205  readTime: 77