solutions: 0 nodes: 8 modelTime: 126 solveTime: 141 totalTime: 484 modelSize: 38676