solutions: 25
nodes: 46  modelTime: 248  solveTime: 148  totalTime: 438  modelSize: 10323  readTime: 42