(2,3) (4,18) (5,11) (6,7) (8,29) (9,12) (10,21) (13,19) (14,28) (15,17) (16,30) (20,22) (23,25) (24,26) 
nodes: 1925  conflicts: 51  modelTime: 1714  solveTime: 9294  totalTime: 11029  modelSize: 72263  readTime: 20 size: 14