(1,9) (2,21) (3,12) (4,15) (5,22) (6,24) (7,28) (8,13) (10,19) (11,18) (14,30) (16,25) (17,29) (20,27) 
nodes: 11698  conflicts: 54  modelTime: 981  solveTime: 44336  totalTime: 45328  modelSize: 72275  readTime: 11 size: 14