(2,16) (3,29) (4,19) (5,22) (6,24) (7,23) (8,25) (9,27) (11,28) (12,20) (13,26) (14,21) (15,18) 
nodes: 11810  conflicts: 40  modelTime: 656  solveTime: 20579  totalTime: 21241  modelSize: 41298  readTime: 6 size: 13