solutions: 0 nodes: 2 modelTime: 280 solveTime: 499 totalTime: 1903 modelSize: 207909