(2,24) (3,29) (4,18) (5,28) (6,26) (7,25) (8,17) (9,21) (10,27) (11,19) (12,16) (13,23) (14,30) (15,22) 
nodes: 6954  conflicts: 32  modelTime: 664  solveTime: 12517  totalTime: 13188  modelSize: 41293  readTime: 6 size: 14