(2,21) (3,4) (5,24) (6,27) (7,26) (9,16) (10,11) (12,20) (14,18) (15,22) (17,25) (19,28) (29,30) 
nodes: 6899  conflicts: 78  modelTime: 966  solveTime: 23651  totalTime: 24628  modelSize: 72262  readTime: 11 size: 13