solutions: 0 nodes: 3 modelTime: 64213 solveTime: 73315 totalTime: 138407 modelSize: 4250374