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