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