solutions: 9
nodes: 18  modelTime: 102  solveTime: 47  totalTime: 307  modelSize: 15470  readTime: 158