solutions: 4
nodes: 10  modelTime: 1093  solveTime: 6286  totalTime: 7594  modelSize: 116061  readTime: 215