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