solutions: 16
nodes: 27  modelTime: 5119  solveTime: 7056  totalTime: 12484  modelSize: 454968