solutions: 0 nodes: 9 modelTime: 209 solveTime: 439 totalTime: 1531 modelSize: 82731