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