(3,4) (5,7) (6,13) (8,24) (10,17) (11,29) (12,22) (14,25) (16,19) (18,26) (20,21) (23,27) 
nodes: 1534  conflicts: 64  modelTime: 970  solveTime: 5497  totalTime: 6480  modelSize: 72262  readTime: 12 size: 12