solutions: 6
nodes: 11  modelTime: 138  solveTime: 27  totalTime: 253  modelSize: 7735  readTime: 88