(1,27) (2,9) (3,14) (4,16) (5,6) (7,8) (10,18) (11,23) (13,29) (15,25) (17,21) (19,24) (20,22) (26,28) 
nodes: 16969  conflicts: 66  modelTime: 969  solveTime: 55269  totalTime: 56249  modelSize: 72262  readTime: 11 size: 14