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