(2,22) (3,16) (4,24) (5,17) (6,23) (7,26) (9,18) (10,29) (11,28) (12,20) (13,21) (14,27) (15,19) 
nodes: 1732  conflicts: 59  modelTime: 657  solveTime: 1379  totalTime: 2043  modelSize: 41293  readTime: 7 size: 13