solutions: 6
nodes: 15  modelTime: 113  solveTime: 78  totalTime: 375  modelSize: 15470  readTime: 184