solutions: 0 nodes: 6 modelTime: 5099 solveTime: 6084 totalTime: 11518 modelSize: 455024