solutions: 6
nodes: 12  modelTime: 1126  solveTime: 6578  totalTime: 7907  modelSize: 116164  readTime: 203