solutions: 0 nodes: 4 modelTime: 2325 solveTime: 2943 totalTime: 5529 modelSize: 340796