(1,16) (2,27) (4,26) (5,19) (6,23) (7,25) (8,28) (9,22) (10,21) (11,20) (12,18) (14,24) (15,17) 
nodes: 1445  conflicts: 44  modelTime: 659  solveTime: 2083  totalTime: 2749  modelSize: 41293  readTime: 7 size: 13