solutions: 4
nodes: 15  modelTime: 4786  solveTime: 6675  totalTime: 11832  modelSize: 454884