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