(1,4) (2,19) (3,27) (5,29) (7,8) (9,12) (10,23) (11,22) (13,20) (15,17) (16,26) (18,21) (25,28) 
nodes: 22618  conflicts: 82  modelTime: 1555  solveTime: 75933  totalTime: 77507  modelSize: 72262  readTime: 19 size: 13