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