(2,29) (3,20) (4,14) (5,13) (6,11) (8,28) (9,18) (10,27) (12,19) (15,25) (16,23) (17,22) (21,24) (26,30) 
nodes: 13851  conflicts: 54  modelTime: 1740  solveTime: 59556  totalTime: 61315  modelSize: 72262  readTime: 19 size: 14