solutions: 3
nodes: 8  modelTime: 2092  solveTime: 2393  totalTime: 4728  modelSize: 341171