(1,23) (2,22) (3,25) (4,28) (5,26) (6,16) (7,19) (8,29) (9,21) (10,18) (11,17) (13,20) (14,27) (15,24) 
nodes: 9197  conflicts: 15  modelTime: 1188  solveTime: 32160  totalTime: 33358  modelSize: 41293  readTime: 10 size: 14