(1,16) (2,17) (3,28) (4,27) (5,25) (7,26) (8,29) (9,30) (10,19) (11,22) (12,18) (13,24) (14,21) (15,20) 
nodes: 14451  conflicts: 27  modelTime: 656  solveTime: 33075  totalTime: 33737  modelSize: 41293  readTime: 6 size: 14