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