solutions: 0 nodes: 12 modelTime: 126 solveTime: 199 totalTime: 713 modelSize: 123768