(1,20) (2,9) (3,4) (5,25) (6,22) (7,28) (8,15) (10,12) (11,21) (13,23) (14,27) (16,29) (17,18) (26,30) 
nodes: 20515  conflicts: 46  modelTime: 939  solveTime: 108591  totalTime: 109541  modelSize: 72264  readTime: 11 size: 14