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