(1,29) (2,16) (3,24) (5,26) (6,17) (7,28) (8,18) (9,30) (10,13) (12,20) (14,22) (15,27) (19,23) (21,25) 
nodes: 16317  conflicts: 54  modelTime: 1697  solveTime: 59801  totalTime: 61517  modelSize: 72272  readTime: 19 size: 14