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