(1,2) (3,29) (5,15) (6,21) (7,16) (8,25) (9,28) (10,18) (11,26) (12,23) (13,24) (17,30) (19,27) (20,22) 
nodes: 33189  conflicts: 43  modelTime: 1705  solveTime: 174569  totalTime: 176293  modelSize: 72269  readTime: 19 size: 14