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