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