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