solutions: 0 nodes: 3 modelTime: 64476 solveTime: 70429 totalTime: 135915 modelSize: 4111937