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