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