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