(2,22) (4,30) (5,23) (6,16) (7,29) (8,24) (9,28) (10,25) (11,19) (12,17) (13,26) (14,21) 
nodes: 1453  conflicts: 85  modelTime: 667  solveTime: 1742  totalTime: 2416  modelSize: 41292  readTime: 7 size: 12