(1,21) (2,30) (3,24) (4,25) (5,13) (6,19) (7,15) (8,12) (9,26) (10,18) (11,14) (16,27) (17,23) (20,22) (28,29) 
nodes: 7203  conflicts: 35  modelTime: 1710  solveTime: 24556  totalTime: 26286  modelSize: 72272  readTime: 19 size: 15