solutions: 0 nodes: 12 modelTime: 221 solveTime: 535 totalTime: 2256 modelSize: 340904