solutions: 0 nodes: 4 modelTime: 2188 solveTime: 2500 totalTime: 4946 modelSize: 341170