solutions: 0 nodes: 6 modelTime: 9051 solveTime: 12451 totalTime: 21862 modelSize: 1697462