solutions: 6
nodes: 13  modelTime: 985  solveTime: 1020  totalTime: 2198  modelSize: 69637  readTime: 193