solutions: 0 nodes: 3 modelTime: 115 solveTime: 127 totalTime: 517 modelSize: 38675