(1,24) (2,17) (4,29) (5,23) (6,27) (7,25) (8,19) (9,28) (10,26) (11,20) (12,21) (13,30) (14,22) (15,16) 
nodes: 13542  conflicts: 10  modelTime: 653  solveTime: 27087  totalTime: 27745  modelSize: 41293  readTime: 5 size: 14