solutions: 25
nodes: 46  modelTime: 248  solveTime: 152  totalTime: 442  modelSize: 10323  readTime: 42