solutions: 0 nodes: 3 modelTime: 8715 solveTime: 14216 totalTime: 23307 modelSize: 1697382