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