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