(1,19) (2,28) (3,20) (4,23) (5,29) (6,12) (7,21) (8,24) (9,18) (10,16) (11,14) (13,25) (15,22) (26,27) 
nodes: 15232  conflicts: 72  modelTime: 1712  solveTime: 44298  totalTime: 46030  modelSize: 72262  readTime: 20 size: 14