(1,16) (3,21) (4,19) (5,18) (6,25) (7,23) (8,26) (9,29) (10,24) (11,28) (12,27) (13,20) (14,17) (15,22) 
nodes: 10286  conflicts: 11  modelTime: 1189  solveTime: 37380  totalTime: 38578  modelSize: 41292  readTime: 9 size: 14