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