solutions: 0
nodes: 5  modelTime: 64391  solveTime: 62240  totalTime: 127625  modelSize: 4291275