solutions: 0 nodes: 10 modelTime: 2045 solveTime: 3442 totalTime: 5751 modelSize: 341176