solutions: 6
nodes: 12  modelTime: 129  solveTime: 42  totalTime: 315  modelSize: 7735  readTime: 143