(2,25) (3,26) (4,22) (5,20) (6,17) (7,24) (8,27) (9,21) (11,28) (12,16) (13,19) (14,23) 
nodes: 1390  conflicts: 50  modelTime: 663  solveTime: 1390  totalTime: 2060  modelSize: 41293  readTime: 7 size: 12