solutions: 0 nodes: 9 modelTime: 205 solveTime: 415 totalTime: 1858 modelSize: 207899