solutions: 6
nodes: 11  modelTime: 1031  solveTime: 2479  totalTime: 3702  modelSize: 69636  readTime: 192