(1,9) (2,19) (3,20) (4,21) (5,10) (7,26) (8,25) (11,28) (12,27) (13,22) (14,24) (15,16) (17,29) (18,23) 
nodes: 7135  conflicts: 48  modelTime: 942  solveTime: 23656  totalTime: 24609  modelSize: 72264  readTime: 11 size: 14