solutions: 0 nodes: 9 modelTime: 269 solveTime: 512 totalTime: 1961 modelSize: 207781