solutions: 0 nodes: 5 modelTime: 4846 solveTime: 6658 totalTime: 11859 modelSize: 455049