solutions: 0 nodes: 3 modelTime: 8935 solveTime: 12829 totalTime: 22207 modelSize: 1697285