(1,16) (2,19) (3,27) (5,25) (6,17) (7,24) (10,20) (11,22) (12,28) (13,26) 
nodes: 769  conflicts: 69  modelTime: 803  solveTime: 1445  totalTime: 2255  modelSize: 41292  readTime: 7 size: 10