solutions: 0 nodes: 6 modelTime: 142 solveTime: 243 totalTime: 939 modelSize: 185664