solutions: 1
nodes: 4  modelTime: 62777  solveTime: 80606  totalTime: 144319  modelSize: 4493903