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