(1,27) (2,25) (3,26) (5,23) (6,19) (7,28) (8,11) (9,13) (10,22) (14,17) (15,30) (16,20) (18,21) (24,29) 
nodes: 32661  conflicts: 62  modelTime: 1723  solveTime: 176631  totalTime: 178374  modelSize: 72263  readTime: 20 size: 14