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