solutions: 0 nodes: 9 modelTime: 179 solveTime: 403 totalTime: 1603 modelSize: 207897