(1,7) (2,17) (3,14) (4,26) (5,16) (6,23) (8,29) (9,18) (10,12) (11,30) (13,28) (15,27) (19,22) (20,25) (21,24) 
nodes: 671693  conflicts: 27  modelTime: 1705  solveTime: 3031156  totalTime: 3032971  modelSize: 72285  readTime: 110 size: 15