solutions: 6
nodes: 14  modelTime: 16848  solveTime: 20582  totalTime: 37893  modelSize: 2221447