solutions: 1 nodes: 8 modelTime: 40624 solveTime: 49994 totalTime: 91311 modelSize: 3064143