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