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