(1,16) (2,21) (3,23) (4,18) (5,24) (6,25) (7,17) (8,20) (9,29) (10,30) (11,27) (12,26) (14,28) (15,19) 
nodes: 7162  conflicts: 31  modelTime: 661  solveTime: 13292  totalTime: 13959  modelSize: 41293  readTime: 6 size: 14