(1,17) (3,26) (4,24) (5,28) (6,18) (7,16) (8,25) (9,22) (10,27) (11,20) (12,29) (13,21) (14,23) (15,19) 
nodes: 6392  conflicts: 36  modelTime: 666  solveTime: 18770  totalTime: 19443  modelSize: 41293  readTime: 7 size: 14