solutions: -1
nodes: 4  modelTime: 107  solveTime: 77  totalTime: 420  modelSize: 15489  readTime: 236