(1,11) (2,8) (3,25) (5,16) (6,14) (7,21) (9,28) (10,18) (12,29) (15,23) (19,26) (20,24) (22,27) 
nodes: 13764  conflicts: 62  modelTime: 966  solveTime: 51581  totalTime: 52558  modelSize: 72262  readTime: 11 size: 13