solutions: 3
nodes: 8  modelTime: 2363  solveTime: 2272  totalTime: 4892  modelSize: 341183