solutions: 0
nodes: 7  modelTime: 4861  solveTime: 6774  totalTime: 11968  modelSize: 454478