solutions: 4
nodes: 10  modelTime: 4736  solveTime: 6577  totalTime: 11595  modelSize: 454077