solutions: 5
nodes: 9  modelTime: 842  solveTime: 2316  totalTime: 3331  modelSize: 54154  readTime: 172