(1,24) (2,30) (3,28) (4,20) (5,25) (6,10) (7,8) (9,15) (11,18) (13,26) (14,22) (16,27) (17,21) (23,29) 
nodes: 52819  conflicts: 54  modelTime: 993  solveTime: 181193  totalTime: 182198  modelSize: 72271  readTime: 11 size: 14