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