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