solutions: 0 nodes: 3 modelTime: 5087 solveTime: 5982 totalTime: 11348 modelSize: 454547