solutions: 1
nodes: 4  modelTime: 5019  solveTime: 7002  totalTime: 12373  modelSize: 455017