solutions: 4
nodes: 11  modelTime: 743  solveTime: 645  totalTime: 1509  modelSize: 30940  readTime: 121