(1,19) (2,3) (4,22) (5,9) (6,8) (7,12) (10,14) (11,28) (13,16) (17,25) (18,26) (20,27) (21,30) (24,29) 
nodes: 21035  conflicts: 53  modelTime: 1703  solveTime: 82004  totalTime: 83727  modelSize: 72266  readTime: 20 size: 14