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