(1,28) (2,21) (4,22) (5,18) (6,8) (7,11) (10,17) (12,15) (13,24) (14,25) (16,26) (23,30) (27,29) 
nodes: 14574  conflicts: 108  modelTime: 1576  solveTime: 50452  totalTime: 52049  modelSize: 72262  readTime: 21 size: 13