solutions: 0 nodes: 6 modelTime: 177 solveTime: 443 totalTime: 1574 modelSize: 82760