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