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