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