solutions: 0 nodes: 3 modelTime: 64290 solveTime: 80394 totalTime: 145585 modelSize: 4318272