solutions: 6
nodes: 13  modelTime: 1317  solveTime: 4034  totalTime: 5559  modelSize: 92840  readTime: 208