solutions: 3
nodes: 8  modelTime: 4700  solveTime: 5907  totalTime: 10906  modelSize: 454873