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