solutions: 0 nodes: 3 modelTime: 4849 solveTime: 5020 totalTime: 10175 modelSize: 454988