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