solutions: 0 nodes: 13 modelTime: 271 solveTime: 253 totalTime: 980 modelSize: 185683