solutions: 0 nodes: 4 modelTime: 256 solveTime: 443 totalTime: 1836 modelSize: 340904