(1,6) (2,13) (3,28) (4,30) (5,22) (7,9) (8,24) (10,29) (11,20) (12,18) (14,26) (15,16) (17,27) (19,25) (21,23) 
nodes: 6723  conflicts: 3  modelTime: 1414  solveTime: 29476  totalTime: 31024  modelSize: 72338  readTime: 134 size: 15