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