(1,20) (2,25) (3,29) (5,30) (6,14) (8,15) (9,17) (10,27) (11,21) (12,22) (13,23) (16,28) (18,26) (19,24) 
nodes: 11587  conflicts: 49  modelTime: 1737  solveTime: 50172  totalTime: 51929  modelSize: 72263  readTime: 20 size: 14