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