solutions: 1
nodes: 8  modelTime: 5092  solveTime: 7266  totalTime: 12642  modelSize: 455708