solutions: 6
nodes: 15  modelTime: 94  solveTime: 46  totalTime: 281  modelSize: 15470  readTime: 141