(1,9) (2,7) (3,26) (4,24) (5,27) (6,12) (8,15) (10,29) (11,28) (13,25) (16,30) (19,20) 
nodes: 5393  conflicts: 97  modelTime: 1707  solveTime: 21124  totalTime: 22851  modelSize: 72264  readTime: 20 size: 12