solutions: 4
nodes: 10  modelTime: 4464  solveTime: 6186  totalTime: 10930  modelSize: 454101