solutions: 0 nodes: 6 modelTime: 139 solveTime: 233 totalTime: 815 modelSize: 185664