solutions: 6
nodes: 11  modelTime: 403  solveTime: 264  totalTime: 748  modelSize: 15476  readTime: 81