solutions: 2
nodes: 9  modelTime: 4634  solveTime: 5602  totalTime: 10559  modelSize: 454563