solutions: 0 nodes: 4 modelTime: 5036 solveTime: 5942 totalTime: 11351 modelSize: 454912