(2,26) (3,4) (5,27) (6,10) (7,25) (8,23) (9,17) (11,14) (12,21) (15,18) (16,22) (19,30) (20,28) (24,29) 
nodes: 22525  conflicts: 29  modelTime: 1691  solveTime: 89848  totalTime: 91559  modelSize: 72263  readTime: 19 size: 14