(1,8) (2,11) (3,30) (4,27) (5,24) (6,29) (7,23) (9,12) (10,15) (13,16) (14,18) (17,28) (19,21) (20,25) (22,26) 
nodes: 6928  conflicts: 10  modelTime: 1556  solveTime: 39254  totalTime: 40897  modelSize: 72285  readTime: 86 size: 15