(1,24) (2,25) (3,6) (4,26) (5,13) (7,12) (8,21) (9,28) (10,23) (11,22) (14,20) (15,17) (16,18) (27,29) 
nodes: 57429  conflicts: 35  modelTime: 966  solveTime: 214761  totalTime: 215738  modelSize: 72262  readTime: 11 size: 14