(2,8) (3,6) (4,15) (5,21) (7,27) (9,28) (10,22) (11,25) (12,13) (14,30) (16,19) (17,18) (20,24) (26,29) 
nodes: 15799  conflicts: 54  modelTime: 931  solveTime: 38267  totalTime: 39209  modelSize: 72264  readTime: 11 size: 14