(1,22) (2,27) (3,29) (4,7) (5,28) (6,26) (8,9) (10,14) (11,24) (12,19) (13,16) (15,20) (17,30) (18,25) (21,23) 
nodes: 19300  conflicts: 45  modelTime: 1744  solveTime: 84679  totalTime: 86442  modelSize: 72265  readTime: 19 size: 15