solutions: 9
nodes: 18  modelTime: 972  solveTime: 1662  totalTime: 2803  modelSize: 54153  readTime: 169