solutions: 0 nodes: 3 modelTime: 2338 solveTime: 1902 totalTime: 4505 modelSize: 341163