solutions: 0 nodes: 14 modelTime: 64104 solveTime: 70051 totalTime: 135069 modelSize: 4395703