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