solutions: 4
nodes: 12  modelTime: 5515  solveTime: 5954  totalTime: 11736  modelSize: 455813