solutions: 6
nodes: 16  modelTime: 27823  solveTime: 35701  totalTime: 64167  modelSize: 3435457