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