solutions: 0 nodes: 5 modelTime: 144 solveTime: 123 totalTime: 558 modelSize: 38675