solutions: 4
nodes: 11  modelTime: 133992  solveTime: 117585  totalTime: 252727  modelSize: 4996856