(1,16) (2,17) (3,27) (4,30) (5,29) (6,23) (7,25) (9,22) (10,24) (11,19) (12,26) (13,28) (14,21) 
nodes: 2797  conflicts: 28  modelTime: 657  solveTime: 3806  totalTime: 4469  modelSize: 41298  readTime: 6 size: 13