solutions: 0
nodes: 8  modelTime: 63931  solveTime: 72017  totalTime: 136930  modelSize: 4451911