solutions: 0 nodes: 6 modelTime: 270 solveTime: 523 totalTime: 2138 modelSize: 340904