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