solutions: 0 nodes: 5 modelTime: 2253 solveTime: 2539 totalTime: 5053 modelSize: 341185