solutions: 0
nodes: 5  modelTime: 4938  solveTime: 4960  totalTime: 10270  modelSize: 455757