(1,4) (2,8) (3,5) (6,25) (7,12) (10,29) (11,20) (14,18) (15,23) (16,27) (17,26) (21,24) (22,30) 
nodes: 7285  conflicts: 62  modelTime: 1733  solveTime: 27894  totalTime: 29646  modelSize: 72262  readTime: 19 size: 13