solutions: 32
nodes: 58  modelTime: 247  solveTime: 168  totalTime: 458  modelSize: 10323  readTime: 43