solutions: 0 nodes: 7 modelTime: 2503 solveTime: 2856 totalTime: 5604 modelSize: 341158