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