(1,19) (2,20) (3,23) (4,16) (5,17) (6,26) (7,18) (8,27) (9,21) (10,28) (11,22) (13,30) (14,29) (15,25) 
nodes: 11921  conflicts: 36  modelTime: 656  solveTime: 21035  totalTime: 21698  modelSize: 41299  readTime: 7 size: 14