(1,27) (2,21) (3,24) (4,19) (5,16) (6,20) (7,25) (8,23) (9,18) (10,22) (11,26) (12,29) (13,28) (14,17) 
nodes: 19206  conflicts: 33  modelTime: 688  solveTime: 60493  totalTime: 61187  modelSize: 41293  readTime: 6 size: 14