solutions: 12
nodes: 32  modelTime: 240  solveTime: 381  totalTime: 1596  modelSize: 82729