(3,24) (4,14) (5,30) (6,25) (8,19) (9,26) (10,18) (11,22) (13,28) (15,20) (16,27) (17,21) (23,29) 
nodes: 51252  conflicts: 72  modelTime: 1729  solveTime: 164224  totalTime: 165973  modelSize: 72264  readTime: 20 size: 13