(1,28) (2,25) (3,26) (4,18) (5,21) (6,22) (7,20) (8,23) (9,17) (10,29) (11,30) (12,19) (13,27) (14,16) 
nodes: 23094  conflicts: 32  modelTime: 1189  solveTime: 64481  totalTime: 65680  modelSize: 41293  readTime: 10 size: 14