solutions: 0 nodes: 5 modelTime: 139 solveTime: 283 totalTime: 859 modelSize: 185666