solutions: 6
nodes: 11  modelTime: 93  solveTime: 23  totalTime: 238  modelSize: 7735  readTime: 122