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