(1,5) (2,14) (3,15) (4,7) (6,30) (8,21) (9,12) (10,23) (11,25) (13,27) (16,22) (17,24) (18,29) (19,26) (20,28) 
nodes: 7402  conflicts: 17  modelTime: 1278  solveTime: 28922  totalTime: 30219  modelSize: 72275  readTime: 19 size: 15