(1,21) (2,24) (3,22) (4,8) (5,27) (7,23) (9,12) (10,29) (11,25) (13,16) (15,19) (17,18) (20,30) (26,28) 
nodes: 151028  conflicts: 52  modelTime: 1719  solveTime: 711784  totalTime: 713522  modelSize: 72266  readTime: 19 size: 14