solutions: 15
nodes: 26  modelTime: 248  solveTime: 130  totalTime: 421  modelSize: 10323  readTime: 43