solutions: 4
nodes: 9  modelTime: 142  solveTime: 31  totalTime: 313  modelSize: 7735  readTime: 140