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