(1,20) (3,16) (4,23) (5,29) (7,26) (8,25) (9,17) (10,28) (11,21) (12,27) (13,18) 
nodes: 1231  conflicts: 84  modelTime: 663  solveTime: 697  totalTime: 1367  modelSize: 41292  readTime: 7 size: 11