solutions: -1
nodes: 6  modelTime: 175  solveTime: 61  totalTime: 488  modelSize: 15489  readTime: 252