solutions: 1
nodes: 8  modelTime: 65118  solveTime: 78447  totalTime: 144380  modelSize: 4086007