solutions: 0 nodes: 3 modelTime: 2422 solveTime: 2455 totalTime: 5153 modelSize: 341195