solutions: 4
nodes: 12  modelTime: 2174  solveTime: 2484  totalTime: 4921  modelSize: 341152