solutions: 0 nodes: 2 modelTime: 2510 solveTime: 3073 totalTime: 5893 modelSize: 341206