solutions: 1 nodes: 2 modelTime: 4952 solveTime: 5636 totalTime: 10900 modelSize: 454921