solutions: 0 nodes: 6 modelTime: 137 solveTime: 117 totalTime: 487 modelSize: 38676