solutions: 6
nodes: 16  modelTime: 41526  solveTime: 51609  totalTime: 93865  modelSize: 3141452