solutions: 0 nodes: 3 modelTime: 5109 solveTime: 6536 totalTime: 11927 modelSize: 454164