solutions: 3
nodes: 8  modelTime: 2550  solveTime: 2392  totalTime: 5239  modelSize: 341176