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