solutions: 5
nodes: 11  modelTime: 155096  solveTime: 132323  totalTime: 288569  modelSize: 6270633  readTime: 1150