(1,27) (2,30) (3,17) (4,9) (5,7) (6,26) (8,29) (10,24) (11,28) (12,20) (13,22) (14,25) (16,21) 
nodes: 10645  conflicts: 75  modelTime: 1213  solveTime: 35739  totalTime: 36972  modelSize: 72262  readTime: 20 size: 13