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