solutions: 0 nodes: 3 modelTime: 2201 solveTime: 2246 totalTime: 4715 modelSize: 341149