solutions: 28
nodes: 53  modelTime: 245  solveTime: 162  totalTime: 448  modelSize: 10323  readTime: 41