(1,26) (3,23) (4,20) (5,22) (7,18) (8,27) (10,16) (11,19) (12,25) (13,21) (14,28) (15,24) 
nodes: 2052  conflicts: 48  modelTime: 660  solveTime: 2020  totalTime: 2687  modelSize: 41293  readTime: 7 size: 12