solutions: 0
nodes: 9  modelTime: 5199  solveTime: 7056  totalTime: 12562  modelSize: 454084