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