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