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