solutions: 4
nodes: 9  modelTime: 884  solveTime: 1991  totalTime: 3029  modelSize: 54154  readTime: 153