solutions: 0 nodes: 3 modelTime: 168 solveTime: 232 totalTime: 878 modelSize: 185664