solutions: 8
nodes: 15  modelTime: 94  solveTime: 57  totalTime: 327  modelSize: 15470  readTime: 176