solutions: 4 nodes: 10 modelTime: 4969 solveTime: 5785 totalTime: 11048 modelSize: 454935