solutions: 12 nodes: 29 modelTime: 184 solveTime: 443 totalTime: 1909 modelSize: 207832