solutions: 0
nodes: 8  modelTime: 4808  solveTime: 6099  totalTime: 11192  modelSize: 454996