(1,9) (2,29) (3,27) (4,30) (5,10) (6,14) (7,21) (8,25) (12,18) (13,28) (15,24) (16,26) (20,22) 
nodes: 7180  conflicts: 59  modelTime: 1924  solveTime: 29998  totalTime: 31946  modelSize: 72265  readTime: 24 size: 13