solutions: 0 nodes: 6 modelTime: 4680 solveTime: 5697 totalTime: 10729 modelSize: 454050