solutions: 0 nodes: 3 modelTime: 156 solveTime: 216 totalTime: 758 modelSize: 123765