solutions: 1
nodes: 8  modelTime: 64812  solveTime: 75735  totalTime: 141457  modelSize: 4051292