(1,22) (2,26) (3,18) (4,20) (5,24) (6,27) (7,19) (8,28) (9,23) (10,21) (12,16) (13,17) (14,29) 
nodes: 1633  conflicts: 55  modelTime: 663  solveTime: 2559  totalTime: 3228  modelSize: 41293  readTime: 6 size: 13