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