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