solutions: 4
nodes: 11  modelTime: 64370  solveTime: 82130  totalTime: 147327  modelSize: 4413671