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