(1,16) (2,29) (3,5) (4,25) (6,13) (7,26) (8,23) (9,22) (11,19) (12,30) (14,28) (15,18) (17,27) (21,24) 
nodes: 19865  conflicts: 53  modelTime: 2132  solveTime: 83234  totalTime: 85390  modelSize: 72262  readTime: 24 size: 14