solutions: 6
nodes: 13  modelTime: 882  solveTime: 2914  totalTime: 3940  modelSize: 69687  readTime: 144