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