solutions: 7
nodes: 16  modelTime: 2362  solveTime: 3225  totalTime: 5851  modelSize: 341193