solutions: 0 nodes: 9 modelTime: 4775 solveTime: 6380 totalTime: 11528 modelSize: 454541