(2,29) (3,30) (4,17) (5,16) (6,23) (7,26) (8,28) (9,25) (10,19) (11,22) (12,21) (13,24) (14,18) (15,27) 
nodes: 7065  conflicts: 12  modelTime: 1188  solveTime: 19162  totalTime: 20359  modelSize: 41293  readTime: 9 size: 14