(1,5) (2,11) (3,10) (4,27) (6,24) (8,29) (9,26) (13,25) (14,18) (15,19) (16,30) (17,28) (20,21) 
nodes: 2986  conflicts: 87  modelTime: 1061  solveTime: 10982  totalTime: 12063  modelSize: 72266  readTime: 20 size: 13