solutions: 4
nodes: 8  modelTime: 455  solveTime: 240  totalTime: 782  modelSize: 23205  readTime: 86