solutions: 15
nodes: 28  modelTime: 245  solveTime: 127  totalTime: 413  modelSize: 10323  readTime: 41