solutions: 0 nodes: 3 modelTime: 9116 solveTime: 12666 totalTime: 22159 modelSize: 1693698