(1,22) (2,24) (3,29) (4,20) (5,18) (6,26) (7,23) (8,21) (9,16) (10,25) (11,17) (12,27) (13,28) (14,19) 
nodes: 12074  conflicts: 23  modelTime: 1187  solveTime: 32397  totalTime: 33594  modelSize: 41293  readTime: 9 size: 14