solutions: 6
nodes: 16  modelTime: 162  solveTime: 425  totalTime: 1467  modelSize: 355818