solutions: 12
nodes: 26  modelTime: 4792  solveTime: 7159  totalTime: 12320  modelSize: 455738