solutions: -1
nodes: 6  modelTime: 129  solveTime: 54  totalTime: 354  modelSize: 15489  readTime: 171