solutions: 27
nodes: 51  modelTime: 248  solveTime: 135  totalTime: 428  modelSize: 10323  readTime: 45