solutions: 0 nodes: 3 modelTime: 64537 solveTime: 77928 totalTime: 143341 modelSize: 3917587