solutions: 0 nodes: 6 modelTime: 4974 solveTime: 6234 totalTime: 11550 modelSize: 454929