solutions: 0 nodes: 3 modelTime: 2373 solveTime: 2547 totalTime: 5173 modelSize: 341160