(1,14) (2,19) (3,29) (4,17) (5,7) (8,10) (9,26) (13,24) (15,25) (18,28) (20,27) (21,22) 
nodes: 321  conflicts: 114  modelTime: 1696  solveTime: 2149  totalTime: 3865  modelSize: 72262  readTime: 20 size: 12