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