(1,2) (3,10) (4,30) (5,28) (6,23) (7,14) (8,22) (9,25) (11,26) (12,18) (13,20) (15,16) (17,29) (19,27) (21,24) 
nodes: 20768  conflicts: 21  modelTime: 1037  solveTime: 54383  totalTime: 55458  modelSize: 72264  readTime: 38 size: 15