solutions: 0 nodes: 12 modelTime: 141 solveTime: 284 totalTime: 934 modelSize: 185663