solutions: 0 nodes: 8 modelTime: 128 solveTime: 183 totalTime: 721 modelSize: 123768