solutions: 0 nodes: 4 modelTime: 2415 solveTime: 2453 totalTime: 5162 modelSize: 341188