solutions: 9
nodes: 18  modelTime: 840  solveTime: 1606  totalTime: 2572  modelSize: 54154  readTime: 126