solutions: 0 nodes: 5 modelTime: 133 solveTime: 158 totalTime: 656 modelSize: 69616