(1,2) (3,29) (4,16) (5,8) (6,7) (9,27) (10,12) (11,13) (14,28) (15,18) (17,22) (19,24) (20,26) (21,23) (25,30) 
nodes: 6835  conflicts: 4  modelTime: 1116  solveTime: 34617  totalTime: 35748  modelSize: 72265  readTime: 15 size: 15