solutions: 0 nodes: 4 modelTime: 163 solveTime: 237 totalTime: 893 modelSize: 185685