solutions: 0 nodes: 6 modelTime: 2395 solveTime: 2400 totalTime: 5081 modelSize: 341172