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