(1,27) (2,15) (3,28) (4,26) (5,10) (6,8) (7,29) (9,22) (11,21) (12,24) (13,30) (17,19) (18,25) (20,23) 
nodes: 2594  conflicts: 44  modelTime: 1698  solveTime: 10666  totalTime: 12385  modelSize: 72263  readTime: 21 size: 14