solutions: 8
nodes: 15  modelTime: 129  solveTime: 39  totalTime: 281  modelSize: 7735  readTime: 112