(2,23) (3,4) (5,22) (6,9) (7,28) (8,24) (10,17) (11,12) (13,26) (14,25) (15,21) (16,27) (18,20) (19,29) 
nodes: 4019  conflicts: 87  modelTime: 1714  solveTime: 14786  totalTime: 16522  modelSize: 72262  readTime: 22 size: 14