(1,21) (2,25) (3,6) (5,7) (8,10) (9,13) (11,24) (12,16) (15,28) (17,27) (18,23) (19,26) (20,22) (29,30) 
nodes: 26416  conflicts: 52  modelTime: 933  solveTime: 71352  totalTime: 72296  modelSize: 72273  readTime: 11 size: 14