solutions: 4
nodes: 10  modelTime: 5581  solveTime: 6616  totalTime: 12581  modelSize: 454209