solutions: 4
nodes: 7  modelTime: 389  solveTime: 304  totalTime: 761  modelSize: 15476  readTime: 68