(1,17) (2,25) (3,23) (4,16) (5,30) (6,27) (8,20) (9,21) (10,26) (11,28) (12,24) (13,19) (14,29) (15,18) 
nodes: 12622  conflicts: 37  modelTime: 658  solveTime: 25509  totalTime: 26173  modelSize: 41293  readTime: 6 size: 14