(1,22) (2,19) (3,18) (4,25) (5,16) (6,23) (7,29) (8,17) (10,20) (11,28) (12,27) (13,21) (14,26) 
nodes: 3745  conflicts: 34  modelTime: 688  solveTime: 7278  totalTime: 7972  modelSize: 41298  readTime: 6 size: 13