(1,17) (2,27) (3,30) (5,28) (6,26) (9,24) (10,18) (11,19) (12,25) (13,21) (14,29) (15,16) 
nodes: 973  conflicts: 43  modelTime: 673  solveTime: 1526  totalTime: 2207  modelSize: 41293  readTime: 7 size: 12