(1,28) (2,27) (3,24) (4,10) (5,29) (6,30) (8,23) (9,13) (11,19) (12,18) (15,25) (16,21) (20,22) 
nodes: 1231  conflicts: 92  modelTime: 975  solveTime: 5935  totalTime: 6922  modelSize: 72264  readTime: 12 size: 13