solutions: 1
nodes: 5  modelTime: 4551  solveTime: 5924  totalTime: 10787  modelSize: 454451