solutions: 1 nodes: 4 modelTime: 4817 solveTime: 5888 totalTime: 11038 modelSize: 454934