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