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