solutions: 25
nodes: 46  modelTime: 248  solveTime: 159  totalTime: 451  modelSize: 10323  readTime: 43