solutions: 2
nodes: 8  modelTime: 1006  solveTime: 6198  totalTime: 7403  modelSize: 116038  readTime: 199