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