solutions: 9
nodes: 28  modelTime: 93676  solveTime: 129777  totalTime: 224619  modelSize: 4161768