(2,23) (3,20) (4,25) (5,28) (6,29) (7,26) (8,24) (9,18) (11,21) (12,17) (13,22) (14,16) (15,19) 
nodes: 5664  conflicts: 51  modelTime: 657  solveTime: 10328  totalTime: 10991  modelSize: 41292  readTime: 6 size: 13