solutions: 0 nodes: 4 modelTime: 172 solveTime: 402 totalTime: 1542 modelSize: 82760