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