solutions: 0 nodes: 4 modelTime: 64280 solveTime: 79694 totalTime: 144920 modelSize: 4171723