(2,20) (3,29) (4,28) (5,18) (6,16) (7,21) (8,23) (9,24) (10,27) (11,22) (12,25) (13,19) (14,17) (15,26) 
nodes: 25502  conflicts: 6  modelTime: 714  solveTime: 57986  totalTime: 58707  modelSize: 41293  readTime: 7 size: 14