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