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