solutions: 6
nodes: 13  modelTime: 1083  solveTime: 1045  totalTime: 2411  modelSize: 69643  readTime: 283