(1,26) (2,16) (3,15) (4,29) (5,13) (6,8) (7,28) (9,25) (10,23) (11,14) (12,27) (18,24) (19,20) (21,22) 
nodes: 12664  conflicts: 57  modelTime: 1731  solveTime: 52344  totalTime: 54095  modelSize: 72262  readTime: 20 size: 14