solutions: 30
nodes: 59  modelTime: 247  solveTime: 154  totalTime: 443  modelSize: 10323  readTime: 41