(1,24) (2,29) (3,20) (4,22) (6,27) (7,18) (8,25) (9,23) (10,19) (11,28) (12,21) (14,26) (15,17) 
nodes: 23873  conflicts: 39  modelTime: 1186  solveTime: 65155  totalTime: 66352  modelSize: 41293  readTime: 10 size: 13