(1,28) (2,21) (3,19) (4,25) (5,26) (6,29) (7,23) (8,27) (9,16) (10,20) (11,22) (12,30) (13,18) (14,24) 
nodes: 5439  conflicts: 28  modelTime: 792  solveTime: 9985  totalTime: 10784  modelSize: 41293  readTime: 7 size: 14