solutions: 0
nodes: 4  modelTime: 5083  solveTime: 3840  totalTime: 9201  modelSize: 454451