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