(2,21) (3,25) (4,6) (5,16) (7,13) (8,27) (9,23) (10,24) (11,20) (12,15) (14,19) (17,28) (18,22) (26,29) 
nodes: 13396  conflicts: 24  modelTime: 1697  solveTime: 54821  totalTime: 56537  modelSize: 72262  readTime: 19 size: 14