solutions: 0 nodes: 6 modelTime: 132 solveTime: 149 totalTime: 541 modelSize: 38682