solutions: 1
nodes: 5  modelTime: 5225  solveTime: 6524  totalTime: 12067  modelSize: 454511