solutions: 0
nodes: 5  modelTime: 4734  solveTime: 5098  totalTime: 10111  modelSize: 453922