solutions: 0 nodes: 9 modelTime: 134 solveTime: 250 totalTime: 781 modelSize: 123762