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