solutions: 0 nodes: 6 modelTime: 40227 solveTime: 44502 totalTime: 85546 modelSize: 3061733