solutions: 8
nodes: 19  modelTime: 130  solveTime: 71  totalTime: 380  modelSize: 15470  readTime: 178