solutions: 4
nodes: 15  modelTime: 2161  solveTime: 3060  totalTime: 5509  modelSize: 341190