solutions: 0 nodes: 9 modelTime: 126 solveTime: 183 totalTime: 812 modelSize: 123768