(1,23) (2,20) (3,18) (4,30) (5,24) (6,27) (8,29) (9,17) (10,26) (11,19) (12,22) (13,28) (14,16) 
nodes: 11964  conflicts: 28  modelTime: 656  solveTime: 20800  totalTime: 21461  modelSize: 41293  readTime: 5 size: 13