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