solutions: 0 nodes: 3 modelTime: 2172 solveTime: 2553 totalTime: 5017 modelSize: 341175