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