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