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