solutions: 40
nodes: 85  modelTime: 145471  solveTime: 138528  totalTime: 285203  modelSize: 6605230