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