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