solutions: 1
nodes: 4  modelTime: 4776  solveTime: 5581  totalTime: 10713  modelSize: 454077