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