solutions: 0 nodes: 8 modelTime: 315 solveTime: 491 totalTime: 2151 modelSize: 341190