solutions: 6
nodes: 11  modelTime: 134  solveTime: 15  totalTime: 222  modelSize: 7735  readTime: 73