solutions: -1
nodes: 4  modelTime: 160  solveTime: 77  totalTime: 493  modelSize: 15489  readTime: 256