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