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