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