solutions: 4
nodes: 9  modelTime: 520  solveTime: 270  totalTime: 868  modelSize: 23205  readTime: 77