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