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