solutions: 0 nodes: 10 modelTime: 4890 solveTime: 5819 totalTime: 11043 modelSize: 454517